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

意味
共起
表現

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

lambda

1 2 次へ＞

1語右で並び替え

該当件数:338件

ally discovered in the genome of bacteriophage lambda, a virus that infects E. coli, but is now know
Lambda abstraction and application are interpreted by
positions with the Student Senate (ASUM), the Lambda Alliance and the College Democrats.
Phi Lambda Alpha (ΦΛA) fraternity established communicati
he three organizations adopted the name of Phi Lambda Alpha Fraternity, with the distinctive emblem
Phi Lambda Alpha (ΦΛA), established 1919 at the Universit
On December 26, 1931, Phi Lambda Alpha Fraternity merged with Sigma Iota Frater
Sigma Delta Lambda also holds high academic expectations for its
st, Augst currently functions as an advisor to Lambda and oversees the formulation of battle strateg
Examples include Bacteriophage lambda and Leviviridae.
Lambda Andromedae is a spectroscopic binary with an o
Lambda Andromedae (λ And, λ Andromedae) is a binary s
Lambda Aquarii is a M-type red giant with a mean appa
Lambda Aquarii (λ Aqr, λ Aquarii) is a star in the co
Lambda Aquilae is more precisely Al Thalimain Prior.
Lambda Aquilae (λ Aql, λ Aquilae) is a star in the co
Lambda Aquilae is a blue-white B-type main sequence d
Lambda Aquilae
In 2010 Lambda Archives co-sponsored the first ever LGBT Hist
Lambda Archives' primary focus is Lesbian, Gay, Bisex
lytic and lysogenic lifecyle of bacteriophage lambda, as well as how the yeast transcriptional acti
Lambda Aurigae (λ Aur, λ Aurigae) is a binary star in
y Bosnian Women Refugees, and Cherry Muhanji's Lambda Award winning novel Her are all been published
She was nominated for the Lambda Award for Lesbian Fiction again in 1997.
e Southern Book Award in 1991 and also won the Lambda Award for Lesbian Fiction that same year.
as also written a number of short stories, the Lambda Award-nominated novel The Gift, and written fo
The Lambda Business and Professional Group sought charita
Various typed lambda calculi have been studied: The types of the si
Lambda calculi with dependent types are the base of i
Some typed lambda calculi introduce a notion of subtyping, i.e.
Typed lambda calculi are foundational programming languages
Typed lambda calculi play an important role in the design o
hell Wand showed that adding a fexpr device to lambda calculus - a device that suppresses rewriting
Various systems of typed lambda calculus including the simply typed lambda cal
He was one of the first to realize that the lambda calculus could be used to model a programming
In the lambda calculus model of computing, Boolean values ca
, pattern calculus is a formalism that extends lambda calculus with abilities to match patterns agai
r, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Boston, MA: Academic P
In the lambda calculus an expression is divergent if it has
he other hand, Hewitt remained critical of the lambda calculus as a foundation for computation writi
(The fact that lambda calculus has this property is also known as th
not generally the case, e.g. the simply typed lambda calculus allows only terms to depend on types.
eralized type system (GTS), is a form of typed lambda calculus that allows an arbitrary number of so
wing that, Friedman and Felleisen introduced a lambda calculus with continuations and control operat
Conversely, combinatory logic and simply-typed lambda calculus are not the only models of computatio
s and 1940s, the formalisms of Alonzo Church's lambda calculus and Alan Turing's Turing machines pro
The Knights of the Lambda Calculus is a semi-fictional organization of e
The pure untyped lambda calculus does not satisfy the strong normaliza
t and optimal, in Levy's sense, evaluators for lambda calculus available today.
Epigram is essentially a typed lambda calculus with generalized algebraic data type
A lambda calculus system with the normalization propert
opted and/or reinvented in areas such as typed lambda calculus and explicit substitution.
n 2007, John N. Shutt proposed an extension of lambda calculus that would model fexprs without suppr
urch and J. Barkley Rosser proved in 1936 that lambda calculus has this property; hence the name of
simple functional core language similar to the lambda calculus and then systematically adds construc
previous theories of computation including the lambda calculus and Petri nets.
is in the fields of logic in computer science, lambda calculus and functional programming, type theo
lambda calculus and functional programming
sed to refer to extensions of the simply typed lambda calculus such as products, coproducts or natur
defined both for combinatory algebras and for lambda calculus proper, specifically, within the fram
System T extends the simply typed lambda calculus with a type of natural numbers and hi
ons that cannot be defined in the simply typed lambda calculus (and similarly there are computable f
in very simple theoretical models such as the lambda calculus in which functions only take a single
A kind system is essentially a simply typed lambda calculus "one level up", endowed with a primit
The Knights of the Lambda Calculus' recursive emblem celebrates LISP's t
ed the Lisp programming language (based on the lambda calculus), the first language with origins in
the lambda-mu calculus is an extension of the lambda calculus, and was introduced by M. Parigot.
In the lambda calculus, numeric functions are representable
System F, aka second order lambda calculus, is obtained by imposing only this pr
malization does not hold for recursively typed lambda calculus, termination of programs manipulating
In the lambda calculus, a beta redex is a term of the form
In the typed lambda calculus, the turnstile is used to separate ty
matical notation used in axiomatic set theory, lambda calculus, and first-order predicate logic.
The CoC is a higher-order typed lambda calculus, initially developed by Thierry Coqua
In the lambda calculus, a term is in beta normal form if no
c, especially higher order predicate logic and lambda calculus, and makes use of the notions of inte
The name refers to the lambda calculus, a mathematical formalism invented by
usual way of defining data structures in pure lambda calculus, an abstract, theoretical model of co
ork on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency the
ined in curried form, such as the simply typed lambda calculus, a function type depends on exactly t
Lambda calculus-based languages (such as Lisp, ISWIM,
o not have normal forms, just like the untyped lambda calculus.
e logics or sequents-based logics or even with lambda calculus.
g is a way to embed inductive datatypes in the lambda calculus.
eneralized form of the basic operations of the Lambda calculus.
ple denotational semantics defined in terms of lambda calculus.
is to an embedding of all terms of the untyped lambda calculus.
See for example simply typed lambda calculus.
ysis of the use of resources in some models of lambda calculus; can we imagine a typed version of Tu
anization that goes by the name Knights of the Lambda Calculus; it mostly only exists as a hacker cu
Lambda Canis Majoris (λ CMa, λ Canis Majoris) is a st
Lambda Centauri (λ Cen, λ Centauri) is a star in the
clude the Gay and Lesbian Center (formerly the Lambda Center) and the Lavender Library.Most of the g
Lambda Cephei is a hot O star (O6If[n]) in the conste
s offered in which students are able to obtain LAMBDA certificates with the school.
He was also inducted into the Theta Lambda chapter of Sigma Alpha Iota as a National Arts
On June 5, 1924, the Lambda Chapter of Kappa Kappa Psi, which is a Nationa
Professor Eldon Janzen, Director of Bands and Lambda Chapter Sponsor, retired after leading the ban
r with the Delta Kappa Epsilon fraternity (Tau Lambda chapter), with an undergraduate degree in jour
r of Phi Delta Theta, the Tryon Coterie (Texas Lambda chapter).
s also a charter member of Delta Sigma Theta's Lambda Chapter, based in her hometown of Chicago.
rsity, he was a member of Sigma Nu in the Iota Lambda chapter.
He was a member of the Lambda Chi Alpha fraternity.
While attending, he joined Lambda Chi Alpha Fraternity.
iversity of Texas at Austin in 1965 and joined Lambda Chi Alpha Fraternity, with great expectations
He is a member of Lambda Chi Alpha Fraternity.
He also is a member of Lambda Chi Alpha Fraternity.
Lambda Chi Alpha (ΛΧΑ) is one of the largest men's se
Lambda Chi Mu has four families which are Ruby, Nesha
Lambda Chi Mu is a non-discriminatory sorority based
He was a member of the Gamma Rho Chapter of Lambda Chi Alpha fraternity.
attending Georgia, he also became a member of Lambda Chi Alpha Fraternity.
Lane is a member of Lambda Chi Alpha Fraternity, has been named Michigan
Country Store founded by Lambda Chi Alpha (1957) formerly Tau Sigma
The history of the founding of Lambda Chi Alpha Fraternity resulted from an agreemen
after Oliver R. Smoot, a fraternity pledge to Lambda Chi Alpha, who in October 1958 lay on the Harv
While at the University of Tennessee he joined Lambda Chi Alpha fraternity.
rvice clubs (Delta Sigma Rho, Kappa Sigma Chi, Lambda Chi Omega, Phi Alpha Sigma, Phi Phi Phi), SIFE
ttended the University of Tennessee and joined Lambda Chi Alpha fraternity in 1964.
The name Lambda Chi Mu, LCM for short, came from the Hebrew wo
Lambda Chi Mu (ΛΧΜ) is a local sorority founded at Sa
Fuqua School of Business and he is a member of Lambda Chi Alpha Fraternity.
ty of California-Santa Barbara and a member of Lambda Chi Alpha Fraternity.
zona State University, he also was a member of Lambda Chi Alpha fraternity.
Lambda Chi Mu actively supports many philanthropies,
He also is a member of Lambda Chi Alpha Fraternity, and served in the Army N
hidden in the closet at Chesney's fraternity, Lambda Chi Alpha.
st of the fifteen largest social fraternities, Lambda Chi Alpha has initiated the third highest numb
He was a member of Lambda Chi Alpha Fraternity and is survived by his wi
y, class of 1964, where he was a member of the Lambda Chi Alpha Fraternity.
, 1963; Law School, 1965), and was a member of Lambda Chi Alpha fraternity.
Lambda Chi Alpha 1969
re David received his B.S. and was a member of Lambda Chi Alpha fraternity.
Phi Lambda Chi Nu Chapter
The club later became Lambda Chi Alpha.
as at that time when Alpha Chi Rho, along with Lambda Chi Alpha, Phi Kappa Sigma, and Alpha Sigma Ph
er of the Coif, Omicron Delta Kappa, Blue Key, Lambda Chi Alpha, Phi Alpha Delta, Phi Delta Phi, and
He was a Member of Lambda Chi Alpha.
He is a member of Lambda Chi Alpha fraternity.
au Omega, Delta Chi, Zeta Beta Tau, Theta Chi, Lambda Chi Alpha, Sigma Pi, Sigma Phi Epsilon, Sigma
a Epsilon, Sigma Phi Epsilon, Phi Delta Theta, Lambda Chi Alpha, Delta Tau Delta, Pi Kappa Phi, Alph
Lambda Chi's National Headquarters is located in Indi
The purpose of Gamma Psi Lambda Christian Fellowship, Inc., is to uplift Chris
boxB is found twice in the lambda chromosome, once in each of the two early oper
Lambda Columbae is a blue dwarf star in the constella
The angular size redshift relation for a Lambda cosmology, with on the vertical scale megapars
2003 Alpha Psi Lambda created the International Day for The Eliminat
Lambda Crucis (λ Crucis / λ Cru) is a star in the con
framework of pure type systems generalizes the lambda cube in the sense that all corners of the cube
on pure type systems, Barendregt proposed the Lambda cube to systematize the relations of pure type
The systems from the lambda cube are all known to be strongly normalizing.
This framework predates lambda cube a couple of years.
Within Barendregt's lambda cube, it is therefore the richest calculus.
an be seen as a generalisation of Barendregt's lambda cube, in the sense that all corners of the cub
Alpha Lambda Delta (AΓΔ) - 1924; co-ed freshman year honor
For example, a λ DNA-HindIII Digest: a common lambda DNA ladder that has band sizes (in base pairs)
lambda do |env|
-destruct was explained by Gauron's use of the Lambda Driver at the last moment to protect his body.
HF.21 - version with Gnome Lambda engine
HF.22 - version with Gnome Lambda engine
Tuskegee Harry Williams was initiated into the Lambda Epsilon Chapter of Omega Psi Phi Fraternity in
honor societies Sigma Xi, Tau Beta Pi, and Pi Lambda Epsilon.
s a programming construct that post-composes a lambda expression with the continuation to the curren
action, where V is any identifier and E is any lambda expression.
E.g., two lambda expressions are not a lambda expression and tw
obtained from Macro-Free PreScheme by hoisting lambda expressions and beta expansion.
Lambda expressions
essing, function mapping, anonymous functions ( lambda expressions), s-expressions (excluding imprope
al Basic and C#, by using anonymous methods or lambda expressions.
well conserved in other bacteriophages of the lambda family, most of these phages encode proteins t
Lambda Foundation scholarships have been awarded to a
ecret chamber of the bell" in the Beta Epsilon Lambda fraternity house of St. George College in San
., Future Business Leaders of America-Phi Beta Lambda, Freshmen Mentoring, and Student Ambassadors.
The Lambda Functionary (working title- planned for 2014)
ional professional commerce and law fraternity Lambda Gamma Phi in 1931.
Sigma Lambda Gamma
Lambda Geminorum is a variable star located about 95
Lambda Geminorum (λ Gem, λ Geminorum) is a Class A3,
ntial founders of bacterial and bacteriophage ( Lambda) genetics.
She has been inducted into Alpha Epsilon Lambda Graduate Honor Society.
founding members of the fraternity's Gamma Chi Lambda graduate chapter in San Francisco, California.
He and his corporation, One Lambda, have played a central role in the development
Sigma Delta Lambda hopes to aid in the retention of women and peo
ter the game is beaten, the player learns that Lambda Inc., teaming up with NeoBrain, has offered to
arships in partnership with five universities, Lambda incorporated under the name Lambda Literary an
Antitermination in lambda is induced by two quite distinct mechanisms.
Lambda is an operator used to denote anonymous functi
Lambda Istanbul web site in English and Turkish
were held in Turkey starting in 1993, and with Lambda Istanbul participation, they became public mar
, and on April 30, 2009, a lower court granted Lambda Istanbul permission to continue operating.
Lambda Istanbul is a Turkish LGBT organization.
The prosecutors claimed that Lambda Istanbul's objectives were "against the law an
2006 Hinterland Lambda, Istanbul, Turkey
c Educators Association, Phi Beta Mu, Pi Kappa Lambda, Kappa Kappa Psi, Phi Mu Alpha Sinfonia, Tau B
While Lambda Legal and other groups are fighting against th
In October 2005, ESPA joined the Lambda Legal Defense Fund and a coalition of anti-cen
Lawrence & Garner Courage Award, given by the Lambda Legal Foundation, for "outstanding courage in

1 2 次へ＞