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