通信に基づく並列計算モデルのカテゴリー論的意味論
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-05740135 |
|---|---|
| 研究種目 | 奨励研究(A) |
| 研究分野 | 理学 数学 数学一般(含確率論・統計数学) |
| 研究機関 | 九州大学 |
| 代表研究者 | 大塚 寛 |
| 研究期間 開始年月日 | 1993/4/1 |
| 研究期間 終了年度 | 1993 |
| 研究ステータス | 完了 (1993/4/1) |
| 配分額（合計） | 1,100,000 (直接経費 :1,100,000) |
| 配分額（履歴） |
1993年度：1,100,000 (直接経費 :1,100,000) |
| キーワード | ラムダ計算 ド・ブライン記法 カテゴリー論 ストリクト性解析 並列計算モデル |