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

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

意味

例文

共起表現

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

該当件数 : 51件

Features include:	higher-order functions, a Milner-style statically type-c
the applicative functor, which extends the	higher-order functional abstraction beyond monad.
	Higher-order logic allows quantified variables to range
based on the differentiation of primary and	higher-order annuli, and the number of annular divisions
s important papers) based on his concept of	higher-order volitions, and for developing what are know
	Higher-order functions and currying
ve theorem proving systems sharing similar (	higher-order) logics and implementation strategies.
among classical first-order logic, various	higher-order logics and intuitionistic logic.
	Higher-order statistics are necessary to describe the fu
s the gene, not an individual, or any other	higher-order group as championed by proponents of group
The	higher-order corrections can be obtained by conventional
	Higher-order rectification can be performed on higher-di
espective DNA sequences and assemble into a	higher-order nucleoprotein complex with branched plecton
NuPRL is a	higher-order proof development system developed at Corne
In effect,	higher-order goods do have end users, the manufacturers
certain expressions even in the presence of	higher-order functions etc.; they even allow to prove th
Graham Hutton also used	higher-order functions for basic parsing in 1992.
A further	higher-order axis for shyness-boldness was also identifi
	Higher-order functions, functions which use other functi
e extensions to Prolog are derived from the	higher-order hereditary Harrop formulas used to justify
gebra of truth values of the intuitionistic	higher-order logic induced by the topos.
This means it cannot be used in	higher-order functions; it is second-class.
The CoC is a	higher-order typed lambda calculus, initially developed
hod calls in computer programs written in a	higher-order programming language.
ord University, where she began her work on	higher-order perceptual mechanisms in the cortex of prim
2007:	Higher-order phylogeny of modern birds (Theropoda, Aves:
onstructor or, less commonly, the type of a	higher-order type operator.
rentiation between primary annuli and their	higher-order (secondary or tertiary) subdivision.
ATPases that participate in many aspects of	higher-order chromosome organization and dynamics.
Es: A shell with	higher-order functions, Paul Haahr and Byron Rakitzis, U
Although Def 2 is	higher-order, viewing positive cones as maximal preposit
ctivation in frontal cortex encodes hope, a	higher-order expectation positively correlated with unce
dard extension of Prolog permitting limited	higher-order logic programming).
This "shape computation" reduces	higher-order functional programs to simple imperative fo
e cube, even though systems like , known as	higher-order bounded quantification, which combines subt
lution of differential equations, and other	higher-order mathematical questions.
or can be assigned or the result type of a	higher-order function returning a function.
FCL also lacks support for	higher-order fuzzy sets, subsets, and so on.
	Higher-order quantification, simply typed λ-terms, and h
hnically, a fexpr - and can thus be used in	higher-order functions, such as map.
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
These	higher-order chains tend to generate results with a sens
His book	Higher-Order Perl: Transforming Programs with Programs w
ming homodimers, heterodimers, and possibly	higher-order oligomers upon activation by a subset of po
Another common alternative is an appeal to	higher-order representations where the λ-binder is treat
when a better approach is perhaps to find a	higher-order abstraction, which is multiplication in thi
goods), it was harder to make this case for	higher-order goods which had no end user and merely went
proving, PhoX is a proof assistant based on	higher-order logic which is eXtensible.

共起表現

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

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