«PARAMORPHISM»に関連する英語の本
以下の図書目録から
paramorphismの使いかたを見つけましょう。
paramorphismに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
1
Algebraic and Coalgebraic Methods in the Mathematics of ...
For datatype T = data F, Meertens [26] defines the notion of a paramorphism
paraT f :: T → C when f :: F (C × T) → C as follows: paraT f = exl ◦ foldT(f △ (inT ◦ F
exr)) It enjoys the universal property h= paraTf⇔ h◦inT= f◦F(h△id) Informally, ...
Roland Backhouse, Roy Crole, Jeremy Gibbons, 2002
2
Advanced Functional Programming: Third International School, ...
This recursion pattern is known as paramorphism, after the Greek word παρα,
which among other things means 'parallel with'. Paramorphisms can be
expressed as catamorphisms by letting the recursive call return its intended result
, tupled ...
S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira, 1999
3
Functional Programming Languages and Computer Architecture: ...
For type num. a paramorphism is a function h of the form: hO = b (7) h(1+n) = ne(
hn) For lists a paramorphism is a function h ... which gives the list of all tail
segments of a given list is defined by the paramorphism tails = {Cons (Nil, Nil),®}
where ...
4
Consciousness, Methodological and Psychological Approaches
Among other things, it focuses our attention on the fact that many claims
established with the use of multivariate methods may be "burdened" by the error
of paramorphism (Kozielecki 1975; Stachowski 1973). The problem of
paramorphism has ...
5
Mathematics of Program Construction: 8th International ...
This is an instance of the general paramorphism pattern, whereby the treatment
of each element depends not just on the treatment of previous elements, but also
on those previous elements themselves. wc6 = paras step6 0 step6 ((n,x),c) ...
6
The Development of Animal Form: Ontogeny, Morphology, and ...
Terminal Control and Axis Paramorphism Many, but not all, bilaterians have
strong morphological markers at both body ends and both body ends, not just the
anterior one, are defined very earlyindevelopment.ThisisshownwellbyDrosophila
...
7
Psychological Decision Theory
The phenomenon ofparamorphism. The first to describe paramorphism in
psychology was Hoffman (1960), in his study of clinical judgment. The following
interpretation of the phenomenon has been developed to serve the specific
purposes of ...
8
The gabbros and associated hornblende rocks occurring in the ...
... after a study of the uralitized pyroxene of Canada, that this process is always
accompanied by such chemical changes and that it is to be regarded as an
example of pseudomorphism, rather than paramorphism.2 In spite of these
differences, ...
George Huntington Williams, 1886
9
A Modular, Algebra-sequenced Paramorphic Constraint-based ...
a paramorphism, which is more appropriate for the design of the Rosetta
language. It was functional, and certainly added more functionality to the
language, but it was also a brittle approach. Every sub-term would bind to a tuple,
and those ...
10
Trends in Functional Programming
If the accumulation function commutes, then ahom((.), &)(«) forms a
paramorphism: ahom((.),&)(n) = para((.)o(n*idji),®), (15.11) where (L,X) 0 (R,Y) =
L&map, (acc(X))(R) . D Further transformations could decrease the
communication cost in the ...
Greg Michaelson, Phil Trinder, Hans-Wolfgang Loidl, 2000
