2006-01-07から1日間の記事一覧
Schemeでラムダ計算のシミュレートを行う課題でもやろうかと思ったんですが、課題の意味がよく分かりません。ラムダ式とそのラムダ式の束縛変数の値を受け取り、β変換することをラムダ計算というのであれば、Schemeなら例えば、 ((lambda (x) (xの式)) (xの…
Schemeでラムダ計算のシミュレートを行う課題でもやろうかと思ったんですが、課題の意味がよく分かりません。ラムダ式とそのラムダ式の束縛変数の値を受け取り、β変換することをラムダ計算というのであれば、Schemeなら例えば、 ((lambda (x) (xの式)) (xの…