lambda-sun vol. 1 λ計算の入門について書きました。 λ式だけで再帰関数を書くには？ λ計算の計算可能性は？ プログラマがλ計算を学ぶ意義とは？