検索結果- 英語 - 英語

検索内容:

approximation;

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翻訳

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

詳細

over-approximated

動詞

活用形分詞過去

simple past tense and past participle of over-approximate

日本語の意味

「over-approximated」は、動詞「over-approximate」の単純過去形および過去分詞形を示す活用形です。

このボタンはなに？

During static analysis, the tool over-approximated the program's possible behaviors, causing many false positives.

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翻訳

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

詳細

over-approximating

動詞

活用形分詞現在形

present participle of over-approximate

日本語の意味

「over-approximating」は、動詞「over-approximate」の現在分詞形です。つまり、過大近似するという動作を進行中であること、またはその性質を表す形です。

このボタンはなに？

The static analyzer is over-approximating the set of possible variable values, which causes many false positives during verification.

Google翻訳 / DeepL翻訳

静的解析ツールは変数の取り得る値の集合を過大に近似しており、検証中に多くの誤検出を引き起こしています。

詳細

Webで検索する