computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 中間報告 「ラムダ計算と無限ラムダ多項式」では呼び出しの深さが有限のクロージャーを含む式を表すための「有限ラムダ多項式」を定義しましたが、これは「一般マグマの多項式」と同様のものでした。呼び出しの深さが有限なのでクロージャーを除去することはできると思われるのですが、式にクロージャーを含むようにしたほうが良いのでこれも考えていきたいと思います。これは「有限ラムダ代数」という名前に変更したいと思います。「たらい回し関数」はクロージャーの変数を「変更できない変数」にする方法のために調査していたのですが、これはできそうにないので中断しています。「アッカーマン関数」の項の中で書いた関数の分類は使えるかもしれません… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2022%2F06%2F21%2F002411" 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> Hatena Blog https://hatena.blog 2022-06-21 00:24:11 rich https://computeralgebra.hatenablog.com/entry/2022/06/21/002411 1.0 100%