構成的逆数学の新たな展開と数学定理の計算論的意味の解明
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-21KK0045 |
|---|---|
| 研究種目 | 国際共同研究加速基金(国際共同研究強化(B)) |
| 研究分野 | |
| 研究機関 | 北陸先端科学技術大学院大学 |
| 代表研究者 | 石原 哉 |
| 研究分担者 | 河井 達治 |
| 研究分担者 | 横山 啓太 |
| 研究分担者 | 根元 多佳子 |
| 研究分担者 | 藤原 誠 |
| 研究期間 開始年月日 | 2021/4/1 |
| 研究期間 終了年度 | 2025 |
| 研究ステータス | 交付 (2022/4/1) |
| 配分額（合計） | 18,980,000 (直接経費 :14,600,000、間接経費 :4,380,000) |
| 配分額（履歴） |
2025年度：5,330,000 (直接経費 :4,100,000、間接経費 :1,230,000) 2024年度：4,030,000 (直接経費 :3,100,000、間接経費 :930,000) 2023年度：4,160,000 (直接経費 :3,200,000、間接経費 :960,000) 2022年度：4,680,000 (直接経費 :3,600,000、間接経費 :1,080,000) 2021年度：780,000 (直接経費 :600,000、間接経費 :180,000) |
| キーワード | 構成的逆数学 直観主義算術 論理公理の階層 超算術的公理 構成的数学 逆数学 プログラム抽出・合成 |