「論理性」を含む例文一覧(922)

1 2 3 4 5 6 7 8 9 10 11 .... 18 19 次へ>
  • 論理性
    the theoretical capability of recognition  - EDR日英対訳辞書
  • 論理的必然.
    logical necessity  - 研究社 新英和中辞典
  • 論理素子
    MAGNETIC LOGIC ELEMENT - 特許庁
  • 論理等価検証装置及び論理等価検証方法
    DEVICE AND METHOD FOR VERIFYING LOGICAL EQUIVALENCE - 特許庁
  • 論理素子及び磁論理素子アレイ
    MAGNETIC LOGIC ELEMENT AND MAGNETIC LOGIC ELEMENT ARRAY - 特許庁
  • 論理等価検証方法、および擬似論理回路。
    LOGIC EQUIVALENCE VERIFICATION METHOD AND PSEUDO LOGIC CIRCUIT - 特許庁
  • 論理コーン比較手段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 EQUIVALENCY VERIFYING METHOD - 特許庁
  • 論理等価検証装置
    LOGIC EQUIVALENCE VERIFYING DEVICE - 特許庁
  • 論理等価検証方法および論理等価検証プログラム
    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. - 特許庁
  • 不揮発メモリセルおよび記憶装置と不揮発論理回路
    NONVOLATILE MEMORY CELL, STORAGE DEVICE, AND NONVOLATILE LOGIC CIRCUIT - 特許庁
  • 操作や観測に優れた論理検証を、効率良く高速に行う。
    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
1 2 3 4 5 6 7 8 9 10 11 .... 18 19 次へ>

例文データの著作権について

  • EDR日英対訳辞書
    Copyright © National Institute of Information and Communications Technology. All Rights Reserved.
  • 特許庁
    Copyright © Japan Patent office. All Rights Reserved.
  • 特許庁
    Copyright © Japan Patent office. All Rights Reserved.
  • 日本語WordNet
    日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2024 License. All rights reserved.
    WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.License
  • 研究社 新英和中辞典
    Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved.
  • コンピューター用語辞典
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.