「Calculus」を解説文に含む見出し語の検索結果(131~140/1482件中)
型付きラムダ計算(かたつきラムダけいさん、英: typed lambda calculus)とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
ロビン・ミルナー生誕1934年1月13日 イギリス プリマス ヤームプトン(英語版)死没 (2010-03-20) 2010年3月20日(76歳没) イギリス ケンブリッジ国籍 イギリス研究分野計算機...
ロビン・ミルナー生誕1934年1月13日 イギリス プリマス ヤームプトン(英語版)死没 (2010-03-20) 2010年3月20日(76歳没) イギリス ケンブリッジ国籍 イギリス研究分野計算機...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
ジェス・ダグラスJesse Douglas1932年のダグラス生誕 (1897-07-03) 1897年7月3日アメリカ、ニューヨーク市死没1965年9月7日(1965-09-07)(68歳没)アメリ...
ジェス・ダグラスJesse Douglas1932年のダグラス生誕 (1897-07-03) 1897年7月3日アメリカ、ニューヨーク市死没1965年9月7日(1965-09-07)(68歳没)アメリ...
ド・ドンデ-ワイル理論(英語: De Donder–Weyl theory)は数理物理学の分野で用いられる変分法および場の古典論におけるハミルトン形式を、時空の時間および空間を等しい立場で扱う...
ド・ドンデ-ワイル理論(英語: De Donder–Weyl theory)は数理物理学の分野で用いられる変分法および場の古典論におけるハミルトン形式を、時空の時間および空間を等しい立場で扱う...
数学における汎函数計算(はんかんすうけいさん、英: functional calculus)は、作用素に函数を適用する(函数の引数に作用素をとる)方法を与える理論である。現在のところ、函数解析...
数学における汎函数計算(はんかんすうけいさん、英: functional calculus)は、作用素に函数を適用する(函数の引数に作用素をとる)方法を与える理論である。現在のところ、函数解析...