ラムダ計算について考える のバックアップ差分(No.1)
- バックアップ一覧
- 現在との差分 を表示
- ソース を表示
- バックアップ を表示
- ラムダ計算について考える へ行く。
- 1 (2010-06-07 (月) 00:40:20)
- 追加された行はこの色です。
- 削除された行はこの色です。
*なかなか眠れないので [#z055c3b8] ラムダ計算について考えてみる。 一番、自分にとってわかりやすい説明を書いてから寝ることにする。 **アルファ変換 [#ue254384] リファクタリングで、よくある名前変更みたいなもので、 名前がかぶっちゃだめよっていう縛りがあるから、そういうのは束縛変数っていう。 **ベータ変換 [#s3902aa0] 条件は適用されている式のかぶっちゃだめよ変数になっちゃダメってことらしい。 こんなもんでどうだろう。
