「Logic Language」を含む例文一覧(57)

1 2 次へ＞
  • Like language, math and logic games
    言語や数学、論理学のゲームなど - 映画・海外ドラマ英語字幕翻訳辞書
  • Pure combinatory logic is a simple language of combinators.
    純組合せ子論理は組合せ子の単純な言語である. - コンピューター用語辞典
  • To shorten a time by optimizing logic synthesis for logic circuit description in a hardware description language.
    ハードウェア記述言語による論理回路記述に対する論理合成を最適化し、時間を短縮数する。 - 特許庁
  • OCL (object constraint language) is not a programming language, so it is not possible to write program logic or flow control in OCL.
    OCL（オブジェクト制約言語）はプログラミング言語ではないので、OCL中でプログラム論理や流れ制御を書くことはできない。 - コンピューター用語辞典
  • To realize a technology which automatically generates a check code of different computer language while keeping the identity of a logic based on a check logic generated with a certain computer language.
    あるコンピュータ言語によって作成されたチェックロジックを基に、ロジックの同一性を保持したまま他の言語によるチェックコードを自動生成する技術の実現。 - 特許庁
  • a philosophy that is based on logical analysis of the language of science that developed symbolic logic
    科学の言語の論理的分析を基盤とし,記号論理学を発展させた哲学 - EDR日英対訳辞書
  • ROCK consists of an object-oriented data model and an imperative manipulation language, while ROLL is a Horn-logic query language for the ROCK data model.
    ROCKはオブジェクト指向データモデルと命令的操作言語からなり、一方ROLLはROCKデータモデルのためのホーン論理問合せ言語の一種である。 - コンピューター用語辞典
  • Further, the simplified logic or language representation is extracted by using the similar paraphrase.
    さらに、同様の言い換えを利用して、単純化された論理又は言語表現を抽出する。 - 特許庁
  • To provide a system in which an execution state can move in a mobile agent system equipped with a program language based on a logic of language and belief.
    知識と信念の論理にもとづくプログラム言語を備えたモバイルエージェントシステムであって、実行状態の移動が可能なものを実現する。 - 特許庁
  • To detect its erroneous description even when an erroneous description other than a language description level exists in a scramble logic equation.
    スクランブル論理式に言語記述レベル以外の誤記述があった場合でもその誤記述を検出する。 - 特許庁
  • A simulation part 63 performs a simulation based on the description of a logic function described in hardware description language.
    シミュレーション部６３は、ハードウェア記述言語による論理機能の記述に基づいてシミュレーションを行なう。 - 特許庁
  • The simplified logic or language expression is extracted further using the same conversion, so as to be used.
    さらに、同様の言い換えを利用して、単純化された論理又は言語表現を抽出して利用する。 - 特許庁
  • converting high level descriptions of digital hardware written in a computer hardware description language to an actual logic network
    ある計算機ハードウェア記述言語で書かれたディジタルハードウェアの高水準記述を実際の論理網に変換する - コンピューター用語辞典
  • To perform only the logic verification of design data described in a logic description language to dispense with the verification of design data described in a net list by conforming the handling of an indefinite value between the design data described in the logic description language and the design data described in the net list.
    論理記述言語で記述された設計データとネットリストで記述された設計データとで不定値の取り扱いを同じにすることにより、論理記述言語で記述された設計データの論理検証のみを行い、ネットリストで記述された設計データの検証を不要にすることを課題とする。 - 特許庁
  • Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.
    識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁
  • From description of the logic system describing the whole logic system 101 by a program language and parting information 102, simulation is conducted 103 to collect data transfer information.
    １０１の論理システム全体をプログラム言語にて記述した論理システム記述と１０２の分割情報から、１０３でシミュレートしてデータ転送情報を収集する。 - 特許庁
  • A verification apparatus for the logic system described in a hardware description language records information about the state of execution of a dynamic simulation about the logic system, while performing simulation.
    ハードウエア記述言語で記述された論理システムの検証装置は、論理システムについて動的シミュレーションを実行しながら、その実行状態に関する情報を記録する。 - 特許庁
  • A program creation part 3 (3a, 3b) reads a new logic repository 8 on the basis of a sentence pattern dictionary of language produced according to a language platform to create a program source corresponding to various language platforms.
    プログラム生成部３（３ａ、３ｂ）では、新業務ロジックリポジトリ８を言語・プラットフォームに応じて作成した言語の文型辞書に基づいて読み込むことにより、様々な言語・プラットフォームに対応したプログラムソースを生成する。 - 特許庁
  • To provide a logic simulating method for improving the efficiency in designing a logical circuit by software designing language.
    ソフトウエア設計言語による論理回路設計の効率化を図ることができる論理シミュレーション方法を提供する。 - 特許庁
  • To provide a multivalue logic circuit which can be constituted even if a normally-on insulated gate FET is not used, can perform a manner of a multivalue logic output such as "output is opened", can recognize its function from the name of the multivalue logic circuit, and has a multivalue logic function which can be expressed by a human language.
    ノーマリィ・オンの絶縁ゲート型ＦＥＴを使わなくても構成でき、「出力を開放する」という多値論理出力の仕方ができ、多値論理回路名からその機能が分かり、人の言葉で表現できる多値論理機能を持つ多値論理回路を提供する。 - 特許庁
  • The method and system enables a user to select from a library programming language object fragments being programming language object fragments being programming logic routine story process control entity, such as steps, transitions and actions, display the selected programming language object fragments within a graphical programming language object or phase display screen and configure a graphical programming language object for a process control entity by using the selected programming language object fragments.
    ライブラリから、ステップ、トランジション、アクション等のプログラミング論理ルーチンストーリー・プロセス制御エンティティであるプログラミング言語オブジェクト断片を選択し、選択されたプログラミング言語オブジェクト断片をグラフィック・プログラミング言語オブジェクト又は位相表示画面に表示し、選択されたプログラミング言語オブジェクト断片を使用してプロセス制御エンティティ用のグラフィック・プログラミング言語オブジェクトを構成する。 - 特許庁
  • Further, the total number of verifications is decreased by using a language and a control function which dynamically control the FPGA 1100 and malfunction insertion logic.
    また、検証の総数を、ＦＰＧＡ１１００と誤動作挿入論理を動的に制御する言語と制御機能によって削減する。 - 特許庁
  • A block-based template engine does not have any logic at all, whereas a template like Smarty defines a whole new template language.
    ブロックベースのテンプレートエンジンはロジックをまったく持っていませんが、Smarty のようなテンプレートはまったく新しいテンプレート言語を定義しています。 - PEAR
  • The logic simulation device uses an instruction level simulator 2 for pre- and post-processing instruction groups of a test program 26 wherein machine language instructions are combined and a logic simulator 5 for an instruction group to be tested, and carries out logic simulation while transferring exchange data between the instruction level simulator 2 and logic simulator 5.
    論理シミュレーション装置は、機械語命令を組み合わせた試験プログラム２６の前後処理命令群には命令レベルシミュレータ２を用い、試験対象命令群には論理シミュレータ５を用いて、命令レベルシミュレータ２と論理シミュレータ５の間で交換データを転送しながら論理シミュレーションを実行している。 - 特許庁
  • To provide an integrated and simple method of simplifying an input sentence to a symbol logic expression level of sentence, of deriving the symbol logic expression level using a simple sentence, and of generating an output sentence based on the symbol logic expression level of sentence, and to provide automatic learning of a logic or language expression by the same method.
    入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。 - 特許庁
  • To achieve: simplification of an input sentence to a sentence at a symbolic logic expression level, inference using a simple sentence at a symbolic logic expression level and generation of an output sentence on the basis of a sentence at a symbolic logic expression level by a unified and simple method, and to achieve automatic learning of a logic or language representation by a similar method.
    入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。 - 特許庁
  • To generate a structured document such as an XML (extensible markup language) document and an HTML (hypertext markup language) document, by setting in appropriate places document logic elements other than sentence such as graphs, and tables, contained in a printing document consisting of a plurality of pages.
    複数ページからなる印刷文書に含まれる図、表などの浮遊要素を適切な位置に設定してＸＭＬ文書やＨＴＭＬ文書などの構造化文書を生成する。 - 特許庁
  • The visual service extension can be programmed to process the portlet rendering logic to convert a visual style attribute in the portlet rendering logic to markup language tags, and the markup language tags can be rendered so as to be display in a specified type of a pervasive agent.
    視覚サービス・エクステンションは、ポートレット・レンダリング・ロジックを処理してポートレット・レンダリング・ロジック中の視覚スタイル属性をマークアップ言語タグに変換するようにプログラムすることができ、これらのマークアップ言語タグは、指定のタイプのパーベイシブ・エージェント中で表示されるようにレンダリングすることができる。 - 特許庁
  • This logic verification method comprises steps of (A) providing a logic model 10 for voltage generation circuit described in an HDL (hardware design language); and (B) executing logic verification of the semiconductor integrated circuit including a voltage generation circuit 20.
    論理検証方法は、（Ａ）ＨＤＬで記述された電圧発生回路用の論理モデル１０を提供するステップと、（Ｂ）その論理モデル１０を用いることによって、電圧発生回路２０を含む半導体集積回路の論理検証を実行するステップとを有する。 - 特許庁
  • This program makes a computer execute an input procedure for inputting logic circuit design data described in the logic description language and a changing procedure for checking whether a signal in the logic circuit design data is an indefinite value or not, and changing the logic circuit design data, when the signal is the indefinite value, so as to propagate the signal to the latter stage of a logic circuit as the indefinite value.
    論理記述言語で記述された論理回路設計データを入力する入力手順と、論理回路設計データ内の信号が不定値であるか否かをチェックし、不定値である場合にはその信号を不定値として論理回路の後段に伝播するように論理回路設計データを変更する変更手順とをコンピュータに実行させるためのプログラムが提供される。 - 特許庁
  • An operation processing part 106 operates conversion data of the source file having no error of a language description level based on its scramble logic expression.
    演算処理部１０６は言語記述レベルの違反がなかったソースファイルについてそのスクランブル論理式に基づいて変換データを演算する。 - 特許庁
  • Inference by a conventional symbolic logic is carried out by using a natural language statement simplified at the same level as for the symbolically logic expression, and thus, conversion from an input statement to an output statement is unified.
    従来記号論理によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。 - 特許庁
  • The part of the different logic interpretation is detected between the program language for compiling the hardware description described in the program language to update a value by a clock sentence and the HDL for operationally synthesizing the hardware descriptions.
    クロック文により値が更新されるプログラム言語で記述されるハードウエア記述をコンパイルするプログラム言語と、ハードウエア記述を動作合成するＨＤＬ言語との間で論理解釈が異なる部分を検出する。 - 特許庁
  • Note that both the language and the logic simulator were developed before the widespread introduction of graphical user interfaces, so they are purely textual.
    この言語および論理シミュレータの両方共GUIが広く導入されるよりも前に開発されたので、純粋にテキスト型であることを注意して下さい。 - コンピューター用語辞典
  • In the bus switch, the at least one high-performance processor is connected to the first port, the hypervisor processor is connected to the second port via the processor language translation logic circuit, and the processor supporting logic circuit is connected to the third port.
    該バススイッチは該１つ以上の高性能プロセッサに該第１ポートが接続され、該ハイパーバイザプロセッサに該プロセッサ言語翻訳論理回路を介して該第２ポートが接続され、該プロセッサ支援論理回路に該第３ポートが接続される。 - 特許庁
  • The optimization algorithm candidates of a plurality of circuit blocks given in logic circuit description in the hardware description language are decided by considering the humming distances of the circuit blocks (S1-S3).
    ハードウェア記述言語による論理回路記述で与えられる複数の回路ブロックの最適化アルゴリズム候補を、回路ブロックのハミング距離を考慮して判定する（Ｓ１〜Ｓ３）。 - 特許庁
  • The project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming.
    このプロジェクトは強い型付きの制約プログラミング言語の実現を目標とする.この言語は論理型プログラミングと命令型プログラミングの長所を結合するものである. - コンピューター用語辞典
  • This control system 10 is provided with: a computer 1 for design configured to generate new form control data 13 from a control logic 11 described in new graphic language, and to generate old form control data 14 and dummy data 15 from a control logic 12 described in old graphic language; and a controller 2 for controlling a plant 7.
    本発明の制御システム１０は、新図形言語で記載された制御ロジック１１から新形式制御データ１３を生成し、旧図形言語で記載された制御ロジック１２から旧形式制御データ１４とダミーデータ１５とを生成するように構成された設計用コンピュータ１と、プラント７を制御する制御装置２を具備する。 - 特許庁
  • A feed device which can be designated by a printer language for serial printer is handled as a logic device and correspondence between each logic device and a multipurpose tray MP or sheet feed cassettes LC1-LC5 is prestored, as set information, in an EEPROM 13.
    シリアルプリンタ用のプリンタ言語により指定可能な給送デバイスを、論理デバイスとして扱い、予め、各論理デバイスと多目的トレイＭＰ又は給紙カセットＬＣ１〜ＬＣ５との対応関係を、設定情報としてＥＥＰＲＯＭ１３内に記憶させておく。 - 特許庁
  • To provide a debugging device and a debugger control method for extending a breakpoint designation method and command language specifications as to a symbolic debugger to improve convenience and for changing a logic of a program without requiring compiling as to an aspect-oriented programming language.
    シンボリックデバッガに対してはブレークポイントの指定方式とコマンド言語仕様を拡張して利便性を向上する一方、アスペクト指向プログラミング言語に対してはコンパイル不要で、プログラムのロジック変更等が可能なデバッグ装置及びデバッガ制御方法を実現すること。 - 特許庁
  • A hardware description language as an input is mapped into cell components, logic clusters as partial circuits are generated from the mapping result, and detailed logic circuits are generated for each cluster; and the arrangement positions of the logic clusters are determined and it is decided whether or not a target operation frequency is achieved by using the result.
    入力となるハードウェア記述言語からセル部品にマッピングし、マッピング結果から部分回路である論理クラスタを生成し、クラスタ毎に詳細な論理回路を生成し、論理クラスタの配置位置を決定し、上記配置位置から回路のディレイ計算を実施し、その結果を用いて目標動作周波数が達成されたか否かを判定する。 - 特許庁
  • A logic composition tool 20 generates a circuit diagram of new technology by using a circuit list where a circuit diagram is entered in a hardware description language of register transfer level and a technology library containing new technology.
    論理合成ツール２０は、回路図をレジスタトランスファレベルのハードウェア記述言語で記載した回路リストとし、新しいテクノロジを納めたテクノロジライブラリを用いて、新しいテクノロジの回路図を作成する。 - 特許庁
  • A screen program described in the non-object language is divided into a view for screen display and a model as an external processing logic to the screen display, and the view and the model are associated by binding setting.
    非オブジェクト言語で記述された画面プログラムを、画面表示を行うビューと、画面表示に対する外部処理ロジックであるモデルに分割して、ビューとモデルをバインディング設定により関連付ける。 - 特許庁
  • A screen program described in the non-object language is divided into a view for performing screen display and a model which is an external processing logic to the screen display, and the view and the model are associated with each other by binding setting.
    非オブジェクト言語で記述された画面プログラムを、画面表示を行うビューと、画面表示に対する外部処理ロジックであるモデルに分割して、ビューとモデルを バインディング設定により関連付ける。 - 特許庁
  • To provide a cross verification device capable of performing cross verification among a natural language specification, a C-language program and a GUI-base control logic in development of control software for engine, and capable of consequently enhancing the efficiency of the development; a cross verification method; and a cross verification program.
    エンジンの制御ソフトウェアの開発において自然言語の仕様とＣ言語のプログラムとＧＵＩベースの制御ロジックとのクロス検証を行うことができ、結果的に当該開発の効率を高めることができるクロス検証装置、クロス検証方法およびクロス検証プログラムを提供することを課題とする。 - 特許庁
  • 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 that it is impossible to secure end-to-end communication quality to server implementation expected by a client logic when a client calls a server on a distributed environment by using IDL(Interface Definition Language).
    ＩＤＬ（Ｉｎｔｅｒｆａｃｅ Ｄｅｆｉｎｉｔｉｏｎ Ｌａｎｇｕａｇｅ）を用いてクライアントが分散環境上のサーバを呼び出す際に、クライアントロジックが期待するサーバインプリメンテーションまでのエンドツーエンド間の通信品質を保証できないという問題を解決する。 - 特許庁
  • A computer reads the definition information of scan pass according to a program (#1-#12), and a scan pass logic of hardware description language level forming the basis of the scan pass to be constructed on the integrated circuit is generated on the basis of scan pass definition information (#13).
    プログラムが、コンピュータに、スキャン・パスの定義情報を読み込ませ（＃１乃至＃１２）、集積回路上に構築するスキャン・パスの基になるハードウェア記述言語レベルのスキャン・パスのロジックを、スキャン・パス定義情報に基づいて生成させる（＃１３）。 - 特許庁
  • This hardware/software cooperation verification system has: a system simulator 1 provided with an A circuit operation model 3 wherein operation of an A circuit is described by C language or the like; and a hardware emulator 2 provided with a logic circuit 4 for the A circuit, and implementing cooperation verification in synchronization with the system simulator 1.
    Ａ回路の動作をＣ言語等で記述したＡ回路動作モデル３が設けられたシステムシミュレータ１と、Ａ回路の論理回路４が設けられ、システムシミュレータ１と同期して協調検証が行われるハードウェアエミュレータ２とを有する。 - 特許庁
  • 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.
    このブリッジ論理デバイスは該１つ以上の高性能プロセッサの下の該システムのステータスを保守するハイパーバイザ動作論理回路と、該１つ以上の高性能プロセッサと該ハイパーバイザプロセッサとのプロセッサ言語間の翻訳をするプロセッサ言語翻訳論理回路と、第１、第２、及び第３ポートを有し該３つのポートのうち任意２つの間でデータを双方向に中継する高速バススイッチとを備える。 - 特許庁
1 2 次へ＞

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