卒業論文

1991年度

• 平山 愛子、「分散システムにおけるサーバの構造に関する研究」
• 岩井 三剛、「可搬型計算機環境におけるユーザとホストの認証に関する研究」
• 嶋田 貴夫、「オブジェクト指向制約充足システムに関する研究」
• 竹内 格、「並行オブジェクト指向言語TCSTの意味論に関する研究」
• 内藤 剛人、「ネゴシエーションによる分散信念管理」
• 藤井 寛子、「オブジェクト指向分散システムにおける原子性の実現に関する研究」
• 松林 慶、「視覚と言語に基づく共通知識の獲得に関する研究」
• 森山 光一、「ConcurrentSmalltalkのマルチプロセッサ上での実現」
• 吉田 展子、「λ-計算のπa-計算によるコーディング」

1992年度

• 伊藤 純一郎、 「アプリケーション内メモリ管理のためのOS支援に関する研究」
• 伊東 紀子、「デッドラインを考慮したネゴシエーションとプラン修正に関する研究」
• 小杉 尚子、「リアルタイムシステムにおけるタスクの動的な特性変更に関する研究」
• 須藤 光昭、「リアルタイムスケジューリングアルゴリズムの評価に関する研究」
• 村田 誠二、 「プロセスグループ通信を支援する通信プロトコルに関する研究」
• 森津 俊之、 「ユーザ適応化コンパイラに関する研究」

1993年度

• 内海 秀介、「マイクロカーネルに適したファイルサーバの構築法に関する研究」
• 木曽 隆、「MCOを用いた分散アプリケーション構築基盤に関する研究」
• 佐々木 貴宏、「移動目標探索に関する研究」
• 指野 篤司、「並行計算における抽象機械の研究」
• 樋口 泰介、「ユーザレベルスケジューラに関する研究」
• 福田 健介、「線形論理に基づく分散アルゴリズムの記述言語に関する研究」

1994年度

• 佐藤 直之、 「アダプティブ ライブラリ リンカ: OS機能を実現するための新技法」
• 猿渡 隆介、 「連続な通信を基礎とした型付き並行言語の実装と評価」
• 蔀 秀久、 「分散リアルタイム記述言語DROLのRT-Mach上での実現」
• 中里 宗弘、 「マルチエージェントシステムにおける戦略の動的変更」
• 中原 真則、 「Mach上における永続的マルチバージョン並行オブジェクトの実現」
• 成田 多良、 「輻輳制御を考慮したコネクション指向インターネットワーキングプロトコルの設計と実装」