文脈論理の英語

不良部分１１４は、文脈に沿った論理和同士の論理積１１２の結果にバックトラックがないか、または文脈に沿った論理和同士の論理積１１２の結果が減少して偽になるまで、表現を改良して排除される。例文帳に追加

Nogoods 114 are eliminated by refining the representation until a result of the conjunction 112 of the contexted disjunctions is backtrack-free or the result of the conjunction 112 of the contexted disjunctions reduces to false. - 特許庁

不良データベースを解決するためのシステム１００および方法は、文脈に沿った複数の論理和を含む表現を生成し、文脈に沿ったすべての論理和を結合して、文脈に沿った論理和同士の論理積１１２を形成し、表現を文脈に沿った論理和同士の論理積１１２として記憶することを含む。例文帳に追加

The system 100 and the method for solving the nogood database involve generating a representation comprising a plurality of contexted disjunctions, conjoining all of the contexted disjunctions to form a conjunction 112 of the contexted disjunctions, and storing the representation as the conjunction 112 of the contexted disjunctions. - 特許庁

そして、線形論理の論法を文脈化した線形論理に実行でき、これにより、パック機能（ｆ）構造からの文脈化された寄与分から可能な意味を導出する。例文帳に追加

The linear logic reasoning can be executed in the contexted linear logic to derive a possible meaning from the contexted contribution from the packed functional (f) structure. - 特許庁

文脈化線形論理における推定は、各構文法上のパーズを完全に展開することを必要としない。例文帳に追加

Deductions in the contexted linear logic do not require fully expanding each syntactic parse. - 特許庁

この技術は、線形論理意味論アセンブリと、パック機能（ｆ）構造とを共に機能させ、意味論上の寄与分が、パック機能（ｆ）構造及び適切な文脈が前に付加された機能（ｆ）構造から読まれる、文脈化された版の線形論理を提供する。例文帳に追加

This techniques allow a linear logic semantic assembly to work with a packed functional (f) structure and provide for contexted version of linear logic in which a semantic contribution can be read from the packed functional (f) structure and pre-pended with the contents of the functional (f) structure to which they pertain. - 特許庁

各種の回路ブロックの図形データがデータ記憶手段１１に登録された状態で、データ入力手段１２に入力されるＲＴＬデータを構文解析手段１３と文脈解析手段１４が解析し、ノードがエッジで接続されている論理構造データを生成する。例文帳に追加

In a state that the graphic data of various circuit blocks are registered in a data storage means 11, RTL data inputted to a data input means 12 are analyzed by a syntax analysis means 13 and a context analysis means 14 and logical structure data connecting nodes by edges are generated. - 特許庁