キーワード検索

Yコンビネータの検索結果

キーワード名に完全にマッチ

• 西小倉事典
  Yコンビネータ 0pt
• nitaのブック
  Yコンビネータ 0pt
  再帰関数がラムダ計算で記述可能であることを証明する際に用いる関数   名前からして何だかよくわからないし、式を見てもやっぱり何だかわけがわからないので、理論計算機