computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム 「モノイドの素因数分解(1) - 非専門的シンギュラリティー研究所」の説明が非常にわかりにくいので何とかしたいのですが、今のところ良い説明の方法がありません。停止性についても何も言及していませんが説明した方が良さそうです。「モノイドの素因数分解(1) - 非専門的シンギュラリティー研究所」の「プログラミング言語形式の証明」は単項イデアル整域の場合にも正しいということがわかりましたが、停止することが明らかとは言えないのでこの場合に使うのはやめておきます。停止することが明らかな場合に使った方が良さそうです。このブログでは有用と思われるが検索してもすぐには見つからないようなことを主に書いているのです… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F07%2F28%2F201641" title="証明路開発支援システム(10) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51UjYbXqIzL._SL500_.jpg Hatena Blog https://hatena.blog 2026-07-28 20:16:41 rich https://computeralgebra.hatenablog.com/entry/2026/07/28/201641 1.0 100%