computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 関数プログラミングの帰納的関数 ChatGPT 帰納的関数の入門書『復刊 帰納的関数』を見ています。関数プログラミングの関数と帰納的関数を比較して分類する予定です。ChatGPT も使って調べていきます。目次は以下のようになっています。 第1章 序論 1.1 帰納的関数および帰納的述語の概念 1.2 有限の立場 1.3 アルゴリズム 1.4 記号と規約 第2章 帰納的関数と帰納的述語 2.1 原始帰納的関数と帰納的関数 2.2 原始帰納的述語と帰納的述語 2.3 有限列の表現 2.4 累積帰納法 2.5 多重帰納的関数 2.6 帰納的部分関数 2.7 帰納的手続き 第3章 不完全性定理 3.1 形式的体系P 3.2 形式的体系Pの算術化 3… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F01%2F25%2F004006" 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/31YKFkhs8GL._SL500_.jpg Hatena Blog https://hatena.blog 2025-01-25 00:40:06 rich https://computeralgebra.hatenablog.com/entry/2025/01/25/004006 1.0 100%