講演番号 | 題目/著者 |
---|---|
A-008 | Erlangを用いたマルチエージェントシミュレーションのための基礎的研究 川上 大輔, 松井 俊浩, 松尾 啓志, |
A-009 | Pure Javaアプリケーションにおける遠隔イベント通知のための汎用機構の提案 吉崎 順太, 中島 潤, |
A-010 | 明示的なメモリ管理機能を備えたJava仮想マシンの評価 足立 昌彦, 小幡 元樹, 西山 博泰, 岡田 浩一, 中島 恵, |
A-011 | An Extension of E-overlapping Notion in Term Rewriting Systems and its Applications 松浦 邦博, 大山口 通夫, 三橋 一郎, |
RA-004 | ループレス画像処理記述言語の提案と実装 桜井 寛子, 岡田 慎太郎, 津邑 公暁, 松尾 啓志, |
RA-005 | Ambient Calculusによる物流システム記述に対するモデル検査 植田 直人, 加藤 暢, 樋口 昌宏, |