結果 : mathematical formulation of optimization problem