2022-03-27 ラムダ計算と無限ラムダ多項式(12) ラムダ計算 ラムダ計算と無限ラムダ多項式 有限の場合から無限の場合へ 有限の場合(任意の再帰的定義の関数の呼び出しの深さが有限の回数 以内の場合)、関数定義、無名関数、クロージャーを取り除くことができて、式の値は以前定義した「一般マグマの多項式」のような形にすることができます。これの無限の場合(任意の の場合)について考えることがこの記事の目的となります。初めての人のためのLISP[増補改訂版]作者:竹内郁雄翔泳社Amazonまったく初めての人のためのISLisp作者:笹川賢一AmazonLOGOプログラミング入門作者:矢矧晴一郎工学図書AmazonLOGO空間プログラミング (岩波コンピュータサイエンス)作者:善行, 小谷,正之, 高田,克人, 阿竹,洋, 福田岩波書店AmazonウィンストンのSmalltalk (Higher Education Computer Series)作者:パトリック・ヘンリー ウィンストンアジソンウェスレイパブリッシャーズジャパンAmazon