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

五十嵐　健夫(東京大学　情報工学専攻博士過程)

• はじめに
• 対話的整形
• 予測描画機構
• 関連研究
• プロトタイプシステム Pegasus
• まとめ
• 参考文献