unsatisfiabilityとは 意味・読み方・使い方
追加できません
(登録数上限)
Wiktionary英語版での「unsatisfiability」の意味 |
unsatisfiability
出典:『Wiktionary』 (2010/03/22 12:21 UTC 版)
語源
名詞
unsatisfiability (countable かつ uncountable; 複数形 unsatisfiabilities)
- (mathematics) The condition of being unsatisfiable
「unsatisfiability」を含む例文一覧
該当件数 : 3件
This will require systematic generation of the members of the Herbrand Universe, obtaining ground clauses, and testing the ground clauses for unsatisfiability.発音を聞く 例文帳に追加
このことは, 基礎節を取得し, 充足不能性に対してその基礎節をテストしながら, エルブラン領域のメンバを系統的に創出することを求める. - コンピューター用語辞典
When the unsatisfiability of both the path conditions is true, it is reported that the method is a validator (112, 120).例文帳に追加
いずれのパス条件の不充足可能性も真である場合、メソッドは、バリデータであるとして報告する(112、120)。 - 特許庁
When unsatisfiability of both the path conditions is false, it is reported that the method is not a validator (110, 118).例文帳に追加
いずれのパス条件の不充足可能性も偽である場合、メソッドは、バリデータではないとして報告する(110、118)。 - 特許庁
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
|
unsatisfiabilityのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのunsatisfiability (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「unsatisfiability」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |