新しい高速制約充足法に基づく描画システム

2000 Fiscal Year Annual Research Report

• Project/Area Number: 11680346
• Research Institution: Tokyo Institute of Technology, Department of Computer Science
• Principal Investigator: 徳田 雄洋 東京工業大学, 大学院・情報理工学研究科, 教授 (30111644)
• Keywords: 制約充足法 / DeltaBlue法 / 拡張DeltaBlue法 / DeltaUp法 / 階層的制約充足法 / 循環型Indigo法

Research Abstract

平成11年度および平成12年度で次のような研究成果を上げることができた。
平成11年度は、局所伝播法の代表的な制約充足法であるDeltaBlue法に対し、3つの異なる観点から効率化した制約充足法を開発することができた。すなわち、適用範囲を安全に拡大できる拡張DeltaBlue法、メソド選択回数をいつも最小化できるDeltaUp法、大規模問題でモジュール制約を扱うことができる階層的制約充足法を開発した。
平成12年度は、描画システムで不可欠な不等号制約を扱うことができる代表的な制約充足法であるIndigo法に対し、制約間に循環関係が発生しても、これを充足することができる循環型Indigo法を開発した。また、開発したこれらの制約充足法を各種用いて実際に応用システムを構築する際に、プログラミングを容易に行うことができる制約プログラミング環境として、Tcl/Tkに基づく制約Tcl/Tkシステム、およびPascalに基づく制約Pascalシステムを設計し、制約Tcl/Tkシステムを実現した。
以上から描画システムを扱うために必要となる代表的な制約充足法DeltaBlue法とIndigo法に対し、効率化と拡張化を行い一連の新しい制約充足法を開発し、制約プログラミング環境として制約Tcl/Tkシステムを実現した。

Research Products

• [Publications] 鈴木徹也,浅見一尋,徳田雄洋: "制約充足器を扱える言語処理系の構成法"日本ソフトウェア科学会第16回大会論文集. 113-116 (1999)
• [Publications] Tetsuya Suzuki and Takehiro Tokuda: "An Incremental and Hierarchical Contstraint Solver with the Lazy Planning Phase for User Interface Construction"Tokyo Institute of Technology Department of Computer Science Technical Report. TR99巻・0013号. 1-4 (1999)
• [Publications] Tetsuya Suzuki and Takehiro Tokuda: "A repeated-update problem in the DeltaBlue algorithm"Tokyo Institute of Technology Department of Computer Science Technical Report. TP99巻0014号. 1-12 (1999)
• [Publications] 浅見一尋,徳田雄洋: "制約プログラミング言語Constlant Puscal"電子情報通信学会 ソフトウェアサイエンス研究会 技術研究報告. 99巻683号. 1-8 (2000)
• [Publications] Natsuki Saito,Tetsuya Suzuki and Takehiro Tokuda: "A Practical Modification of Indigo Algorithm for Handling Cyclic Constraint Relationships"Tokyo Institute of Technology Department of Computer Science Technical Report. TR00巻0002号. 1-12 (2000)