| 研究課題/領域番号 |
25330016
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎理論
|
|---|
| 研究機関 | 鹿児島大学 |
|---|
研究代表者 |
古澤 仁 鹿児島大学, 理工学域理学系, 教授 (00357930)
|
|---|
| 研究協力者 |
Struth Georg The University of Sheffield, Department of Computer Science, Professor
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
4,940千円 (直接経費: 3,800千円、間接経費: 1,140千円)
2016年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2015年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2013年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 並行計算 / 準等式系 / 動的論理 / 二項多重関係 |
|---|
| 研究成果の概要 |
並行計算の二項多重関係モデルや代数モデルに関して次のような成果を得た．
（１）完備べき等左半環をある集合上の二項多重関係全体のなす完備べき等左半環へ自然に埋め込むための十分条件，（２）Pelegの並行動的論理の様相クリーニ代数的な文脈における再構成，（３）領域演算子の明示的な代数的定義および逐次合成に関する部分単位のクラス，並行合成に関する部分単位のクラス，停止元のクラス，非停止元のクラスの関連性，（４）Pelegの逐次合成が結合的になるための十分条件
|
