computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ ラムダ計算 ラムダ計算と無限ラムダ多項式 「関数プログラミングと無限論理多項式」でLisp の簡単な処理系を作ってクロージャーの調査をしようとしたのですが、Lisp で動作確認をするのはたいへんそうなので、まずは C# の例から徐々に Lisp 風に移行していきたいと思います。ラムダ式で書くと Lisp に移行しやすくなると思ったのですが、この方向からはあまり進展しそうになかったので、C# の例の中にラムダ計算風のものを取り入れていこうと思います。その前に Lisp に処理系で使われている任意の桁数の小数を扱うことができるものを実装します。C# の例で使っていた LongDecimal クラスでは小数点以下任意の桁数の正の小数(小数点… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2022%2F03%2F07%2F221728" 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/41Ksz3r9-oL._SL500_.jpg Hatena Blog https://hatena.blog 2022-03-07 22:17:28 rich https://computeralgebra.hatenablog.com/entry/2022/03/07/221728 1.0 100%