lambda term

名詞

(computing theory) A well-formed formula in the language of a lambda calculus.

日本語の意味

ラムダ計算における正確に構成された式、すなわちラムダ計算の言語における厳密な形式の式

このボタンはなに？

When optimizing functional programs, the compiler analyzes each lambda term to determine opportunities for beta-reduction.

Google翻訳 / DeepL翻訳

関数型プログラムを最適化する際、コンパイラは各ラムダ項を解析してベータ簡約の機会を検出します。

詳細

意味（1）

(computing theory) A well-formed formula in the language of a lambda calculus.

A lambda term can have one of these three forms: (1) a variable by itself, (2) a lambda abstraction, (3) an application of one lambda term to another one.

Google翻訳 / DeepL翻訳

詳細

lambda terms

（ plural ）

詳細

lambda term

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

lambda term

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！