ウォンツテック

そでやまのーと

2010-01-18から1日間の記事一覧

久しぶりに高橋正子の計算論の第2章「λ計算の基礎」最初の方の数ページを読んだ。 λ計算ってとどのつまり何よ? って事なんだけど、少し分かった λ"計算"ってのは、まず以下の定義に基づき再帰的に定義される"λ式" 1. 変数 x0, x1, x2, ...はλ式である 2. M…