Eta（(天文学) カリーナ座にある星系）とは - 英語 - 英語

(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 に変換できるという性質を持つ。

このボタンはなに？

Understanding eta conversion is essential for optimizing compilers that manipulate lambda expressions.

翻訳する

ラムダ式を操作するコンパイラの最適化には、η変換の理解が不可欠だ。

詳細

eta reduction

名詞

可算名詞不可算名詞

Eta conversion.

日本語の意味

ラムダ計算におけるη変換。具体的には、余分な関数抽象化を取り除き、(λx. f x) のような表現を f に簡約する操作。

このボタンはなに？

During optimization, the compiler performed an eta reduction on the lambda expression to eliminate redundant abstraction.

翻訳する

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

詳細

eta reductions

名詞

活用形複数形

plural of eta reduction

原形: eta reduction

日本語の意味

これは『eta reduction』の複数形です。

このボタンはなに？

Understanding eta reductions helps optimize functional programs by eliminating redundant abstractions.

翻訳する

η簡約を理解することは、冗長な抽象化を取り除くことで関数型プログラムの最適化に役立ちます。

詳細

eta conversions

名詞

活用形複数形

plural of eta conversion

原形: eta conversion

日本語の意味

「エータ変換」の複数形。つまり、eta conversion の複数の形を指す。

このボタンはなに？

Several eta conversions were required to align the schedule formats between the different services.

翻訳する

異なるサービス間でスケジュール形式を一致させるために、いくつかの到着予定時刻の変換が必要でした。

詳細

eta mesons

名詞

活用形複数形

plural of eta meson

原形: eta meson

日本語の意味

エータ中間子の複数形

このボタンはなに？

Recent experiments at the particle accelerator revealed unexpected decay patterns in eta mesons.

翻訳する

粒子加速器での最近の実験は、η中間子の崩壊パターンに予期しない変化を明らかにした。

詳細

Dirichlet eta function

固有名詞

(mathematics, mathematical analysis) The alternating sum of the Dirichlet series expansion of the Riemann zeta function: 𝜂(s)=∑ₙ₌₁ ᪲(-1)ⁿ⁻¹/nˢ=1/(1ˢ)-1/(2ˢ)+1/(3ˢ)-1/(4ˢ)+⋯.

日本語の意味

（数学・数学解析）リーマンゼータ関数のDirichlet級数展開における交互級数として定義される特殊関数。 / すなわち、η(s) = 1/1^s − 1/2^s + 1/3^s − 1/4^s + … の形で表現される。

このボタンはなに？

翻訳する

大学院生はしばしば、収束領域を超えたη(s)の振る舞いを理解するために、リーマンゼータ関数の級数展開の交代和であるディリクレ・イータ関数の解析接続を研究する。

詳細

ETAAC

固有名詞

アメリカ英語略語別表記イニシャリズム

(US) Initialism of Electronic Tax Administration Advisory Committee.

日本語の意味

電子税務管理諮問委員会

このボタンはなに？

During the meeting, ETAAC recommended updates to the Internal Revenue Service's e-filing systems to improve taxpayer access and security.

翻訳する

会議の際、電子税務行政諮問委員会は納税者のアクセス性とセキュリティを向上させるため、米国歳入庁の電子申告システムの更新を提言しました。

詳細

Webで検索する

検索結果- 英語 - 英語

Eta Carinae

Eta variant

eta conversion

eta reduction

eta reductions

eta conversions

eta mesons

Dirichlet eta function

ETAAC

英語 - 英語

項目

例文

その他

ログイン / 新規登録

アプリをダウンロード！

検索結果- 英語 - 英語

Eta Carinae

Eta variant

eta conversion

eta reduction

eta reductions

eta conversions

eta mesons

Dirichlet eta function

ETAAC

英語 - 英語

項目

例文

その他

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！