「Logical Language」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

A CAD system of a logical integrated circuit includes conversion means for converting a logical integrated circuit netlist in an operation description level or a logical gate level described in hardware description language into a logical integrated circuit netlist in an operation level including a spintronics logical gate as the input of a logical synthesis tool.例文帳に追加

論理集積回路のＣＡＤシステムは、ハードウェア記述言語で記述された動作記述レベルあるいは論理ゲートレベルの論理集積回路ネットリストから、論理合成ツールの入力となるスピントロニクス論理ゲートを含む動作レベルの論理集積回路ネットリストへの変換手段を含む。 - 特許庁

With a modern, nonprocedural language(sometimes called a 4th-generation or declative language), the programmer simply defines the logical structure of the problem 例文帳に追加

最近の非手続言語(第4世代言語とか宣言言語とも呼ぶ)を使うと,プログラマは与えられた問題の論理構造を定義するだけですむ - コンピューター用語辞典

The logical circuit is described by C++ language, and an object for reproducing a hierarchical structure, is prepared as a means for holding the hierarchical structure of the logical circuit.例文帳に追加

論理回路をＣ＋＋言語で記述し、論理回路の階層構造を保持する手段として、階層構造を再現するオブジェクトを用意する。 - 特許庁

Elements of a constituent language being filled, for example, with technology information regarding to one or more hardware logical function and checking functionality of the logical functions with originality to recover error values are provided.例文帳に追加

例えば、１つ以上のハードウェア論理機能に関する技術情報で満たされ、それらの機能性を独自でチェックし、エラー値を戻す、構成言語要素が提供される。 - 特許庁

To provide a logical circuit verifying device to enhance efficiency and quality of verification regarding a verifying method of logical circuit designing using a hardware description language.例文帳に追加

ハードウェア記述言語を用いた論理回路設計の検証方法に関し、検証の効率と品質を向上する論理回路検証装置を提供することを目的とする。 - 特許庁

METHOD FOR REALIZING LOGICAL TYPE LANGUAGE PROCESSING SYSTEM USING GRAPHIC STRUCTURE DATA AND STORAGE MEDIUM STORING COMPUTER CONTROLLED PROGRAM例文帳に追加

グラフ構造データを用いた論理型言語処理系の実現方法及びコンピュータ制御プログラムを格納した記憶媒体 - 特許庁

To provide a logic simulating method for improving the efficiency in designing a logical circuit by software designing language.例文帳に追加

ソフトウエア設計言語による論理回路設計の効率化を図ることができる論理シミュレーション方法を提供する。 - 特許庁

To provide a software wireless communication apparatus in which use efficiency of the number of logical gates can be enhanced, and to provide a hardware design language program.例文帳に追加

論理ゲート数の使用効率を高めることができるソフトウェア無線通信装置及びハードウェア設計言語プログラムを提供する。 - 特許庁

Natural language analysis processing is subjected to a first textual input about morphology, syntax and semantics, a suitable logical form is created by sentence to obtain a first set (1,696) of logical forms, and a second set of logical forms is further obtained for a second textual input.例文帳に追加

第一テキスト入力に対して、形態学、構文および意味に関し、自然語解析処理を行い、文章毎に適切な論理形態を作成して第一論理形態集合（１６９６）を得て、更に第二テキスト入力に対して、第二論理形態集合を得る。 - 特許庁

To provide a method capable of easily realizing a logical type language processing system by improving the binding of variables which is complicated in a conventional logical type language processing system so as to intuitively easily understand it by using graphic structure data.例文帳に追加

グラフ構造データを用いることにより、従来の論理型言語処理系で複雑になっていた変数のバインディングを直感的に分かりやすいものにし、論理型言語処理系の実現を容易にするグラフ構造データを用いた論理型言語処理系の実現方法を提供する。 - 特許庁

To provide a machine translation device for forming a translated sentence in which a logical structure is clarified in a translation language.例文帳に追加

訳文の論理の展開が訳文言語として明確になっている訳文を作成することができる機械翻訳装置を提供することである。 - 特許庁

is limited as a macro language, and has difficulty when presented with a string containing a member of the mathematical, logical or quotation set: -literal -offset indent-two 例文帳に追加

はマクロ言語としての限界から、数学、論理学、もしくは以下の引用符の集合のメンバを含んだ文字列を表現するのは困難です。 - JM

Inference processing executed conventionally by a symbol logical expression is carried out using a natural language sentence as simple as the symbol logical expression, to convert the input sentence into an output sentence in a unified manner.例文帳に追加

従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。 - 特許庁

By having a ladder language creating software create logical expressions, by describing the operation of the machine in the operation sheet, coping with all the existing programmable controllers can be made by converting it into the ladder language.例文帳に追加

機械の動きを動作シートに記述する事で論理式を生成し、ラダー言語に変換する事に依り、既存のあらゆるプログラマブルコントローラに対応する事が出来る事を特徴とする、ラダー言語創生ソフトウエア。 - 特許庁

To realize logical operation between classes in an inquiry using an operation language to a hierarchical database in which attributes are inherited between the classes under a hierarchical structure.例文帳に追加

階層構造の下にクラス間で属性が継承するような階層型データベースに対する操作言語での問合わせにおけるクラス間の論理演算を実現すること。 - 特許庁

Waveform data 13 are prepared from the logical data 10 of a semiconductor integrated circuit prepared by a hardware description language and test pattern data 11 by using logical simulation and check item information 18 is prepared from the waveform data 13 and information inputted from a user specification part 15.例文帳に追加

ハードウェア記述言語にて作成した半導体集積回路の論理データ１０とテストパターンデータ１１より論理シミュレーションにて波形データ１３を作成し、この波形データ１３とユーザ指定部１５にて与えた情報より、チェック項目情報１８を生成する。 - 特許庁

To provide a converting device and a converting method of a logical circuit described by hardware description language to a decision graph, and to provide a recording medium for recording a conversion program, capable of estimating a failed part by a functional level to the large-scaled and multi- level interconnected logical circuit in a short time.例文帳に追加

大規模化及び多層配線化する論理回路に対して、短時間に、機能レベルでの故障箇所を推定するための、ハードウェア記述言語で記述された論理回路の決定グラフへの変換装置、変換方法及び変換プログラムを記録した記録媒体を提供する。 - 特許庁

In the description language capable of expressing the master-slave relationship between the data items through a tree information, the logical relationship can be expressed by expression as a tree structure when definition is put by allocating the logical relationship in association with a pattern of the tree structure.例文帳に追加

ツリー構造によりデータ項目間の主従関係を表現可能な記述言語において、このツリー構造のパターンに対応させて論理関係を割り当てるようにして定義を行うことで、ツリー構造としての表現により論理関係を表現することを可能とする。 - 特許庁

To shorten a design work period by executing logical synthesis and layout by using not only circuit information before modification and spare cells existing in a circuit but functionally excess cells to the modification of an HDL (hardware description language).例文帳に追加

ＨＤＬの修正に対し、修正前の回路情報及び回路中に存在するスペアセルだけでなく機能上余分なセルも利用して論理合成とレイアウトを実施し、設計工期を短縮する。 - 特許庁

Inference processing which has been conventionally made by a symbol logical expression is carried out by using a natural language sentence having a simplicity at a level similar to that of the symbolic logic expression, thereby conversion processing from the input sentence to an output sentence is unified.例文帳に追加

従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。 - 特許庁

To solve the problem wherein verification indices (C0/C1/C2) for software programs are insufficient as verification completion indices of logical simulation for hardware description language programs having a feature of concurrent operation of a plurality of components.例文帳に追加

複数の部品が同時に動作し合う特徴を有するハードウェア記述言語プログラムの論理シミュレーションの検証完了指標として、ソフトウェアプログラムの検証指標（Ｃ０／Ｃ１／Ｃ２）だけでは不十分である。 - 特許庁

a type of grammar that describes syntax in terms of a set of logical rules that can generate all and only the infinite number of grammatical sentences in a language and assigns them all the correct structural description 例文帳に追加

言語において全ておよび無全数の構文のみを生産でき、それら全ての正しい構造記述を指定する論理的な規則の一組という観点から、構文について説明している一種の文法 - 日本語WordNet

However, there is no logical or rational ground for denying the conventional interpretation of the reading of the "Manyoshu," which means that the idea of taking the "Manyoshu" as being derived from the ancient Korean language have technically collapsed. 例文帳に追加

しかし、従来の日本語的な解釈で『万葉集』を読むことを否定する論理的・合理的な根拠は全く存在せず、『万葉集』＝古代朝鮮語とする説は、学術的には完全に破綻しているといえよう。 - Wikipedia日英京都関連文書対訳コーパス

When the fact information is stored so as to be referable in a fact storage part, the fact information is constructed as knowledge information, and a decision, a proposition, and a question are processed based on a logical protocol ready for dialog in this natural language processing system.例文帳に追加

事実情報を事実記憶部に参照可能に格納する事で知識情報として構築し、対話対応の論理的な規約に基づいて決定や命題や質問への対応などを行う自然言語処理システムとする。 - 特許庁

An intermediate code 103 is generated from a logical system description program 101 in which the whole logical system is described in a program language; while a dedicated hardware performance table 104 and performance tables 105 by instructions of the processor are referred to, an instruction series 107 to be executed by the process is generated from the intermediate code 103 and a performance estimate value 108 is calculated.例文帳に追加

論理システム全体をプログラム言語にて記述した論理システム記述プログラム１０１から中間コード１０３を生成し、専用ハードウェア性能テーブル１０４とプロセッサの命令毎の性能テーブル１０５を参照しながら中間コード１０３からプロセッサで実行される命令系列１０７の生成と性能見積り値１０８を算出する。 - 特許庁

An operation command is calculated based on a control program described in language for control logical description to be actually used by a controller which is not any object to be verified for the emulators 312-352 so that control arithmetic operation can be prevented from being simplified.例文帳に追加

エミュレータ３１２〜３５２には検証対象でない制御装置で実際に使用される制御論理記述用言語で記述された制御プログラムに基づいて操作指令が算出されるので、制御演算が簡略化されることがない。 - 特許庁

To search for information satisfying a condition of a logic relationship between data items (search items) while using a description language, which can express a master-slave relationship between the data items but has no definition for a description manner of the logical relationship, for the formation of search key information.例文帳に追加

データ項目間の主従関係を表現可能ではあるが、論理関係の記述の仕方は規定されていないような記述言語を検索キー情報の作成に用いながらも、データ項目（検索項目）間の論理関係の条件を満たす情報を検索可能とする。 - 特許庁

For a natural language statement (VLANK statement) having variables, the logical similarity between statements is evaluated by a computer according to similarity as a pattern, such as similarity in the presence of the relative position relationship between symbols and the binding properties of the presence of position relationship, for inferring or procedural interpretation same as in PROLOG.例文帳に追加

変数付自然言語文（ＶＬＡＮＫ文）について、シンボル同士の相対的位置関係の存在の類似性や位置関係の存在の結束性等、パターンとしての類似性により文間の論理的類似性を計算機により評価してＰＲＯＬＯＧ同様の推論ないし手続き的解釈を行う。 - 特許庁

On the information storage medium 1 including a management region 30 and object regions 40 and 50, an extended video object (in HDVTS) whose reproduction is managed in logical units called a program chain and/or an advanced object (in AHDVTS) whose reproduction is controlled by using a mark-up language is stored in the object regions.例文帳に追加

管理領域３０およびオブジェクト領域４０、５０を含む情報記憶媒体１において、オブジェクト領域は、プログラムチェーンという論理単位で再生管理される拡張ビデオオブジェクト（ＨＤＶＴＳ内）、および／またはマークアップ言語を用いて再生制御されるアドバンスドオブジェクト（ＡＨＤＶＴＳ内）を格納する。 - 特許庁

The bridge logical device includes a hypervisor operation logic circuit that maintains a status of the system under the at least one high-performance processor, a processor language translation logic circuit that translates processor languages between the at least one high-performance processor and the hypervisor processor, and a high-speed bus switch that has first, second, and third ports and bidirectionally relays data between any two of the three ports.例文帳に追加

このブリッジ論理デバイスは該１つ以上の高性能プロセッサの下の該システムのステータスを保守するハイパーバイザ動作論理回路と、該１つ以上の高性能プロセッサと該ハイパーバイザプロセッサとのプロセッサ言語間の翻訳をするプロセッサ言語翻訳論理回路と、第１、第２、及び第３ポートを有し該３つのポートのうち任意２つの間でデータを双方向に中継する高速バススイッチとを備える。 - 特許庁