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

Theoretical treatments of logic programming often use a very simple formulation of Prolog, namely pure definite horn clause programs: 例文帳に追加

論理プログラミングの理論的取り扱いでは、プロログの非常に単純な定式化、すなわち純確定ホーン節プログラムを使うことがよくある。 - コンピューター用語辞典

Microcode is programming that is ordinarily not program-addressable but, unlike hardwired logic, is capable of being modified. 例文帳に追加

マイクロコードは,通常,プログラムでアドレス指定できないものをプログラミングしているが,ハードウェア論理とは違って,変更が可能である． - コンピューター用語辞典

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 provide a methodology programming the algorithm for solving a problem by using a quantum logic and to provide the algorithm.例文帳に追加

量子論理を使用して問題を解決するためのアルゴリズムをプログラミングする方法論とアルゴリズムを提供する。 - 特許庁

To obtain a logic processing apparatus in which throughput of whole processing when re-write processing of programming data is performed can be improved.例文帳に追加

プログラミングデータの再書込み処理を実施する際の処理全体のスループットを高めることができる論理処理装置を得ることを目的とする。 - 特許庁

METHOD FOR PROGRAMMING MASK-PROGRAMMABLE LOGIC DEVICE AND DEVICE PROGRAMMED BY THE METHOD例文帳に追加

マスクプログラム可能なロジックデバイスをプログラムする方法およびその方法によってプログラムされたデバイス - 特許庁

A method of performing in-system programming of the EEPROMs 208, 210, and 218 for holding the configuration code for a programmable logic device such as FPGAs 204, 206, and 207 is described.例文帳に追加

FPGA(204,206,207)等のプログラマブルロジックデバイス用の構成コードを保持するEEPROM(208,210,218)をインシステムプログラムする方法を説明する。 - 特許庁

METHOD AND DEVICE FOR PERFORMING IN-SYSTEM PROGRAMMING OF PROGRAMMABLE LOGIC DEVICE ON MULTIPLE BOARDS THROUGH COMMON CONNECTION POINT例文帳に追加

共通接続ポイントを通して複数基板上のプログラマブルロジックデバイスのインシステムプログラミングを行う方法および装置 - 特許庁

To provide a semiconductor element capable of programming a logic operation and being operated as a nonvolatile memory element as well.例文帳に追加

ロジック動作がプログラム可能でかつ不揮発性記憶素子としても動作することが可能な半導体素子を提供することを可能にする。 - 特許庁

To provide a logic module which can be generalized to match the circuitry of a verification subject logic easily, and can sharply reduce the man-hours and the cost required for programming the verification subject logic to a plurality of programmable logic elements.例文帳に追加

論理モジュールを汎用化し、検証対象論理の回路構成に容易に合わせることができ、検証対象論理をプログラム可能な複数の論理素子にプログラムする工数と作成費用を大幅に低減することができる論理モジュールを提供する。 - 特許庁

The project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. 例文帳に追加

このプロジェクトは強い型付きの制約プログラミング言語の実現を目標とする.この言語は論理型プログラミングと命令型プログラミングの長所を結合するものである. - コンピューター用語辞典

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

ライブラリから、ステップ、トランジション、アクション等のプログラミング論理ルーチンストーリー・プロセス制御エンティティであるプログラミング言語オブジェクト断片を選択し、選択されたプログラミング言語オブジェクト断片をグラフィック・プログラミング言語オブジェクト又は位相表示画面に表示し、選択されたプログラミング言語オブジェクト断片を使用してプロセス制御エンティティ用のグラフィック・プログラミング言語オブジェクトを構成する。 - 特許庁

The rewritable gate array (100) comprises an array (390) of logic cells (100A-100D) and routing resources, including antifuses (399A) for programming interconnections of logic cells.例文帳に追加

書き換え可能ゲートアレイ（１００）は、ロジックセル（１００Ａ−Ｄ）のアレイ（３９０）と、ロジックセルの接続をプログラミングするアンチヒューズ（３９９Ａ）を含む配線リソースを有する。 - 特許庁

To provide an apparatus for and a method of programming a programmable logic device which comprises a plurality of serially connected programmable logic regions.例文帳に追加

連続的に接続された複数のプログラマブルロジック領域を備えるプログラマブルロジックデバイスをプログラムする装置及び方法を提供する。 - 特許庁

Also included is a programming interface for the bundle processing logic that is accessible from each of the locations and is operative for the bundle processing logic.例文帳に追加

当該複数地点の各々からアクセス可能であって、該束処理ロジックに対して動作可能な束処理ロジック用プログラム・インターフェースも具備される。 - 特許庁

Also included is a programming interface for the bundle processing logic that is accessible from each of the locations and is operative to define at least part of the set of instructions for the bundle processing logic.例文帳に追加

当該複数地点の各々からアクセス可能であって、該束処理ロジックに対する一連の命令のうち少なくとも一部分を規定するように動作可能な束処理ロジック用プログラム・インターフェースも具備される。 - 特許庁

We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness. 例文帳に追加

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典

To provide a programming verification system which programs fairy a defective bit again without applying stress excessively to bit logic in a device.例文帳に追加

装置内のビット論理に過剰にストレスをかけることなしに、良好でなかったビットを良好に再プログラムするプログラミング検証システムを提供すること。 - 特許庁

Word line selection is performed by decoding logic operating at V_DD while a bit line drive is switched between V_DD and a higher voltage V_P for programming.例文帳に追加

ワード・ライン選択は、Ｖ_ＤＤにおいて動作するデコード論理によって実施され、一方ビット・ライン・ドライブは、Ｖ_ＤＤとプログラミングのためのより高い電圧Ｖ_Ｐとの間でスイッチ切替えされる。 - 特許庁

A higher order programming model makes position information to be usable for programmers as a logic entity, not raw latitude and longitudinal position information data solely.例文帳に追加

上位プログラミングモデルは、プログラマが位置情報を単に緯度や経度などの未加工の位置データとしてではなく、論理エンティティとして使用できるようにする。 - 特許庁

In a embodiment, a checksum is compared with an expectation value, which is preliminarily calculated by the checksum on data before or during a programming into the programmable logic resource.例文帳に追加

一実施例において、チェックサムは期待値と比較され、この期待値はプログラマブルロジックリソース内にプログラムされる前あるいは最中のデータ上のチェックサムによって予め計算される。 - 特許庁

To provide a sequence processing method that requires no dedicated programming tool which is different by model of a computer, without depending on the manufacturer or model of the computer such as a programmable logic computer (PLC).例文帳に追加

プログラマブル・ロジック・コンピュータ（ＰＬＣ）等コンピュータのメーカーや機種に依存せず、機種ごとに異なる専用のプログラミングツールを必要としないシーケンス処理方法の提供を目的とする。 - 特許庁

The processing part 3 is composed of such PLDs as FPGA and CPLD that can realize logic operations (logical operation or the like) by programming desired functions.例文帳に追加

所望の機能をプログラムすることでロジック動作（論理演算等）を実現できるＦＰＧＡやＣＰＬＤなどのＰＬＤで演算処理部３を構成している。 - 特許庁

The network processor receives a programming interface and generates or updates a proper service logic program SLP with respect to a central service control point SCP and SCE.例文帳に追加

プログラミングインタフェースが提供され、集中型サービス制御ポイントＳＣＰおよびＳＣＥに関連して、適切なサービス論理プログラムＳＬＰが生成または更新される。 - 特許庁

A solid state memory device is fabricated by forming a level of the device (302), identifying defective areas in the level (304), and programming address logic of the level so as to avoid defective areas in the level (306).例文帳に追加

固体メモリデバイスは、そのデバイスの1つの段を形成（302）し、その段内の欠陥領域を特定（304）し、段内の欠陥領域を回避するように、段のアドレス論理回路をプログラミングする（306）ことにより、製作される。 - 特許庁

DMA is connected between an EEPROM and a RAM (not including the core of a micro-controller involved), and automatic programming of data blocks having random length from the RAM to the EEPROM including the verification of programming operation for original data in the RAM is performed under the control of an EEPROM logic.例文帳に追加

ＥＥＰＲＯＭとＲＡＭ（付随するマイクロコントローラのコアを含まない）との間にＤＭＡを接し、ＥＥＰＲＯＭロジックの制御のもと、ＲＡＭ内のオリジナルデータに対するプログラム動作の検証を含む、ＲＡＭからＥＥＰＲＯＭまでのランダムな長さのデータブロックの自動プログラミングを行う。 - 特許庁

SYSTEM FOR DIGITAL IMAGE CAPTURE AND PROCESSING TO SUPPORT PLUG-IN OF MULTIPLE THIRD PARTY CODES USING CONFIGURATION FILE HAVING CONDITIONAL PROGRAMMING LOGIC FOR CONTROLLING CHAINING OF MULTIPLE THIRD PARTY PLUG-INS例文帳に追加

複数のサードパーティ・プラグインのチェーン化を制御する条件付きプログラミング論理を有するコンフィギュレーション・ファイルを用いての複数のサードパーティ・コードのプラグインをサポートするデジタル画像キャプチャおよび処理のシステム - 特許庁

A program set for programming a programmable logic IC is switched between when displaying television broadcast received by a radio communication IC and when displaying a desktop screen of a computer received by the radio communication IC.例文帳に追加

無線通信用ＩＣの受信したテレビジョン放送を表示するときと、無線通信用ＩＣが受信したコンピュータからのデスクトップ画面を表示するときとで、プログラマブルロジックＩＣをプログラムするプログラムセットを切り換える。 - 特許庁

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

シンボリックデバッガに対してはブレークポイントの指定方式とコマンド言語仕様を拡張して利便性を向上する一方、アスペクト指向プログラミング言語に対してはコンパイル不要で、プログラムのロジック変更等が可能なデバッグ装置及びデバッガ制御方法を実現すること。 - 特許庁

To provide an I/O unit which allows the user to customize it to user's application by providing a programming function in the unit in order to enable the user to program I/O control logic and arithmetic functions freely.例文帳に追加

ユニットにプログラミング機能を搭載することにより、ユーザにおいて自由にＩ／Ｏ制御ロジック、演算機能をプログラミングできるようにして、ユニットをユーザの用途に合わせてカスタマイズ（最適化）して利用できるようにしたＩ／Ｏユニットを提供する - 特許庁

A software programming compares a result generated from execution as a hardware logic, in one mode out of two modes, with a result generated from execution as a software command, in the other mode out of the two modes.例文帳に追加

ソフトウェアプログラミングは、２つの形態のうちの一方の形態の、ハードウェア論理としての実行から生成される結果と、２つの形態のうちの別の形態の、ソフトウェア命令としての実行から生成される結果との比較を更に実行する。 - 特許庁

To provide a programmable logic controller (PLC) which includes a means for preventing an object code of a system library from unauthorized access and makes a support tool upload and use necessary information in programming or editing of the system library in the support tool.例文帳に追加

システムライブラリのオブジェクトコードに対する不正アクセスを防止する手段を備えると共に、支援ツールでのシステムライブラリのプログラミングや編集の際に必要な情報については支援ツールにアップロードして使用させることができるプログラマブル・ロジックコントローラを提供すること。 - 特許庁

To provide a device for automatic generation of an executable program of a Web application compliant with specifications that can fully automatically generate basic business logic including a screen program when a developer unskilled in programming languages specifies some business rules including data items.例文帳に追加

プログラミング言語に知識のない開発者が、データ項目をはじめとするいくつかの業務ルールを指定することにより、画面プログラムを含む基本的業務ロジックの完全自動生成を可能とし、仕様に準拠したＷｅｂアプリケーションの実行形式プログラムの自動生成装置を提供する。 - 特許庁

A cause and effect function block, which can be easily integrated into a function block diagram programming environment in a process plant safety system to implement a cause and effect logic, includes a set of cause inputs and a set of effect outputs.例文帳に追加

プラント安全システムの機能ブロックダイヤグラムプログラミング環境に容易に組み込んで、原因結果ロジックを実装するための原因結果機能ブロックは、原因入力の集合と結果出力の集合とを含んでいる。 - 特許庁

The programming device includes a means for positioning a termination command for a control statement at the same time as positioning a start command for the control statement, so as to move the termination command through key operation; and a means for determining a program logic during the movement to appropriately move the statement.例文帳に追加

制御文の開始命令を配置するとき、制御文の終端命令を同時に配置して、終端命令をキー操作で移動させる手段と、移動するときにプログラムロジックを判断して適切に移動させる手段を備える。 - 特許庁

To provide a programming device of a programmable logic controller for executing a sequence program by allocating it to a plurality of tasks whose start cycles are different, which has a function of detecting that the writing of bit data is generated from those tasks whose cycles are different to the same address, and informing a program preparer of the result.例文帳に追加

シーケンスプログラムを起動周期の異なる複数のタスクに割り付けて実行するプログラマブル・ロジック・コントローラにおいて、周期の異なるタスクから同一のアドレスに対して、ビットデータの書き込みが発生することを検出し、プログラム作成者に通知する機能を有するプログラマブル・ロジック・コントローラのプログラミング装置を提供する。 - 特許庁

In the data latch circuit 11, a node FUADD is pre-charged to 'H' by a pre-charge circuit 14 prior to programming, further, 'H' is pre-set when the fuse 10 is to be programmed, by a pre-set circuit 12 by a fail address FAADD and a logic of a latch signal LATCHp.例文帳に追加

データラッチ回路１１は、プログラムに先立ち、プリチャージ回路１４により、ノードＦＵＡＤＤが“Ｈ”にプリチャージされ、更にプリセット回路１２により、フェイルアドレスＦＡＡＤＤとラッチ信号ＬＡＴＣＨｐの論理によって、ヒューズ１０がプログラムすべきものである場合に“Ｈ”がプリセットされる。 - 特許庁

The wireless printing logic also includes at least one application programming interface (API) object that provides an interface between the application and the hidden objects, and, at least one platform specific object that encapsulates several adaptive wireless printing tasks that are configured for operation on the platform.例文帳に追加

無線印刷論理はまた、アプリケーションと隠されたオブジェクトの間にインターフェースを提供する少なくとも１つのＡＰＩオブジェクトと、プラットフォーム上の動作について構成されたいくつかの適応印刷タスクをカプセル化する少なくとも１つのプラットフォーム固有のオブジェクトを含む。 - 特許庁

The emulator is characterized by a storage part for storing a program corresponding to a wireless communication system, a signal processing circuit programmable to a desired logic circuit, and an execution part which programming the signal processing circuit by reading the program from the storage part and controls the signal processing circuit so as to execute at least either modulation or demodulation of data for communication with the object to be tested.例文帳に追加

本装置は、無線通信方式に対応したプログラムを格納する記憶部と、所望の論理回路にプログラミング可能な信号処理回路と、記憶部からプログラムを読み出して信号処理回路をプログラミングすると共に、信号処理回路に被試験対象と通信するデータの変調または復調の少なくとも一方を行なわせる実行部とを設けたことを特徴とするものである。 - 特許庁

This device comprises bit lines, plural word lines arranged perpendicularly to these bit lines, plural memory cells arranged respectively at intersection regions of the bit lines and the word lines, a storing circuit having at least two latches latching data, and a program data discriminating circuit setting the bit lines to either of program voltage and program prohibiting voltage depending on a logic state of data latched by the latch by programming operation.例文帳に追加

ビットラインと、このビットラインに対して垂直に配列された複数本のワードラインと、前記ビットラインと前記ワードラインの交差領域にそれぞれ配列された複数個のメモリセルと、それぞれが対応する入出力ラインに接続され、データをラッチする少なくとも２つのラッチを有する貯蔵回路と、前記ラッチにラッチされたデータの論理状態によりプログラム動作で前記ビットラインをプログラム電圧及びプログラム禁止電圧のうちの一つに設定するプログラムデータ判別回路とを含む。 - 特許庁

The semiconductor device further integrating and systemizing a plurality of integrated circuits different in functions such as a dram block 1, a logic circuit block 2 and an analog circuit block 3 is provided with a test control circuit 4 controlling input of a test signal to each integrated circuit, and a fuse programming circuit block 5 restricting the input of the test signal to each integrated circuit from the test control circuit 4.例文帳に追加

ＤＲＡＭブロック１、論理回路ブロック２、アナログ回路ブロック３など機能の異なった複数の集積回路をさらに集積してシステム化した半導体装置であって、各々の集積回路へのテスト信号の入力を制御するテストコントロール回路４と、このテストコントロール回路４から各集積回路へのテスト信号の入力を所定の集積回路の１つに限定するヒューズプログラミング回路ブロック５とを設ける。 - 特許庁

In the nonvolatile semiconductor memory device for programming memory cells which have a first or a second logic status, and for deleting them in sector units in accordance with input data having a plurality of bit information, the memory cell transistors of cell array block and transistors of column decoder block have a plurality of sectors which are formed by sharing a bulk area, to provide a sector structure formed of the shared bulk.例文帳に追加

第１または第２論理状態を有するメモリセルを、複数のビット情報を有する入力データに応じてプログラムしセクタ単位に消去する不揮発性半導体メモリ装置において、セルアレイブロックのメモリセルトランジスタとコラムデコーダーブロックのトランジスタが一つのバルク領域を共有して形成されたセクタを複数有し、共有バルクで形成されたセクタ構造を有する半導体メモリ装置とした。 - 特許庁