結果 : mathematical formulation of optimization problems