論理体系の英語

もしその体系の原理から演繹されることのない命題が提出されると矛盾が生ずるということに構成された論理体系の特質例文帳に追加

an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system発音を聞く  - 日本語WordNet

入力コードから論理コードを取得し、取得された論理コードからコード体系及び文字コードを抽出し、抽出されたコード体系及び文字コードに応じた文字パターンを出力するように構成する。例文帳に追加

The processor is so constituted that logic codes are acquired from input codes and code schemes and the character codes are extracted from the acquired logic codes and the character patterns corresponding to the extracted code schemes and the character codes are outputted. - 特許庁

原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質例文帳に追加

an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another発音を聞く  - 日本語WordNet

設計フローの最小限の変更のみでスピントロニクス論理集積回路の設計体系を確立する。例文帳に追加

To establish a design system of a spintronics logical integrated circuit only by the minimum change of a design flow. - 特許庁

本発明は、ノードの追加により規格が変更されるとき、追加的なデータパケットオーバーヘッドなしに新規の論理アドレス体系に変更する。例文帳に追加

To change to a novel logical address system without additional data packet overhead when changing a standard by adding a node. - 特許庁

しかし、従来回路では初期化機能を有していないか、新たな論理体系を再構築する必要があった。例文帳に追加

However, no initialization function has been provided in conventional circuits, or new logical systems have been required to be reconstructed in the conventional circuits. - 特許庁

朱子学は政治学、存在論（理・気説）、注釈学（『四書集注』等）、倫理学（「性即理」説）、方法論（「居敬窮理」説）などを全て包括する総合的な哲学大系であって、朱子の偉大さはその体系内にはあっては極めて整合性の取れた論理を展開した点にある。例文帳に追加

Shushigaku is a comprehensive system of philosophy covering political science, ontology (the theories of ri and ki), exegetics ("The Four Books", etc), ethics (theory of 'Sei soku ri'), methodology (theory of 'Kyokei Kyuri'), amongst others, and Zhu Xi was great enough to develop an extremely consistent logic in that system.発音を聞く  - Wikipedia日英京都関連文書対訳コーパス

プロトコル中継変換ライブラリー１３が仮想の通信相手になる通信終点端末３のプロトコル体系非依存の論理ホストアドレス名を送る。例文帳に追加

The protocol interchange conversion library 13 sends the protocol system non-dependent logic host address name of a communication end point terminal 3 to become a virtual communicating party. - 特許庁