2008-07-22 ■ ゼミ LPゼミ。proof of separating hyperplane theorem. dual unboundedness for primal infeasibility.