Fourier–Motzkin消去法
Fourier-Motzkin elimination
https://ja.wikipedia.org/wiki/Fourier–Motzkin消去法