ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
eta conversion
名詞
(computing theory) One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).
日本語の意味
ラムダ計算における書き換えルールの一つ。具体的には、（𝜆x.(fx)) の形のラムダ抽象が、もし x が f に自由に現れなければ、単に f に変換できるという性質を持つ。
英語の意味
(computing theory) One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).
関連語
eta conversions
名詞
活用形
複数形
plural of eta conversion
原形:
eta conversion
日本語の意味
「エータ変換」の複数形。つまり、eta conversion の複数の形を指す。
英語の意味
plural of eta conversion
eta mesons
eta reductions
名詞
活用形
複数形
plural of eta reduction
原形:
eta reduction
日本語の意味
これは『eta reduction』の複数形です。
英語の意味
plural of eta reduction
