「ラムダ計算の概要」を解説文に含む見出し語の検索結果(1~10/19件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「並行性」の解説ラムダ計算のチャーチ・ロッサー性は、評価(&...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「対」の解説(2つ組の)順序対のデータ型は、 TRUE およ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「計算可能性とラムダ計算」の解説自然数から自然数への関数 F...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「諸概念のラムダ式での表現」の解説上で述べたように、ラムダ計...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「β-簡約」の解説ベータ簡約(ベータ変換とも)の基...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「チャーチ・ロッサー性」の解説一般にラムダ式の中にβ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「停止性」の解説β-変換は停止しない(無限ループに...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「α-変換」の解説アルファ変換の基本的なアイデアは...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「η-変換」の解説上に挙げた2つの規則の他に、第3...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「論理記号と述語」の解説TRUE や FALSE といった真...
< 前の結果 | 次の結果 >