「Calculus」を解説文に含む見出し語の検索結果(21～30/1482件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/28 19:25 UTC 版)「Elementary Calculus: An Infinitesimal Appro...
「ラムダ計算騎士団」の紋章。LISPの理論的基礎であるラムダ計算を称えている。Yは不動点コンビネータを意味し、紋章の中に同じ紋章が再帰的に現れる（ドロステ効果）のは再帰を意味している。ラムダ計算騎士団...
「ラムダ計算騎士団」の紋章。LISPの理論的基礎であるラムダ計算を称えている。Yは不動点コンビネータを意味し、紋章の中に同じ紋章が再帰的に現れる（ドロステ効果）のは再帰を意味している。ラムダ計算騎士団...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/17 00:56 UTC 版)「量子プログラミング言語」の記事における「Quantum lambda calculi」...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「Coq」の解説フランスで開発された証明支援システムで、仕様記...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/02 16:40 UTC 版)「第一級関数」の記事における「Erlang」の解説-module(calculus).-...
function mfTempOpenSection(id){var block=document.getElementById("mf-section-"+id);block.className+=...
function mfTempOpenSection(id){var block=document.getElementById("mf-section-"+id);block.className+=...
フランスの数学者、コーシーの名にちなむ反復積分に関するコーシーの公式（英: Cauchy formula for repeated integration）は、n回の不定積分を一度の積分にまとめる公式...
フランスの数学者、コーシーの名にちなむ反復積分に関するコーシーの公式（英: Cauchy formula for repeated integration）は、n回の不定積分を一度の積分にまとめる公式...