Lambda calculusとは 意味・読み方・使い方

名詞

lambda calculus (countable かつ uncountable, 複数形 lambda calculi)

1. (computing theory) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
   • 2009 March 2, John C. Baez; Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title または journal name)‎^[1], page 50:

     In the 1930s, while Turing was developing what are now called ‘Turing machines’ as a model for computation, Church and his student Kleene were developing a different model, called the ‘lambda calculus’ [29, 63]. While a Turing machine can be seen as an idealized, simplified model of computer hardware, the lambda calculus is more like a simple model of software.

Meronyms

• alpha conversion
• beta reduction
• eta conversion
• lambda term

派生語

• simply typed lambda calculus
• typed lambda calculus

関連する語

• calculus
• lambda
• lambda abstraction
• lambda expression

参考

• combinator
• functionally complete
• recursive function
• Turing machine