Search results- English - English

over-approximation

Noun
alt-of alternative
Japanese Meaning
「overapproximation」の別綴り、つまり意味そのものではなく、同一概念を表記する際のバリエーションを示す用法です。
What is this buttons?

静的解析器は、健全性を確保するために到達可能な状態を過大近似として報告しました。

Related Words

plural

Padé approximant

Noun
Japanese Meaning
数学におけるパデ近似とは、与えられた次数の有理関数によって関数を最適に近似する方法を指します。具体的には、対象関数の冪級数展開と一致するような有理関数を見出す手法です。
What is this buttons?

関数の特異点構造を解析したところ、パデ近似(与えられた次数の有理関数による、べき級数が元の関数のべき級数と一致する最良の有理近似)が、切り詰めたテイラー級数よりもはるかに良い全域近似を与えることが分かった。

Related Words

plural

Stirling's approximation

Proper noun
Japanese Meaning
階乗の正確な近似式
What is this buttons?

階乗の正確な近似を用いると、組合せ問題で大きなnに対するn!の推定が容易になります。

Padé approximants

Noun
form-of plural
Japanese Meaning
「Padé approximants」は「Padé approximant」の複数形、つまり複数のPadé近似数学的対象を指す活用形です。
What is this buttons?

パデ近似の複数形は、特異点付近で切り詰めたテイラー級数よりも関数をより正確に近似することが多い。

to a first approximation

Prepositional phrase
Japanese Meaning
完全に正確でなくても、基本的または初期の目的として十分なほどに近似した状態を示す表現。 / 大まかには、概ね、ざっくりといった意味合いで使われる。
What is this buttons?

科学者たちは、大まかに言えば、そのモデルの予測は観測データと一致していると結論づけた。

under-approximating

Verb
form-of participle present
Japanese Meaning
『under-approximate』の現在分詞形(進行形や形容詞的用法で使用され、‘以下に近似する’という意味を示す動詞の形態)
What is this buttons?

実行可能領域を下方近似することで、最適化アルゴリズムは不確実性がある場合でも保守的な解を保証する。

under-approximated

Verb
form-of participle past
Japanese Meaning
「under-approximate」の単純過去形および過去分詞形
What is this buttons?

静的解析ツールは到達可能な状態の集合を下方近似し、いくつかの実行可能な振る舞いを見落とした。

over-approximates

Verb
form-of indicative present singular third-person
Japanese Meaning
これは「over-approximate」の三人称単数形、すなわち「彼/彼女/それが over-approximate する」という意味の現単現形を表しています。
What is this buttons?

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

over-approximated

Verb
form-of participle past
Japanese Meaning
「over-approximated」は、動詞「over-approximate」の単純過去形および過去分詞形を示す活用形です。
What is this buttons?

静的解析の際、そのツールはプログラムの可能な挙動を過大に見積もったため、多くの誤検知が発生した。

under-approximates

Verb
form-of indicative present singular third-person
Japanese Meaning
『under-approximates』は『under-approximate』の三人称単数現在形です。
What is this buttons?

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

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★