Last Updated：2025/11/30
(computing theory) A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
lambda abstraction
Edit Histories（0）
Source Word
lambda abstraction
Noun
Japanese Meaning
計算理論において、(λx.t) の形をとるラムダ項であり、ここで x は変数、t は別のラムダ項となる。t 内で自由な x は λx によって束縛され、無名関数を表現するためのものです。
（ plural ）
