絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

English Dictionary

最終更新日：2025/11/30

例文

Google翻訳 / DeepL翻訳

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

復習用の問題

Sentence quizzes to help you learn to read

正解を見る

The compiler optimizes a lambda abstraction by converting it into a closure that captures any free variables in the body.

音声機能が動作しない場合はこちらをご確認ください

詳細

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 によって束縛され、無名関数を表現するためのものです。

このボタンはなに？

Google翻訳 / DeepL翻訳

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

英語 - 英語

項目の編集設定

項目の編集権限を持つユーザー - すべてのユーザー
項目の新規作成を審査する
項目の編集を審査する
項目の削除を審査する
重複の恐れのある項目名の追加を審査する
項目名の変更を審査する
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

例文の編集設定

例文の編集権限を持つユーザー - すべてのユーザー
例文の削除を審査する
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

問題の編集設定

問題の編集権限を持つユーザー - すべてのユーザー
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

編集ガイドライン

復習用の問題

関連する単語

lambda abstraction

英語 - 英語

ログイン / 新規登録

アプリをダウンロード！

復習用の問題

関連する単語

lambda abstraction

英語 - 英語

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！