Last Updated：2025/11/25

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

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

See correct answer

beta reduce

Source Word

beta reduce

Verb

intransitive transitive

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

Japanese Meaning

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

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

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

Sense（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 ）