高階項書換え系の停止性に関する研究

• Project/Area Number: 12780229
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: 計算機科学
• Research Institution: Shimane University
• Principal Investigator: 岩見 宗弘 島根大, 総合理工学部, 助手 (70314614)
• Project Period (FY): 2000
• Project Status: Completed (Fiscal Year 2000)
• Budget Amount: ¥1,100,000 (Direct Cost: ¥1,100,000); Fiscal Year 2000: ¥1,100,000 (Direct Cost: ¥1,100,000)