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

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

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

Equational logic was developed over the years (beginning in the early 1980's) by researchers in the formal development of programs. 例文帳に追加

等式論理は（1980年代の初期に始まる）何年もの間、プログラムの形式的展開における研究者たちによって開発された。 - コンピューター用語辞典

To provide a device, a method and a program capable of mounting a business logic program having program components the re-usability of which is high and which enables even a person who is not familiar with program languages to efficiently install various business logic programs.例文帳に追加

再利用性が高いプログラム部品を有し、プログラム言語に習熟していない者でも効率よく多様なビジネスロジックプログラムを実装できる装置、方法、及びプログラムを提供する。 - 特許庁

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

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

In two or more sets of programs stored in the ROM 22, a series of operations until the image data after being read from the IC 12 for wireless communication and converted into logic signals are transferred to the display 13 are described, respectively.例文帳に追加

当該ＲＯＭ２２に記憶された複数のプログラムセットには、それぞれ、無線通信用ＩＣ１２から読み込まれ、ロジック信号に変換された以降の画像データがディスプレイ１３へ転送されるまでの一連の動作が記述されている。 - 特許庁

In the reconfiguration of this gate array, an optical memory 3 is arranged on the chip and this optical memory 3 is irradiated with light, and by simultaneously irradiating each of the light receiving elements with optical signals depending on programs, the logic cell is reconfigured.例文帳に追加

このゲートアレイを再構成するに際し、チップ上に光メモリ３を配置し、この光メモリ３に光を照射して、受光素子のそれぞれにプログラムに応じた光信号を同時に照射することにより、ロジックセルを再構成する。 - 特許庁

The user inputs programs for I/O control logic and arithmetic functions into the I/O unit 20 to establish user's original operation mode for the unit and customize the system to optimum condition for the control targets and control system.例文帳に追加

ユーザはＩ／Ｏユニット２０に対してＩ／Ｏ制御ロジック、演算処理のためのプログラムを入力してユーザオリジナルのユニット動作モードを作り上げ、制御対象、制御方式に最適な状態にカスタマイズして使用できるようにする。 - 特許庁

The compression/coding means and the transmission/ coding means provided within the picture transmission unit 200-1 each has a rewritable nonvolatile memory for storing programs with procedures corresponding to the coding format and the communication protocol respectively, a digital signal processor which executes signal processing according to the program stored in the memory, and a field programmable logic array which executes logical operation according to set logic conditions.例文帳に追加

映像伝送ユニット２００−１内に設けられる画像圧縮符号化手段と伝送符号化手段は、例えば、書き換え可能な不揮発性メモリに格納されたプログラムによって信号処理を行うディジタル信号プロセッサと、設定された論理条件で演算処理を行うフィールド・プログラマブル・ロジック・アレイとで構成されている。 - 特許庁

One program is selected from among the plural programs by performing logical operation between the noticing information and the information of interest outputted from each of the information decoder 3 and control information to output the program is outputted by a selection logic circuit 4.例文帳に追加

選択論理回路４では、注目情報と各情報デコーダ３から出力された注目情報とを論理演算して、複数番組から一つの番組を選択し、この番組を出力させるための制御情報を出力する。 - 特許庁

The programmable logic IC 31 switches a set of programs to be read, on the other hand, in accordance with displaying a television broadcast, a desktop picture from a computer or image data from a memory card 15 on the display 13.例文帳に追加

一方、プログラマブルロジックＩＣ３１は、ディスプレイ１３がテレビジョン放送を表示するか、コンピュータからのデスクトップ画面を表示するか、あるいは、メモリカード１５からの画像データを表示するかに応じて、プログラムセットのいずれを読み込むかを切り換える。 - 特許庁

To provide a high-accuracy verification method by using a batch compare system, with which non-coincidence of compare in a RAM (cache/TLB) occurs only in he case of real non-coincidence occurrence (when the defect of logic to be verified is detected), for all verification programs.例文帳に追加

ＲＡＭ（キャッシュ・ＴＬＢ）のコンペア不一致の発生を真の不一致時（被検証論理の不良検出時）のみとした一括コンベア方式を、全ての検証プログラムにおいて使用することにより、高精度の検証方法を提供する。 - 特許庁

The functional components are formed by dividing a plurality of data procesisngs into common processing units and describing a processing logic extracted from the common processing units, a unit processing program is dynamically generated by the processing logic based on one or more functional components by the client terminal or a processing server (309 and one or more generated unit processing programs are carried out according to conditions based on the setting information.例文帳に追加

機能部品は複数のデータ処理を共通の単位処理に分割しそこから抽出した処理ロジックを記述したものであって、クライアント端末又は処理サーバ(30)で１又は複数の機能部品に基づく処理ロジックによって単位処理プログラムを動的に生成し、生成された１又は複数の単位処理プログラムを設定情報に基づく条件に従って実行する。 - 特許庁

The current program logic circuit (220) programs the programmable current source (220) using some of the series of digital current values until a predetermined condition is satisfied, and then (ii) locks the programmable current source (212) to the newest value of the digital current values.例文帳に追加

電流プログラム論理回路(220)は、所定の条件が満たされるまで、前記一連のデジタル電流値のうちの幾つかを使用して前記プログラマブル電流源(220)をプログラムした後、(ii)前記プログラマブル電流源(212)を前記デジタル電流値のうちの最新の値にロックする。 - 特許庁

To emulate other microprocessors, by performing an instruction change without using other programs, changing an immediate value and an operation code simply without changing a program size, and changing the logic of an instruction interpretation and the interpretation of an instruction set easily.例文帳に追加

他のプログラムを使うことなく命令変更をすることができ、プログラムサイズを変更することなく簡単に即値やオペコードを変更させることができ、命令解釈の論理と命令セットの解釈を容易に変更できて、他のマイクロプロセッサをエミュレーションすることができるようにする。 - 特許庁

(1) A host computer 1 is a computer of a consultant supporting a pachinko slot machine parlor, stores arithmetic programs of various data and various types of logic values as well as basic specifications according to various game machine models such as the pachinko and the slot machine in management information database, and transmits necessary data to the side of a business computer 3 via Internet 2.例文帳に追加

ホストコンピュータ１は、パチンコ／スロットホールを支援するコンサルタントのコンピュータであり、パチンコ，スロット等の遊技用の各種機種別の基本スペックを初め、各種データ，各種理論値の演算プログラムを管理情報データベースに格納しており、必要なデータをインターネット２を介して業務用コンピュータ３側に送付する。 - 特許庁

A software part storing section 110 stores plural software parts 30, each of which includes a set of a GUI part 10 that displays a piece of predetermined display information on a display device and a logic flow 20 prescribing execution order of a series of programs which is executed when a piece of display information for displaying the GUI part 10 is operated.例文帳に追加

ソフトウェア部品記憶部１１０は、表示装置に所定の表示情報を表示するＧＵＩ部品１０と、ＧＵＩ部品１０が表示する表示情報が操作された場合に動作する一連のプログラムの実行順序が規定されたロジックフロー２０との組を１つのソフトウェア部品３０として、複数のソフトウェア部品３０を記憶する。 - 特許庁

(iii) The technology (excluding programs) necessary for the design or manufacture of, among microprocessors, microcomputers, or microcontrollers, wherein the bit count of the access width of logic-operations is 32 or more, those having a composite theoretical performance of 530 Mtops per second or more (depending on the types listed in the middle column in the appended table 1, the performance of each shall be listed in the right column of the same table). However, among integrated circuits that fall under any of Article 6, item (i), (c) through (k), the technology necessary for the design or manufacture of those that fall under the following (a) and (b) shall be excluded. 例文帳に追加

三　マイクロプロセッサ、マイクロコンピュータ又はマイクロコントローラであって、論理演算ユニットのアクセス幅のビット数が三十二以上のもののうち、複合理論性能（別表第一の中欄に掲げるものの種類に応じて、それぞれ同表の下欄に掲げるものとする。）が一秒につき五三〇メガ演算以上のものの設計又は製造に必要な技術（プログラムを除く。）。ただし、第六条第一号ハからルまでのいずれかに該当する集積回路のうち、次のイ及びロに該当するものの設計又は製造に必要な技術を除く。 - 日本法令外国語訳データベースシステム

b) Microprocessors, microcomputers, microcontrollers, programmable ROM that can electronically delete programs (including flash memory), static RAM, and devices using storage elements that employ compound semiconductors, analog-to-digital converters, digital-to-analog converters, electro-optical integrated circuits or optical integrated circuits used for signal processing, field programmable logic devices, those using neural networks, custom integrated circuits (excluding those for which it is possible to determine whether or not they are goods that fall under any of (c) through (h), or (k), or those for which it is possible to determine whether or not they are goods falling under any of the goods in the middle column of rows 5 through 15 of the appended table 1 of the Export Order; hereinafter the same shall apply in this Article) or FFT processors that fall under any of the following categories (excluding those designed for use in other goods 例文帳に追加

ロ　マイクロプロセッサ、マイクロコンピュータ、マイクロコントローラ、プログラムを電気的に消去することができるプログラマブルロム（フラッシュメモリーを含む。）、スタティック式のラム、化合物半導体を用いた記憶素子用のもの、アナログデジタル変換用のもの、デジタルアナログ変換用のもの、信号処理用の電気光学的集積回路若しくは光集積回路、フィールドプログラマブルロジックデバイス、ニューラルネットワークを用いたもの、カスタム集積回路（ハからチまでのいずれか若しくはルに該当する貨物であるかどうかの判断をすることができるもの又は輸出令別表第一の五から一五までの項の中欄のいずれかに該当する貨物に使用するように設計したものであるかどうかの判断をすることができるものを除く。以下この条において同じ。）又はＦＦＴプロセッサであって、次のいずれかに該当するもの（他の貨物に使用するように設計したものを除く。） - 日本法令外国語訳データベースシステム