結果 : mixed integer nonlinear programming gurobi