Quantifier elimination でなんとなくググったら、 【ぉーん】接点ｔの問題を一瞬で解く【ＱＥ入門】 Quantifier Elimination http://youtu.be/IHkbXpjiX5g という動画を発見。 よくこんなの作る人がいたな……
誘惑に負けて、y=m x + b なんておいちゃっても、ＱＥなら大丈夫。 ■■限量子消去(げんりょうししょうきょ、ＱＥ, Quantifier Elimination）について詳しくは、ここ(→)にあるqe_info5.zipのQE.xmlを見てね。応用例、他のソフトの紹介など。 REDLOGが使いやすい (入力...