computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 関数プログラミングの帰納的関数 ChatGPT 『数学基礎論 増補版』に書かれていた「半計算可能集合」という用語を検索したら「極限計算可能関数」という用語が出てきたので、「半計算可能集合」についても ChatGPT で調べてみます。これらの概念はプログラミング言語の無限列を返す関数に使えそうですが、さらに適切な用語があるかもしれません。今後調査します。プログラミング言語の無名関数を返す関数は、帰納的関数なのかもしれませんが、無名関数から値を取得する関数として見ると帰納的関数ではないようです。状態を持ち無限に動作するプログラムを、状態を持たないプログラムの列で表すことが目標なので、まずそれを調べていきます。 半計算可能集合とはどのようなもので… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F01%2F31%2F215859" 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/31YKFkhs8GL._SL500_.jpg Hatena Blog https://hatena.blog 2025-01-31 21:58:59 rich https://computeralgebra.hatenablog.com/entry/2025/01/31/215859 1.0 100%