「lambda-calculus」を解説文に含む見出し語の検索結果(1～10/219件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/17 00:56 UTC 版)「量子プログラミング言語」の記事における「Quantum lambda calculi」...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/15 09:28 UTC 版)「Scheme」の記事における「ラムダ論文一覧」の解説Scheme が発表された一連の論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 03:08 UTC 版)「依存型」の記事における「高階の依存型付き多相ラムダ計算」の解説高階の λ...
「ラムダ計算騎士団」の紋章。LISPの理論的基礎であるラムダ計算を称えている。Yは不動点コンビネータを意味し、紋章の中に同じ紋章が再帰的に現れる（ドロステ効果）のは再帰を意味している。ラムダ計算騎士団...
「ラムダ計算騎士団」の紋章。LISPの理論的基礎であるラムダ計算を称えている。Yは不動点コンビネータを意味し、紋章の中に同じ紋章が再帰的に現れる（ドロステ効果）のは再帰を意味している。ラムダ計算騎士団...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/22 14:06 UTC 版)「ドロステ効果」の記事における「ドロステ効果の例」の解説ジョット・ディ・ボンドーネ作の三...
Jump to navigationJump to search音楽家については「フェリー・コーステン」をご覧ください。System Fは型付きラムダ計算の一体系で，単純型付きラムダ計算に型についての...
Jump to navigationJump to search音楽家については「フェリー・コーステン」をご覧ください。System Fは型付きラムダ計算の一体系で，単純型付きラムダ計算に型についての...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/17 00:55 UTC 版)「量子力学の数学的定式化」の記事における「作用素解析」の解説H {\displaysty...
マリアヴァン解析（マリアヴァンかいせき）とは、確率解析学において伊藤解析と並ぶもう１つの解析方法である。マリアヴァン解析は、ヘルマンダー条件が確率微分方程式の解に対する密度の存在と滑らかさの十分条件で...
< 前の結果 | 次の結果 >