| 研究課題/領域番号 |
22300005
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
住井 英二郎 東北大学, 情報科学研究科, 教授 (00333550)
|
|---|
| 研究分担者 |
寺内 多智弘 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (70447150)
|
|---|
| 研究期間 (年度) |
2010-04-01 – 2015-03-31
|
| キーワード | 環境双模倣 / 並行・分散プロセス計算モデル / プログラム理論 / 形式手法 / 理論計算機科学 |
|---|
| 研究成果の概要 |
複数のプロセスが並行に動作して、プロセス自身を通信することができ（高階）、かつ位置（ロケーション）の概念のある計算モデル（高階分散プロセス計算）において、「二つのシステムを外部から観察したときの動作が等しい」という振る舞い等価性を数理的に証明する、世界初の健全かつ完全な理論（環境双模倣）を確立、理論計算機科学のトップコンファレンスの一つACM/IEEE LICS 2012等に厳しい査読を経て論文が採択され、発表を行なった。
|
| 自由記述の分野 |
プログラミング言語理論
|
