検索結果- 英語 - 英語

検索内容:

Approximated

over-approximates

動詞

活用形直説法現在形単数形三人称

Third-person singular simple present indicative form of over-approximate

日本語の意味

これは「over-approximate」の三人称単数形、すなわち「彼/彼女/それが over-approximate する」という意味の現単現形を表しています。

このボタンはなに？

The static analyzer over-approximates the set of reachable states to ensure safety.

Google翻訳 / DeepL翻訳

静的解析ツールは安全性を確保するために到達可能な状態集合を過大に近似します。

詳細

under-approximates

動詞

活用形直説法現在形単数形三人称

Third-person singular simple present indicative form of under-approximate

日本語の意味

『under-approximates』は『under-approximate』の三人称単数現在形です。

このボタンはなに？

The static analyzer under-approximates the set of reachable states, which can miss potential errors.

Google翻訳 / DeepL翻訳

静的解析ツールは到達可能な状態の集合を下側から近似するため、潜在的なエラーを見落とすことがある。

詳細

approximation algorithms

名詞

活用形複数形

plural of approximation algorithm

日本語の意味

「近似アルゴリズム」の複数形であり、数多くの近似アルゴリズムを指す用法です。

このボタンはなに？

Many researchers compare approximation algorithms to evaluate trade-offs between accuracy and running time.

Google翻訳 / DeepL翻訳

多くの研究者は、精度と実行時間のトレードオフを評価するために近似アルゴリズムを比較しています。

詳細

stationary phase approximation

名詞

(mathematics) A principle of asymptotic analysis that relies on the cancellation of sinusoids with rapidly varying phase.

日本語の意味

数学の漸近解析における手法で、急速に変化する位相を持つ三角関数（正弦波）のキャンセル効果を利用し、主に定常点周辺で寄与する項を抽出して近似解を求める方法。

このボタンはなに？

When evaluating integrals with rapidly oscillating integrands, physicists often invoke the stationary phase approximation to estimate the leading contributions.

Google翻訳 / DeepL翻訳

急速に振動する被積分関数を持つ積分を評価する際、物理学者は主要な寄与を見積もるために、位相が急速に変化する正弦波の打ち消しに基づく漸近解析の原理である定常位相近似をしばしば用いる。

詳細

approximatedly

副詞

比較不可

In an approximated manner

日本語の意味

近似的に

このボタンはなに？

He estimated the journey would take approximatedly three hours.

Google翻訳 / DeepL翻訳

彼はその旅が約3時間かかると見積もった。

詳細

Webで検索する