もっと表示
0pt
再帰関数がラムダ計算で記述可能であることを証明する際に用いる関数名前からして何だかよくわからないし、式を見てもやっぱり何だかわけがわからないので、理論計算機科学分野以外の人を煙に巻く時に使えます
コメントはまだありません
このブックにはコメントできません (ログインするとコメントできます)
「Yコンビネータ」について友人に書いてもらう。
ログインするとワンクリックでキーワードを投稿できます
ログインする 新規登録する
他の人の「Yコンビネータ」を見る
ログイン
マインディア全体の最新情報
29229 keywords exist
コメントはまだありません