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

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

意味

例文

共起表現

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

該当件数 : 66件

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

共起表現

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

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