証明論的順序数表記系の再検討：線形論理の観点から

• Project/Area Number: 21K12822
• Research Category: Grant-in-Aid for Early-Career Scientists
• Allocation Type: Multi-year Fund
• Review Section: Basic Section 01010:Philosophy and ethics-related
• Research Institution: Nagoya University
• Principal Investigator: 高橋 優太 名古屋大学, 情報学研究科, その他 (70826990)
• Project Period (FY): 2021-04-01 – 2026-03-31
• Project Status: Adopted (Fiscal Year 2021)
• Budget Amount: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000); Fiscal Year 2025: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000); Fiscal Year 2024: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000); Fiscal Year 2023: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000); Fiscal Year 2022: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000); Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)