最終更新日：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.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
lambda abstraction
編集履歴（0）
元となった辞書の項目
lambda abstraction
名詞
日本語の意味
計算理論において、(λx.t) の形をとるラムダ項であり、ここで x は変数、t は別のラムダ項となる。t 内で自由な x は λx によって束縛され、無名関数を表現するためのものです。
（ plural ）
