lambda term（ラムダ計算における正確に構成され）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

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.

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

活用形複数形

plural of lambda term

原形: lambda term

日本語の意味

ラムダ項（λ計算などで用いられる「ラムダ項」の複数形）

In the lecture, the professor explained how lambda terms can be reduced to normal form.

講義で教授は、ラムダ式が正規形に簡約される仕組みを説明した。

Webで検索する