平成１０年度　委託研究ソフトウェアの最終成果報告書

(12) 制約処理系を利用した図形描画システムに関する研究

研究代表者：	五十嵐　健夫氏
	東京大学情報工学専攻博士過程学生