2009-02-08から1日間の記事一覧

λ計算おもしろい

Yコンビネータについてさっぱり理解できないまま終わってたけど、数学的な面から考えると分かりやすいような気がした。 F.Ko-Jiの「一秒後は未来」-Yコンビネータについて調べてみた λ式ではYコンビネータは λf.(λx.f(xx))(λx.f(xx)) って表現されるけど、こ…