logic operatorsとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳論理定数

Weblio英和対訳辞書での「logic operators」の意味

logic operators

論理定数

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

出典元索引ランキング

「logic operators」の部分一致の例文検索結果

該当件数 : 2件

例文

Whenever the user clicks the mouth selecting the retrieval style, the logic operator setting part 708 switches the logical operators of at least AND and OR periodically, and decides the logic operator depending on the number of timed of clicking the mouth to the retrieval style.例文帳に追加

論理演算子設定部７０８は、ユーザが検索式を選択しながらマウスをクリックするごとに、少なくともＡＮＤとＯＲの論理演算子を周期的に切り替え、その検索式に対してマウスをクリックした回数によって論理演算子を決定する。 - 特許庁

例文

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.例文帳に追加

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

>>例文の一覧を見る