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

• Project/Area Number: 24K16915
• Research Category: Grant-in-Aid for Early-Career Scientists
• Allocation Type: Multi-year Fund
• Review Section: Basic Section 11020:Geometry-related
• Research Institution: Chiba University
• Principal Investigator: 水野 勇磨 千葉大学, 大学院理学研究院, 特任助教 (80973685)
• Project Period (FY): 2024-04-01 – 2027-03-31
• Project Status: Suspended (Fiscal Year 2024)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2026: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2025: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2024: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)