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

the boolean operator AND 例文帳に追加

ブール(論理)演算子AND - コンピューター用語辞典

The menu bar contains the following drop-down menus: Operator, Boolean, String, Node, Number, DateTime, BPEL. 例文帳に追加

メニューバーには、「演算子」、「論理」、「文字列」、「ノード」、「数値」、「日付と時刻」、「BPEL」の各ドロップダウンメニューがあります。 - NetBeans

The search operator is implemented as a Boolean predicate which functions as weighted AND(WAND).例文帳に追加

検索演算子は、加重ＡＮＤ（ＷＡＮＤ）として機能するブール述部として実現される。 - 特許庁

This bound model inspection method for a desired linear time logic tense property comprises a step of converting a property related to tense operators F(p), G(p), U(p, q), and X(p), for F as eventuality operator, G as globally operator, U as until operator, and X as next-time operator into a property inspection schema comprising Boolean satisfiability test.例文帳に追加

任意線形時間論理時相特性の有界モデル検査方法であって、Ｆはｅｖｅｎｔｕａｌｉｔｙ演算子、Ｇはｇｌｏｂａｌｌｙ演算子、Ｕはｕｎｔｉｌ演算子、Ｘはｎｅｘｔ−ｔｉｍｅ演算子を表す時相演算子Ｆ（ｐ）、Ｇ（ｐ）、Ｕ（ｐ， ｑ）、Ｘ（ｐ）に関連付けられた特性を、ブーリアン充足可能性検査から成る特性検査スキーマに変換するステップから成る。 - 特許庁

The whole property is inspected in a customized method composed of repeated call of the property inspection schema related to each of the operators F(p), G(p), U(p, q), and X(p), and a standard process to an atomic proposition and Boolean operator.例文帳に追加

特性全体は、Ｆ（ｐ）、Ｇ（ｐ）、Ｕ（ｐ， ｑ）、Ｘ（ｐ）の各演算子に関する特性検査スキーマの反復呼び出しと、原子命題およびブール演算子の標準的な処理で構成されるカスタマイズされた方法で検査される。 - 特許庁