検索結果- 英語 - 英語
検索内容:
lambda calculus
名詞
可算名詞
不可算名詞
日本語の意味
形式的な代数体系の一種で、固定された規則に従いラムダ式を評価して値を導出する計算理論のモデル。 / 関数抽象と適用の原理に基づく、関数型計算やプログラミングにおける基礎理論となるシステム。
関連語
fractional calculus
名詞
不可算名詞
日本語の意味
分数階微分積分学:伝統的な微積分の概念を、微分や積分の非整数(実数または複素数)の演算子乗に拡張して扱う数学の一分野。 / 非整数階の微分や積分を含む、微分積分学の一般化理論。
関連語
Ricci calculus
名詞
日本語の意味
テンソルやテンソル場を定義し、それらを操作する規則を添字記法で記述する形式体系。リッチ=キュルバストロが発展させたテンソル解析の理論で、現代数学や物理学の基礎となる。
sequent calculus
関連語
loading!
Loading...