橋本
Hashimoto
麦
Baku
橋本
Hashimoto
麦
Baku
>>=
Works
??
About
(λ)
Tools
§.§
Writings
EN
JA
Lambda calculus
(メモ)
このページは個人的な
メモ書き
です。何かあれば
ご連絡
ください。
ラムダ計算
ビジュアルプログラミングと関数型
との関連性
Related ->
Y Combinatorを理解せずしてY Combinatorを語るな
Y Combinatorを理解せずしてY Combinatorを語るな Y = λf.(λx.f (x x)) (λx.f (x x)) 勝手に思った Paul Graham Lambda calculus における不動点コンビネーター 再帰のないところに再帰を作り出す けどこれ、 baku89.i