computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ ラムダ計算 ラムダ計算と無限ラムダ多項式 有限ラムダ多項式 Lisp 「平方根の例」を移植するために Common Lisp のサブセットを目指した Lisp を作成します。これを「有限ラムダ多項式 Lisp」と呼ぶことにします。仕様は以下のようになります。 定数・変数 定数には数値、t (真を表す)、nil (偽を表す)があります。数値は任意の桁数の小数を使うことができます。定数と演算子以外の文字列は変数として使うことができます。 ( 関数名 式 式 … 式 ) 「式 式 … 式」を引数として関数を実行します。「関数名」は 最初から定義されている関数名(car、cdr、cons、first、second、third、atom、nul… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2022%2F04%2F09%2F203653" title="ラムダ計算と無限ラムダ多項式(14) - 非専門的シンギュラリティー研究所" 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-04-09 20:36:53 rich https://computeralgebra.hatenablog.com/entry/2022/04/09/203653 1.0 100%