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%2F27%2F212632" title="関数プログラミングの帰納的関数(2) - 非専門的シンギュラリティー研究所" 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-27 21:26:32 rich https://computeralgebra.hatenablog.com/entry/2025/01/27/212632 1.0 100%