jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 空中戦 \( \forall x \)や\( \exists y\)などの量限定子がついた変数を全て除去出来れば、自由変数だけからなる式が出来ます。これを同値変形で求めることができれば、量限定子除去した結果の自由変数の式は元の式が成立するための（必要十分）条件となります。 変数の領域を実数にとり、多変数多項式を項として、等号、不等号を述語とする１階述語論理では、量限定子除去(Q.E.)をすることが可能で、そのためのアルゴリズムがあります。よく知られているアルゴリズムはCylindrical Algebraic Decomposition (略してCAD)とかVirtual Substituti… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2014%2F04%2F23%2F232844" title="-数学- 量限定子除去を実行するソフトウェア - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/41q1us412FL.jpg Hatena Blog https://hatena.blog 2014-04-23 23:28:44 rich https://maxima.hatenablog.jp/entry/2014/04/23/232844 1.0 100%