「ラムダ計算との関係」を解説文に含む見出し語の検索結果(1~3/3件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/17 15:40 UTC 版)「SKIコンビネータ計算」の記事における「ラムダ計算との関係」の解説任意のコンビネータ項...
ナビゲーションに移動検索に移動SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記...
ナビゲーションに移動検索に移動SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記...
< 前の結果 | 次の結果 >