橋本 Hashimoto   Baku

橋本 Hashimoto   Baku

Y Combinatorを理解せずしてY Combinatorを語るな (メモ)

このページは個人的なメモ書きです。何かあればご連絡ください。
Y = λf.(λx.f (x x)) (λx.f (x x))

勝手に思った

  • 再帰のないところに再帰を作り出す

けどこれ、baku89.iconもちゃんと理解できてないので、僕もY Combinatorは語れない

VCをも支援するVCとしてのYC