computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム 「ゲーム・プログラミング(5) - 非専門的シンギュラリティー研究所」で証明を迷路のようにしたものを生成AIで作ってもらいましたが、迷路にはなっていないのですが改造すれば使えそうなものができたので、これを改造して使うことにしました。迷路とは言えないので「証明路」と呼ぶことにします。将来的にはテキストを入れ替えることによっていろいろな証明に対応できるようにしますが、今は 整域において素元は既約元である UFDにおいて既約元は素元である ということの証明をたどることができるものになっています。「証明路」は以下のようにツリーの形式に変更しました。このため、主要な部分は全面的に書き直しました。 「証明… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F07%2F02%2F193601" title="証明路開発支援システム(1) - 非専門的シンギュラリティー研究所" 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-02 19:36:01 rich https://computeralgebra.hatenablog.com/entry/2026/07/02/193601 1.0 100%