研究分野

• ソフトウェア基礎論
  プログラム意味論，代数的仕様記述，
  項書き換え系

• アルゴリズム
  タスクスケジューリング，
  データ分散配置

• プログラム言語処理系
  関数型言語，並列処理言語，
  オブジェクト指向言語

スタッフ

• 大山口 通夫（教授）
• 山田 俊行　（講師）
• 落合 美子　（事務職員）

研究成果

• 公表論文一覧