jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 品川プリンス では最初に限定子除去(Quantifier Elimination)の手法を用いてハートの形に見える代数曲線の、xの範囲を求めました。その範囲を表す論理式を手で簡約化した、と書きました。その記事を書いた瞬間、心に引っかかるものがあったのですが、とりあえず記事を書き上げて投稿しました。 そのあと、ehitoさんのブログATPとCASのことを調べてみたらありました。この簡約化を実行してくれる関数が。 (%i1), (%i2)で定義されるnns(f), nnscan(f)は論理式fを簡約化した論理式を出力する関数です。 こちらの記事に載っている定義を使わせて頂きました。 (%i1) n… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2016%2F12%2F11%2F001310" 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> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20010416/20010416223900.jpg Hatena Blog https://hatena.blog 2016-12-11 00:13:10 rich https://maxima.hatenablog.jp/entry/2016/12/11/001310 1.0 100%