SKIコンビネータ計算
SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。 このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない(難解プログラミング言語には時折採用される)。
SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。 このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない(難解プログラミング言語には時折採用される)。
SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。 このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない(難解プログラミング言語には時折採用される)。
出典: Wikipedia「SKIコンビネータ計算」 · CC BY-SA 4.0
この記事を共有: X · Bluesky