「コンビネータ計算」を解説文に含む見出し語の検索結果(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...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS