Yコンビネータ

2013-10-06 更新

この単語にはまだ本文がありません。

他の人の「Yコンビネータ」

nitaの「Yコンビネータ」nitaのブック再帰関数がラムダ計算で記述可能であることを証明する際に用いる関数名前からして何だかよくわからないし、式を見てもやっぱり何だかわけがわからないので、理論計算機科…
2007-10-31