結果 : is mixed integer programming convex