数理最適化モデル生成における検証プロセスの重要性を解説。4層のDSLと人間によるループ(HITL)を取り入れ、生成されたコードの精度を実務レベルへ引き上げる手法を紹介。