しっかり学ぶ数理最適化　モデルからアルゴリズムまで