最適化モデルの定式化に関する数学的な質問