「lambda」の共起表現一覧(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 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
