2007-06-13 第1講 多面体、多面集合、錐 駆け足で読むシリーズ 多面体 組み合わせ Fourier–Motzkin elimination 錐と凸多面体との和で表された多面体を、上位次元の錐として捉えて扱いを容易にすること ファルカスの補題 後退錐、斉次化 カラテオドリの定理