「通常の記法との対応」を解説文に含む見出し語の検索結果(1~4/4件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/01/10 02:46 UTC 版)「ド・ブラウン記法」の記事における「通常の記法との対応」の解説Iを通常のラムダ計算の記法...
ナビゲーションに移動検索に移動ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって...
ナビゲーションに移動検索に移動ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって...
ナビゲーションに移動検索に移動ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって...
< 前の結果 | 次の結果 >