制約充足ソルバの学習ツール

1. ツール内容

本ツールは、各分野の問題を制約充足ソルバにより解決する学習例と解説を提供する。使用者は、興味のある学習例

を選択し、問題を制約式に記述する技術・コツを学習する。

2. ターゲット

・制約ソルバによる問題解決に興味のあるが、学習資料が見つからない方

・低開発コストを重視した開発者

・迅速に一つの解決策を提案したい開発者、研究者

3. 学べること

制約充足ソルバにより問題を解決する技術

4. 特徴・魅力

問題解決に特化した専門解法を開発することは拡張性が低いデメリットがあるが、制約充足ソルバを活用することでそのデメリットを補い、汎用的な解法の開発につながります。