「コンビネータ計算」を解説文に含む見出し語の検索結果(11~20/33件中)
ナビゲーションに移動検索に移動SKIスキー 但し正式な英語表記はSking。制服向上委員会(Seifuku Kojo Iinkai)の略称。東海地方及び関東地方で携帯電話販売代理店業を行う企業。株式会...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/10 14:50 UTC 版)「コンビネータ論理」の記事における「コンビネータ計算の非決定性」の解説一般的なコンビネー...
Unlambdaパラダイム関数型言語設計者David Madore最新リリース2.0.0/ 1999年12月20日 (25年前) (1999-12-20)型付けなし主な処理系unla...
ナビゲーションに移動検索に移動SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記...
ナビゲーションに移動検索に移動SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記...
コンビネータ論理(英: combinatory logic、組み合わせ論理)は、モイセイ・シェインフィンケリ(ロシア語版、英語版)(露: Моисей Эльевич Шейнфинк...
コンビネータ論理(英: combinatory logic、組み合わせ論理)は、モイセイ・シェインフィンケリ(ロシア語版、英語版)(露: Моисей Эльевич Шейнфинк...
コンビネータ論理(英: combinatory logic、組み合わせ論理)は、モイセイ・シェインフィンケリ(ロシア語版、英語版)(露: Моисей Эльевич Шейнфинк...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...