ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
lambda abstraction
名詞
(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.
日本語の意味
計算理論において、(λx.t) の形をとるラムダ項であり、ここで x は変数、t は別のラムダ項となる。t 内で自由な x は λx によって束縛され、無名関数を表現するためのものです。
選択した言語のデータがないため、英語で表示しています。
関連語
