Yコンビネータ

0pt

本文はまだありません

「Yコンビネータ」について友人に書いてもらう。

あなたにとって「Yコンビネータ」とは？

ログインするとワンクリックでキーワードを投稿できます

ログインする 新規登録する

お気に入りの説明

nitaのブック nitaのブック
0 pt
再帰関数がラムダ計算で記述可能であることを証明する際に用いる関数 名前からして何だかよくわからないし、式を見てもやっぱり何だかわけがわからないので、理論計算機科学分野以外の人を煙に巻く時...
もっと読む

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