区間制約プログラミングの研究事例：Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法

摘要

区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し，区間計算を用いて高信頼な求解処理を行う枠組みである．基本求解アルゴリズムであるBranch And Pruneアルゴリズム，区間ニュートン法の拡張，平行体に基づくwrapping effectの抑制法等が研究されてきた．本稿では区間制約プログラミングの最近の研究事例を2つ紹介する．