Affiliation (based on the past Project Information) *help |
2007 – 2008: 九州大学, 大学院・システム情報科学研究院, 特任教授
2007: 九州大学, 理事(研究職), 教授
2006: 九州大学, 大学院システム情報科学研究科, 特任教授
2005 – 2006: 九州大学, 理事・副学長(特任教授)
2005: Kyushu University, Director・Vice President (Prof.), システム情報科学研究院・理事・副学長(特任教授)
… More
2005: 九州大学, 理事・副学長(特任教授)
2004: 国立大学法人九州大学, 理事(教授)
2000 – 2004: 九州大学, 大学院・システム情報科学研究院, 教授
2001 – 2002: Kyuushuu Univ., Grad. School of Information Science and Electrical Engineering, Professor, システム情報科学研究院, 教授
1998 – 2000: 九州大学, システム情報科学研究科, 教授
1996 – 1999: Kyushu University Graduate School of Information Science and Electrical Engineer, 大学院・システム情報科学研究科, 教授
1997 – 1998: KYUSHU UNIVERSITY,Graduate School of Information Science and Electrical Engineering, Department of Informatics, Professor, 大学院システム情報科学研究科, 教授
1996: Kyushu University, Departement of Informatics, Professor, システム情報科学研究科, 教授
1988 – 1995: Professor, Faculty of Science, Kyushu University, 理学部, 教授
1994: 九州大学, 理学部附属基礎情報学研究施設, 教授
1993: 九州大学, 理学部・附属基礎情報学研究施設, 教授
1991 – 1992: 九州大学, 理学部附属基礎情報学研究施設, 教授
1987: 九州金学, 理学部, 教授
1986: Professor, Faculty of Science, Kyushu University, 理学部, 教授
1986: 九州大学, 理学部, 教授
Less
|
Keywords |
- Principal Investigator
-
帰納推論 / 類推 / 機械学習 / 知識獲得 / 推論 / 抽象化 / 並列計算量 / 計算量理論 / machine learning / RFID(Radio Frequency Identification)
… More
/ 学習 / 不完全情報 / 計算学習理論 / 論理プログラミング / 概念形成 / 仮説推論 / 計算論的学習理論 / 類比 / パターン照合アルゴリズム / 発見科学 / 知識発見 / データマイニング / データベース / 科学的発見の論理 / アブダクション / ネットワークエージェント / inductive inference / 情報検索 / information retrieval / 非接触型ICタグ / 電子図書館 / 自動貸出・返却機 / 蔵書管理省力化 / RFID (Radio Frequency Identification) / 図書館自動化・ディジタル化 / インテリジェント(スマート)書架 / PID・セキュリティ技術 / Contactless IC Tag / Library Automation. Digitization / Digital Library / Self-Checkout and Return of Books / Library Book Management / Ubiquitous Computing / 教示 / ソフトウェア構成法 / 逆導出 / 教示の理論 / 納納推論 / MDL原理 / タンパク質の構造予測 / P完全性 / インターフェース / 計算機数学 / 散的アルゴリズム論 / プログラム理論 / 計算可能論理 / プログラム合成論 / 論理と推論 / 計算可能理論 / COMPUTER MATHEMATICS / DISCRETE ALGORITHMS / THEORY OF PROGRAMS / COMPUTABLE LOGICS / COMPUTATIONAL COMPLEXITY / PROGRAM SYNTHESIS / LOGICS AND INFERENCE / 機械発見 / PAC学習 / 数値データからの学習 / 大規模データベース / 機械発見の論理 / 反駁学習 / machine discovery / computational learning theory / PAC learning / learning from numerical data / knowledge discovery in database / logic of machine discovery / テキストデータベース / 意味処理 / ピクチャーパターン / テキストデーターベース / text database / pattern matching algorithm / semantic processing / knowledge acquisition / picture pattern / 知識科学 / discovery science / knowledge science / data mining / database / logic of scientific discovery / abduction / network agent / 図書館自動化・デジタル化 / インテリジェント書架 / ユビキタス・コンピューティング / Intelligent Shelf / 児童貸出・返却機 / Intelligent / Smart Bookshelf / パタン照合アルゴリズム / テキスト処理 / 逐字処理 / 単一化 / 日本語処理 / サーチ技法 / データベースシステム / Pattern matching / text processing / sequential search / Japanese texts / プログラムの再利用 / 論理プログラム / Program reuse / analogical reasoning / logic programming / 知識情報処理 / 日本語インタ-フェ-ス / 推論の計算量 / 知識の索引付け / 知識の牽引付け / 自然言語インターフェース / 推論の並列化 / Analogy / Analogical reasoning / Knowledge information processing / Abstraction / Indexing of knowledge / Computational complexity / Natural language interface / Inductive inference
… More
- Except Principal Investigator
-
知識獲得 / 人工知能 / 機械学習 / XML / 概念形成 / 知識科学 / CAI / 学習アルゴリズム / 決定木 / 知識発見 / 半構造データ / パターン照合 / データ圧縮 / パターン発見 / 自然言語処理 / デ-タベ-ス / 認知科学 / 学習理論 / 機械発見 / 高次推論 / データマイニング / アルゴリズム / XMLストリーム / 圧縮パターン照合 / 類推 / 計算量理論 / 相様論理 / 自己認識論理 / 帰納推論 / 仮説推論 / 演繹デ-タベ-ス / 計算論的学習理論 / 高階論理 / 学習 / 多項式時間学習 / 蛋白質分類問題 / 膜貫通領域 / データベース / 知的CAI / ゲノム情報 / 並列学習 / テキストデータマイニング / テキストデータベース / パターン言語 / 論理プログラム / データベースからの知識獲得 / KDD / データ収集 / ユーザインタラクション / 視覚化 / XML ストリーム / バターン照合 / 圧縮バターン照合 / バターン発見 / 知能 / 知識 / 定性的推論 / 自然言語 / 自動プログラミング / 問題解決 / 情報科学 / 情報学 / 基礎研究 / モデル / 知的情報処理 / 計算システム / 知識・知能 / 計算学習 / 教示の理論 / 並列アルゴリズム / Computational learning / Teaching theory / Analogical reasoning / Machine learning / Parallel algorithm / Decision tree / 機械学習シール / ニューラル・ネットワーク / 帰納論理プログラミング / 分子生物学 / データベースからの知識の発見 / 高階概念の学習 / 科学・工学における発見 / discovery in science and technology, / machine learning tools, / inductive logic programming, / higer order concepts learning, / neural network, / knowledge discovery in database, / molecular biology, / natural language processing / 微分方程式の同定 / 知識命題論理 / 代数的意味論 / 関係代数 / プログラムの検証 / 時相論理 / 蛋白質の構造 / 音楽情報処理 / 高階単一化 / セルオートマトン / 文字列パターン / 様相論理 / 時間の論理 / システム同定 / 英文翻訳 / プログラム理論 / 計算モデル / グラフの構造 / Identification of Differential Equations / Knowledge Propositional Logic / Algebraic Semantics / Relational Algebra / Verification of Programs / Temporal Logic / Structure of Proteins / Music Information Processing / 並列処理 / 並列計算 / knowledge acquisition / learning algorithm / parallel processing / カテゴリー論 / 計算機科学 / 計算論理学 / 関係計算 / プログラミング意味論 / 構成的プログラミング / category theory / computer science / computational logic / relational calculus / artificial intelligence / programming semantics / computational complexity / constructive programming / 発見科学 / ホームページ / インターネット / ネットワークエージェント / 記号処理 / マルチメディア / 並列数値計算 / 計算機将棋 / Discovery Science / Artificial Intelligence / Home pag / Internet / Network Agent / Symbol Manipulation / Multi Media / Parallel Numerical Calculation / 蔵書検索 / 図書目録カード / 画像 / イメージ検索 / キーワード検索 / 分類検索 / 電子図書館 / RFIDタグ(ICタグ) / 図書館自動化&電子化 / 統合検索 / DNAコンピュータ / 生体生命情報学 / 自己組織化 / ナノバイオ / バイオテクノロジー / 生態生命情報学 / 圧縮 / 平滑化解析 / Semistructured data / Knoeledge discovery / Pattern discovery / Pattern Matching / Data compression
Less
|