Partial correctnessとは 意味・読み方・使い方

Partial correctness of a program S with respect to input assertion p and output assertion q is usually denoted: ...発音を聞く 例文帳に追加

入力表明pと出力表明qに関するプログラムSの部分的正確性は、通常...のように示される。 - コンピューター用語辞典

By utilizing this finding, the probability of correctness of the presumption of the partial structure in the MS^2 spectrum phase is judged (S6), and the resultant judgment is displayed together with the result of identification (S7).例文帳に追加

これを利用してMS^2スペクトル段階での部分構造の推定の確度を判断し(S6)、その結果を同定結果と併せて表示する(S7)。 - 特許庁

On the basis of the specified event group and the extracted partial configuration information, correctness/incorrectness information related with whether or not the obstacle occurrence event has been normally detected is acquired, and the symptom is updated based on the acquired correctness/incorrectness information and the extracted partial configuration information.例文帳に追加

特定されたイベント群及び抽出された部分構成情報に基づいて障害が発生したイベントが正常に検出されたか否かに関する正誤情報を取得し、取得した正誤情報及び抽出された部分構成情報に基づいてシンプトンを更新する。 - 特許庁

The Federal Minister of Economic Affairs shall be entitled to examine the books and accounts resulting from the partial legal capacity for their compliance with the legal provisions in force and for the correctness of the figures.発音を聞く 例文帳に追加

連邦経済大臣は，特許庁の部分的法的能力から生じる会計帳簿について，それが施行中の法律的規定に合致しているか，数字が正確であるかを確認するために検査することができる。 - 特許庁