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

• 研究課題/領域番号: 58580027
• 研究種目: 一般研究(C)
• 配分区分: 補助金
• 研究分野: 情報学
• 研究機関: 京都大学
• 研究代表者: 阿草 清滋 京都大学, 工学部, 助教授 (90026360)
• 研究期間 (年度): 1983 – 1984
• 研究課題ステータス: 完了 (1984年度)
• 配分額: 2,200千円 (直接経費: 2,200千円); 1984年度: 1,000千円 (直接経費: 1,000千円); 1983年度: 1,200千円 (直接経費: 1,200千円)