計算科学への圏論の応用
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-62540163 |
|---|---|
| 研究種目 | 一般研究(C) |
| 研究分野 | 理学 数学 数学一般 |
| 研究機関 | 九州大学 |
| 代表研究者 | 河原 康雄 |
| 研究分担者 | 岡崎 悦明 |
| 研究分担者 | 土屋 卓也 |
| 研究分担者 | 宮野 悟 |
| 研究分担者 | 藤井 一幸 |
| 研究期間 開始年月日 | 1987/4/1 |
| 研究期間 終了年度 | 1987 |
| 研究ステータス | 完了 (1987/4/1) |
| 配分額（合計） | 2,100,000 (直接経費 :2,100,000) |
| 配分額（履歴） |
1987年度：2,100,000 (直接経費 :2,100,000) |
| キーワード | 圏論 カテゴリー論 情報数学 カテゴリー論的グラフ文法 Gluing 条件Pushout square プログラム意味論 並列アルゴリズム NCアルゴリズム |