computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム さらに ChatGPT で以下のように質問しました。 再帰的呼び出しの「呼び出しの深さ」がどの経路を通っても有限であるならば、停止しますか？ 以下の答えが返されました。「ケーニッヒの補題」は『グラフ理論入門(原書第4版)』定理 16.3 に書かれていました。以前グラフ理論関連の本を調べたときは見落としていました。 はい、その条件なら停止します。ただし、「呼び出しの深さ」が何を意味するかを少し正確にすると、停止性との関係がはっきりします。この `Factorize` の再帰呼び出しを木で表すと、 Factorize(a) ├── Factorize(b) │ ├── ... │ └── ... … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F07%2F27%2F223234" title="証明路開発支援システム(9) - 非専門的シンギュラリティー研究所" 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-27 22:32:34 rich https://computeralgebra.hatenablog.com/entry/2026/07/27/223234 1.0 100%