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

A model verification execution part 30 executes Spin with the model verification code as input, and acquires data indicating a counter example of the specification of the system as a verification result (the counter example).例文帳に追加

モデル検証実行部３０は、モデル検証コードを入力としてＳｐｉｎを実行し、当該システムの仕様の反例を示すデータを検証結果（反例）として取得する。 - 特許庁

For example, when the counter value becomes a reference value not more than the target multiplication number (e.g. counter value zero), the section 15 permits to change the multiplication number.例文帳に追加

例えば、カウンタ値が目標逓倍数以下の基準値（例えば、カウンタ値０）になったときに、逓倍数の変更を許可する。 - 特許庁

The counter electrodes are formed, example, with silver and substrates having a light scattering property are arranged at the back of the display electrodes and the counter electrodes.例文帳に追加

対極は、例えば銀により形成し、表示電極及び対極の背後には光散乱性の基板を配置する。 - 特許庁

The CPU 3 has a function of a word counter, manages a character header and every small unit (for example, a word) within a character information unit by a counter and specifies the information indicated by a pointer.例文帳に追加

ＣＰＵ３はワードカウンタ（word counter）の機能を備え、文字ヘッダと文字情報単位内の小単位（例えば単語）毎をカウンタにて管理し、ポインターが指している情報を特定する。 - 特許庁

After this, a subtraction value (for example, "1") is subtracted from a counter value in each game.例文帳に追加

この後、遊技が行われる毎にカウンタの値から減算値（例えば「１」）が減算される。 - 特許庁

To facilitate managing of information (for example, counter information) which a device such as a printing device has.例文帳に追加

印刷装置等の装置が保持する情報（例えば、カウンタ情報）の管理を容易にする。 - 特許庁

A transmitter 1 transmits control signals including counter codes, for example, in three increments.例文帳に追加

送信機１は、例えば３ずつ増加するカウンタコードを含んだ操作信号を送信する。 - 特許庁

For example, the liquid crystal LC is arranged between a pixel substrate 10 and a counter substrate 12.例文帳に追加

例えば、画素基板１０と、対極基板１２の間に液晶ＬＣを配置する。 - 特許庁

Then, every time a game is played, a subtraction value (for example, "1") is subtracted from a counter value.例文帳に追加

この後、遊技が行われる毎にカウンタの値から減算値（例えば「１」）が減算される。 - 特許庁

For example, CLK-B is connected to the reset terminal R of the counter A, and CLK-A is connected to the reset terminal R of the counter B.例文帳に追加

例えば、カウンタＡのリセット端子Ｒには、ＣＬＫ−Ｂを接続し、カウンタＢのリセット端子Ｒには、ＣＬＫ−Ａを接続する。 - 特許庁

Grasping of the state of variation of the electrified amount can be carried out, for example, by a mechanical counter or an electronic counter integrated to a device main body or a counter for passed number of pages of an image forming unit.例文帳に追加

帯電量の変化状況の把握は、例えば、装置本体に内蔵されたメカカウンタもしくは電子カウンタ、または作像ユニットの通紙枚数カウンタで行うことができる。 - 特許庁

When the count value of the electronic counter exceeds a numerical value (zero, for example) which is previously decided, the mechanical counter 6 is caused to execute the count-up operation.例文帳に追加

例えば、電子カウンタのカウント値が予め定められた数値（例えばゼロ）を越えた時に、メカニカルカウンタ６にカウントアップ動作を行なわせる。 - 特許庁

The patient receiving the photograph/barcode sheet 2A moves to the reception counter, for example, and presents the sheet to a clerk in the reception counter together with a health insurance certificate or the like.例文帳に追加

写真／バーコードシート２Ａを受け取った患者は、例えば、受付に移動し、保険証等とともに、受付内の事務員に提出する。 - 特許庁

The counter stores an initial value (for example, "0") until a watermelon is won and when the watermelon is won, a reference value (for example, "100") is set.例文帳に追加

カウンタには、スイカが入賞するまでは初期値（例えば、「０」）が記憶されており、スイカが入賞すると基準値（例えば「１００」）がセットされる。 - 特許庁

The counter stores an initial value (for example, "0") until a watermelon wins, and sets a reference value (for example "100") when the watermelon wins.例文帳に追加

カウンタには、スイカが入賞するまでは初期値（例えば、「０」）が記憶されており、スイカが入賞すると基準値（例えば「１００」）がセットされる。 - 特許庁

From this perspective, whether the currency-related over-the-counter derivatives business operator has developed an adequate control environment for risk management, including the following issues for example. 例文帳に追加

こうしたことから、例えば以下のような点を含め、十分なリスク管理態勢を構築しているか。 - 金融庁

In this case, when a frequency adjustment signal 109 is, for example, n, the cycle of an operation counter 106A is adjusted by adding n to a value to be set in the operation counter 106A.例文帳に追加

この際、周波数調整信号１０９が、たとえばｎであれば動作カウンタ１０６Ａにセットする値にｎを加減して、動作カウンタ１０６Ａの周期を調整する。 - 特許庁

There is a neutron detector 20, which, for example, is a proportional counter tube that detects thermal neutrons.例文帳に追加

中性子検出器２０は例えば比例計数管などによって構成され、それにより熱中性子が検出される。 - 特許庁

To provide a kitchen unit capable of securing adequate illuminance, for example, on a counter where work is performed most frequently.例文帳に追加

たとえば作業をする機会が最も多いカウンター上において十分な照度を確保することのできるシステムキッチン。 - 特許庁

Then the CPU 11 notifies the read counted value and information on the counter, for example a counter number to a gas company by e-mail through a communication interface 2, router 6, and an Internet network.例文帳に追加

この後、ＣＰＵ１１は、読み取った計数値とカウンタの情報、例えば、カウンタ番号を電子メールにより通信インターフェース２、ルータ６、インターネット網を介してガス会社に通知する。 - 特許庁

The part measured using the particle counter can substantially become, for example, the whole surface of the substrate.例文帳に追加

パーチクルカウンターを使用して測定される部分は、例えば実質的に基板表面全体となることができるところが特徴である。 - 特許庁

When the counter value of the termination condition counter reaches a threshold value (0, for example), the game machine terminates the output of the specific game section notification signal to the external device when the assist-time mode ends.例文帳に追加

そして終了条件カウンタのカウンタ値がしきい値（例えば、０）に達すると、アシストタイム状態の終了に伴い特定遊技区間通知信号の外部装置への出力を終了する。 - 特許庁

When the pallet 1 is used, for example, the pallet 1 is set in the container at a position where the outer edge 27a is counter to a side wall of the container.例文帳に追加

使用時には、例えば外縁２７ａがコンテナの側壁と対向するように重量物用パレット１をコンテナ内に配置する。 - 特許庁

For example, the inclination of a reference signal Vslop is doubled with respect to the preceding inclination at a point R (t21), and the frequency division speed of the counter is doubled.例文帳に追加

たとえば、点Ｒ（ｔ２１）で、参照信号Ｖslopの傾きをそれ以前に対して２倍にするとともに、カウンタの分周速度を２倍にする。 - 特許庁

An example RFOG (100) includes a closed-coil resonator (102), where counter-propagating laser beams are done by fiber couplers (110, 112 and 114).例文帳に追加

一例のＲＦＯＧ（１００）は、対向伝搬レーザビームがファイバカプラ（１１０、１１２、１１４）によって行われる閉コイル共振器（１０２）を含む。 - 特許庁

Such footwear is manufactured for example by the step of making the notched portion in the upper part of the counter on the heel side of an existing footwear and the step of setting, on the counter, the adjustment strap that adjusts the interval of the notched portion.例文帳に追加

このような履物は、例えば、既存の履物の踵側のカウンターの上部に切り欠き部を設ける工程と、切り欠き部の間隔を調整する調整ベルトを、カウンターに設ける工程とによって、製造される。 - 特許庁

For example, a coil 102 and a counter electrode 103 are installed outside of the water pipe 101 of a water channel, and a voltage having a specific frequency is supplied to the counter electrode 103 from a power source 104 for an electric field.例文帳に追加

例えば水流路の通水管１０１の外側にコイル１０２および対電極１０３が設けられ、電場用電源１０４から特定の周波数を有する電圧が対電極１０３に供給される。 - 特許庁

A data of, for example, a big hit corresponding to a counted number (a random number) in a random number counter 14 is saved in an address which a random number of a comparing ROM 17 previously indicates.例文帳に追加

乱数カウンタ１４のカウント値（乱数値）に対する大当たり等のデータを、予め比較ＲＯＭ１７の乱数値が示すアドレスに記憶しておく。 - 特許庁

This management data includes, for example, status information in the program, flag information at an error occurring time, various type storage data or a program counter and the like.例文帳に追加

この管理データは、例えば、プログラム中のステータス情報、エラー発生時のフラグ情報、各種蓄積データ、あるいはプログラムカウンタなどによって構成される。 - 特許庁

As a counter C is subtracted to zero, the purge rate is increased by 0.1%, for example, for every specified time, so it is gradually and speedily increased to a target purge rate.例文帳に追加

そして、カウンターＣを減算し、０になると、所定時間毎にパージ率を例えば０．１％ずつ増やし、目標パージ率まで速やかに漸増させる。 - 特許庁

To provide a tilt or turn positioning means having a tilt element 10 and a counter bearing element 40, for example, a positioning means for a servo tab of a rotor blade.例文帳に追加

傾動エレメント（１０）とカウンタベアリングエレメント（４０）とを持つ傾動または旋回位置決め手段、例えばロータブレードのサーボタブ用の同位置決め手段を提供する。 - 特許庁

To prepare demand data for a credit company allowing setting of a plurality of credit fees for, for example, every counter unit for one member store.例文帳に追加

１つの加盟店に対してクレジット手数料を例えば売場単位に複数設定することが可能なクレジット会社への請求データを作成する。 - 特許庁

An example of DCB includes a counter 312 for counting the number of medium loading times, medium formatting control information 314-320 and information such as output calibration information.例文帳に追加

DCBの一例は、媒体ロード回数をカウントするカウンタ(312)、媒体フォーマットのための制御情報(314〜320)、及び出力較正情報等の情報を含む。 - 特許庁

A second counter value M is calculated by adding 3 when the average angular velocity 'ASMAV(deg/s)' is, for example, equal to or less than -3000(deg/s), and subtracting 1 when the average angular velocity 'ASMAV(deg/s)' is larger than -3000 with a minus counter.例文帳に追加

マイナスカウンターでは、前記平均角速度「ＡＳＭＡＶ（ｄｅｇ／ｓ）」が、例えば、−３０００（ｄｅｇ／ｓ）以下であるときに、３を加算するとともに−３０００よりも大きいとき、１を減算して第２のカウンター値Ｍを求める。 - 特許庁

Even in cases where (3) and (4) above do not apply, whether the over-the-counter derivatives business operator pays attention to the following points when conducting over-the-counter derivative transactions of currency options or interest rate swaps, for example. 例文帳に追加

任に係る留意事項 上記（３）・（４）に該当しない場合でも、店頭デリバティブ取引業者が、例えば通貨オプション取引・金利スワップ取引等の店頭デリバティブ取引を行うときには、以下のような点に留意しているか。 - 金融庁

(i)Whether the over-the-counter derivatives business operator provides full and appropriate explanations about the descriptions and risks of the said over-the-counter derivative transactions, including on the following issues for example, using such methods as issuing a document which gives specific and easy-to-understand explanations. 例文帳に追加

① 当該店頭デリバティブ取引の商品内容やリスクについて、例えば、以下のような点を含め、具体的に分かりやすい形で解説した書面を交付する等の方法により、適切かつ十分な説明をしているか。 - 金融庁

A variable capacitor X1 comprises, for example, a fixed electrode 12 having a counter surface 12a and a movable electrode 13 which comprises a surface 13a opposite to the counter surface 12a and comprises a part bent so as to protrude to the side of the fixed electrode 12, and a dielectric pattern 14 provided on the counter surface 12a.例文帳に追加

本発明の可変キャパシタＸ１は、例えば、対向面１２ａを有する固定電極１２と、対向面１２ａに対向する対向面１３ａを有し且つ固定電極１２の側に突き出るように湾曲している部位を有する可動電極１３と、対向面１２ａに設けられた誘電体パターン１４とを備える。 - 特許庁

(ii) Whether the over-the-counter derivatives business operator provides full and appropriate explanations about the premature cancellation of the said over-the-counter derivative transactions and the resultant settlement money, including on the following issues for example, using such methods as issuing a document which gives specific and easy-to-understand explanations. 例文帳に追加

② 当該店頭デリバティブ取引の中途解約及び解約清算金について、例えば、以下のような点を含め、具体的に分かりやすい形で解説した書面を交付する等の方法により、適切かつ十分な説明をしているか。 - 金融庁

Then, a key name display means extracts a key name of the remote controller corresponding to "3" of the counter value, for example "SEARCH key" from a table, and display it in a display means.例文帳に追加

そして、キー名称表示手段は、カウンタ値が「３」に対応するリモコンのキー名称、例えば「ＳＥＡＲＣＨキー」をテーブルより抽出し、表示手段に表示させる。 - 特許庁

For example, the L type sink 13 is incorporated into the opening end of a slender counter 12 arranged so that the front edge, the rear edge and at least one end are opened.例文帳に追加

例えば、Ｌ型シンク１３は、前縁及び後縁と少なくとも一方の端部が開放するように設置された細長いカウンター１２の開放した端部に組み込まれる。 - 特許庁

To improve convenience on handover/payment of commodities, for example, at a drive-through counter by allowing an orderer to receive service ordered at an arbitrary place.例文帳に追加

注文者が任意の場所において注文したサービスを受けることができるようにし、例えば、ドライブスルーでの商品の受け渡し・決済について利便性を向上させる。 - 特許庁

When the number of times of abnormality at an abnormality counter 308 reaches the number of prescribed times (for example, three times in five minutes) within a prescribed time, the output level of an amplifier 304 is lowered.例文帳に追加

所定時間内に異常カウンタ３０８の異常回数が所定回数（例えば、５分間に３回）に達した場合には、アンプ３０４の出力レベルを低下させている。 - 特許庁

A phase difference compensation plate which is essential to the OCB mode is used even as a counter substrate 4 to reduce the thickness and weight by the quantities of a glass substrate of a conventional example.例文帳に追加

また、ＯＣＢモードでは必須であった位相差補償板を対向基板４と兼用することで従来例のガラス基板の分だけ薄型化、軽量化が実現できる。 - 特許庁

When performing centrifugal treatment, an operation time selection button 312 and a temperature selection button 313 of the operation display section 3, for example, are simultaneously pushed to make the counter 4 in an operation state.例文帳に追加

遠心処理を行う際には、例えば操作表示部３の運転時間選択ボタン３１２と温度選択ボタン３１３を同時に押し、カウンタ４を動作状態にする。 - 特許庁

The sub CPU 120a updates a counting counter when receiving the gate passing designating command while it is in non-reduced time game playing state, and when the counting counter shows more than the predetermined number of times (for example, 3 times or more) the sub CPU 120a gives information to shoot from the left (information to tell "please return to left handed shooting").例文帳に追加

サブＣＰＵ１２０ａは、非時短遊技状態においてゲート通過指定コマンドを受信すると計数カウンタを更新し、計数カウンタが所定回数以上（例えば３回以上）になると、左打ちの報知（「左打ちに戻して下さい」の報知）を行う。 - 特許庁