検索結果- 英語 - 多言語
検索内容:
Pauline conversion
the conversion of Paul the Apostle to Christianity on the road to Damascus / (by extension) any life-changing event in which one's views are significantly altered
alpha conversion
(computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (𝜆x.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (𝜆y.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.
eta conversion
(computing theory) One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).
alpha conversions
plural of alpha conversion
conversion van
A full-sized cargo van that is sent to third-party companies to be outfitted with various luxuries for road trips and camping.
conversion course
An academic course by which a student studying a certain subject can change to another subject.
conversion courses
deathbed conversion
(set phrase) Acceptance of religious belief immediately before one dies, typically in a state of anxiety or fear of the insecurity of what will happen to one in and after death.
deathbed conversions
eta conversions
plural of eta conversion