ラグランジュ乗数法による制約最適化