エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2022-03-20から1日間の記事一覧

ラムダ計算と無限ラムダ多項式(10)

クロージャーの定義 wikipedia:クロージャ などを見ると(できることは同じようですが)クロージャーの定義にはいろいろあるようです。ここでも定義しておいた方が良いと思われるので、ここで使うものを定義しておきます。式は以下のものから構成されます。 定…