例文 (3件) | 共起表現 |
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)。 - 特許庁
例文 (3件) | 共起表現 |
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
Copyright © Japan Patent office. All Rights Reserved. |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |