プログラム合成系における高階関数の応用

• Project/Area Number: 58580023
• Research Category: Grant-in-Aid for General Scientific Research (C)
• Allocation Type: Single-year Grants
• Research Field: Informatics
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 米澤 明憲 東京工業大学, 理学部, 助手
• Project Period (FY): 1983
• Project Status: Completed (Fiscal Year 1983)
• Budget Amount: ¥1,200,000 (Direct Cost: ¥1,200,000); Fiscal Year 1983: ¥1,200,000 (Direct Cost: ¥1,200,000)