最終更新日:2025/11/30

Eta conversion.

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

eta reduction

編集履歴(0)
元となった辞書の項目

eta reduction

名詞
可算名詞 不可算名詞
日本語の意味
ラムダ計算におけるη変換。具体的には、余分な関数抽象化を取り除き、(λx. f x) のような表現を f に簡約する操作。
このボタンはなに?

最適化の過程で、コンパイラは冗長な抽象化を除去するためにラムダ式にη変換を施した。

意味(1)

plural

Dictionary quizzes to help you remember vocabulary

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★