Quantifier elimination でなんとなくググったら、 【ぉーん】接点tの問題を一瞬で解く【QE入門】 Quantifier Elimination http://youtu.be/IHkbXpjiX5g という動画を発見。 よくこんなの作る人がいたな……