証明支援系による図式証明の形式化：コヒーレンス定理からのアプローチ

• 研究課題/領域番号: 24K16915
• 研究種目: 若手研究
• 配分区分: 基金
• 審査区分: 小区分11020:幾何学関連
• 研究機関: 千葉大学
• 研究代表者: 水野 勇磨 千葉大学, 大学院理学研究院, 特任助教 (80973685)
• 研究期間 (年度): 2024-04-01 – 2027-03-31
• 研究課題ステータス: 留保 (2024年度)
• 配分額: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円); 2026年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2025年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2024年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)