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

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

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

The first embodiment includes: an image sensor (204) for capturing a dark image (234); a memory element (232) for storing the dark image (234); and a logic circuit (250) to assign a mathematical function (237) to the dark image (234).例文帳に追加

本発明の１実施形態は、ダークイメージ(234)を捕捉するためのイメージセンサ(204)、ダークイメージ(234)を格納するためのメモリ(232)素子、及び、ダークイメージ(234)に数学関数(237)を割り当てるための論理回路(250)を備える。 - 特許庁

Two kinds of yield ratio component which are failures of being randomly generated on the wafer caused by contamination and of being continuously generated caused by a process are calculated at a yield ratio component separating part, by a mathematical logic base by (n) times of an original chip area which integrates each adjacent (n) chips and by a yield ratio of the category map.例文帳に追加

歩留成分分離部は隣接するｎ個のチップ同士をまとめた元のｎ倍のチップ面積とカテゴリマップの歩留りから数学的な論理に基きウェハ上でランダムに発生する異物による不良と連続して発生するプロセスによる不良の２種類の歩留り成分を求める。 - 特許庁

The electrosurgery generating device has a control system formed with the array of logic gates programmed so as to execute mathematical algorithm for controlling at least one parameter of output power, output voltage, and output current of output electrosurgery signals by a closed loop responding to detected values of output voltage and output current.例文帳に追加

電気外科発生装置は、出力電圧および出力電流の検知した値に応答して、閉ループで出力電気外科信号の出力電力、出力電圧または出力電流の少なくとも１つのパラメータを規制するために数学的アルゴリズムを実行するようにプログラムされた論理ゲートのアレイで形成された制御システムを有する。 - 特許庁