最終更新日：2024/07/31

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

正解を見る

beta reduce

問題を編集する

元となった辞書の項目

beta reduce

verb

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

I need to beta reduce this expression to simplify it.

意味（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!.