制約処理系を利用した図形描画システム
最終成果報告書概要

田中 英彦,　五十嵐 健夫,　松岡 聡

東京大学工学系研究科
東京工業大学情報理工学研究科