小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > 英和専門語辞典 > logic program languageの意味・解説 

logic program languageとは 意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 論理型プログラム言語; 論理プログラム言語


クロスランゲージ 37分野専門語辞書での「logic program language」の意味

logic program language


「logic program language」の部分一致の例文検索結果

該当件数 : 14



例文

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中でプログラム論理や流れ制御を書くことはできない。 - コンピューター用語辞典

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.例文帳に追加

クロック文により値が更新されるプログラム言語で記述されるハードウエア記述をコンパイルするプログラム言語と、ハードウエア記述を動作合成するHDL言語との間で論理解釈が異なる部分を検出する。 - 特許庁

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.例文帳に追加

プログラム生成部3(3a、3b)では、新業務ロジックリポジトリ8を言語・プラットフォームに応じて作成した言語の文型辞書に基づいて読み込むことにより、様々な言語・プラットフォームに対応したプログラムソースを生成する。 - 特許庁

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.例文帳に追加

101の論理システム全体をプログラム言語にて記述した論理システム記述と102の分割情報から、103でシミュレートしてデータ転送情報を収集する。 - 特許庁

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.例文帳に追加

知識と信念の論理にもとづくプログラム言語を備えたモバイルエージェントシステムであって、実行状態の移動が可能なものを実現する。 - 特許庁

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.例文帳に追加

論理記述言語で記述された論理回路設計データを入力する入力手順と、論理回路設計データ内の信号が不定値であるか否かをチェックし、不定値である場合にはその信号を不定値として論理回路の後段に伝播するように論理回路設計データを変更する変更手順とをコンピュータに実行させるためのプログラムが提供される。 - 特許庁

例文

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.例文帳に追加

論理シミュレーション装置は、機械語命令を組み合わせた試験プログラム26の前後処理命令群には命令レベルシミュレータ2を用い、試験対象命令群には論理シミュレータ5を用いて、命令レベルシミュレータ2と論理シミュレータ5の間で交換データを転送しながら論理シミュレーションを実行している。 - 特許庁

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

「logic program language」の部分一致の例文検索結果

該当件数 : 14



例文

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 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.例文帳に追加

エンジンの制御ソフトウェアの開発において自然言語の仕様とC言語のプログラムとGUIベースの制御ロジックとのクロス検証を行うことができ、結果的に当該開発の効率を高めることができるクロス検証装置、クロス検証方法およびクロス検証プログラムを提供することを課題とする。 - 特許庁

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).例文帳に追加

プログラムが、コンピュータに、スキャン・パスの定義情報を読み込ませ(#1乃至#12)、集積回路上に構築するスキャン・パスの基になるハードウェア記述言語レベルのスキャン・パスのロジックを、スキャン・パス定義情報に基づいて生成させる(#13)。 - 特許庁

The pattern language program forming device 10 comprises a storage device 2 for registering a first macro element, a macro element forming means 3 for forming a second macro element including the first macro element and registering it in the storage device 2, and a logic forming means 3 for forming a function block diagram 11 including the second macro element.例文帳に追加

本発明による図形言語プログラム作成装置(10)は、第1マクロ要素が登録された記憶装置(2)と、第1マクロ要素を含む第2マクロ要素を作成し、前記記憶装置(2)に登録するマクロ要素作成手段(3)と、第2マクロ要素を含むファンクションブロックダイアグラム(11)を作成するロジック作成手段(3)とを備えている。 - 特許庁

例文

The logic verification program allows a personal computer 100 to function as a verification item input editor (S1) which enables an input of a verification item in a natural language on a tabular display screen and to function as a verification result feedback means (S5) which enables the creation of a test report by feeding-back the verification result to the verification item input editor.例文帳に追加

論理検証プログラムにより、パーソナルコンピュータ100を、表形式の表示画面において検証項目の自然言語による入力を可能とする検証項目入力エディタ(S1)、検証結果を上記検証項目入力エディタにフィードバックすることでテストレポートの生成を可能とする検証結果フィードバック手段(S5)として機能させる。 - 特許庁

>>例文の一覧を見る

logic program languageのページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2024 Cross Language Inc. All Right Reserved.

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS