メタ定理を取り扱う直観主義論理体系の証明システムの設計と実現

• Project/Area Number: 04858005
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: Informatics
• Research Institution: Tohoku University
• Principal Investigator: 亀山 幸義 東北大学, 電気通信研究所, 助手
• Project Period (FY): 1992
• Project Status: Completed (Fiscal Year 1992)
• Budget Amount: ¥900,000 (Direct Cost: ¥900,000); Fiscal Year 1992: ¥900,000 (Direct Cost: ¥900,000)