LOGICAL EXPRESSIONとは 意味・読み方・使い方

SCHEMATIZING METHOD OF LOGICAL EXPRESSION AND INFORMATION PROCESSOR例文帳に追加

論理式の図式化方法、及び情報処理装置 - 特許庁

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

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

A character component specifying means 11 specifies the component of the character included in a character logical expression inputted from a character logical expression input means 10 and substitutes this to the character logical expression to create a component logical expression.例文帳に追加

文字論理式入力手段１０から入力された文字論理式に含まれる文字の部品を文字部品特定手段１１において特定し、これを文字論理式に代入して部品論理式を作成する。 - 特許庁

The logical expression visualization device allows a logical expression to be input without inputting any parenthesis document in a logical expression by constructing the logical expression by using logical operator buttons 33a to 33e, and allows the meaning of the logical expression to be accurately recognized by visually displaying the created logical expression according to the type of the logical operator.例文帳に追加

本発明は、論理演算子ボタン３３ａ〜３３ｅを使用して、論理式を構築することにより、論理式における括弧書の入力を行わずに正確に論理式を入力することができ、かつ作成された論理式を、論理演算子の種別に応じて、その論理式を視覚的に表示することにより、論理式の有する意味を正確に把握することができる論理式可視化装置である。 - 特許庁

In this value logical time series optimal matching processing system, a value logical expression being a logical expression capable of expressing 'ambiguity' is used for eliminating a limit in the control and the processing of the formal logical expression.例文帳に追加

価値論理的時系列最適マッチング処理システムにおいて“あいまいさ”を表現出来る論理式である価値論理式を形式論理式の制御及び処理等における限界を解消するために利用した。 - 特許庁

An evaluation device 4 refers to the temporary hit table 22 and evaluates the logic only for the retrieval logical expression corresponding to the hit temporary logical expression.例文帳に追加

評価装置４は、仮ヒットテーブル２２を参照し、ヒットした仮論理式に対応する検索論理式についてのみ論理を評価する。 - 特許庁

System specifications are described by logical expression, a cell is selected from a cell library recording part and a netlist by the cell is generated from the logical expression.例文帳に追加

システム仕様を論理式で記述し、セルライブラリ記録部からセルを選択し、論理式から前記セルによるネットリストを生成する。 - 特許庁

The system specification is described in a logical expression, a cell is selected from a cell library recording unit, and a net list is generated by the cell from the logical expression.例文帳に追加

システム仕様を論理式で記述し、セルライブラリ記録部からセルを選択し、論理式から前記セルによるネットリストを生成する。 - 特許庁