論理コーン比較手段24は、論理コーン17と論理コーン18どうしの等価性を検証する。 A logic cone comparative means 24 verifies the equivalence between the logic cone 17 and the logic cone 18. - 特許庁
理性を失う; 非論理的になる. lose all reason
- 研究社 新英和中辞典
論理的整合性のないさま to be unable to be logically grasped
- EDR日英対訳辞書
強誘電体不揮発性の論理素子 FERROELECTRIC NON-VOLATILE LOGIC ELEMENT - 特許庁
論理等価性検証システム LOGIC EQUIVALENCE VERIFICATION SYSTEM - 特許庁
論理等価性検証方法および論理等価性検証プログラム LOGIC EQUIVALENCE VERIFICATION METHOD AND LOGIC EQUIVALENCE VERIFICATION PROGRAM - 特許庁
必然性、可能性、偶然性の様相論理学 the modal logic of necessity and possibility and contingency
- 日本語WordNet
論理等価性検証装置、論理等価性検証方法、制御プログラムおよび可読記録媒体 LOGIC EQUIVALENCE VERIFICATION DEVICE, LOGIC EQUIVALENCE VERIFICATION METHOD, CONTROL PROGRAM AND READABLE RECORDING MEDIUM - 特許庁
準整合性論理を生成する最も簡単な方法は,多値論理,つまり真の値を複数持っている論理を使用することである. The simplest way of generating a paraconsistent logic is to use a many-valued logic, that is, a logic with more than two truth values.
- コンピューター用語辞典
必要性と可能性の論理的研究 the logical study of necessity and possibility
- 日本語WordNet
中間命題論理のための完全性定理の有効性 Effectiveness of the Completeness Theorem for an Intermediate Logic
- コンピューター用語辞典
改良された論理セル機能性の複合論理ブロックを有するプログラマブルロジックデバイス PROGRAMMABLE LOGIC DEVICE HAVING COMPLEX LOGIC BLOCKS WITH IMPROVED LOGIC CELL FUNCTIONALITY - 特許庁
論理コーン比較部115は、簡単化された論理コーンを用いて等価性を検証する。 The logic cone comparing part 115 uses the simplified logic cone to verify equivalence. - 特許庁
(確固とした論理的思考ができないような)弱い知性. a frail intellect
- 研究社 新英和中辞典
十ん分な根拠を提供するまたは論理性を示す show to be reasonable or provide adequate ground for
- 日本語WordNet
実演される、または論理的に立証される可能性 capability of being demonstrated or logically proved
- 日本語WordNet
司法部は判事の論理性に基づいて成り立つ the judiciary is built on the reasonableness of judges
- 日本語WordNet
知識、不確実性、無知の様相論理学 the modal logic of knowledge and uncertainty and ignorance
- 日本語WordNet
論理的な一貫性と事実との一致 logical coherence and accordance with the facts
- 日本語WordNet
論理学において,区分できる,統一性のある全体 in logic, a unified body that can be classified or divided into parts
- EDR日英対訳辞書
物事が論理的整合性ではとらえられないこと of something, the state of being unable to be logically grasped
- EDR日英対訳辞書
不変性を検査する方法、論理装置及びシステム METHOD FOR INSPECTING INVARIANCE, LOGICAL DEVICE, AND SYSTEM FOR INSPECTING INVARIANCE - 特許庁
不揮発性論理回路及びそれを有するシステムLSI NON-VOLATILE LOGIC CIRCUIT AND SYSTEM LSI HAVING THE SAME - 特許庁
不揮発性論理回路およびその駆動方法 NON-VOLATILE LOGICAL CIRCUIT AND DRIVING METHOD THEREOF - 特許庁
属性間の関係を示す論理構造が定義される。 A logical structure is defined, indicating the relationships between the attributes. - 特許庁
不揮発性論理回路およびその駆動方法 NONVOLATILE LOGIC CIRCUIT AND DRIVING METHOD THEREOF - 特許庁
テスト容易性考慮論理合成方法及びシステム METHOD AND SYSTEM FOR LOGIC SYNTHESIS TAKING TEST EASINESS INTO ACCOUNT - 特許庁
論理式充足可能性判定方法および装置 METHOD AND DEVICE FOR JUDGING LOGICAL EXPRESSION SATISFIABILITY - 特許庁
磁気トンネル接合を使用する不揮発性論理装置 NONVOLATILE LOGIC DEVICE USING MAGNETIC TUNNEL JUNCTION - 特許庁
論理リンク接続性検証方法およびシステム METHOD AND SYSTEM FOR VERIFYING CONNECTIVITY OF LOGICAL LINK - 特許庁
論理ボリュームコピー先性能調整方法及び装置 METHOD AND APPARATUS FOR ADJUSTING PERFORMANCE OF LOGICAL VOLUME COPY DESTINATION - 特許庁
仮想論理ボリュームの使用容量が増加して、仮想論理ボリュームのメリットが失われた場合に、仮想論理ボリュームを実論理ボリュームへマイグレーションしてアクセス性能の向上を図る。 To improve access performance by migrating a virtual logical volume to a real logical volume when the used capacity of the virtual logical volume is increased and there is no advantage in the virtual logical volume. - 特許庁
予備ゲート論理は標準のセル論理よりも少ない論理ゲートからなるので、標準セルASICアレイに伴う生産の経済性が可能になり、最上位金属レベルしか変更不要なので、経済的かつ迅速に論理エラーを修理し、論理機能性の変更を実現できる。 As the auxiliary gate logic is composed of logic gates smaller than the standard cell logics, production economy following a standard cell ASIC array is possible, and as only an uppermost metal level is unrequired for changing, it is possible to repair economically and promptly logic errors and to realize changes of logic functionality. - 特許庁
LSI(LargeScale Integration)設計の効率化に好適な論理合成方法及び論理合成装置、特に、論理合成に使用するライブラリの向上を図ることにより、LSIの目標性能の達成を早期に行うことを特徴とする論理合成方法及び論理合成装置を提供することを課題とする。 To provide a logic synthesis method and an apparatus suited for increasing the efficiency of designing LSI (Large Scale Integration), particularly for achieving the desired performance of the LSI at an early stage by improving a library used in logic synthesis. - 特許庁
操作性や観測性に優れた論理検証を、効率良く高速に行う。 To perform fast and efficient logic verification which is superior in operability and observing performance. - 特許庁
その結果、論理づけができた場合は請求項に係る発明の進歩性は否定され、論理づけができない場合は進歩性は否定されない。 As a result of this approach, the inventive step of the claimed invention is denied when the reasoning is valid and it is not denied when the reasoning is invalid.
- 特許庁
論理等価性検証システム、論理等価性検証方法、半導体集積回路の製造方法、制御プログラムおよび可読記憶媒体 LOGIC EQUIVALENCE VERIFICATION SYSTEM, LOGIC EQUIVALENCE VERIFICATION METHOD, METHOD FOR MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT, CONTROL PROGRAM AND READABLE STORAGE MEDIUM - 特許庁
不揮発性記憶素子を用いて、データの記憶、および、高信頼性かつ高速なデータの論理演算が可能な論理演算回路等を提供する。 To provide an arithmetic logic circuit or the like which stores data using a nonvolatile storage element and performs logical operations on data with high reliability and high speed. - 特許庁
論理ディスクを構成する複数の物理ディスクの性能の相違に起因して論理ディスクの性能が低下するのを防止する。 To prevent performance deterioration of a logical disk due to the difference of the performance of a plurality of physical disks configuring the logical disk. - 特許庁
比較できないほどの論理性と能率でコンピュータは処理する the computer proceeds with its incomparable logic and efficiency
- 日本語WordNet
性質がある特定の倫理的、認識論的概念に似ている論理体系 a system of logic whose formal properties resemble certain moral and epistemological concepts
- 日本語WordNet