「HIGHER-ORDER」の共起表現(1語左で並び替え)

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

意味

例文

共起表現

「HIGHER-ORDER」の共起表現一覧(1語左で並び替え)

該当件数 : 58件

espective DNA sequences and assemble into a	higher-order nucleoprotein complex with branched plecton
hod calls in computer programs written in a	higher-order programming language.
or can be assigned or the result type of a	higher-order function returning a function.
onstructor or, less commonly, the type of a	higher-order type operator.
when a better approach is perhaps to find a	higher-order abstraction, which is multiplication in thi
onment for interactive theorem proving in a	higher-order logic.
NuPRL is a	higher-order proof development system developed at Corne
ctivation in frontal cortex encodes hope, a	higher-order expectation positively correlated with unce
The CoC is a	higher-order typed lambda calculus, initially developed
based on the differentiation of primary and	higher-order annuli, and the number of annular divisions
Compare second-order predicate and	higher-order predicate.
olymorphic typing, modular programming, and	higher-order programming.
ve with more advanced methods, too, such as	higher-order statistics.
e cube, even though systems like , known as	higher-order bounded quantification, which combines subt
His book	Higher-Order Perl: Transforming Programs with Programs w
he term calculus is embedded in a classical	higher-order logic (HOL).
is included in each interpretation for each	higher-order type.
In effect,	higher-order goods do have end users, the manufacturers
goods), it was harder to make this case for	higher-order goods which had no end user and merely went
FCL also lacks support for	higher-order fuzzy sets, subsets, and so on.
A further	higher-order axis for shyness-boldness was also identifi
rary which correspond to inference rules in	higher-order logic.
e broadened to cover all theorem proving in	higher-order logics.
This means it cannot be used in	higher-order functions; it is second-class.
hnically, a fexpr - and can thus be used in	higher-order functions, such as map.
Features include:	higher-order functions, a Milner-style statically type-c
gebra of truth values of the intuitionistic	higher-order logic induced by the topos.
Although Def 2 is	higher-order, viewing positive cones as maximal preposit
dard extension of Prolog permitting limited	higher-order logic programming).
utation, and sits on the editorial board of	Higher-Order and Symbolic Computation.
certain expressions even in the presence of	higher-order functions etc.; they even allow to prove th
s important papers) based on his concept of	higher-order volitions, and for developing what are know
ATPases that participate in many aspects of	higher-order chromosome organization and dynamics.
ere reprinted in 2000 in a special issue of	Higher-Order and Symbolic Computation in memory of Strac
ord University, where she began her work on	higher-order perceptual mechanisms in the cortex of prim
grammar (HOG) is a grammar theory based on	higher-order logic.
proving, PhoX is a proof assistant based on	higher-order logic which is eXtensible.
lution of differential equations, and other	higher-order mathematical questions.
s the gene, not an individual, or any other	higher-order group as championed by proponents of group
ming homodimers, heterodimers, and possibly	higher-order oligomers upon activation by a subset of po
This "shape computation" reduces	higher-order functional programs to simple imperative fo
ve theorem proving systems sharing similar (	higher-order) logics and implementation strategies.
metaprogramming and simple	higher-order programming.
mming languages, XQuery 1.0 doesn't support	higher-order functions (they first appear in the drafts
The	higher-order corrections can be obtained by conventional
the applicative functor, which extends the	higher-order functional abstraction beyond monad.
e extensions to Prolog are derived from the	higher-order hereditary Harrop formulas used to justify
rentiation between primary annuli and their	higher-order (secondary or tertiary) subdivision.
These	higher-order chains tend to generate results with a sens
ges with length, especially when applied to	higher-order grams.
Another common alternative is an appeal to	higher-order representations where the λ-binder is treat
Graham Hutton also used	higher-order functions for basic parsing in 1992.
among classical first-order logic, various	higher-order logics and intuitionistic logic.
plistic items rather than well-constructed,	higher-order items.
Es: A shell with	higher-order functions, Paul Haahr and Byron Rakitzis, U
bstract equational data types extended with	higher-order functions.
used a modified version called mod to write	Higher-Order Perl.

共起表現

「HIGHER-ORDER」の共起表現(1語左で並び替え) - Weblio英語共起表現検索

「HIGHER-ORDER」の共起表現一覧(1語左で並び替え)