「calculus 」の共起表現(1語右で並び替え)2ページ目

Weblio 辞書 > 英和辞典・和英辞典 > calculus の意味・解説 > calculus に関連した共起表現

意味

例文

類語

共起表現

「calculus 」の共起表現一覧(1語右で並び替え)2ページ目

該当件数 : 318件

＜前へ 1 2

The	calculus of structures was proposed in order to give a
ss constitutes the culmination of the classic	calculus of variations of Weierstrass, Hilbert, and Bo
The	calculus of constructions (CoC) is a formal language i
of assistant, which implements the derivative	calculus of inductive constructions.
vily influenced by Robin Milner's work on the	Calculus of Communicating Systems (CCS), and vice vers
er devised a related system, NEL, also in the	calculus of structures in which linear logic with the
The	Calculus of Consent: Logical Foundations of Constituti
articular partial differential equations, the	calculus of variations and the foundations of function
A	Calculus of Angels (1999), ISBN 0-7394-0260-9
the type hierarchy, as it is the case of the	calculus of constructions, but this is not generally t
However, he worked on the	calculus of variations from 1901.
Speculations concerning a	calculus of reasoning had at different times occupied
first textbook published on the infinitesimal	calculus of Leibniz.
The	calculus of structures is a proof calculus with deep i
e the base of intuitionistic type theory, the	calculus of constructions and the logical framework (L
Matita is based on the	Calculus of (Co)Inductive Constructions (a derivative
His text Lectures on the	Calculus of Variations published by the University of
e worked mainly in the mathematical fields of	calculus of variations, integration of algebraic funct
's research interests include elasticity, the	calculus of variations, and infinite-dimensional dynam
completeness of the axioms of the functional	calculus of logic," 582-91.
Corporations, Globalization, and the Changing	Calculus of Conflict, Princeton University Press, 2005
on the surface of a sphere, one has to apply	calculus of variations to it.
This theorem is proved with the	calculus of variations and Lagrange multipliers.
The principal novelty of the	calculus of structures was its pervasive use of deep i
chistochrone problem, the first result in the	calculus of variations
at the Aberdeen Proving Ground, applying the	calculus of variations to correct shell trajectories f
), Leibniz (who attempted to create a logical	calculus of all human ideas), Hume (who thought percep
ll known for his research in analysis and the	calculus of variations.
portance in the modern, direct methods of the	calculus of variations.
His thesis dealt with the topic of the	calculus of variations.
articular, his Differential Equations and the	Calculus of Finite Differences (1839) incorporated the
re: New proof of a theorem of Osgood's in the	calculus of variations (1901); Proof of the sufficienc
Bliss's work on the	calculus of variations culminated in his classic 1946
an approach also used in Milner's work on the	Calculus of Communicating Systems and the π-calculus.
"The	Calculus of Individuals and Its Uses" (with Henry S. L
Analysis on fractals or	calculus on fractals is a generalization of calculus o
In non-standard	calculus, one defines the limit of a function and rela
ade precise only with respect to a particular	calculus, one that comes with its own specific definit
In addition, several standard	calculus operations can be performed on the functions,
Support for the predicate	calculus operators support for universal (forall) and
A formal system (also called a logical	calculus, or a logical system) consists of a formal la
explicitly of some sequent	calculus or implicitly by "tagging" inferences of a na
Explanations of the Theory of the	Calculus, pamphlet (1870)
Aristotle's syllogistic	calculus, presented in the Organon, readily admits for
who pioneered numerical methods in stochastic	calculus, principally the Gillespie algorithm in 1977.
development of geometric methods for solving	calculus problems by a visual approach that makes no u
both for combinatory algebras and for lambda	calculus proper, specifically, within the framework of
Attributional	calculus provides a formal language for natural induct
logic resembled Leibniz's motivation for his	calculus ratiocinator.
In March 2008, Maplets for	Calculus received the 2008 ICTCM Award for Excellence
The Knights of the Lambda	Calculus' recursive emblem celebrates LISP's theoretic
olumes treating the differential and integral	calculus, respectively, had been authored by Johann Be
heque writing, calculating loans, etc.,and AP	Calculus), Science (Anatomy & Phisiology, Chemistry, B
001, the school made a slight recovery in its	calculus scores, with 17 passing the basic test and se
ction with the (synchronous) resource-process	calculus SCRP in order to give a logic which character
Leibniz in the discovery of the infinitesimal	calculus; specimens of results from the use of the flu
tion Theory, Quantum Field Theory, Stochastic	Calculus, Spectral Geometry, Algebraic Number Theory,
A teacher of AP Statistics and AP	Calculus, Sr. Alice Hess achieves an almost 100% rate
glish, Physics, Government, Spanish, Biology,	Calculus, Statistics and Studio Art.
Courses in English,	Calculus, Statistics, Physics, Biology, Chemistry, and
ful in popularizing the ideas of differential	calculus stemming from Leibniz.
omain theory in logical form, the lazy lambda	calculus, strictness analysis, concurrency theory, int
efer to extensions of the simply typed lambda	calculus such as products, coproducts or natural numbe
Predicate	calculus symbols may represent either variables, const
A lambda	calculus system with the normalization property can be
lambda calculi (including simply typed lambda	calculus, System F, LF and the calculus of constructio
	Calculus tartar paste is commonly exhibited by humans.
Amy Pierson (Paget Brewster) is a	calculus teacher going through a divorce with her husb
He also taught workshops for	calculus teachers.
The 2006	Calculus Team was the first team from Lincoln to ever
Heritage also boasts the number one	Calculus team in the nation.
d with the specific function to apply the new	calculus techniques in investigation, architecture, le
on does not hold for recursively typed lambda	calculus, termination of programs manipulating Scott-e
er of students enrolling and passing the A.P.	calculus test more than doubled.
tests including the SAT, the ACT, and the AP	Calculus test.
ssed, while another 12 passed the second year	calculus test.
He also wrote a	calculus textbook, Calculus and Analytic Geometry with
John N. Shutt proposed an extension of lambda	calculus that would model fexprs without suppressing r
Nicod's axiom is an axiom in propositional	calculus that can be used as a sole wff in a two-axiom
type system (GTS), is a form of typed lambda	calculus that allows an arbitrary number of sorts and
In the typed lambda	calculus, the turnstile is used to separate typing ass
In	calculus, the (ε, δ)-definition of limit ("epsilon-del
isp programming language (based on the lambda	calculus), the first language with origins in academia
In the sequent	calculus, the rule of cut is admissible.
the *-homomorphism property of the functional	calculus, the operator
g in propositional logic, such as the sequent	calculus, the cutting-plane method, resolution, the DP
Time scale	calculus, the unification of the theory of difference
In	calculus, this idea is the basis of the geometric defi
and have lunch with Wolff while the Captain,	Calculus, Thomson and Thompson immediately go out in t
ng that a bath in the spring had cured him of	calculus, thriftily enlarged the church by means of th
Some authors consider the predicate	calculus to be an axiomatized form of predicate logic,
musical used the story of the development of	Calculus to tie together songs that Marc had created a
whom she accused of "engaging in a political	calculus to derail her campaign".
These rules cause the	calculus to be confluent.
He first lectured on differential	calculus to science students (until summer 1871), late
al field is a term used in physics and vector	calculus to designate the electric field shown as E in
nd he used the newly developed tool of tensor	calculus to extend the special theory's global Lorentz
cs, waves, dynamics and acoustics in physics,	calculus, trigonometry and partial differential equati
of Problem Solving, Algebra I-III, Geometry,	Calculus, Trigonometry, Biology, Physical Science, Env
The event	calculus uses terms for representing fluents, like the
He also did work in	calculus using infinitesimals.
uchy gives the first complete presentation of	calculus using limits.
Tintin, Snowy and Haddock return, to	Calculus' villa and are welcomed by a huge party of vi
e Principles of the Differential and Integral	Calculus, vol.
	Calculus, Volume 1, One-variable calculus, with an int
single publication, The Absolute Differential	Calculus, was published under the name Ricci and co-au
dispute between Leibniz and Newton about the	calculus was still fresh in the public's mind and it w
He introduced for the purpose the Schubert	calculus, which has proved of fundamental geometrical
TPL (Temporal Process Language) is a process	calculus which extends Robin Milner's CCS with the not
Gentzen's sequent	calculus, which is the most studied formalism of struc
A predicate	calculus will usually include all the same rules as a
Epigram is essentially a typed lambda	calculus with generalized algebraic data type extensio
Multivariable	Calculus with Theory) with the explicit goal of provid
System T extends the simply typed lambda	calculus with a type of natural numbers and higher ord
li with subtyping are the simply typed lambda	calculus with conjunctive types and System F<:.
t, Friedman and Felleisen introduced a lambda	calculus with continuations and control operators.
1951 Introductory	calculus, with analytic geometry, Holt, Rinehart and W
ial function, which can be obtained by vector	calculus, yields the Earth's gravitational field.

＜前へ 1 2

共起表現

「calculus 」の共起表現(1語右で並び替え)2ページ目 - Weblio英語共起表現検索

「calculus 」の共起表現一覧(1語右で並び替え)2ページ目