computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明図を遡る説明のとき、成功の場合を含めるのか含めないのか明言していませんでしたが、実質は証明が成功でも失敗でもないときの極限となっていました。証明図の極限を考えることが目的だったのですが、証明図が書けないときの極限になっているというのではここに書いてきた一連のことは意味がわからなくなってしまうという問題があります。有限の文字列を切り詰める写像による射影的極限によって無限の文字列を考えることができるのと同様、証明図を証明図に切り詰めることができれば上記の問題は解決できると考えられます。以下ではこの方向で考えていきます。PLP のプログラムが成功して結果として有限のリストが得られる場合を考えます… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F02%2F24%2F004830" title="論理計算と随伴関手(15) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20n Hatena Blog https://hatena.blog 2020-02-24 00:48:30 rich https://computeralgebra.hatenablog.com/entry/2020/02/24/004830 1.0 100%