最終更新日:2025/11/30
編集履歴(0)
元となった辞書の項目

lambda abstraction

名詞
日本語の意味
計算理論において、(λx.t) の形をとるラムダ項であり、ここで x は変数、t は別のラムダ項となる。t 内で自由な x は λx によって束縛され、無名関数を表現するためのものです。
このボタンはなに?

コンパイラは(λx.t の形をした)無名関数を最適化して、本文中の自由変数をキャプチャするクロージャに変換します。

plural

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★