2008-05-20 LP 9:30-13:00 ゼミ dropping the redundant constraints in standard form LP. extended foundamental theorem の詳細を理解していないので、あとで確認。