2011 Fiscal Year Annual Research Report
| Project/Area Number |
22300005
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
住井 英二郎 東北大学, 情報科学研究科, 准教授 (00333550)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
寺内 多智弘 名古屋大学, 情報科学研究科, 准教授 (70447150)
|
|---|
| Keywords | 環境双模倣 / 高階プログラム等価性証明 / 並行・分散プロセス計算 / プログラム意味論 / プログラム理論 |
|---|
| Research Abstract |
トリニティ・カレッジ（アイルランド）ダブリン校のVasileios Koutavas博士研究員（並行プロセス計算に関する研究で著名なMatthew Hennessy教授のグループ）、ならびに、プログラム意味論の研究で著名な英バーミンガム大学のPaul Blain Levy上級講師と、環境双模倣(environmental bisimulation)による高階プログラム等価性証明の一般化に関する国際共著論文を執筆、専門家による査読を経て、米カーネギーメロン大学で開かれたTwenty-seventh Conference on the Mathematical Foundations of Programming Semantics（第27回「プログラミング意味論の数学的基礎」会議）にて発表すると共に、加筆・修正の上で同会議予稿集を元とする論文誌Electronic Notes in Theoretical Computer Science（エルゼビア社）第276号に採録された。当該論文は、局所状態、例外、名前生成、型抽象等の機能を持つ言語においては、1990年代から広く用いられているAbramskyの適用双模倣(applicative bisimulation)の単純な条件ではなく、住井らの環境双模倣の諸条件（関数の引数が再び同じ関数を呼び出す、関数呼び出しの戻り値を収集して後で用いる、新しい名前を生成する等）が必要であることを示したものである。これらは計算機ソフトウェアの性質を数理論理学的に議論する1960年代以来の研究分野（プログラム理論）を進展させる成果であり、情報システムの信頼性・安全性を向上する「形式手法」につながる重要な基礎理論である。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
「研究実績の概要」の通り、高い学術的成果を挙げている。
|
| Strategy for Future Research Activity |
引き続き、研究計画の通り、環境双模倣理論の対象言語の拡大および実用的アルゴリズムの開発を目指す。
|
