Point-freeトポロジーに基づく位相幾何学の構成的展開
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-23K03197 |
|---|---|
| 研究種目 | 基盤研究(C) |
| 研究分野 | |
| 研究機関 | 高知大学 |
| 代表研究者 | 河井 達治 |
| 研究期間 開始年月日 | 2023/4/1 |
| 研究期間 終了年度 | 2026 |
| 研究ステータス | 交付 (2023/4/1) |
| 配分額（合計） | 4,680,000 (直接経費 :3,600,000、間接経費 :1,080,000) |
| 配分額（履歴） |
2026年度：1,300,000 (直接経費 :1,000,000、間接経費 :300,000) 2025年度：1,040,000 (直接経費 :800,000、間接経費 :240,000) 2024年度：1,300,000 (直接経費 :1,000,000、間接経費 :300,000) 2023年度：1,040,000 (直接経費 :800,000、間接経費 :240,000) |
| キーワード | 構成的数学 位相幾何学 point-freeトポロジー プログラム抽出 |