「ラムダ計算の概要」を解説文に含む見出し語の検索結果(11～19/19件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/10 14:50 UTC 版)「コンビネータ論理」の記事における「ラムダ計算の概要」の解説詳細は「ラムダ計算」を参照 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「ラムダ計算とプログラミング言語」の解説ピーター・ランディン...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「自然数と算術」の解説自然数をラムダ式で表現する方法はいくつ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「非形式的な概説」の解説例えば、ある数に 2 を加える関数 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「再帰」の解説再帰とは自分自身を関数として使用することで、ラ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「同値性の決定不可能性」の解説2つのラムダ式を入力とし、それ...
コンビネータ論理（英: combinatory logic、組み合わせ論理）は、モイセイ・シェインフィンケリ（ロシア語版、英語版）（露: Моисей Эльевич Шейнфинк...
コンビネータ論理（英: combinatory logic、組み合わせ論理）は、モイセイ・シェインフィンケリ（ロシア語版、英語版）（露: Моисей Эльевич Шейнфинк...
コンビネータ論理（英: combinatory logic、組み合わせ論理）は、モイセイ・シェインフィンケリ（ロシア語版、英語版）（露: Моисей Эльевич Шейнфинк...
< 前の結果 | 次の結果 >