Jij では、Pythonベースの数理最適化モデル記述ツール JijModeling を開発しています。JijModeling により、組合せ最適化問題を含む様々な最適化問題を数式に近い形で記述し、別講演で紹介する OMMX などを介して様々なソルバーに求解させることができます。 JijModelingでは、モデルと実データを切り離して記述するため、制約条件の追加・変更が容易であり、また、問題の規模に左右されずに記述を行うことができます。また、JijModeling では制約式を代数的に保持しているため、そこから特定の制約パターンを自動検出し、適宜ソルバーにヒントとして渡すことで実行時間の効率化を達成しています。 また、代数的表現を LaTeX に自動変換することで Jupyter Notebook で直感的に数式のプレビューができ、手軽かつ直感的なモデルの記述を行えるようになっています。 本発表では、こうしたJijModelingの概要に加え、SOS1制約の自動検出機能など、最近追加された新機能や今後の展望についてご紹介します。
