Last Updated:2025/12/06
Sentence

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

Quizzes for review

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

See correct answer

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

音声機能が動作しない場合はこちらをご確認ください

Related words

over-approximating

Verb
form-of participle present
Japanese Meaning
「over-approximating」は、動詞「over-approximate」の現在分詞形です。つまり、過大近似するという動作を進行中であること、またはその性質を表す形です。
What is this buttons?

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

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★