結果 : mixed integer nonlinear programming wikipedia