結果 : half plane in linear programming