証明支援系による図式証明の形式化:コヒーレンス定理からのアプローチ
詳細情報
| 科研費研究課題/領域番号 | 24K16915 [ KAKENで見る ] |
|---|---|
| 種目 | 若手研究 |
| 採択年度 | 2024 |
| 代表者氏名 | 水野 勇磨 |
| 採択時の代表者所属 | 千葉大学 大学院理学研究院 特任助教 |
| 代表者の科研費研究者番号 | 80973685 |
| 科研費審査区分（中区分） | 11 （代数学、幾何学） |
| 分析データ 推定科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ クラスタ | 21 （数学） |