分配束に基づく位相空間論の創出とそのアルゴリズム的側面の解明
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-20K14352 |
|---|---|
| 研究種目 | 若手研究 |
| 研究分野 | |
| 研究機関 | 高知大学 北陸先端科学技術大学院大学 |
| 代表研究者 | 河井 達治 |
| 研究期間 開始年月日 | 2020/4/1 |
| 研究期間 終了年度 | 2023 |
| 研究ステータス | 交付 (2022/4/1) |
| 配分額（合計） | 4,290,000 (直接経費 :3,300,000、間接経費 :990,000) |
| 配分額（履歴） |
2022年度：1,430,000 (直接経費 :1,100,000、間接経費 :330,000) 2021年度：1,430,000 (直接経費 :1,100,000、間接経費 :330,000) 2020年度：1,430,000 (直接経費 :1,100,000、間接経費 :330,000) |
| キーワード | 構成的数学 位相空間論 point-freeトポロジー コンパクト空間 プログラム抽出 不動点定理 実現可能解釈 測度論 pointfreeトポロジー 分配束 point-free位相 |