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

in classical logic, the conditional part of a proposition, called antecedent発音を聞く 例文帳に追加

古典論理学において,判断の条件となる部分 - EDR日英対訳辞書

DATA-MOVING METHOD, CONDITIONAL TRANSFER LOGIC, METHOD FOR RE-ARRAYING DATA AND METHOD FOR COPYING DATA例文帳に追加

データ移動方法および条件付転送論理ならびにデータの配列換え方法およびデータのコピー方法 - 特許庁

To provide a logic circuit design verifying device for discriminating variables and conditional expressions which are not verified by either the dynamic verification or static verification of a logic circuit.例文帳に追加

論理回路の動的検証、静的検証のいずれによっても検証されない変数と条件式とを判別できる論理回路設計検証装置を提供する。 - 特許庁

To efficiently perform a logic check without executing useless processing concerning a conditional expression including comparative operation with a multibit variable as an object.例文帳に追加

多ビット変数を対象とした比較演算を含む条件式に対して、無駄な処理を行うことなく効率よく論理チェックを行うこと。 - 特許庁

A logic circuit 13 for conditional reference to a Z1 register 12 of an adjacent PE at the execution of a conditional instruction in a PE part 2 is disposed to enable reference to the adjacent right or left Z1 register 12.例文帳に追加

ＰＥ部２で条件付き命令を実行する際に、条件として隣接するＰＥのＺ１レジスタ１２を参照するための論理回路１３を設けることで、隣接する左右のＺ１レジスタ１２を参照することが可能となる。 - 特許庁

A debug program generating part 3 generates a source program for debug obtained by replacing the conditional branch sentence of the source program to be debugged positioned at the designated part with a conditional branch sentence prepared by inverting the logic of a logical equation included in the conditional branch sentence, and outputs it as a source 203 for error processing check.例文帳に追加

デバッグ用プログラム生成部３は、上記指定された箇所に位置するデバッグ対象ソースプログラムの条件付き分岐文を、当該条件付き分岐文に含まれる論理式の論理を反転させて成る条件付き分岐文で置き換えたデバッグ用のソースプログラムを生成してエラー処理チェック用ソース２０３として出力する。 - 特許庁

A property verification tool being a static verification tool is executed, and all the variables and conditional expressions included in logic cones divided by property units are stored in a storage part 120.例文帳に追加

静的検証ツールであるプロパティ検証ツールを実行し、プロパティ単位で切り分けられた論理コーンに含まれるすべての変数と条件式を記憶部１２０に格納する。 - 特許庁