諸概念のラムダ式での表現
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/12 16:37 UTC 版)
「ラムダ計算」の記事における「諸概念のラムダ式での表現」の解説
上で述べたように、ラムダ計算は計算可能な全ての関数を表現することができる。また、上では 2 + 3 のような算術をラムダ式の一部として用いた。 2 + 3 などは計算可能であるから、もちろんラムダ計算による表現が可能である。もちろん、 2 + 3 以外にも計算可能な全ての関数の表現が可能である。ここではそれらのうちの主なものを紹介する。
※この「諸概念のラムダ式での表現」の解説は、「ラムダ計算」の解説の一部です。
「諸概念のラムダ式での表現」を含む「ラムダ計算」の記事については、「ラムダ計算」の概要を参照ください。
Weblioに収録されているすべての辞書から諸概念のラムダ式での表現を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から諸概念のラムダ式での表現 を検索
- 諸概念のラムダ式での表現のページへのリンク