English Dictionary

beta reduce

動詞

自動詞 他動詞

(computer science, transitive or intransitive) To syntactically replace a function call by the result of calling that function.

日本語の意味

（計算機科学）関数呼び出しを、その関数を実行した結果に置き換えるという、構文上の操作。「ベータ簡約」とも呼ばれる。 / （ラムダ計算などの文脈で）関数呼び出し部分を実際の関数適用の結果に変換する処理

To simplify evaluation, the interpreter will beta reduce the lambda application before performing further optimizations.

評価を簡素化するため、インタプリタはさらなる最適化を行う前にラムダ適用をその関数を呼び出して得られる結果に置き換します。

意味（1）

(computer science, transitive or intransitive) To syntactically replace a function call by the result of calling that function.

The term (𝜆x.,x),y can beta reduce to y!.

beta reduces （ present singular third-person ）

beta reducing （ participle present ）

beta reduced （ participle past ）

beta reduced （ past ）