«APPLICATIVELY»に関連する英語の本
以下の図書目録から
applicativelyの使いかたを見つけましょう。
applicativelyに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
1
Non-Hausdorff Topology and Domain Theory: Selected Topics in ...
If E is applicatively continuous, then, by Lemma 5.4.30, E u and E P w have the
same notions of convergence. So Eu : E17“), using Corollary 4.7.12. Conversely,
if E h : E P w, then convergence in E h is pointwise convergence. Since this is ...
Jean Goubault-Larrecq, 2013
It says that any term of type to can be regarded as being of type App to ("
promoted") provided all its free variables have been applicatively used. For
example, the term return(z.1) of judgment (1) can be promoted to App (Obsint)
because z is ...
Peter O'Hearn, Robert Tennent, 1997
3
10th International Conference on Automated Deduction: ...
That is, 97% of ACL2 is written applicatively in the same logic for which ACL2
proves theorems. The 3% of non-applicative code is entirely at the top-level of the
read-eval-print user interface and deals with reading user input, error recovery ...
4
Software Engineering 2: Specification of Systems and Languages
... when introducing processoriented models, a stage and stepwise development
is advised, one which goes 10We remind the reader: In modelling block-
structured, procedural programming languages, we can model contexts
applicatively or ...
5
Scientific Realism: A Critical Reappraisal
An applicatively successful theory need not present the truth, nor need an
applicatively better theory be more probably true. The relationship is far more
oblique. The successful theory has some (otherwise unidentifiable) kernel of truth
about it, ...
6
Software Engineering 1: Abstraction and Modelling
Imperative Contexts (I): We usually model contexts imperatively as we develop
our abstract specifications (where the contexts usually were applicatively
modelled) into more concrete specifications, that is, as we move closer to, or
develop ...
7
Ways of Learning and Knowing: The Epistemology of Education
One uses learning applicatively when one does.something in light of the learning
. A great deal of expertise is required here both to know the theory, how to apply it
, and when to apply it. Persons exercising their full disciplinary competence ...
8
Sources: Notable selections in education
Practice 94 Whenever we use our school learnings in these areas to perceive,
understand, or feel life situations, we say that we are using our learnings
primarily Chapter 5 for interpretation, and not replicatively, associatively, or
applicatively, ...
Frederick Marshall Schultz, 1995
9
Essays on Concepts, Formalisms, and Tools
A set a is applicatively closed iff Vx (x € a -» Ac £ a ). □ Definition 4. A set b is the
applicative closure of a set a iff — AaQb, — b is applicatively closed, — if c is an
applicatively closed set and AaQc , then b £ c . The applicative closure of a is ...
Peter Robert Jan Asveld, Anton Nijholt, 1987
10
The Vienna Development Method: The Meta-language
Other conventions are: Function Names: Elaboration functions primarily
applicable to objects of domain Xyz have names: elab-Xyz (for imperatively
stated) respectively: E-Xyz for (applicatively expressed) elaboration functions; int-
Xyz (for ...
Dines Bjoerner, Clifford B. Jones, 1978
