関数的体系に基くソフトウェアの自動的設計に関する研究

• Project/Area Number: 58580027
• Research Category: Grant-in-Aid for General Scientific Research (C)
• Allocation Type: Single-year Grants
• Research Field: Informatics
• Research Institution: Kyoto University
• Principal Investigator: 阿草 清滋 京都大学, 工学部, 助教授 (90026360)
• Project Period (FY): 1983 – 1984
• Project Status: Completed (Fiscal Year 1984)
• Budget Amount: ¥2,200,000 (Direct Cost: ¥2,200,000); Fiscal Year 1984: ¥1,000,000 (Direct Cost: ¥1,000,000); Fiscal Year 1983: ¥1,200,000 (Direct Cost: ¥1,200,000)