区間制約ソルバは、実数領域から制約を満たす変数値を求める制約充足問題を区間計算に基づいて求解するソフトウェアで、ロボットアームや動的システム等を制約で記述し、解析するのに役立つ。
しかし、動的システムを記述する際に制約数が多くなり記述量が増える場合や制約の記述順が悪く、求解時間が大きくなる場合がある。
本研究では一連の同形の制約を表すパラメータ化制約をサポートした区間制約ソルバを実現し、効率的な求解手法を開発する。
区間制約ソルバのパーサや削減器を拡張し、パラメータ化制約を扱うことを可能にした。また、一連の制約中から削減に有効な制約を優先的に選択する機構を実装し、求解時間を改善した。