「Boolean operator」を含む例文一覧(5)

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

例文データの著作権について