「lambda‐calculus」を解説文に含む見出し語の検索結果(1～10/76件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/22 14:06 UTC 版)「ドロステ効果」の記事における「ドロステ効果の例」の解説ジョット・ディ・ボンドーネ作の三...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/15 09:28 UTC 版)「Scheme」の記事における「ラムダ論文一覧」の解説Scheme が発表された一連の論...
「ラムダ計算騎士団」の紋章。LISPの理論的基礎であるラムダ計算を称えている。Yは不動点コンビネータを意味し、紋章の中に同じ紋章が再帰的に現れる（ドロステ効果）のは再帰を意味している。ラムダ計算騎士団...
「ラムダ計算騎士団」の紋章。LISPの理論的基礎であるラムダ計算を称えている。Yは不動点コンビネータを意味し、紋章の中に同じ紋章が再帰的に現れる（ドロステ効果）のは再帰を意味している。ラムダ計算騎士団...
Jump to navigationJump to search音楽家については「フェリー・コーステン」をご覧ください。System Fは型付きラムダ計算の一体系で，単純型付きラムダ計算に型についての...
Jump to navigationJump to search音楽家については「フェリー・コーステン」をご覧ください。System Fは型付きラムダ計算の一体系で，単純型付きラムダ計算に型についての...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/17 00:56 UTC 版)「量子プログラミング言語」の記事における「Quantum lambda calculi」...
量子プログラミング言語（りょうしプログラミングげんご、英: Quantum programming language）とは量子アルゴリズム（英語版）の表現を実現するプログラミング言語の総称であ...
量子プログラミング言語（りょうしプログラミングげんご、英: Quantum programming language）とは量子アルゴリズム（英語版）の表現を実現するプログラミング言語の総称であ...
B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文Grundlagen der kombinato...
< 前の結果 | 次の結果 >