2008年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
A-008Erlangを用いたマルチエージェントシミュレーションのための基礎的研究

川上 大輔,  松井 俊浩,  松尾 啓志,  

A-009Pure Javaアプリケーションにおける遠隔イベント通知のための汎用機構の提案

吉崎 順太,  中島 潤,  

A-010明示的なメモリ管理機能を備えたJava仮想マシンの評価

足立 昌彦,  小幡 元樹,  西山 博泰,  岡田 浩一,  中島 恵,  

A-011An Extension of E-overlapping Notion in Term Rewriting Systems and its Applications

松浦 邦博,  大山口 通夫,  三橋 一郎,  

RA-004ループレス画像処理記述言語の提案と実装

桜井 寛子,  岡田 慎太郎,  津邑 公暁,  松尾 啓志,  

RA-005Ambient Calculusによる物流システム記述に対するモデル検査

植田 直人,  加藤 暢,  樋口 昌宏,