久しぶりに高橋正子の計算論の第2章「λ計算の基礎」最初の方の数ページを読んだ。 λ計算ってとどのつまり何よ? って事なんだけど、少し分かった λ"計算"ってのは、まず以下の定義に基づき再帰的に定義される"λ式" 1. 変数 x0, x1, x2, ...はλ式である 2. M…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。