nitaのブック
(24 keywords)

よく使われているタグ

もっと表示

最新日記

RSS
  • 日記はまだありません

もっと表示

nitaのお気に入り

  • おぎやす広辞苑 おぎやす広辞苑
  • tsucchonのブック tsucchonのブック
  • 西小倉事典 西小倉事典

もっと表示

nitaのブックのメンバー

  • 西小倉パンデイロ 西小倉パンデイロ
  • tsucchon tsucchon
  • nita nita
  • おぎやす おぎやす

もっと表示

 

Yコンビネータ

0pt

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

2007-10-31 19:40:32 #1 履歴 コメント(0)

新バージョンで見る

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

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

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

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

関連したキーワードを持つお気に入り

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