ド・ブラウン記法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/01/10 02:46 UTC 版)
ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって発明された。
- 1 ド・ブラウン記法とは
- 2 ド・ブラウン記法の概要
Weblioに収録されているすべての辞書からド・ブラウン記法を検索する場合は、下記のリンクをクリックしてください。
全ての辞書からド・ブラウン記法を検索
- ド・ブラウン記法のページへのリンク