INFOSEKOLAH.NET

微分積分学（びぶんせきぶんがく、英: calculus）または微積分学（びせきぶんがく）とは、解析学の基本的な部分を形成する数学の分野の一つである。微分積分学は、局所的な変化を捉える微分と局所的な量の大域的な集積を扱う積分法の二本の柱からなり、分野としての範囲を確定するのは難しいが、大体多変数実数値...

1970年代以前の数学において "umbral calculus"（陰影の算法、陰計算（いんけいさん））は、ある種の「証明」に用いられるある種の暗喩的手法と、それとは一見して無関係のはずの多項式方程式との間に横たわる驚くべき関係についていうものであった。これらの手法は John Blissard (1861)...

解析学の一分野、変分法（へんぶんほう、英: calculus of variations, variational calculus; 変分解析学）は、汎函数（函数の集合から実数への写像）の最大化や最小化を扱う。汎函数はしばしば関数とその導関数を含む定積分として表される。この分野の主な興味の対象は、...

First-Year Calculus, University of Minnesota, https://www.math.umn.edu/~garrett/calculus/  Hussain, Faraz (2006), Understanding Calculus, https://www...

積分法（せきぶんほう、英: integral calculus）は、微分法とともに微分積分学で対をなす主要な分野である。 説明での数式の書き方は広く普及しているライプニッツの記法に準ずる。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分（独: bestimmtes Integral、英:...

ジェラルド・サスマン、ガイ・スティール・ジュニア (1975), Scheme: An Interpreter for Extended Lambda Calculus, ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-349.pdf  ジェラルド・サスマン、ガイ・スティール・ジュニア...

H. J. キースラー（英語版）著 Elementary Calculus: An Infinitesimal approach（『無限小解析の基礎―微積分の新手法』）は、大学初年度級向けの初等解析学（微分積分学）用の教科書として書かれた。副題は An approach using infinitesimals...

多変数（基礎）解析学または多変数微分積分学（英: multivariable calculus, multivariate calculus）とは、1変数の微分積分学を多変数へ拡張したもの、すなわち多変数関数における微分法および積分法を扱う解析学の一分野である。...

com/science/article/pii/S0001870816303164.  ^ Loregian, Fosco (2021). (Co)end Calculus. Cambridge: Cambridge University Press. arXiv:1501.02503. doi:10.1017/9781108778657...

数学におけるテンソル解析（テンソルかいせき、英: tensor calculus, tensor analysis）はベクトル解析をテンソル場（時空などの多様体上を変化するテンソル）に対して拡張するものである。 テンソル(tensor)解析の概念そのものは微分幾何学におけるガウスの研究から生まれたも...

2019年12月21日閲覧。 ^ a b Lang, Serge (2012). Short Calculus: The Original Edition of “A First Course in Calculus”. Springer New York. p. 65-68, 74-75. ISBN 9781461300779...

様相作用素と量化子を併用する論理も述語論理の一種とされる。これについては様相論理を参照。 [脚注の使い方] ^ 英: predicate calculus ^ Eric M. Hammer: Semantics for Existential Graphs, Journal of Philosophical...

分数階微分積分学（ぶんすうかいびぶんせきぶんがく、英: fractional calculus）は解析学（特に微分積分学）の一分野で、微分作用素 D および積分作用素 J が実数冪あるいは複素数冪をとる可能性について研究する学問である。 この文脈における「冪」の語は作用素の合成を繰り返し行うという意味で用いており、それに従えばたとえば...

語であった。全く異なる分野として、ミルナーは並行システムを解析するための理論的フレームワーク Calculus of Communicating Systems (CCS) や後継のpi-calculus（π計算）を開発した。亡くなる直前まで、bigraphs、CCSやπ計算を含めたユビキタスコン...

(2004), Notes on First-Year Calculus, http://www.math.umn.edu/~garrett/calculus/  Hussain, Faraz (2006), Understanding Calculus, http://www.understandingcalculus...

ISBN 978-0-07-154352-1  ^ Stewart, James (2001). “§2.8 - The Derivative As A Function”. Calculus (2nd ed.). Brooks/Cole. ISBN 0-534-37718-1  Keller, F. J, Gettys, W. E...

Harris (2011). Calculus Concepts: An Informal Approach to the Mathematics of Change. Cengage Learning. pp. 2. ISBN 1-4390-4957-2. "Calculus is the study...

は（大規模）集積を伴う（論理的[要出典]）計算機をそれぞれ示すものである。 ラテン語の "calx"（石灰）を語源とし、石灰質の小石がアバカスの玉に用いられていたことに由来。Calculus（微分積分学）も同語源。 ラテン語に由来: "com-"（共に）+"putare"（計算） [脚注の使い方] ^ 竹内薫;...

必要とする）、英語版Wikipediaの Implicational propositional calculus の記事（en:Implicational propositional calculus）では「virtual completeness」と表現している。 ^ たとえば、三角関数の sin...

gov/articles/PMC1077112/.  Douglas, Jesse (1939). “Solution of the inverse problem of the calculus of variations”. Proceedings of the National Academy of Sciences 25 (12):...

0-387-90185-X Calculus, Volume 1, One-Variable Calculus with an Introduction to Linear Algebra ISBN 0-471-00005-1 Calculus, Volume 2, Multi-Variable Calculus and...

(1998), Microeconomics with Calculus, 2nd ed. Addison-Wesley. Perloff (2008). Microeconomics, theory & Applications with Calculus. Addison-Wesley. Silberberg...

Applied to Calculus, Probability, and Statistics, Prentice Hall, 1985年 Hamming, Richard Wesley (2004). Methods of Mathematics Applied to Calculus, Probability...

differential calculus, pages 205-38. This textbook in multivariate calculus introduces the exterior algebra of differential forms adroitly into the calculus sequence...

James (2008). Calculus: Early Transcendentals (6th ed.). Brooks/Cole. ISBN 0-495-01166-5  ^ Larson, Ron; Edwards, Bruce H. (2009). Calculus (9th ed.). Brooks/Cole...

"Linear-algebraic lambda-calculus: higher-order, encodings and confluence", 2006 ^ Quantum Development Kit ^ Philip Maymin, "Extending the Lambda Calculus to Express...

膀胱結石（ぼうこうけっせき、英語: bladder stone, vesical calculus）とは、膀胱に石状の硬い結晶ができる病気、もしくはその石のこと。 結石が出来る仕組みはまだよくわかっていない。ヒトの場合多くは蓚酸カルシウム水和物（ CaC 2 O 4 ⋅ H 2 O {\displaystyle...

mathematical sciences, SIAM., ISBN 0-89871-420-6  ^ Spivak, Michael (1965). Calculus on Manifolds. Boulder, CO: Westview. ISBN 0805390219  ^ Munkres, James...

McGraw-Hill  ^ Kaplan. Advanced Calculus  ^ implicit differentiation - PlanetMath.（英語） ^ a b Stewart, James (1998). Calculus Concepts And Contexts. Brooks/Cole...

Reyes 1991. ^ See Robinson 1996 and Keisler 1986. Apostol, Tom M. (1967), Calculus (2nd ed.), Wiley, ISBN 978-0-471-00005-1 . Bell, John L. (1998), Invitation...

c d e f Perloff, J. (2008). Microeconomics Theory & Applications with Calculus. Boston: Pearson. p. 445. ISBN 978-0-321-27794-7  ^ Ayers, R.; Collinge...

0-201-34712-1. ^ Williamson, Benjamin, An Elementary Treatise on the Differential Calculus, Longmans, Green, and Co., 1899. Page 45. ^ McCormick, John Francis, Scholastic...

数学における汎函数計算（はんかんすうけいさん、英: functional calculus）は、作用素に函数を適用する（函数の引数に作用素をとる）方法を与える理論である。現在のところ、函数解析学（あるいはその周辺の）の分野での理論と見做されており、スペクトル論との関連が深い。 f が函数（実数を変数に持つという意味で数値的な函数）で、M...

第9巻、東京大学出版会〈現代政治学叢書〉、1988年。ISBN 978-4-13-032099-3。  タロック, ゴードン; ブキャナン, ジェームズ (1962). The Calculus of Consent（英語版）. Ann Arbor: University of Michigan Press. https://books...

1975年に発表した論文 "Feasibly Constructive Proofs and the Propositional Calculus"で、多項式時間の概念のみを使った証明の記述を定式化するPV (Polynomial-time Verifiable) 方程式理論を提唱。1979年には指導学生...

型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambda } ) というシンボルを用いる型付き形式手法である。型付きラムダ計算は基礎的なプログラミング言語でもあり、MLやHas...

{\mbox{Hess}}(f)(X,Y)=X(Yf)-df(\nabla _{X}Y).} ^ Binmore, Ken; Davies, Joan (2007). Calculus Concepts and Methods. Cambridge University Press. p. 190. ISBN 9780521775410...

微分積分学の基本定理（びぶんせきぶんがくのきほんていり、英: fundamental theorem of calculus）とは、「関数に対する微分と積分は互いの逆操作である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。 微分積分学の基本定理は一変数の関数に対するものだ...

確率論の離散版：離散確率論、離散確率分布 対数の離散版：離散対数 フーリエ変換の離散版：離散フーリエ変換 微分積分学の離散版：和分差分学（discrete calculusや単に差分法とも） 微分方程式の離散版：差分方程式（漸化式） 関連分野に以下がある。 代数学全般、特に群論や数論 応用数学/数理工学 計算機科学...

Spivak, Michael (2018) [1965], Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus, Mathematics Monograph Series (Paperback...

数学における微分法（びぶんほう、英: differential calculus; 微分学）は微分積分学の分科で、量の変化に注目して研究を行う。微分法は積分法と並び、微分積分学を二分する歴史的な分野である。 微分法における第一の研究対象は関数の微分（微分商、微分係数）、および無限小などの関連概念やそ...

Erweiterung der Infinitesimalrechnung" ("An Extension of Infinitesimal Calculus") を出版した。この論文は無限小を含む環の構成法を提案したものである。この環は実数列達から構成される。2つの数列が同値と看做されるのは、それ...

きるような、健全で完全な証明計算は存在する。 高階述語論理の例として、アロンゾ・チャーチの Simple Theory of Types や Calculus of Constructions (CoC) がある。 型付きラムダ計算 Andrews, P.B., 2002. An Introduction...

how to Prepare for the AP Calculus. Barron's Educational Series. p. 44. ISBN 978-0-7641-2382-5  ^ Mark Ryan (2010). Calculus Essentials For Dummies. John...

Acta Eruditorum, Oct. 1684. ^ “Euclid's Elements”. 2015年6月1日閲覧。 ^ a b “e-CALCULUS Section 2.8”. pp. 2.8. 2015年6月1日閲覧。 ^ Katz, Victor J. (2008). A History...

Jay; Steele, Guy Lewis (1975). Scheme: An Interpreter for Extended Lambda Calculus (Report). Massachusetts Institute of Technology. hdl:1721.1/5794. ^ a b...

Gall, Jean-François (2016). Brownian Motion, Martingales, and Stochastic Calculus. Springer Cham. pp. 153-154. https://link.springer.com/book/10.1007/978-3-319-31089-3 ...

Calculus of constructionsに対応する。Calculus of constructionsをさらに拡張するとCalculus of inductive constructions (en:Calculus of inductive constructions)...

The Calculus of Finite Differences, 2nd ed., Macmillan and Company. On line. Also, [Dover edition 1960] ^ Jordan, Charles, (1939/1965). "Calculus of Finite...

Addison-Wesley  Spivak, Michael (1994), Calculus (3rd ed.), Publish or Perish, ISBN 0914098896  Stewart, James (2002), Calculus (5th ed.), Brooks Cole, ISBN 978-0534393397 ...

明言語は型付きラムダ計算の一種である。1991年以降Coqが用いているCalculus of Constructionsの変種は、Christine Paulin-Mohringによるもので、帰納的構成を直接含み、Calculus of Inductive Constructions（CIC）という名前がついている。...

Precalculus（pre-:前の、calculus:微分積分学）とは、アメリカ合衆国の高等数学教育における課程の一つで、微分積分学を学ぶための準備段階に当たる。初等的な代数学の復習に加え、指数関数、対数関数、三角関数の基礎が含まれることが多い。 カリフォルニア大学アーバイン校、アリゾナ大学、テ...

Operational calculus (Cambridge University Press, 1950) RV Churchill, Operational Mathematics (McGraw-Hill, 1958). J Mikusinski, Operational Calculus (Elsevier...

Revisited Paradigms for Language Theory and Other Essays Lingua Universalis vs Calculus Ratiocinator Inquiry as Inquiry: A Logic of Scientific Discovery Language...

Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic", Memoirs of the American Academy of Arts and Sciences 9, 317–78...

Available online ^ ヘヴィサイドの演算子法の厳密なバージョンはのちに構築された。Mikusinski J: The Operational Calculus, Pergamon Press 1959を見よ。 ^ Wiener, Norbert (1993). Invention: The Care...

2026年3月6日閲覧。 ^ “Calculus of Finite Differences”. Cornell University. 2026年3月6日閲覧。 ^ “Finite Difference”. Wolfram MathWorld. 2026年3月6日閲覧。 ^ “Calculus of Finite...

ギュルダンの定理 擬球面 回転面 [脚注の使い方] ^ Sharma, A.K. (2005). Application Of Integral Calculus. Discovery Publishing House. p. 168. ISBN 81-7141-967-4. https://books...

アーレンベックは、1964年にミシガン大学から学士号を得、1968年にブランダイス大学から博士号を授与された。博士論文のタイトルは”Calculus of Variations and Global Analysis”だった。彼女の専門は、偏微分方程式、変分法、ゲージ理論、可積分系、ヴィラ...

three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus”. History and Philosophy...

of Cauchy's root testの本文を含む ^ Briggs, William; Cochrane, Lyle (2011). Calculus: Early Transcendentals. Addison Wesley. https://archive...

Points of Recursive Programs and their Relation in Differential Agard Calculus"。ウォーリック大学で1年間博士研究員として過ごした後、1977年から1980年にかけてMITで研究を行った。その後ワイツマン科学研究所で数学...

Barendregt, Henk; Barendsen, Erik (March 2000), Introduction to Lambda Calculus, ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf  ^ “AngularJS: Developer...

in Adobe pdf format, available at the web page of the Research Group in Calculus of Variations and Geometric Measure Theory, Scuola Normale Superiore, Pisa...

sequence)と同様。 ^ ここでの収益率は、変化後のSを変化前のSで除算した値ではなく、その値から１を減算した値。 ^ Stochastic calculus for fractional Brownian motion and applications, By Francesca Biagini,...

字は単なるプレースホルダーであり、特定の基底を表すものでも、数値を表すものでもない。そのため、この記法を、リッチ計算法（英語版）(Ricci calculus)と混用してはならない。この記法は、表現対象に含まれる明らかな共変性を保ちながら、現代的な抽象的テンソル記法におけるテンソル縮約や共変微分の難...

ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算という行為を「関数」の定義と適用だけで表現する計算模型（数理モデル）である。ラムダ算法とも言う。 1930年代に数学者のアロンゾ・チャーチとスティーヴン・コール・クリーネによって、「計算できるとはどういうことか」を厳密に定義...

Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus（1965）（多変数の解析学―古典理論への現代的アプローチ）は、Michael Spivakによる学部上級生向けの多変数微積分、微分...

(1968, pp. 24–25)など。 ^ Rosenbaum, Robert A.; Johnson, G. Philip (1984). Calculus: basic concepts and applications. Cambridge University Pressd. p. 60. ISBN 0-521-25012-9 ...

の125頁に記述がある。 ^ Stewart, James (1987). Calculus. Monterey, Calif: Brooks/Cole Pub. Co.. ISBN 978-0-534-06690-1. https://openlibrary.org/books/OL2713208M/Calculus ...

calculus { Obj member; public: template<class Arg> Arg operator ()(Arg& a) const { return member(a); } }; calculusクラステンプレートをclearクラスで実体化する場合（calculus...

理学ではしばしば命題計算とは異なった計算手法が必要になる。 [脚注の使い方] ^ 英: propositional calculus ^ 英: sentential calculus ^ 英: classical propositional logic ^ 英: introduction of implication...

Cambridge University Press. ISBN 978-0-521-86153-3  ^ R. A. Adams (1995). Calculus, A Complete Course (3rd ed.). Addison Wesley. p. 627. ISBN 0 201 82823...

Press  ^ a b c d e f g h i j k l m Keisler, H. Jerome (2012). Elementary Calculus: An Infinitesimal Approach (2nd ed.). Mineola, NY: Dover Publications ...

「小石」)に由来し「石灰」の他「小石」の意味も持っていた。派生したcalculus(カルクルス)は「計算用の小石」、更に「計算」の意味を持つようになり、英語のcalculateやcalculus等の語の由来とされている。 石灰（炭酸カルシウム）を主成分とする石灰岩や大理石は耐久性...

結石（けっせき、英: calculus）は、体内の器官または管の中で形成される物質（大抵は無機塩）の凝固物（英語版）である。結石の形成は結石症（lithiasis）と呼ばれる。結石は数多くの疾患を引き起こし得る。 泌尿器系における結石は尿路結石と呼ばれ、腎結石（ドイツ語版）および膀胱結石を含む。...

in the Cyrillic alphabet." Aldrich, John. “Earliest Uses of Symbols of Calculus”. 2014年1月16日閲覧。 ^ Bhardwaj, R.S. (2005), Mathematics for Economics & Business...

Vector Calculus. New York: Norton. ISBN 0-393-96997-5  Miller, Jeff, Earliest Uses of Symbols of Calculus, https://jeff560.tripod.com/calculus.html  Moler...

l'Hôpital on pages 59–62. ^ Finney, Ross L. and George B. Thomas, Jr. Calculus. 2nd Edition. P. 390. Addison Wesley, 1994. Analyse des Infiniment Petits...

Nechyba, Thomas J. (2017). Microeconomics : an intuitive approach with calculus (2nd ed.). Boston, MA: Cengage Learning. p. 126. ISBN 978-1-305-65046-6 ...

Contract: Volume 2: Just Playing（Cambridge: MIT Press, 1998年） （ジョアン・デイヴィスとの共著）Calculus: Concepts and Methods（Cambridge University Press, 2002年） Natural Justice（New...

id=OE_CAUCHY_2_4_9_0 . Courant, Richard (1937a), Differential and integral calculus. Vol. I, Wiley Classics Library, New York: John Wiley & Sons (1988発行),...

カリー：組合せ論理およびラムダ計算、形式主義に関するエッセイ』（To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism）。Academic Press。伝記的な随筆も含む。 O'Connor, John J., and Edmund...

「微分方程式の論文」(Treatise on Differential Equations)発表 1860年 「差分法に関する論文」(Treatise on the Calculus of Finite Differences)発表 1864年 アイルランドにて肺炎により永眠、49歳 [脚注の使い方] ^ a b “Boole;...

essence, whether the axioms of any system (be it Euclidean geometry or calculus) can ensure its completeness and consistency. ^ キューネン『数学基礎論講義』の内容は集合論・...

(1987, 2nd ed., ISBN 978-0-387-96508-6) Brownian Motion and Stochastic Calculus, Ioannis Karatzas, Steven Shreve (2ed 2000, ISBN 978-0-387-97655-6) A Course...

Jerrold; Weinstein, Alan (1985). Calculus I. ISBN 978-0-387-90974-5  Marsden, Jerrold; Weinstein, Alan (1985). Calculus II. ISBN 978-0-387-90975-2  Marsden...

一人の数学者ハワード・ジェローム・キースラー（英語版）はロビンソンの考え方を支持し, 大学一年次用の微分積分学教科書『Elementary Calculus: An Infinitesimal Approach』を執筆している. 微分に対するライプニッツの記法では関数 f ( x ) {\displaystyle...

Lattices." Vaughan Pratt: "Origins of the Calculus of Binary Relations." A historical treatment. "The Second Calculus of Binary Relations." Priss, Uta, "An...

ISBN 4-431-70111-7  N. Ikeda ... 〔et al.〕, ed (1996). Ito's stochastic calculus and probability theory. Springer. ISBN 4-431-70186-9  ピエール＝シモン・ラプラス『確率論...

Of Vienna . English translation of title: "Completeness of the logical calculus". Gödel, Kurt (1930), “Die Vollständigkeit der Axiome des logischen Funktionen-kalküls”...

Philosophy（2008年秋版）、Edward N. Zalta（編）。 ^ McCulloch, W.S.; Pitts, W. (1943). “A logical calculus of the ideas immanent in nervous activity.”. Bulletin of Mathematical Biophysics...

数学の一部門としての差分法（さぶんほう、英: difference calculus, calculus of finite difference）あるいは和分差分学（わぶんさぶんがく、英: discrete calculus）は、（微分法および積分法を柱とする）微分積分学の離散版にあたる。微分積...

Serway, Raymond A; Jewett, JW (2006). Serway's principles of physics: a calculus based text (Fourth ed.). Belmont, CA: Thompson Brooks/Cole. p. 746. ISBN 0-53449143-X...

ℕ および *ℕ と書かれる。後者がスコーレムの意味での算術の超準モデルを与えるものであることを注意しておく。 Keisler, H. J. (1986), Elementary Calculus: An Infinitesimal Approach (2nd ed.) ...

September 1994 - ウェイバックマシン（2011年6月9日アーカイブ分） Earliest Uses of Symbols of Calculus - ウェイバックマシン（2008年10月12日アーカイブ分）, maintained by Jeff Miller. Newton, Isaac...

McClure, Melissa S. (2005). “1”. Advanced Mathematical Concepts - Pre-calculus with Applications, Student Edition (1 ed.). Glencoe/McGraw-Hill School...

広重徹(1976)、Schaffner (1976)、そしてミルナー(1981)らを引用した。 ホイッテーカーのこの分野の主な業績は二つの論文、The Calculus of Observations: a treatise on numerical mathematics (1924)（観測の計算:数値解論）及びTreatise...

逆 後件肯定 前件否定 二重否定 背理法 ヘンペルのカラス ブリタニカ国際大百科事典 小項目事典『対偶』 - コトバンク Sakharov, Alex; Weisstein, Eric W. “Propositional Calculus”. mathworld.wolfram.com (英語)....

数学の位相幾何学の分野において、カービー計算(Kirby calculus)とは、3次元球面内の枠つき絡み目を カービー移動と呼ばれる有限種類の移動で変形する手法である。その名前は手法の開発者であるRobion Kirbyにちなむ。彼は四次元のCerf 理論（英語版）を用いて次の事実を証明した。三次元多様体...

0}\varepsilon =0} を満たすものでなければならない。 Elementary Calculus: An Infinitesimal Approach Keisler, H. J. (1986), Elementary Calculus: An Infinitesimal Approach (2nd ed.)...

プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同...

GTM Springer, 2007, ISBN 3-540-39032-4 p21. Roman, Steven "The Umbral Calculus", Dover Publications, 2005, ISBN 0-486-44139-3. Williamson, S. Gill "Combinatorics...

id=N8bL9lQUGJgC&pg=PA262&redir_esc=y&hl=ja  ^ Hijab, Omar (2011). Introduction to Calculus and Classical Analysis. Springer. p. 60. ISBN 9781441994882. https://books...

（ジェームズ・M・ブキャナン、加藤寛と共著）『行きづまる民主主義』、勁草書房、1998年 James M. Buchanan and Gordon Tullock, The Calculus of Consent: Logical Foundation of Constitutional Democracy, Ann Arbor:...

ウィキブックスにベクトル解析関連の解説書・教科書があります。 ベクトル解析（ベクトルかいせき、英語：vector calculus）は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。 多くの物理現象はベクトル場やテンソル場として記述されるため、ベクトル解析は物理学の様々な分野に応用を持つ。...

lambda-calculus and monads, http://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf  Moggi, Eugenio (1988) (PDF). Computational lambda-calculus and monads...

Jay; Steele, Guy Lewis (1975). Scheme: An Interpreter for Extended Lambda Calculus (PDF) (Report). Massachusetts Institute of Technology. ^ Sussman, Gerald...

A%259B%25E7%2589%25A9%25E7%25B7%259A%2522%22。  Szecsei, Denise (2006), Calculus, Career Press, ISBN 9781564149145, https://books.google.co.jp/books...

5〉、1982年2月。ISBN 978-4-13-064065-7。  Kosaku Yosida (1984). Operational Calculus - A Theory of Hyperfunctions. Applied Mathematical Sciences, Vol. 55. Springer...

ッツと共に、形式ニューロンというモデルを考えた。 McCulloch, W. and Pitts, W. (1943). A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics...

Courant (1961), p.39. Courant, Richard (1961). "Differential and Integral Calculus Volume I", Blackie & Son, Ltd., Glasgow. Frank Morley and James Harkness...

Cambridge University Press, 1946. (pp. 379–380). Voxman, William L., Advanced Calculus: An Introduction to Modern Analysis, Marcel Dekker, Inc., New York, 1981...

Mifflin. ^ Perloff, J, 2008. Microeconomics Theory & Applications with Calculus, p. 230. Pearson . ^ a b Whitaker 2008. ^ Pindyck & D. Rubinfeld, 2001...

^ Wolfram launches PDF Killer School Library Journal ^ Briggs Cochrane Calculus ^ WolframAlpha adds powerful unteractive search results The Next Web, 2011年8月12日...

com/science/article/pii/S0001870816303164.  ^ Loregian, Fosco (2021). (Co)end Calculus. Cambridge: Cambridge University Press. arXiv:1501.02503. doi:10.1017/9781108778657...

probability, an inquiry into the logical and mathematical foundations of the calculus of probability. University of California Press. 1938. Experience and prediction:...

(geometric calculus) とも呼ばれる 重ベクトル解析（英語版、フランス語版）[訳語疑問点] と混同してはならない ^ M. Grossman and R. Katz, Non-Newtonian Calculus, ISBN 0-912938-01-3, Lee...

ISBN 978-3-540-55727-2 . Herbelin, Hugo (1995), “A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure”, in Pacholski, Leszek; Tiuryn, Jerzy...

七郎・田中清和・黒川和美共訳、東洋経済新報社、1979. James M. Buchanan and Gordon Tullock, The Calculus of Consent: Logical Foundation of Constitutional Democracy, Ann Arbor:...

不動点コンビネータは高階関数であるため、その歴史はラムダ計算の発達と深く関係している。型無しラムダ計算（英: untyped lambda calculus）においては、ハスケル・カリーの Y = λf·(λx·f (x x)) (λx·f (x x)) という不動点コンビネータがよく知られている...

ックと共に、形式ニューロンというモデルを考えた。 McCulloch, W. and Pitts, W. (1943). A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics...

歯石（しせき、calculus, tartar）は、歯に付着したプラークが除去されないまま長期間堆積し石灰化した沈着物。 歯石自体には病原性はないとされるが、新たなプラークが付着しやすくなるため、歯周疾患の原因とされ、歯石の除去は歯周治療においてとても重要である。...

James (2008). Calculus: Early Transcendentals (6th ed.). Brooks/Cole. ISBN 0-495-01166-5  ^ Larson, Ron; Edwards, Bruce H. (2009). Calculus (9th ed.). Brooks/Cole...

数々の並行計算モデルが提唱されている。 ペトリネット データフローアーキテクチャ プロセス代数 CCS（w:Calculus of Communicating Systems） CSP アクターモデル アクターモデル理論（英語版） π-計算（英語版） アンビエント計算（英語版）...

1973). “On the foundations of combinatorial theory VIII: Finite Operator Calculus”. Journal of Mathematical Analysis and its Applications. 42 (3): 684–750...

対偶 古藤怜『逆』 - コトバンク Sakharov, Alex; Weisstein, Eric W. “PropositionalCalculus”. mathworld.wolfram.com (英語).{{cite web2}}: CS1メンテナンス: 複数の名前/author (カテゴリ)...

integrale, (N. 67, p.XVII-XIX): Fratelli Bocca ed.  ^ Spivak, Michael (1994), Calculus (3rd ed.), Houston, TX: Publish or Perish, p. 383, ISBN 978-0-914098-89-8 ...

dk/%257Ehosc/local/HOSC-11-2-pp125-143.pdf[リンク切れ]  Michael J. Fischer (1972), Lambda-Calculus Schemata, https://users-cs.au.dk/hosc/local/LaSC-6-34-pp259-288.pdf[リンク切れ] ...

群の自己同型の最初期における例は、1856年にアイルランドの数学者ウィリアム・ローワン・ハミルトンにより与えられた。彼は著書「icosian calculus」の中で、位数 2 の自己同型を発見し、次のように書いている。 従って、 μ {\displaystyle \mu } は 1 の新たな5 乗根であり、先の...

小項目事典『裏』 - コトバンク 逆と裏の問題 - ウェイバックマシン（2011年11月13日アーカイブ分） Sakharov, Alex; Weisstein, Eric W. “Propositional Calculus”. mathworld.wolfram.com (英語). 表示 編集...

{S}}}}:{\boldsymbol {T}}\right)} 。 ^ R. Wrede, M.R. Spiegel (2010). Advanced Calculus (3rd edition ed.). Schaum's Outline Series. ISBN 978-0-07-162366-7  ^ 技術的に言うと、勾配...

クについては、ニューラルネットワークの記事を参照のこと。 1943年に発表された、ニューラルネットワーク研究の嚆矢とされるA Logical Calculus of the Ideas Immanent in Nervous Activityの共著者の片方であるマカロックは神経生理学者だが、彼らの提...

の幾何ブラウン運動にて拡張すると裁定可能になってしまう問題がおこる。 fBnのハウスドルフ次元は、 DH = 2 - H である。 ^ Stochastic Calculus for Fractional Brownian Motion, T.E. Duncan, Y. Hu, B Pasik-Duncan, SIAM...

圏論においては、第一級関数は閉圏に相当する。たとえば単純型付きラムダ計算（英: simply typed lambda calculus）は、カルテシアン閉圏（デカルト閉圏）の言語に相当する。 HaskellやLisp、ML、Schemeのような関数型言語は第一級関数を全面的に...

モジュラー形式と線形代数 Strassenのアルゴリズムなどの、密行列のランダウの記号による高速な基本演算を実装している。 疎行列 離散対数をindex calculus (en)アルゴリズムで求める際に行う疎な系の簡約化をStructured gaussian elimination (en)...

以下に主なシステムを列挙する（いずれも少なくとも1回は CASC で優勝している）。 E は Purely Equational Calculus に基づいた高性能証明機。ミュンヘン工科大学の自動推論グループが開発した。 Otter はアルゴンヌ国立研究所で開発された世界で初めて広く使わ...

MR 1501942.  Lewy, Hans; Green, John Willie (1939). Aspects of the Calculus of Variations. Berkeley: U. of California Press; notes by J. W. Green from...

Advanced Calculus. Hackensack, New Jersey: World Scientific. ISBN 978-981-4583-93-0. https://archive.org/details/LoomisL.H.SternbergS.AdvancedCalculus...

対数平均 標準数 数量の比較 ウィキメディア・コモンズには、対数スケールに関連するカテゴリがあります。 “GNU Emacs Calc Manual: Logarithmic Units”. Gnu.org. 2016年11月23日閲覧。 Non-Newtonian calculus website...

A} なのであった ^ Davenport, Clyde M. (1978). An Extension of the Complex Calculus to Four Real Dimensions, with an Application to Special Relativity (M.S...

Jonathan. The Logic of Curry and Church.  ^ John Tromp, Binary Lambda Calculus and Combinatory Logic, in Randomness And Complexity, from Leibniz To Chaitin...

関係論理 (かんけいろんり、関係計算、リレーショナル論理、リレーショナル計算、英: relational calculus) は、関係データベースの関係モデル (リレーショナルモデル) において、宣言的な方法で関係 (リレーション、表、テーブル) として表現されたデータを扱う、コンピュータ科学における演算の体系である。...

体的には、NuPRLシステムは、計算型理論（computational type theory）に基づいており、Coqは（余）帰納的構成計算（calculus of (co)inductive constructions）に基づいている。依存型は、ATS、Cayenne、Epigram、Agda、I...

て知られる。このようなディラトン・スカラーは弦理論における質量無しボソン場の中からも見つかる。 ^ Apostol, Tom (1969), Calculus, Volume II (2nd ed.), Wiley  ^ “Scalar”, Encyclopedia of Mathematics, EMS...

10). (1997). American Mathematical Society. ISBN 0-8218-0643-2 Quantum calculus. Cheung, Pokman. (2002). New York: Springer. ISBN 0387953418. OCLC 47243954...

Press. ISBN 0-8265-1356-5. 弧 (幾何学) 積分近似 測地線 子午線弧#子午線弧長の計算 Math Before Calculus The History of Curvature Weisstein, Eric W. “Arc Length”. mathworld.wolfram...

解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用...

直観主義論理は次のようにヒルベルト流の計算を用いても定義できる。これは古典命題論理の公理化（Propositional calculus#Alternative calculus）に類似である。 命題論理では、推論規則としてモーダスポネンス MP: ϕ {\displaystyle \phi } および...

である。これらの計算体系がそれぞれ型（type）と項（term）の間にどのような依存関係を認めるかを整理したもので、単純型付きラムダ計算から、Calculus of Constructions (CoC)（英語版）を導くフレームワークになっている。数学者ヘンク・バレンドレヒトによって1991年に提唱された。...

G. (2003). Calculus demystified. McGraw-Hill Professional. pp. 170. ISBN 0-07-139308-0  ^ N.P. Bali (2005). Golden Differential Calculus. Firewall Media...

Mathematics archive, 2002. Neither Newton nor Leibnitz - The Pre-History of Calculus and Celestial Mechanics in Medieval Kerala, 2005. "Indians predated Newton...

J. B. (1995). “Typability and type checking in the second-order lambda-calculus are equivalent and undecidable”. Proceedings of the 9th Annual IEEE Symposium...

形式ニューロン（けいしきニューロン）の記事では、1943年に神経生理学者・外科医であるウォーレン・マカロックと論理学者・数学者であるウォルター・ピッツが発表したA Logical Calculus of the Ideas Immanent in Nervous Activityで扱われた、モデル化されたニューロンについて述べる（原典で...

International des Poids et Mesures. Cvitas, T (February 2002), Quantity calculus, Interdivisional Committee on Terminology, Nomenclature and Symbols (IUPAC)...

(Habilitationsschrift). Spivak, Michael (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. HarperCollins Publishers. ISBN 0-8053-9021-9 ...

Steele, Jr. (December 1975). “Scheme: An interpreter for extended lambda calculus”. AI Memo 349: 19. "That is, in this continuation-passing programming style...

が、2025年夏にハポエル・テルアビブBC（英語版）に加入したバシリエ・ミチッチがナンのサラリーを僅かに上回ることなった。 ^ “Nylon Calculus Rookie Review: What did the Heat see from Kendrick Nunn?”. sbnation.com...

x1 = x (x×y)z = xz × yz (xy)z = x(y × z) ^ H.P. Barendregt, The Lambda Calculus, (1984) North-Holland ISBN 0-444-87508-5 (See theorem 1.2.16) ^ S. Soloviev...

the Conics, and Calculus”, Mathematics Teacher 94 (8): 649–654, http://wesclark.com/rrr/rugby_and_math.pdf . ^ James Stewart, Calculus: Early Transcendentals...

com/watch?v=BBp0bEczCNg  H. Jerome Keisler：Foundations of Infinitesimal Calculus、ダウンロード可能 Goldblatt, Robert (1998). Lectures on the Hyperreals. Berlin:...

language of set theory is defined to be a language of first-order predicate calculus with equality, with a single binary predicate sympol ∈ {\displaystyle \in...

Constructive Theory of Functions ((1931-1953) vol. 3, Differential equations, calculus of variations and geometry (1903-1947) vol. 4, Theory of Probability. Mathematical...

数学における可換環上の微分法（かかんかんじょうのびぶんほう、英: differential calculus over commutative algebras）は、古典的な微分法における既知の概念の大半を純代数学的な言葉で定式化する研究観察に基づく可換代数学の一分野である。 その具体例として、 （実数体...

グラムの正しさを確認する手法を与えるものである。この手法はダイクストラらが提唱し、Ralph-Johan Back の Refinement Calculusで高階論理へと拡張された。 なお、逐次型プログラミングの意味論として最弱事前条件は広く認知されているが、これが唯一の述語変換子ではない。例えば...

Malliavin Calculus II", J. Faculty Sci. Uni. Tokyo Sect. 1A Math., 32 pp 1–76 Kusuoka, S. and Stroock, D. (1987) "Applications of Malliavin Calculus III",...

001という数を表しているが、これは「計量参照の役目を果たす数」であるので、量の数値には含まれない。 量演算(quantity calculus) 順序尺度量以外の量に適用される数学の規則・操作の集合。 量方程式(quantity equation)...

Acad. Sci., ^ Miller, Jeff (2009年6月14日). “Earliest Uses of Symbols of Calculus”. Earliest Uses of Various Mathematical Symbols. 2009年2月20日閲覧。 微分 関数の微分...

ミクシンスキーの演算子法（えんざんしほう、Mikusinski's operational calculus）は、ヤン・ミクシンスキーによる演算子法の数学的正当化の試みである。完全に形式的な記号操作でしかなかったヘヴィサイドの演算子法は、その後、ラプラス変換などを用いて部分的にその数学的正当性を保証...

Churchの”Elements of the Differential and Integral Calculus. Revised Edition, Containing the Elements of the Calculus of Variations”を用いた。後任はウィンフィールド・スコット・チャプリン。...

(2002). “Convergence and Formal Manipulation of Series from the Origins of Calculus to About 1730”. Annals of Science 59: 179–199. doi:10.1080/00033790010028179...

Tetsuji Miwa, editors (2002), ISBN 978-0817642600 D-modules and microlocal calculus / Masaki Kashiwara ; translated by Mutsumi Saito (2003), ISBN 978-0821827666...

Cambridge University Press, ISBN 9781107602601 ^ D. C. Agarwal, Tensor Calculus and Riemannian Geometry 22nd edition (2007), published by Krishna Prakashan...

は underlying price に関して derivative price の対数導関数である。 数値解析において、条件数はインプットの相対変化に対するアウトプットの無限小相対変化であり、したがって対数導関数の比である。 対数微分法 Multiplicative calculus（英語版）...

Encyclopedia of Mathematics, EMS Press, 2001 [1994] 微積分I (2012) (12) 漸近展開 (1) (Calculus I (2012), Lecture 12) - YouTube Weisstein, Eric W. “Taylor Series”. mathworld...

ISBN 0-8176-4038-X. https://books.google.com/books?id=yl3GIXd3dFIC&pg=PP12&dq=%22calculus+of+residues%22#PPA77,M1  ^ Joseph Bak & Donald J. Newman (1997). Complex...

再帰 プロトコル継承 配列生成 拡張されたランデブー機能 KRoC チームはコンパイラを開発しWebサイトに公開している。π計算（en:π-calculus）を使用していることから、最近チームはコンパイラの名称をOccam-Piに変更した。 以下のリンク先は全て英語で記述されている。 Internet...

Philosophy of logic; Väänänen 2021; Daintith & Wright 2008, Predicate calculus. ^ Audi 1999b, Philosophy of logic; Ketland 2005, Second Order Logic. ^...

recompilation） - 機械語を翻訳するための技術。 ドメインリレーショナル計算（英語版）（英: Domain relational calculus） - データベース問い合わせ言語。 ディリコ空港（英語版）のIATA空港コード。 デラックスロマンスカー（英: Deluxe Romance...

Henkin, Leon. 1949. "The Completeness of the First-Order Functional Calculus", The Journal of Symbolic Logic|Journal of Symbolic Logic. 14: 159–166...

ュ地方およびイタリア北部に広まっていった。一般的にはその制度は用いられなかったが、ピサでそれが採用されて以来1750年まで残存した当時は、『「calculus pisanus」という呼び名で知られていた』。 AUC753年の12月25日は、すなわち、概念上ではキリストが生誕した日付となる。その暦法は...

ラムダ計算騎士団（ラムダけいさんきしだん、英語: Knights of the Lambda Calculus）は、LISPとSchemeのエキスパートによるハッカー集団である。名前は、LISPと密接な関係にあるラムダ計算と、テンプル騎士団にちなんだものである。...

“Neanderthal behaviour, diet, and disease inferred from ancient DNA in dental calculus”. Nature 544 (7650): 357–361. Bibcode:2017Natur.544..357W. doi:10.1038/nature21674...

^ 原題はElements of Analytical Geometry and of Differential and Integral Calculus ^ 奈端はニュートンの訳名。 ^ 切線の語は既に志筑忠雄の1802年の『暦象新書』に見えるなど、李善蘭による造語か疑わしい語もある。 ^ 原著は...

の定数層とする層コホモロジー群に一致する 。 [脚注の使い方] ^ 高次コホモロジー群が 0 となるようなコホモロジー ^ Ramanan, S. Global Calculus. Graduate Studies in Mathematics, vol. 65, Theorem 4.14 層のほとんどの参考文献は層コホモロジーを扱っている。例えば、...

(1): 8–10. doi:10.2307/2972914. JSTOR 2972914.  ^ Larson, Ron (2007). Calculus: An Applied Approach (8th ed.). Cengage Learning. p. 331. ISBN 0-618-95825-8...

Robert Katz. Non-Newtonian Calculus, ISBN 0912938013, 1972. ^ A. E. Bashirov, E. M. Kurpınar, A. Özyapıcı. Multiplicative calculus and its applications, Journal...

archive ^ Edwards, joseph (1892). An Elementary Treatise On The Differential Calculus Ed. 2nd. p. 169. https://archive.org/details/in.ernet.dli.2015.109607 ...

Cheung, P. (2001). Quantum calculus. Springer Science & Business Media. ^ Ernst, T. (2012). A Comprehensive Treatment of q-Calculus. en:Springer Science &...

Kaucher(要登録) from Mathematical Reviews ^ D. H. Lehmer (1956) Review of "Calculus of Approximations"(要登録) from Mathematical Reviews T. Sunaga, "Theory of...

1007/BF01458217, ISSN 0025-5831  Löwenheim, Leopold (1977), “On possibilities in the calculus of relatives”, From Frege to Gödel: A Source Book in Mathematical Logic...

シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。...

ズーピヒについては、まだほとんどわかっておらず、1722年6月24日にドレスデンで記された2つの写本で知られているのみである。 写本のひとつは『音楽の算法（カルキュルス・ムジクス，Calculus musicus）』である。これは音律と調律法に関する論文であり、1オクターヴあたり19音からなる純正律の一種と、1オクターヴあたり31音から...

Stanković, M.; Marinković, D, S. (2002-01), “Mean value theorems in g-calculus”, Matematički vesnik (Mathematical Society of Serbia, Belgrade) 54 (3-4):...

the 16th Through the 19th Century（16世紀から19世紀までの数値解析の歴史）、History of the Calculus of Variations from the Seventeenth Through the Nineteenth...

一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによってexterior calculus（外微分法/外微分学）のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。...

f を見れば濫用ではない。 数学の記法（英語版） ^ Stewart, James (2007). Multivariable Calculus (6th ed.). Brooks/Cole. pp. 822–823. ISBN 0-495-01163-0  ^ Bourbaki, Nicolas...

More Calculus of a Single Variable. Springer. p. 173. ISBN 978-1-4939-1926-0  ^ Thomson, p. 1 ^ a b Peter D. Lax; Maria Shea Terrell (2013). Calculus With...

Methods in the Calculus of Variations. Springer-Verlag. ISBN 0-387-50491-5  Fonseca, Irene; Giovanni Leoni (2007). Modern Methods in the Calculus of Variations:...

^ 『割線』 - コトバンク ^ a b Protter, Murray H.; Protter, Philip E. (1988), Calculus with Analytic Geometry, Jones & Bartlett Learning, ISBN 9780867200935 ...

Hydrostatics and Hydrodynamics (1831) An Elementary Treatise on the Differential Calculus (1833) A Treatise on Crystallography (1839) An Elementary Introduction...

Academy, Section A 51:67–85. A.E. Motter & M.A.F. Rosa (1998) "Hyperbolic calculus", Advances in Applied Clifford Algebras 8(1):109 to 28, §4 Conformal transformations...

て、多くの偏微分方程式や変分問題はリプシッツ領域上で定義される。 Dacorogna, B. (2004). Introduction to the Calculus of Variations. Imperial College Press, London. ISBN 1-86094-508-2 ...

a b c Stewart, James (2012). “Section 3.5: Implicit Differentiation”. Calculus: Early Transcendentals. United States of America: Cengage Learning. pp...

Outlines. USA: McGraw Hill. ISBN 0-07-114328-9  Kay, D.C. (1988). Tensor Calculus. Schaum’s Outlines. USA: McGraw Hill. ISBN 0-07-033484-6  Riley, K.F.;...

Stefaneschi）は、当の祭壇画を聖ペトロに捧げている。 ピンク・フロイドのアルバム『ウマグマ』のカバー ラムダ計算騎士団（Knights of the Lambda Calculus）の紋章 スポンジたわし「キクロンA」のパッケージ 乳児用ミルク「ソフトカード 明治コナミルク」の缶 かこさとしの絵本『ことばのべんきょう くまちゃんのいちにち』の表紙...

ベル多項式で表すことができる。任意の二項型多項式列はシェファー列だが、逆は必ずしも成り立たない。多項式列は19世紀の漠然とした umbral calculus の概念を下敷きにしている。 二項型多項式列の概念は組合せ論、確率論、統計学、その他さまざまな分野に応用を持つ。 二項型の定義に基づけば、二項定理の主張は「冪函数列...

id=JN0hz3qO1eMC&pg=PA29&redir_esc=y&hl=ja . ^ Ramanan, S. (2005), Global Calculus, American Mathematical Society, p. 221, ISBN 9780821872406, https://books...

Management Systems 3rd edition. Chapter 6. Date, C.J. (2004). “8 Relational Calculus”. In Maite Suarez-Rivas; Katherine Harutunian. An Introduction to Database...

analysis, Alain Robert, Springer, 2000, ISBN 978-0-387-98669-2 Ultrametric Calculus: An Introduction to P-Adic Analysis, W. H. Schikhof, Cambridge University...

illinois.edu/rvc_Child_1920.pdf  Michelle, Cirillo (August 2007). “Humanizing Calculus” (英語). The Mathematics Teacher 101 (1): 23-27. オリジナルの2014-04-08時点におけるアーカイブ。...

(3rd ed.). New York: J. Wiley  Fitzpatrick, Patrick M. (2006). Advanced Calculus (2nd ed.). Belmont, CA: Thomson Brooks/Cole. ISBN 0-534-37603-7 ...

の近くで可逆な関数である。これは上の定理から直ちに従う。この逆関数は再び正則関数であることも示すことができる。 陰函数定理 ^ Michael Spivak, Calculus on Manifolds. ^ John H. Hubbard and Barbara Burke Hubbard, Vector Analysis...

Artificial Intelligence 3(A):51-76 2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds...

Bruce (2014年7月28日). “Cis”. Mathwords: Terms and Formulas from Algebra I to Calculus. Oregon City, OR, US: Clackamas Community College, Mathematics Department...

生成元と関係による群の表示が現れる最初期の例は、1856年にアイルランドの数学者ウィリアム・ローワン・ハミルトンが自身の本 icosian calculus（正二十面体群の解析）において正二十面体群（英語版）（＝正十二面体群）の表示を与えたものである。 最初の系統的研究は、フェリックス・クラインの...

てヴォルテラの意味での微分積分学は乗法的微分積分学（英語版）の一種でもないし、非ニュートン微分積分学（英語版） (non-Newtonian calculus) の一種でもない。 定義 (幾何積分) ∏ a b f ( x ) d x := lim Δ x → 0 ∏ f ( x i ) Δ x =...

様記述から実行可能なプログラムを自動生成できる（生成するソースコードはOCamlまたはHaskell）。仕様記述や証明の記述に使われる言語は Calculus of Inductive Constructions (CIC) と呼ばれている。 自動推論の最大の応用は自動定理証明機の構築である。時には...

Szegő, G. (2012). Problems and Theorems in Analysis I: Series. Integral Calculus. Theory of Functions. ISBN 978-3-540-63640-3. https://books.google.co.jp/books...

Principles of Mathematical Analysis, McGrawHill  Michael, Spivak (1994), Calculus (3rd ed.), Houston Texas: Publish or Perish, Inc., ISBN 0-914098-89-6 ...

Press  Nickerson, H. K.; Spencer, D. C.; Steenrod, N. E. (1959), Advanced Calculus, Princeton, N.J.: Van Nostrand  Dover reprint. (2011). ISBN 978-0-4864-8090-9;...

Benjamin (1899), “Asymptotes”, An elementary treatise on the differential calculus, https://books.google.co.jp/books?id=znsXAAAAYAAJ&pg=241&redir_esc=y&h...

ド・ブラウン・レベルは絶対的な位置を表すが、ド・ブラウン・インデックスは相対的な位置を表す。 De Bruijn, Nicolaas Govert (1972). “Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation...

られ、解がない場合にはそのことが確かめられるように、はっきりと仕組んである手順。」（岩波国語辞典） ラムダ計算 (lambda calculus) 等の「calculus」の訳語として「ラムダ算法」など。 n項演算などの「演算」(operation)。 ^ 「算法」『精選版 日本国語大辞典』。https://kotobank...

Prout, William: An Inquiry Into the Nature and Treatment of Diabetes, Calculus, and Other Affections of the Urinary Organs., 2. Auflage, Baldwin, Craddock...

(1925), Analytic Geometry (Revised ed.), D.C. Heath and Co., p. 227  ^ Calculus, George B. Thomas, 3rd Edition, Ch. 6 Applications of the definite integral...

ISSN 0025-584X, MR 0030647  ^ Ernst, T. (2012). A comprehensive treatment of q-calculus. Springer Science & Business Media. ^ W. Hahn: Die mechanische Deutung...

(Phil. Trans. Royal Society, 1791) Observations on the Nature and Cure of Calculus, Sea Scurvy, Consumption, Catarrh, and Fever (1793) Observations on the...

intégral (Paris : Gauthier-Villars, 1864–1870) (2 volumes treatise on calculus) Rapport sur les progrès les plus récents de l'analyse mathématique (Paris:...

でギリシア語に再翻訳したものである。 論理学の文脈におけるエピメニデスの遠まわしな言及として、W. E. Johnson の "The Logical Calculus", Mind (New Series), volume 1, number 2 (April, 1892), pages 235-250 がある。Johnson...

Prentice Hall, ISBN 0-13-336165-9 . Steeb, Willi-Hans (1997), Matrix Calculus and Kronecker Product with Applications and C++ Programs, World Scientific...

(1998), Calculus of a Single Variable (6th ed.), Houghton Mifflin Company  Protter, Murray H.; Morrey, Jr., Charles B. (1970), College Calculus with Analytic...

ISBN 0-201-17536-3 E. W. Dijkstra and Carel S. Scholten (1990). Predicate Calculus and Program Semantics. Springer-Verlag ISBN 0-387-96957-8 — 述語変換意味論 O.-J...

Dover Publications. pp. 20. ISBN 0-486-66169-5  Ramanan, S. (2005). Global calculus. Providence, Rhode Island: American Mathematical Society. pp. 54. ISBN 0-8218-3702-8 ...

平坦関数（英語版） 線型近似 確率変数 ^ Howard Levi（英語版） (1967). Polynomials, Power Series, and Calculus. Van Nostrand. pp. 24. https://books.google.com/books?id=AcI-AAAAIAAJ ...

sekigairon/zouteikaisekigairon_023.html。  James, R.C. (1966). Advanced Calculus. Belmont, CA, Wadsworth  “Partial derivative”, Encyclopedia of Mathematics...

1016/S1574-0102(03)01019-7, ISBN 9780444513632  Shreve, Steven E. (2004), Stochastic calculus for finance II: Continuous-time models, New York: Springer, ISBN 9780387401010 ...

“Section 5.4 Absolute values and the triangle inequality” (英語). UBC CLP Calculus. 2026年3月9日閲覧。 ^ a b “Absolute Value” (英語). Wolfram MathWorld. 2026年3月8日閲覧。...

1007/3-540-29462-7_8. MR 2182783  Jordan, Charles (1965-01-01) [1939]. Calculus of Finite Differences (3 ed.). AMS Chelsea Publishing  Millionshchikov...

Mathworld Brewer, Jess H. (1999年4月7日). “DIVERGENCE of a Vector Field”. Vector Calculus. 2007年9月28日閲覧。 Theresa M. Korn; Korn, Granino Arthur. Mathematical Handbook...

Mathematical economics. Courier Corporation. ^ Roberts, A. J. (2009). Elementary calculus of financial mathematics (Vol. 15). SIAM. ^ 中尾充宏、山本野人：「精度保証付き数値計算―コンピュ...

))-n\theta )\,\mathrm {d} \theta } ^ Roman, Steven (1984). The Umbral Calculus. Dover. ISBN 0-486-44139-3  ^ Boyadzhiev, Khristo N.. “Exponential polynomials...

ら、上記二つの定理から、有界性定理と最大値最小値定理が導かれる。 Keisler, H. Jerome (1986). Elementary calculus. An infinitesimal approach. Boston, Massachusetts: Prindle, Weber & Schmidt...

jp/books?id=UrT0KsbDmDwC&pg=PA11  Grabiner, Judith V. (1981). The Origins of Cauchy's Rigorous Calculus. Cambridge: MIT Press. ISBN 0-387-90527-8  コーシーの函数方程式...

Carr and Wu 2006 ^ Carr and Wu 2009 Shreve, Steven E. (2004), Stochastic calculus for finance II: Continuous-time models, New York: Springer, ISBN 9780387401010 ...

Elsevier. pp. 211. ISBN 9780123844569  ^ Marsden and Tromba (2011). Vector calculus (6th ed.). W. H. Freeman & Co.. pp. 288. ISBN 978-1429215084  ^ Kumar,...

プランカルキュール（独: Plankalkül、英: Plan Calculus）はコンラート・ツーゼが研究目的で考案したプログラミング言語。世界初の非ノイマン型高級言語として1942年から1945年にかけて設計された。1941年に記述されたこの言語に関するメモが現在も残されている。...

^ Harrison, J. Michael; Pliska, Stanley R. (1983), “A stochastic calculus model of continuous trading: complete markets”, Stochastic Processes and...

ニクラウス・ヴィルト ペール・マルティン＝レーフ KeY-Hoare - KeY という定理証明機上に構築された半自動検証システムで、ホーア論理を散りいれている。 j-Algo-modul Hoare calculus — アルゴリズム視覚化プログラム j-Algo におけるホーア論理視覚化モジュール...

http://PaulTaylor.EU/ASD/dedras/ 2010年10月8日閲覧。.  ^ Barendregt, H.P. (1984). The Lambda Calculus. North-Holland. ISBN 0-444-87508-5  (See theorems 1.2.13, 1.2.14) Scott...

とよく馴染み記述を簡素化できる、行列を導入した。同じ頃、ヘルマン・グラスマンはメビウスの「重心計算」 (英: the barycentric calculus) を研究していて、算法を伴う抽象的対象の成す集合を構想していた。グラスマンの研究には、線型独立や次元あるいはドット積などの概念が含まれている...

の連続変形でも移りあわない)にもかかわらず、貼り合わせた結果が同相になることがある。特に 4次元の 2-ハンドルの場合はその必要十分条件がカービー計算(Kirby calculus)として定式化されている。 把手分解（英語版） ヒーガード分解 - 3次元多様体を種数の等しい2つのハンドル体の和で表すこと。 ^ 『3次元多様体入門』27-28頁。...

Springer. p. 4. ISBN 978-1-4020-1522-9  Zaidman, Samuel (1997). Advanced Calculus. City: World Scientific Publishing Company. p. 32. ISBN 978-981-02-2704-3 ...

Range and degree of realizability of formulas in the restricted predicate calculus. Kibernetika, 2:17-28, 1969 ^ ACM Symposium on Principles of Database Systems...

MR 1001966  Gompf, R. E.; Stipsicz, A. I. (1999), 4-Manifolds and Kirby Calculus, Grad. Studies in Math., 20, Amer. Math. Soc.  Kirby, R. C.; Taylor, L...

Mathematical thought from ancient to modern times, Vol. I ^ Helmer Aslaksen. Why Calculus? National University of Singapore. モスクワ数学パピルス全文 Struve, Vasilij Vasil'evič...

Hadrovich, F.. “Twistor Primer”. 2013年9月3日閲覧。 ^ D.C. Kay (1988). Tensor Calculus. Schaum’s Outlines, McGraw Hill (USA). ISBN 0-07-033484-6  ベクトル積 外積代数 ホッジ作用素...

多面体が正の体積を持つならば、その頂点集合は共面でない点を必ず含む。 共点 共線 共円 ^ Swokowski, Earl W. (1983), Calculus with Analytic Geometry (Alternate ed.), Prindle, Weber & Schmidt, p. 647...

BurSan:UnivAlg. Or, on paper, see Tar:BizIg. ^ Barendregt, Henk, The lambda calculus, its syntax and semantics Archived 2004年8月23日, at the Wayback Machine....

ニュートンの運動方程式、マクスウェルの方程式、アインシュタイン方程式 ^ ただしこれらの方程式におけるラグランジアンは前述の「（運動エネルギー）－（ポテンシャルエネルギー）」の形とは限らない。 ^ 変分学の基本補題、Fundamental lemma of calculus of variations ラグランジュ力学 ラグランジュ点...

向けの物理数学に関する教科書を多数執筆している。 T. Imamura, W.C. Meecham, A. Siegel, Symbolic Calculus of the Wiener Process and Wiener‐Hermite Functionals, J. Math. Phys. 6...

などを参照。 ^ a b I.Karatzas and S.E.Shreve, Brownian Motion and Stochastic Calculus(second edition), Springer Verlag, 1991, ISBN 0-387-97655-8 (New York),...

の混同問題は対数スケールで指数関数的成長の曲線を直線にすることができることで釈明できる。 ^ Szecsei, Denise (2006), Calculus, Career Press, pp. 57–58, ISBN 9781564149145, https://books.google.com/books...

Strang, Gilbert (1991). Calculus. Wellesley-Cambridge Press. pp. 149–151. ISBN 0-9614088-2-0  ^ Spivak, Michael (1994). Calculus. Houston, Texas: Publish...

(1996). Much More than a Toy. Graphing Calculators in Secondary school Calculus. In P. Gómez and B. Waits (Eds.), Roles of Calculators in the Classroom...

1967年） Mathematics for the Social and Behavioral Sciences: Probability, Calculus and Statistics, with Bernard R. Gelbaum, (Saunders, 1968). Leadership and...

Kuo-Tsai; Fox, Ralph H.; Lyndon, Roger C. (1958), “Free differential calculus. IV. The quotient groups of the lower central series”, Annals of Mathematics...

が残る。また、量子化後にエルミート演算子同士の積はエルミート演算子にはならない。こうした問題を回避する方法として、ワイルの対称化法(Weyl Calculus)や経路積分量子化等の方法が知られている。 また正準量子化をするには、その系に対応する正準形式の古典力学を知る必要がある。一方で経路積分量子化...

Retrieved September 9, 2010 ^ Dunham, William. (2005). Baire. In The Calculus Gallery pp. 183–199. Princeton, NJ: Princeton University Press ISBN 0-691-09565-5...

York: Van Nostrand. pp. 50. ISBN 0-387-90093-4  Spivak, Michael (1965). Calculus on Manifolds. New York: W. A. Benjamin, Inc.. ISBN 0805390219  Rowland...

II』　尾崎義治・朝倉利光訳、丸善、2003年、139-144頁。 Edward Collett　『フィールドガイド　偏光』　笠原一郎訳、オプトロニクス社、2008年、57-61頁。 偏光 ミュラー計算法 Jones Calculus written by E. Collett on Optipedia...

Neumann credits this model to Warren McCulloch and Walter Pitts, A logical calculus of the ideas immanent in nervous activity, Bull. Math. Biophysics, Vol...

こかが崩され、「間違った」証明となり得る。 ^ a b cf. 同様な議論の二進法版も以下にある。Silvanus P. Thompson, Calculus made easy, St. Martin's Press, New York, 1998. ISBN 0-312-18548-0. ^...

略され、行為の影響がその実行時刻において直接的に特定されるような、最も単純化された定式化である（詳細は状況計算（英語版）（situation calculus）を参照）。 これらの論理式は事実を直接的に定式化したものであるが、シナリオを満足に記述できていない。実際、 ¬ a l i v e ( 1 )...

Chicago Press . Garber, Elizabeth (1999), The Language of Physics: The Calculus and the Development of Theoretical Physics in Europe, 1750–1914, Boston:...

との類似対応に注意せよ。同様の関係は、不定和分に関しても述べられるし、上昇階乗冪と後退差分を用いても得られる。 このような類似性の研究は陰計算 (umbral calculus) と呼ばれる。階乗冪を含めた上記のような関係を記述する一般論は、二項型多項式列およびシェファー列の理論に含まれる（階乗冪は二項型シェファー列である）。同様に階乗冪の母函数は陰冪数...

より正確には、定数記号の型と公理図式とが対応する。 Hendrik Pieter Barendregt (1984) The Lambda Calculus, Its Syntax and Semantics, Vol. 103 in Studies in Logic and the Foundations...

“Perron Integral”. mathworld.wolfram.com (英語). fundamental theorem of calculus for Kurzweil-Henstock integral - PlanetMath.（英語） http://www.math.vanderbilt...

Penrose, R.; Rindler, W. (1984). Spinors and Space-Time: Vol I, Two-Spinor Calculus and Relativistic Fields. Cambridge University Press. pp. 424–434. ISBN 0-521-24527-3...

^ Benjamin C. Pierce は次のように書いている。 ". . . the lambda calculus has seen widespread use in the specification of programming language features...

の語源はラテン語の "calculare" であり、これは「数を数える」を意味し、英語の "calculation"（計算）や "calculus"（微分積分学）とも関係する。 Ageometria Approximate number system 精神障害の診断と統計マニュアル 書字障害...

いくつかのツールが、基本的なものからもっと進んだものの広い範囲にわたってある。 次元の数え上げ（英語版） ベズーの定理 シューベルトの計算（英語版）(Schubert calculus)とさらに一般的なコホモロジー論の特性類 コホモロジーで交点数を数え上げることと関連して、ポアンカレ双対性...

度に関する積分としても書くことができる。 ^ (高木)第8章§92定理77など ^ (高木)第8章§96 Robert A. Adams - Calculus: A Complete Course (5th Edition) ISBN 0201791315. R.K.Jain and S.R.K Iyengar-...

neues Hülfsmittel zur analytischen Behandlung der Geometrie (Barycentric calculus: a new utility for an analytic treatment of geometry), http://mathdoc.emath...

defined without a negative. Other references such as Louis Leithold, The Calculus with Analytic Geometry (5 ed.), p. 1199  avoid using the term potential...

Jeff Rulifson, Jan Derksen, and Richard Waldinger. QA4, A Procedural Calculus for Intuitive Reasoning SRI AI Center Technical Note 73, November 1973...

ISBN 978-0-7167-1567-2  ^ McCulloch, Warren S.; Pitts, Walter (1943). “A Logical Calculus of the Ideas Immanent in Nervous Activity”. Bulletin of Mathematical Biophysics...

ISBN 978-1856176330 (2013年9月)。 Douglas N. Arnold: Finite Element Exterior Calculus, SIAM (2018), ISBN 978-1-61197-553-6, doi:10.1137/1.9781611975543. Leszek...

(1812). Analytical Theory of Probability  The first major treatise blending calculus with probability theory, originally in French: Théorie Analytique des Probabilités...

calculus”. A Dictionary of Computing. https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/predicate-calculus ...

+1\}} の切断である。 曲線の向き付け（英語版）(Curve orientation) ^ Spivak, Michael (1965). Calculus on Manifolds. HarperCollins. ISBN 978-0-8053-9021-6 . ^ S.W. Hawking, G...

Publications, 1980 van der Pol, Balthasar, and Bremmer, H., Operational Calculus Based on the Two-Sided Laplace Integral, Chelsea Pub. Co., 3rd edition...

Presents a proof using gauges. Edwards, Charles Henry (1994) [1973]. Advanced Calculus of Several Variables. Mineola, New York: Dover Publications. ISBN 978-0-486-68336-2 ...

オハイオ州の教育システムでは、数学は「数I」「数II」と日本のようには分けず、Algebra（代数学）、Geometry（幾何学）、Calculus（微積分学）など数学の種類ずつにわけ、一年かけてそれらを勉強する。数学のほかに英語、理科、体育、音楽など日本の学校でも習うものから、心理学や会...

Mariano; Modica, Giuseppe; Souček, Jiří (1998), Cartesian Currents in the Calculus of Variation I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge...

the Calculus of Variations: Its Role in Mathematics and Physics", Van Nostrand, Reinhold, 1966. ^ Hermann Weyl, "Geodesic Fields in the Calculus of Variation...

Jeff Rulifson, Jan Derksen, and Richard Waldinger. QA4, A Procedural Calculus for Intuitive Reasoning SRI AI Center Technical Note 73, November 1973...

(1940). See Lemma 2, p. 415 ^ Bernard Daconorogna, Introduction to the Calculus of Variations, 2nd ed., Imperial College Press (2009), p. 148. ^ Lars Gårding...

0-486-25563-8, pp. 116–117 (online copy, p. 116, - Google ブックス) Ron Larson: Calculus: An Applied Approach. Cengage Learning 2007, ISBN 978-0-618-95825-2, pp...

MIT Press, 2002. ISBN 0-262-16209-1. P. Sestoft. "Demonstrating Lambda Calculus Reduction", in T. Mogensen, D. Schmidt, I. H. Sudburough (editors): The...

に問題であったのは、プログラムの要素の表示的意味（denotation）は、形式的には、型無しのラムダ計算（type-free lambda calculus）に写像される形になっていたが、その肝心の型無しのラムダ計算の数学的モデルがわかっていないということであった。これは、すなわち、Y...

^ Kelley 1975, p. 65. ^ Robert S. Borden (1988). A Course in Advanced Calculus. Courier Corporation. p. 20. ISBN 978-0-486-15038-3  ^ Arlen Brown; Carl...

1)} で定義される多項式列である。二項型（binomial type）の多項式列の代表例として現れ、陰計算（umbral calculus）やシェファー列の理論、組合せ論的恒等式（アーベル恒等式など）と関係する。 通常 A 0 ( x ; a ) = 1 , A n ( x ; a...

Gerald B. Folland, Advanced Calculus, p. 193, Prentice Hall (2002). ISBN 0-13-065265-2 Alan Beardon (2000年). “Fractional calculus II”. University of Cambridge...

978-4-535-78556-4。OCLC 703471604。  O'Donnell, Mike "The SKI Combinator Calculus as a Universal System." Keenan, David C. (2001) "To Dissect a Mockingbird...

Eilenberg–Mazur swindle, where a telescoping sum of knots occurs. ^ Tom M. Apostol, Calculus, Volume 1, Blaisdell Publishing Company, 1962, pages 422–3 ^ Brian S. Thomson...

[脚注の使い方] ^ Binger, B.; Hoffman, E. (October 13, 1997). Microeconomics with Calculus. Addison-Wesley series in economics (2nd ed.). Addison-Wesley. p. 113....

変分法（へんぶんほう、英: Variational method, Calculus of variations）とは、関数を取り値を返す対応である汎関数についての微分にあたる手法を言う。オイラーとラグランジュらによって導入された。 解析力学における重要な方程式は最小作用の原理を元に変分法を用いて導出される。...

Ergodic Theory and Dynamical Systems（英語版） ESAIM: Control, Optimisation and Calculus of Variations（英語版） Eureka（英語版） European Journal of Combinatorics（英語版） Experimental...

Plane Analytic Geometry: With Introductory Chapters on the Differential Calculus, H. Holt, p. 44, https://books.google.co.jp/books?id=bYkLAAAAYAAJ&pg=P...

h-Cobordism theorem - scans available here Morse, Marston (1934). "The Calculus of Variations in the Large", American Mathematical Society Colloquium Publication...

advances in science” アルベルト・アインシュタイン “The true logic of the world is in the calculus of probabilities” ジェームズ・クラーク・マクスウェル （この節の出典） 「ブレークスルーは無からは生まれない、過去に基づく...

ISBN 978-0-387-95385-4, Zbl 0984.00001, MR 1878556  Michael Livshits, You could simplify calculus, arXiv:0905.3611v1 Definition:Formal Derivative of Polynomial at ProofWiki...

そらく、さまざまなグループで詳細について合意できない性格によるものと思われる。ワークフロー理論が先祖であるBPELとは異なり、BPMLはPi calculusから着想された。このため、BPMLは完全で定式化された文法を持つことになり、市場には強力なBPMLの製品が登場することとなった。このため、アプ...

revisited 1980 Stochastic calculus of variations 1980 A path-probability representation for wavefunctions 1981 Stochastic calculus of variations revisited...

ISBN 0-8176-4231-5  Richard Courant; Fritz John (1999). Introduction to Calculus and Analysis Volume II/1: Chapters 1 - 4 (Classics in Mathematics). Berlin:...

1016/0304-4149(81)90026-0  Harrison, J. Michael; Pliska, Stanley R. (1983), “A Stochastic Calculus Model of Continuous Trading: Complete Markets”, Stochastic Processes and...

数学の分野としての量子解析学（りょうしかいせきがく、英: quantum calculus）は極限の概念を持たないことを除けば通常の微分積分学と同じものであり、しばしば「極限の無い微分積分学」(calculus without limits) と呼ばれる。量子解析学には二種類のパラメータ q, h（q...

1007/978-1-84628-737-4, ISBN 9781852333768  Shreve, Steven E. (2004), Stochastic calculus for finance II: Continuous-time models, New York: Springer, ISBN 9780387401010 ...

ISBN 978-0-273-65813-9  Perloff, J. (2008). Microeconomic Theory & Applications with Calculus. Pearson. ISBN 978-0-321-27794-7  Pindyck; Rubinfeld (2001). Microeconomics...

論理学の歴史 Ancestral relation (祖先関係) Frege's propositional calculus ^ Bynum (1972) ^ Her(F)、In(x,F)、FN(f)、*=などの記号は、田畑(2002)を参考にした。 ^ Heyting...

数学における時間尺度微分積分学（じかんしゃくどびぶんせきぶんがく、英: time-scale calculus）は、微分積分学と和分差分学とを統一するもので、微分方程式の理論と差分方程式の理論とを統合した（連続と離散の入り混じった）力学系の研究の方法論を提供する。時間尺度微分積分学は、離散および連続...

^ E.ハイラー、G.ヴァンナー 『解析教程（上）』p.29 シュプリンガー・ジャパン ^ Seely, Robert T. (1973). Calculus of One and Several Variables. Glenview: Scott, Foresman. ISBN 0-673-07779-9 ...

Springer, ISBN 3-540-58659-8, OCLC 31374337 . Spivak, Michael (1965), Calculus on Manifolds, Reading, Massachusetts: W.A. Benjamin, Inc., ISBN 0-8053-9021-9 ...

Rendiconti Palermo 54: 1–41, JFM 56.0310.01  Roman, Steven (1984), The umbral calculus, Pure and Applied Mathematics, 111, London: Academic Press Inc. [Harcourt...

https://www.jstor.org/stable/1926559  Shreve, Steven E. (2004), Stochastic Calculus for Finance II: Continuous-time Models, New York: Springer, ISBN 9780387401010 ...

1145/321450.321460. S2CID 18135005. This paper describes the development of the calculus over the computable number field. Bishop, Errett; Bridges, Douglas (1985)...

Gürlebeck, Klaus and Sprössig, Wolfgang (1997), "Quaternionic and Clifford calculus for physicists and engineers". Chichester ; New York : Wiley (Mathematical...

数学的にこれらのモデルを表現する方法はいくつか存在する。プロセス計算は並行性を扱う数学の一分野である。プロセス計算はさらにアンビエント計算（英語版）、calculus of communicating systems、Communicating Sequential Processesなどに分類される。ペト...

mathematical expressions and functions. ^ Ron Larson, Bruce H. Edwards (2010), Calculus of a Single Variable, Cengage Learning, p. 19, ISBN 978-0-538-73552-0 ...

、ツーリングカー用レギュレーション（2011年） (PDF) ^ 第２世代のシュコダ・ファビアS2000がヨーロッパラウンドから登場 ^ Differential calculusTHE Engineer 2022年7月31日閲覧 ^ SEAT Leon WTCC モータースポーツ グループA グループN グループE スーパーツーリング/フォーミュラ2...

https://www.jstor.org/stable/95868  Roman, Steven (1984), The umbral calculus, Pure and Applied Mathematics, 111, London: Academic Press Inc. [Harcourt...

なものとして決定される。これを変分原理（variation principle）と言い、それを解析的に求める技術が変分法（variation calculus）である。変分原理は、 「ある一定の時間内もしくは経過途上における変化が、その系の中に含まれるある量が極値（最大または最小）となるように行われる。」ことを主張する。した...

1017/S0960129502003626. ISSN 0960-1295.  Rose, G. F. (1953). “Propositional calculus and realizability”. Transactions of the American Mathematical Society 75...

を満たす最小の指数}})\\0&(x\notin A)\end{cases}}} [脚注の使い方] ^ Dunham, William (2008). The Calculus Gallery: Masterpieces from Newton to Lebesgue. Princeton: Princeton University...

Tournesol）で、トゥルヌソルはヒマワリの意。英語版ではカスバート・カルキュラス（Cuthbert Calculus）であり、カルキュラスは微積分を意味する。 モデルはスイスの世界初の成層圏飛行を成し遂げ、一時期ブリュッセル自由大学の教授でもあったオーギュスト・ピカール。...

A 350 page comprehensive "outline" of the subject. Robert Weinstock, Calculus of Variations, with Applications to Physics and Engineering (Dover Publications...

2相コミット 3相コミット コミット (データ管理) 不可分操作 ^ Bocchi, Wischik (2004). A Process Calculus of Atomic Commit  ^ Garcia-Molina, Hector; Ullman, Jeff; Widom, Jennifer...

Unification Algorithm ^ Gérard Huet: A Unification Algorithm for typed Lambda-Calculus [] ^ Gérard Huet: Higher Order Unification 30 Years Later ^ Gilles Dowek:...

Bhaskara, H.T Colebrooke, 1817 ^ Shukla, Kripa Shankar (1984). “Use of Calculus in Hindu Mathematics”. Indian Journal of History of Science 19: 95–104...

論理と型理論の境界領域は、研究が盛んな分野である。新たな論理は、論理フレームワークとして型理論的設定で形式化されることが多い。そのような論理フレームワークとして、calculus of constructions や LF は高階依存型理論に基づいており、決定可能性と表現能力のトレードオフを考慮して考案されている。これ...

63: pp. 337-403  Dacorogna, Bernard (2008) [1989], Direct methods in the calculus of variation, Applied Mathematical Sciences 78, New York: Springer-Verlag...

Roubíček, T. (1997). Relaxation in Optimization Theory and Variational Calculus. Berlin: W. de Gruyter. ISBN 3-11-014542-1  J. L. Kelley (2008). General...

Q)\to (P\to R){\big )}} この定理はすでに想像しうる最も弱い論理の一つに含まれる構成的な含意論理（implicational calculus）を示している。BHK(Brower-Heyting-Kolmogorov)解釈における証明では f ↦ g ↦ p ↦ ( f ( p ) ∘...

、たとえば始期のように法それ自身において、時間についての問題にしばしば関係する。これらの時相論理をモデル化するために、 事象計算(Event Calculus)や、排除可能な時相論理(Defeasible Temporal Logic)のような時相論理を用いる試みがなされてきた。...

University Press, ISBN 9780691121376  Shreve, Steven E. (2004), Stochastic calculus for finance II: Continuous-time models, New York: Springer, ISBN 9780387401010 ...

Examination of Content Analysis: A Proposal for a Framework and an Information Calculus for Message Analytic Situations, Ph.D. Dissertation, Urbana: University...

Mathematical Analysis, Johns Hopkins Press (1930). W. E, Milne: Numerical Calculus, Princeton Univ. Press (1949). D. R, Hartree: Numerical Analysis, Oxford...

c d e f Stewart, James (2001). “§2.8 - The Derivative As A Function”. Calculus (2nd ed.). Brooks/Cole. ISBN 0-534-37718-1  ^ a b c d e f g Visser, Matt...

Mathematics, EMS Press. Edwards, Charles Henry (1994) [1973]. Advanced Calculus of Several Variables. Mineola, New York: Dover Publications. ISBN 978-0-486-68336-2 ...

, Jr. (1985). “Differentiation under the Integral Sign”. Intermediate Calculus (Second ed.). New York: Springer. pp. 421–426. ISBN 978-0-387-96058-6....

Development of the Calculus. New York: Springer. p. 75. ISBN 978-0-387-94313-8. https://books.google.com/books?id=ilrlBwAAQBAJ&q=Archimedes+calculus&pg=PA75 2020年10月20日閲覧。 ...

of type theory, Unpublished notes, 1987? Per Martin-Löf. Substitution calculus, 1992. Notes from a lecture given in Göteborg. Bengt Nordström, Kent Petersson...

Bromond, Akademie Verlag, 2004. 'Chunk and Permeate I: the Infinitesimal Calculus' (Bryson Brownとの共著), Journal of Philosophical Logic 33 (2004), 379-88....

Numerical Equations , 1849. Arithmetic, Algebra, and Differential and Integral Calculus in Course of Mathematics for R.M.A. Woolwich , 1850. The Extension of π...

）と呼ばれる双線型写像を用いている署名方式である。署名は楕円曲線の１つの群要素（楕円曲線上の１つの点）で表される。楕円曲線上の群はindex calculus攻撃に対して耐性があるため、同じ安全性レベルを持つRSA署名などに比べて署名長が短いという利点を持つ。このため、BLS署名は「short...

(2005), “3: The Bernoullis (Johann and x x {\displaystyle x^{x}} )”, The Calculus Gallery, Masterpieces from Newton to Lebesgue, Princeton, NJ: Princeton...

Holland / Boston, U.S.: Reidel Publishing Company  Steven Roman. The Umbral Calculus. Dover Publications  Vassily G. Voinov, Mikhail S. Nikulin (1994). “On...

les opérations linéaires . Giusti, Enrico (2003), Direct Methods in the Calculus of Variations, World Scientific, ISBN 981-238-043-4 . Grattan-Guinness...

Politics ^ Martin Baxter (2006年9月3日). “Con-Lab Gap Analysis”. Electoral Calculus. 2015年2月22日閲覧。 ^ en:U.S. House election, 2012 Maloney, John; Pearson, Bernard;...

Bellman, R. E. (1954). “Dynamic Programming and a new formalism in the calculus of variations”. Proceedings of the National Academy of Sciences of the...

古代ローマでの一般的な計算方法はギリシアと同じで、滑らかなテーブル上で計数用の珠を動かして計算した。もともとは小石を使っていた（これをcalculusと呼んだ）が、後にジェトン（英語版）という硬貨のようなものができ、中世ヨーロッパでも使われた。ローマ数字の体系に沿って、5や10などを印のつい...

doi:10.1007/BF01049489.  ^ Levi, Mark (2014). Classical Mechanics with Calculus of Variations and Optimal Control: An Intuitive Introduction. American...

Transactions on Knowledge and Data Engineering, 16 (9), 1128–1142. ^ Π-calculus ^ Agrawal, R., Gunopulos, D., & Leymann, F. (1998). Mining Process Models...

Maqbool Ellahi, Dr. Karamat Hussain Dar, Faheem Hussain (Pakistani English). Calculus and Analytic Geometry (First ed.). Lahore: Punjab Textbook Board. p. 140 ...

Hidden Reality by Edward Frenkel ^ Hot Berkeley prof gets his kit off for calculus ^ “The Fifth problem: math & anti-Semitism in the Soviet Union”. ^ Saul...

id=k9DnSAO9Au8C&pg=PA77&lpg=PA77#v=onepage&q&f=false。2020年2月13日閲覧。  en:Visual calculus この種の問題を解決する直感的な方法で、元々は弦の長さのみを与えられたときのアニュラスの面積を求めるのに適用された。 en:String girdling...

New York University  Artin, Emil (1958), A Freshman Honors Course in Calculus and Analytic Geometry, University of Buffalo, ISBN 0-923891-52-8  Artin...

Bill Roscoe らと共に理論面の改良に取り組み、CSPをプロセス代数的にしていった。この方向性は、同時期にロビン・ミルナーが行っていた Calculus of Communicating Systems（CCS）の研究と相互に影響しあっている。CSPの理論面は1984年に発表され、1985年に出版されたホーアの著書...

“三角関数のさまざまな定義” (PDF). 2014年10月8日閲覧。[リンク切れ] ^ Leff, Lawrence S. (2005). PreCalculus the Easy Way (7th ed.). Barron's Educational Series. p. 296. ISBN 0-7641-2892-2...

^ Gompf, Robert E.; Stipsicz, Andras I. (1999). 4-Manifolds and Kirby Calculus. American Mathematical Society. pp. 55–58, 186–187. ISBN 0-8218-0994-6 ...

Jean Gallier and Jocelyn Quaintance: "Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Machine Learning",(Oct...

241–246, MR 0497615 . ^ Thompson, Silvanus P.; Gardner, Martin (1998), Calculus Made Easy (3rd ed.), Macmillan, p. 315, ISBN 9780312185480, https://books...

g(q), g(r) ) = (x, p, q, r) なる不変性が成立することがわかる。 メビウスは、著書『重心算法』(Baricentric Calculus, 1827) および1855年の論文「純幾何学的表現における相互関係の理論」("Theorie der Kreisverwandtschaft...

1次元ブラウン運動の中へこれらの平面曲線の情報をエンコードすることが可能となる。この方法では、多くの平面モデルの重要な問題が、伊藤の計算（英語版）(Itō calculus)を応用した問題へと翻訳される。実際、この戦略の下、いくつかの数学的に非自明な予言が、物理学者により共形場理論を使い証明された。 D を C と異なる単連結(simply...

Gotay, M., A multisymplectic framework for classical field theory and the calculus of variations. II. Space + time decomposition, in "Mechanics, Analysis...

Lang, Serge (1969), Analysis II, Addison-Wesley  Lang, Serge (1987a), Calculus of several variables (3rd ed.), Berlin, New York: Springer-Verlag,...

Instruments 5 (1): 1–88.  Baxter, Martin; Rennie, Andrew (1996). Financial Calculus. Cambridge University Press. ISBN 978-0-521-55289-9  Brigo, Damiano; Mercurio...

Springer, pp. 199–205, ISBN 0387972455 , Chapter IV, Reisz functional calculus Cheng, Sheung Hun; Higham, Nicholas J.; Kenney, Charles S.; Laub, Alan...

Introductory to the Theory of Functions of Two Complex Variables(1914) Calculus of Variations (1927) Geometry of Four Dimensions (1930) Intrinsic Geometry...

:=\alpha \oplus (\ominus \beta )} [脚注の使い方] ^ a b James Stewart;"Essential Calculus: Early Transcendentals" Cole Pub Co (2010)[3] ^ a b c 本記事におけるこの定理の証明は、...

^ “Palin's Tough Response in Giffords Shooting: Flawed Calculus?”. 2011年1月12日. 2012年9月12日時点のオリジナルよりアーカイブ. ^ “ペイリン、銃「反撃ビデオ」で大失点”. ニューズウィーク日本版...

著、湯川 秀樹(監修)、内山 龍雄(訳編) 編『アインシュタイン選集 2 －一般相対性理論および統一場理論－』共立出版、1970年。  リッチ解析学（英語版）(Ricci calculus) 一般相対性理論 等価原理 一般相対性原理 レヴィ・チヴィタ接続 テンソル 一般相対性理論の概説 時間の遅れ...

AP Calculus AB examination AP Calculus BC College Board description of the AP Calculus BC course content College Board description of the AP Calculus BC...

2015年にはヘリオット・ワット大学から名誉博士号を授与された。 H.P. Barendregt (1984). The Lambda Calculus — Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics...

Mech. (1964), 44, T52–T54 Louis Melville Milne-Thomson (2000) [1933]. The Calculus of Finite Differences. American Mathematical Soc.. Chapter 1: Divided Differences...

Mohammed Ben Alhacan Alkarkhi. Paris. ^ Victor J. Katz (1995). "Ideas of Calculus in Islam and India", Mathematics Magazine 68 (3), p. 163-174. ^ Syed, M...

Jones, R. Clark (1941). “A new calculus for the treatment of optical systems, I. Description and Discussion of the Calculus”. Journal of the Optical Society...

幸福計算（こうふくけいさん、英: felicific calculus）は、功利主義の哲学者ジェレミー・ベンサム（1748〜1832年）が定式化したアルゴリズムであり、特定の行為が引き起こす可能性のある快楽の度合いや量を計算するものである。倫理的な快楽主義者であったベンサムは、行為の道徳的正不正はそ...

英語版）の道徳科学の試験官を3度務めた。 Treatise on the Differential Calculus and the Elements of the Integral Calculus (1852, 6th ed., 1873) Treatise on Analytical Statics...

て以来、1704年に発表するまで本人の弁で38年もの間を開けており、ニュートン・ライプニッツ論争 (en:Newton v. Leibniz calculus controversy) の原因ともなった。 1936年、ニュートンの未発表の著作が9代目ポーツマス卿のジェラルド・ワロップ（ニュートンの大...

org/details/theoryofintegrat032534mbp  Young, L. C. (1969), Lectures on the Calculus of Variations and Optimal Control, Philadelphia–London–Toronto: W. B. Saunders...

Blanchet, Bruno; Fournet, Cédric (July 2007). “Just Fast Keying in the Pi Calculus”. ACM Transactions on Information and System Security 10 (3): 9–es. doi:10...

ン・ダイク（英語版）によって最初に体系的に研究された が、初期には、1856年のウィリアム・ローワン・ハミルトンによる、en:Icosian calculusとよばれる十二面体の辺グラフを用いた正十二面体群（英語版）の研究がある。現在、分野としての組合せ群論は、幾何学的群論に大きく含まれている。さら...

doi:10.1073/pnas.12.7.473 Carl Eckart (National Research Fellow) Operator Calculus and the Solution of the Equations of Quantum Dynamics, Phys. Rev. 28 (4)...

^{2}-6)}{24n^{2}\pi ^{2}}}\qquad {\mbox{(}}n=1,3,5...{\mbox{)}}\,\!} ^ Stewart, James. Calculus: Early Transcendentals, 6th Edition. Thomson: 2008 微分積分学 微分積分学の基本定理 解析学...

ニューヨーク・タイムズの「FiveThirtyEight: Nate Silver's Political Calculus」は2010年8月25日にデビューを飾った。その日からブログはほぼひたすら2010年の州知事選挙（英語版）に加えて、2010年の上院選挙（英語...

^ a b McCulloch, Warren S.; Pitts, Walter (December 1943). “A logical calculus of the ideas immanent in nervous activity”. The Bulletin of Mathematical...

^ 大矢真一『ピタゴラスの定理』東海書房、1952年。  ^ a b Leff, Lawrence S. (2005). PreCalculus the Easy Way (7th ed.). Barron's Educational Series. p. 296. ISBN 0-7641-2892-2...

ISBN 978-0-340-52393-3. https://books.google.com/books?id=NDX5TmISfYUC  The Calculus Affair - the official Tintin website（英語） The Calculus Affair（英語） 表示 編集...

Rindler, Wolfgang (1987), Spinors and space-time, Volume 1: Two-spinor calculus and relativistic fields, Cambridge University Press, ISBN 978-0-521-33707-6 ...

ISBN 0-486-65632-2 ^ Price, Bartholomew (1862). A Treatise on Infinitesimal Calculus : Vol. IV. The dynamics of material systems. Oxford : University Press...

2307/1995086. JSTOR 1995086.  ^ E. A. Emerson and C. S. Jutla: Tree Automata, Mu-Calculus and Determinacy, IEEE Proc. Foundations of Computer Science, pp 368–377...

^ Lee, Yu-Hao; Yuan, Chien Wen (April 2020). “The Privacy Calculus of "Friending" Across Multiple Social Media Platforms” (英語). Social Media...

Press. ISBN 978-0-521-80240-6. OCLC 54691904  Frege, G., Boole's Logical Calculus and the Concept Script, 1882, in Posthumous Writings transl. P.Long and...

by William Lowe Bryan, Chicago: Open Court Pub. CO., pp. 154, 1927. The calculus, Robert D. Carmichael and James H. Weaver, Boston/New York: Ginn & company...

この言語は、数学的概念、科学的概念、形而上学的概念のいずれをも表現できるものとして考案された。ライプニッツは、機械化可能な普遍論理計算――「推論計算器 ( 羅: calculus ratiocinator ) 」――が可能な言語の創造を目指した。 ライプニッツは数学者として解析学へ貢献の貢献が有名である。ニュートンと同...

Spontaneous Order, 2003. 日本語訳：『SYNC――なぜ自然はシンクロしたがるのか』長尾力訳、蔵本由紀監修、早川書房。 The Calculus of Friendship, 2009. 日本語訳：『ふたりの微積分――数学をめぐる文通からぼくが人生について学んだこと』南條郁子訳、岩波書店、2012年。...

はニューヨークタイムズのオンライン版のライセンス機能となり、「FiveThirtyEight：Nate Silver's Political Calculus」（ファイブサーティエイト：ネイト・シルバーの政治計算学）に改名された。 2013年7月、ESPNはFiveThirtyEightを買収し、シ...

197. ^ Perloff Jeffrey M. "Microeconomics, Theory and Applications with Calculus", fifth edition, page 338. ^ Browning,Edgar K. Zupan, Mark, A. "Microeconomics...

量子論を記述するためのクリフォード代数の使用は中でも Mario Schönbergによって、geometric calculus の言葉では David Hestenes と Basil Hiley と hierarchy of Clifford algebras の共同研究者によって、そして...

theory - a development of recursive arithmetic in a logic-free equation calculus, North Holland 1957 Constructive formalism - essays on the foundations...

ISBN 0-691-08421-1 Edwards Jr., C. H. (1994). The Historical Development of the Calculus (3rd ed.). Springer. ISBN 0-387-94313-7 . Heath, Thomas L. (2011). The...

without being (easily) convicted and the lengths of proofs in propositional calculus”. In Pacholski, Leszek; Tiuryn, Jerzy (英語). Computer Science Logic. Lecture...

Points via Internet Archive 1910: Fundamental Theorems of the Differential Calculus via Internet Archive ^ a b Hardy, G. H. (1943). “William Henry Young. 1863-1942”...

Differential Calculus. London: MacMillan and Co. pp. 161 ff. Williamson, Benjamin (1899). An elementary treatise on the differential calculus. Logmans, Green...

Integration of Some Other Classes of Functions §1–3”. Differential and Integral Calculus. 1. Blackie & Son. pp. 234–237. https://archive.org/details/differenti...

ISBN 9780789728616, https://books.google.com/books?id=24nPZw9Wsf4C&pg=PA45 . The Calculus of Logic, by George Boole, Cambridge and Dublin Mathematical Journal Vol...

Wiley & Sons  ^ McCulloch, Warren; Pitts, Walter (2021-02-02), “A Logical Calculus of the Ideas Immanent in Nervous Activity (1943)”, Ideas That Created the...

{\displaystyle =nR^{n-1}\omega _{n}} Dacorogna, Bernard (2004). Introduction to the Calculus of Variations. London: Imperial College Press. ISBN 1-86094-508-2  Federer...

党・議会（立法府）・行政府・官僚等の政治的アクターの分析が本格化した。 ブキャナンとタロックによる『公共選択の理論－合意の経済論理』（The Calculus of Consent:Logical Foundation of Constitutional Democracy,...

mathworld.wolfram.com (英語). Frank Ayres, Elliott Mendelson. Schaum's Outlines: Calculus. McGraw-Hill Professional 2008, ISBN 978-0-07-150861-2. pp. 244–248 (online...

Hedrick, E. R.; Kellogg, O. D (1909) (英語). Applications of the calculus to mechanics. Boston: Ginn. https://archive.org/details/applicationsofca00hedriala ...

“Election Data 1997” (TXT, semicolon-separated values) (英語). Electoral Calculus. 2011年10月15日時点のオリジナルよりアーカイブ。2015年10月18日閲覧。 ^ Webber, Esther (2021年10月15日)...

1090/S0002-9904-1919-03168-1. ISSN 0002-9904.  Hancock, Harris (1904), Lectures on the calculus of variations, Cincinnati University Press, https://books.google.com/books...

アーレンド・レイプハルト 集団意思決定 連立政権 権力分有 ^ McGann, Anthony J.; Latner, Michael (2013). "The Calculus of Consensus Democracy". Comparative Political Studies. 46 (7): 823–850...

ISBN 0-201-89542-0  Fisher, K.; Honsell, F.; Mitchell, J.C. (1994). “A lambda calculus of objects and method specialization”. Proceedings Eighth Annual IEEE Symposium...

math.hmc.edu/~benjamin/papers/rectangles.pdf . Bressoud, David (2004), Calculus before Newton and Leibniz, Part III, AP Central, http://www.macalester...

微分積分学における微分法 (differential calculus; 微分学) の離散的対応物としての差分法 (difference calculus, calculus of (finite) difference)については「差分学」をご覧ください。...

n=0 cnan は収束する。 cn = (−1)n としたものがライプニッツの判定法である。 ^ Brand 1960, §34 Alternating Series. Brand, Louis (1960). Advanced Calculus. John Wiley & Sons, Inc. ...

三値論理 ^ Irving M. Copilowish (December 1948) "Matrix development of the calculus of relations", Journal of Symbolic Logic 13(4): 193–203 Jstor link ^ Petersen...

id=pjlFDwAAQBAJ&redir_esc=y  リッチ解析（英語版） Bertschinger, Edmund (1999年4月). “Introduction to Tensor Calculus for General Relativity”. MIT. 2025年6月23日閲覧。 表示 編集...

数理論理学において、含意命題計算（がんいめいだいけいさん、英: implicational propositional calculus）とは、含意あるいは条件法と呼ばれる一つの結合子のみを用いる古典命題計算の一形態である。論理式においては、この二項演算は「ならば」、「もし……ならば、……」、「→」、「...

org/item/CM_1938__5__198_0/.  Herbert Busemann (1941). “On the foundations of calculus of variations”. Transactions of the American Mathematical Society 49 (2):...

the systems (C, N), (C, 0) and (A, N) of the two-valued propositional calculus, Journal of Computing Systems, pp. 155–164, 1954. ^ Rosser J. Barkley,...

introduction to real analysis. CRC Press, 2006. p.183 ^ Stewart, James. Calculus. Cengage Learning, 2011. Section 1.1 ^ a b Dekking, Frederik Michel (2005)...

pdf  ^ Ernst, Thomas (2012), A Comprehensive Treatment of q-Calculus, Springer, p. 52, ISBN 9783034804318, https://books.google.com/books...

org/euclid.bams/1183425340.  ^ Bjerhammar, Arne (1951). “Application of calculus of matrices to method of least squares; with special references to geodetic...

(1961)  Elements of Tensor Calculus. John Wiley and Sons. (1962). https://books.google.com/books/about/Elements_of_Tensor_Calculus.html?id=tGq0CwAAQBAJ  Relativistic...

"Chapter 8: Slutsky Equation." Essay. In Intermediate Microeconomics with Calculus, 1st ed., 155–56. New York, NY: W W Norton, 2014. ^ Silberberg E. (2008)...

description）、論理的原子論、論理形式、数学的な美、数理論理学、意味、超数学、哲学的論理学、命題計算（Propositional calculus）、素朴集合論、中立一元論、集合論のパラドックス、Peano–Russell notation、命題論理式、Self-refuting idea、量化、Round...

Almgren, Frederick J. Jr. (1964), The theory of varifolds: A variational calculus in the large for the k {\displaystyle k} -dimensional area integrand, Prinston:...

ISBN 0-7135-1594-5 ウィキブックスにCalculus/Integration techniques/Reduction Formula関連の解説書・教科書があります。 Anton, H., Bivens, L. and Davis, S. (2008). Calculus (7th ed.). New York:...

E. (1992). Vector logics: the matrix-vector representation of logical calculus. Fuzzy Sets and Systems, 50, 179–185 ^ a b c d e Mizraji, E. (2008) Vector...

Hodges, W. and Lewis, D. 1968. Finitude and Infinitude in the atomic calculus of individuals, Nous 2: 405–10. Hudson, H. 2006. Simple Statues, Philo...

グリーンヒルの公式はミラーの転度法則（英語版）を伴って使用される。 A. G. Greenhill Differential and integral calculus, with applications ( London, MacMillan, 1886) archive.org A. G. Greenhill...

PMID 16415148.  ^ Philip; Manikandan; Lamb; Desmond (2007). “Ejaculatory-duct calculus causing secondary obstruction and infertility”. Fertility and Sterility...

Cambridge University Press, 2010 (draft from 2008) Robert Reckhow, On the Lengths of Proofs in the Propositional Calculus, PhD Thesis, 1975. Proof Complexity...

(10): 974-981.  Balth van der Pol, H. Bremmer (Author) (1950). Operational Calculus: Based on the Two-Sided Laplace Integral  ^ キャベンディッシュ研究所では、エドワード・アップルト...

数学 (multivariate calculus)については「多変数微分積分学」をご覧ください。...

憲法面での基礎を築いたこと」を称えられてノーベル経済学賞を受賞した。ブキャナンは1962年に出版されたゴードン・タロックとの共著書 "The Calculus of Consent: Logical Foundations of Constitutional Democracy"...

(Charles Leudesdorf訳) Graphical statics. Two treatises on the graphical calculus and reciprocal figures in graphical statics (Clarendon press, Oxford, 1890)...

American Mathematical Society. MR 0971981  Akhiezer, N. I. (1988). The calculus of variations.. Chur: Harwood Academic Publishers. ISBN 3-7186-4805-9....

保守党所属庶民院議員10名の推薦が必要。 候補者が2名の場合：131,680 候補者が3名以上の場合：121 有力候補に関する世論調査 Electoral Calculus社は、ロバート・ジェンリック陣営のジャック・レウィー氏の依頼を受け、2024年10月11日から15日にかけて、MRP（多層回帰・事後層別化法）...

(2017年) Insurrection (2018年) Salem, 1692 (2018年) The Hierophant (2019年) Calculus (2020年) ジョゼフ・デュムラン・トリオ Rainbow Body (2011年) ※with ジョゼフ・デュムラン、エリック・シールマンス...

Statistics.  Perloff, J. (2008). Microeconomics Theory & Applications with Calculus. Pearson. ISBN 978-0-321-27794-7  Samuelson; Nordhaus (2001). Microeconomics...

Part 1” (英語). Future of Life Institute. 2024年1月23日閲覧。 ^ Heighn. “The Calculus of Nash Equilibria” (英語). LessWrong. https://www.lesswrong...

Leibniz et ses modèles mathématiques. Paris: Presses Universitaires de France (PUF). ^ van Brunt, Bruce (2004). "The Calculus of Variations". Springer....

pubicalyx は幅 3 mm である。一方高さ 80 mm に達するものも知られる。 染色体数はコノフィツム・カルクルス Conophytum calculus やコノフィツム・マウガニー Conophytum maughanii で分かっており、2n = 18。...

The Knot. 2019年12月2日閲覧。 Varberg, Dale E.; Purcell, Edwin J.; Rigdon, Steven E. (2007). Calculus (9th ed.). Pearson Prentice Hall. ISBN 978-0131469686 ...

竹内伸子、泉屋周一、村山光孝『座標幾何学：古典的解析幾何学入門』日科技連、2008年。  Kay, D. C. (1988). Tensor Calculus. Schaum’s Outlines. McGraw Hill. pp. 18–19. ISBN 0-07-033484-6  Spiegel...

Arbor, MI: J. W. Edwards. pp. 166 ff.  Edwards, J. (1892). Differential Calculus. London: MacMillan and Co.. pp. 161 ff.. https://archive.org/details/in...

AP Art History AP Biology AP Calculus AB AP Calculus BC AP Chemistry AP Chinese Language and Culture AP Computer Science A AP Computer Science Principles...

て解説したシリーズ『線形代数のエッセンス（Essence of linear algebra）』や『微積分のエッセンス（Essence of calculus）』は、同チャンネルの代表作として知られている。主に、サンダーソンによって書かれたPythonアニメーションライブラリであるManimによって...

とは異なり、Lean にはタクティクフレームワークが存在し、対話的な定理証明と自動証明を強力にサポートしている。 Rocq は Lean と同様 CIC(Calculus of Inductive Constructions) をベースにしており型システムは似ているが、Lean はメタプログラミングフレームワークがより強力である他、Rocq...

Thomas J. (2017) (English). Microeconomics: An Intuitive Approach with Calculus (2nd Edition) (2nd ed.). Boston, MA: CENGAGE Learning. pp. 634–641. ISBN 9781305650466 ...

(2005). “On Kinship and Marriage: A Critique of the Genetic and Gender Calculus of Evolutionary Psychology”. In McKinnon, Susan; Silverman, Sydel. Complexities:...

す。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Stochastic calculus|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。...

Special Relativistic Approach, Abraham Ungar, Springer, 2010 ^ Barycentric Calculus In Euclidean And Hyperbolic Geometry: A Comparative Introduction, Abraham...

Astroprint, 2013 ISBN 9789661907569 （教材作成＝単著・作成者） Mygdalskyy Volodymyr, “Calculus”,G-30 Kyoto University, 2013 NII書誌ID:BB12091580 Mygdalskyy Volodymyr, “Linear...

campaign in Chin state” (英語). The Irrawaddy. 2026年4月27日閲覧。 ^ “Opium’s Calculus (Part 2: The Experience of Northern Chin and Tonzang)” (英語). Tea Circle...

ISBN 978-0-521-36770-7 . ^ Scharle, T.W. (1965), “Axiomatization of propositional calculus with Sheffer functors”, Notre Dame J. Formal Logic 6 (3): 209–217, doi:10...

result of such a calculus will be another formula (i.e. a well-formed symbol string). Eventually, however, if one wants to use the calculus to study notions...

\mu } 　 により定義する事ができるH13新井。この手法により線形作用素f(A)を定義する手法を作用素解析新井(operational calculus)という。特に関数fとして指数関数を選ぶことで、 e x p ( H ) := ∫ σ ( H ) e x p ( λ ) d μ {\displaystyle...

第15（英語版） シューベルトの数え上げ計算の厳密な基礎づけ Rigorous foundation of Schubert's enumerative calculus 部分的解決 — 第16（英語版） 代数曲線および曲面の位相の問題 Problem of the topology of algebraic curves...

course in Early Medieval England」や「a course in integral calculus」）指し、イギリスの大学のmoduleや時としてunitに相当する。イギリスではcourse of studyまたは単にcourseは、研究の...

数に持つ関数が存在する必要十分条件を特徴づける事ができる： 定理 (微分積分学の基本定理（英: Fundamental theorem of calculus）) ― Gをリー群とし、 g {\displaystyle {\mathfrak {g}}} をGのリー代数とし、Mを多様体とし、ωをM上の...

Section 8.3 Magnus, Jan R.; Neudecker, Heinz (1999). Matrix Differential Calculus with Applications in Statistics and Econometrics (Revised ed.). Wiley....

Geometrie der Dynamen, Teubner, Leipzig ^ A. P. Kotelnikov (1895) Screw calculus and some applications to geometry and mechanics, Annal. Imp. Univ. Kazan...

pdf  Hestenes, David; Sobczyk (1984), Clifford Algebra to Geometric Calculus, Springer Verlag, ISBN 978-90-277-1673-6  Hestenes, David (2003a). “Oersted...

Principle of compositionality、一階述語論理、quantification theory（量化理論）、predicate calculus、論理主義、意義と意味、Concept and object（概念と対象）、Third Realm、Mediated reference theory、Descriptivist...

ISBN 978-0-19-921252-1  正準座標 ハミルトン・ヤコビ・アインシュタイン方程式（英語版） ペレス計量（英語版） 形状動力学（英語: Shape dynamics）[要検証 – ノート] 動的表面の解析学（英語: Calculus of moving surfaces）[要検証 – ノート] 表示 編集...

pp. 5–7. ^ Davies, Andrew (2021年7月6日). “Tanks and the ADF capability calculus” (英語). The Strategist. ASPI. 2025年4月10日閲覧。 ^ 成沢, 解語 (2022年5月28日)....

co.uk. 2025年6月26日閲覧。 ^ “DataTables_VIJun2025”. Find Out Now & Electoral Calculus (2025年6月25日). 2025年6月25日閲覧。 ^ “YouGov Survey Results”. YouGov (2025年6月17日)...

 254. ISBN 978-0-89871-957-4. https://books.google.com/books?id=JaPtxOytY7kC  Course on Calculus of Variations, has a section on Rayleigh–Ritz method....

ゥールヌソルは「ひまわり」を意味している。日本語版と同様に各国版で名前が変えられており、英語版ではカスバート・カルキュラス（Cuthbert Calculus、姓は微積分の意）、ドイツ語版はバルドゥアン・ビーネライン（Balduin Bienlein、姓は小さな蜂の意）という名前で、イニシャルが姓と名で同じという共通点がある。...

ISBN 1-56881-205-1, OCLC 52197627  McCullough, W. S.; Pitts, W. (1943), “A logical calculus of the ideas immanent in nervous activity”, Bulletin of Mathematical Biophysics...

→詳細は「en:Implicational propositional calculus」を参照...

可変長符号 ^ Copilowish, Irving (December 1948). “Matrix development of the calculus of relations”. Journal of Symbolic Logic 13 (4): 193–203. JSTOR 2267134...

prediction equation and its impact on structured learning and the dynamic calculus”. Psychological Review (Submitted manuscript). 109: 202–205. doi:10.1037/0033-295x...

and Engineering (2nd ed.). CRC Press. p. 28  ^ Stewart, James (2016). Calculus: Early Transcendentals (8th ed.). Cengage Learning. p. 619 (§9.4). ISBN 9781305272354 ...

Tensor Calculus. Schaum’s Outlines. New York: McGraw Hill. ISBN 0-07-033484-6  ^ Vaz & da Rocha 2016, pp. 48, 50. ^ Kay, D. C. (1988). Tensor Calculus. Schaum's...

Syllogistic. Springfield: Clarence C. Thomas. Sommers, Fred（英語版） 1970: "The Calculus of Terms," Mind 79: 1-39. 1982: The logic of natural language. Oxford University...

b Pearl, Judea; Bareinboim, Elias (2014). “External validity: From do-calculus to transportability across populations”. Statistical Science 29 (4): 579–595...

probability, an inquiry into the logical and mathematical foundations of the calculus of probability. University of California Press  ^ Mises, Richard (1981)...

torus)の構造を反映していることが明らかとなった。さらには、グラスマン多様体（英語版）(Grassmannian)のシューベルトの計算（英語版）(Schubert calculus)や、代数幾何学のイタリア学派（英語版）(Italian school of algebraic geometry)の業績の中にすでにチャーン...

“Interpretation”. mathworld.wolfram.com (英語). Sakharov, Alex. “Propositional Calculus”. mathworld.wolfram.com (英語). Sakharov, Alex. “First Order Logic”. mathworld...

John L. (1996). With the assistance of William Hrusa. ed. Variational calculus and optimal control: Optimization with elementary convexity. Undergraduate...

Letters  ^ Hestenes. “On the Evolution of Geometric Algebra and Geometric Calculus”. 2024年12月24日閲覧。 ^ Dechant, Pierre-Philippe (March 2014). “A Clifford algebraic...

あります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Mueller calculus|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。...