| 学位授与日 |
種別 |
氏名 |
題目 |
主査 |
| 2001/5/23 |
課程 |
岡澤 慎 |
Menthol receptors in cold-sensitive neurons （冷受容ニューロンはメントールにも反応する） |
小林 茂夫 |
| 2001/9/25 |
課程 |
浮田 宗伯 |
Real-Time Cooperative Multi-Target Tracking by Communicating Active Vision Agents （能動視覚エージェント群による複数対象の実時間協調追跡） |
松山 隆司 |
| 2001/11/26 |
課程 |
Azza Abdel Rahman Taha Abdel Halim |
A Foundational Theory of Contexts in Functional Programming Language （関数型プログラミング言語における文脈の基礎理論） |
佐藤 雅彦 |
| 2002/3/25 |
論文 |
小池 淳 |
３次元シーンのモデルに基づく動画像の高能率符号化の研究 |
松山 隆司 |
| 2002/3/25 |
論文 |
櫻井 貴文 |
Typed λ-calculi and their Extensions （型付λ計算とその拡張） |
佐藤 雅彦 |
