博士論文 （平成17年度）
| 学位授与日 | 種別 | 氏名 | 題目 | 主査 |
|---|---|---|---|---|
| 2005/7/25 | 課程 | 河原 大輔 | Automatic Construction of Japanese Case Frames for Natural Language Understanding （自然言語理解のための日本語格フレーム自動構築） |
松山 隆司 |
| 2005/5/23 | 課程 | 多鹿 陽介 | Studies on Distributed and Cooperative Computing Architecture for Networked Home Appliance （情報家電のための分散協調アーキテクチャに関する研究） |
美濃 導彦 |
| 2005/9/26 | 課程 | 村上 正行 | 遠隔教育特有の授業デザイン及びシステムの評価研究 | 美濃 導彦 |
| 2005/11/24 | 課程(短縮) | 玉田 嘉紀 | Computational Methods for Estimating Gene Networks Utilizing Biological Information （生物情報からの遺伝子ネットワークの推定） |
阿久津達也 |
| 2006/1/23 | 課程 | 高雄 啓三 | Visualization of synaptic Ca2+/Calmodulin dependent protein kinaseII activity in living neurons （生標本神経細胞におけるCaMキナーゼII活性の可視化） |
小林 茂夫 |
| 2006/1/23 | 課程 | 森本 正志 | データ変動解析に基づく仮説生成投票アルゴリズムを用いた画像構造抽出・識別に関する研究 | 美濃 導彦 |
| 2006/3/23 | 課程 | 福井 隆雄 | 到達把持運動におけるオンライン制御機構に関する実験心理学的研究 | 乾 敏郎 |
| 2006/3/23 | 課程 | 小池 耕彦 | 空間位置に対する視覚的注意メカニズムのモデル研究 | 乾 敏郎 |
| 2006/3/23 | 課程 | Dukka Bahadur K. C. | Clique-based Algorithms for Protein Structure Prediction （クリークアルゴリズムに基づくタンパク質構造予測アルゴリズム） |
阿久津達也 |
| 2006/3/23 | 課程(短縮) | 櫟 粛之 | Applications of Automated Theorem Proving Methods to Multi-Agent Systems （マルチエージェントシステムへの自動定理証明手法の応用） |
佐藤 雅彦 |
| 2006/3/23 | 論文 | 鴨 浩靖 | Computability in some fundamental theorems in functional analysis and general topology （関数解析学および一般位相空間論のいくつかの基本定理における計算可能性） |
佐藤 雅彦 |
| 2006/3/23 | 課程 | 深川 大路 | Discrete Algorithms for Optimization Problems for Structured Data in Bioinformatics （バイオインフォマティクスにおける構造データに対する離散最適化アルゴリズム） |
阿久津達也 |
| 2006/3/23 | 課程 | Lane, Ian Richard | Flexible Spoken Language Understanding based on Topic Classification and Domain Detection （話題の分類とドメイン検出に基づく柔軟な音声言語理解） |
河原 達也 |