「collision policy」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

His policy is on a collision course with the public interests. 例文帳に追加

彼の政策は公共の利益と必ずぶつかる. - 研究社 新英和中辞典

A second inspection means generates a logical expression wherein the invariant condition, the postcondition of the policy description already registered in a policy storage part 162, and the postcondition of the policy description of an inspection target are connected, and decides sufficiency of the generated logical expression by a sufficiency decision means 13 to inspect whether collision occurs between the policy descriptions under the condition wherein the invariant condition is satisfied.例文帳に追加

第２の検査手段は、検査対象のポリシ記述の事後条件と、ポリシ記憶部１６２に登録済みのポリシ記述の事後条件と、不変条件とを∧結合した論理式を生成し、充足判定手段１３により、生成した論理式の充足性を判断することで、不変条件が成立する条件の下、ポリシ記述間で衝突が生じるか否かを検査する。 - 特許庁