logical expressionとは 意味・読み方・使い方

METHOD AND DEVICE FOR JUDGING LOGICAL EXPRESSION SATISFIABILITY例文帳に追加

論理式充足可能性判定方法および装置 - 特許庁

To provide a logical expression visualization device allowing a logical expression to be accurately input, and allowing meaning of the logical expression to be visually and accurately recognized.例文帳に追加

論理式の入力を正確に行なうことができ、かつ論理式の有する意味を視覚的に正確に把握することができる論理式可視化装置を提供する。 - 特許庁

The temporary logical expression is described by only OR conditions.例文帳に追加

仮論理式は、ＯＲ条件のみで記述されている。 - 特許庁

SYNCHRONIZATION OF LOGICAL VIEW INDEPENDENT OF PHYSICAL STORAGE EXPRESSION例文帳に追加

物理ストレージ表現とは独立した論理ビューの同期化 - 特許庁

The adjustment device 1 generates a temporary logical expression by simplifying the retrieval logical expression of the retrieval request.例文帳に追加

仲介装置１は、検索要求の検索論理式を簡略化することにより、仮論理式を生成する。 - 特許庁

If the logical valuable related to a setting mode among the logical valuables is Xp, the logical is expressed as ((first logical expression)ΛXp)V((second logical)ΛXp^-.)例文帳に追加

論理変数のうち設定モードに係る論理変数をＸｐとすると、論理式は（（第１論理式）∧Ｘｐ）∨（（第２論理式）∧Ｘｐ￣）として表される。 - 特許庁

A predicative expression conversion part 105 obtains an external variable logical expression that is a partial logical expression depending only on a prescribed restriction variable in an event pattern predicative expression, and generates a Boolean value replacement predicative expression wherein the external variable logical expression is replaced to a Boolean value about a combination of values obtainable as an evaluation result of the external variable logical expression.例文帳に追加

述語式変換部１０５は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。 - 特許庁

a language expression with a logical consistency called discourse発音を聞く 例文帳に追加

ディスクールという,論理的な全体性を備えた言語表現 - EDR日英対訳辞書