配送ルートやシフト編成などの組み合わせ最適化において、現場担当者とORエンジニアの認識ギャップが課題です。OptiBuddyは、LLMに最適化コードを直接書かせるのではなく、独自のDSLを書かせることで、静的・動的検証を行い、業務要件を正確に反映した数理モデルを構築するアプローチを採用しています。