partial correctnessの意味・使い方・読み方

コンピューター用語辞典

partial correctness

部分正当性; 部分補正

プログラムの出力表明がその入力表明及び処理段階から論理的に導き出されることを示す正当性証明

調べた例文を記録して、効率よく覚えましょう

Weblio会員無料で登録できます

履歴機能過去に調べた単語を確認できる

語彙力診断診断回数が4回に増加

マイ単語帳便利な学習機能付き

マイ例文帳文章で意味を理解できる

Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

partial correctness

部分的正当性

日英・英日専門用語辞書

partial correctness

部分補正，部分的正当性，部分正当性

ウィキペディア英語版

出典：Wikipedia

Correctness (computer science)

●注意

お探しになった「partial correctness」は、Weblio英和辞典にはまだ収録されていませんが、「partial correctness」に近い「Correctness (computer science)」について、『ウィキペディア英語版』からの引用を下記に表示しています。

出典:『Wikipedia』 (2011/01/19 22:53 UTC 版)

英語による解説

ウィキペディア英語版での転送先の解説ページ「Correctness (computer science)」からの引用

引用: In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input-output behaviour of the algorithm (i.e., for each input it produces the correct output).

閲覧履歴

検索結果に戻る

全履歴クリア

・partial correctness
・ectocingulum
・automatic identification
・Divinity school
・ntrr
・ygr259c
・onumatacho
・Jim Vatcher
・oosima
・Hackmans Gate

単語帳に追加

partial correctnessのページの著作権

Wikipedia
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのCorrectness (computer science) (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。