Weblio 辞書 > 英和辞典・和英辞典 > Wiktionary英語版 > value restrictionの意味・解説

意味

例文 (304件)

value restrictionとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

Wiktionary英語版での「value restriction」の意味

value restriction

名詞

value restriction (uncountable)

(computer science, type theory) In a functional language, inference of a polymorphic type only for syntactic values (values that can be evaluated at compile time) to ensure that a program is type-safe.
- 2004, Jacques Garrigue, "Relaxing the Value Restriction"
  A typical example is an expression returning always the empty list. It should be given the polymorphic type α list, but this is not possible under the value restriction if the expression has to be evaluated.
- 2007, Geoffrey Smith, "Notes on SML97's Value Restriction"[1]
  It has been found empirically that eta expansion usually suffices for dealing with the value restriction.

出典元索引用語索引ランキング

「value restriction」の部分一致の例文検索結果

該当件数 : 304件

例文

In a restriction value storage part 2, a target delay value as a restriction value of delay time is determined in advance.例文帳に追加

予め、制約値格納部２に遅延時間の制約値である目標遅延値を定めておく。 - 特許庁

For a section for which a route satisfying a divided delay restriction value is not found, however the delay restriction value is changed into a delay restriction value of a section which satisfies the delay restriction value.例文帳に追加

ここで、分割された遅延制約値を満たす経路が見つからなかった区間については、遅延制約値を満たす区間から遅延制約値を分け与え、変更する。 - 特許庁

The use amount restriction value judgment processing part 151 compares a scheduled use amount with a restriction value to judge whether or not the scheduled use amount exceeds the restriction value.例文帳に追加

使用量制限値判定処理部１５１は、使用予定量と制限値とを比較し、使用予定量の制限値を超えるかどうかを判定する。 - 特許庁

Restriction is imposed so that no special value is used as the decoded value of the B frame.例文帳に追加

Ｂフレームのデコード値として特別値は使用しないように制限する。 - 特許庁

Then a route satisfying the changed delay restriction value is searched for again to find the route satisfying the delay restriction value.例文帳に追加

そして、その変更後の遅延制約値を満たす経路を再度探索し、遅延制約値を満たす経路を探索する。 - 特許庁

Trial operation is performed to set the restriction value of the cycle time of a moving body and the upper and lower limit values below the restriction value thereof.例文帳に追加

試行運転を実行し、移動体のサイクルタイムの制限値、制限値未満の上限値及び下限値を設定する。 - 特許庁

例文

When a restriction start value or higher is reached in a period of target power control of the entire system, a restriction period is started, and when a restriction release value or lower is attained, the restriction period is finished.例文帳に追加

システム全体の目標電力制御を行う期間の中で制限開始値以上になった場合に、制限期間を開始し、制限解除値以下になった場合に制限期間を終了する。 - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

「value restriction」の部分一致の例文検索結果

該当件数 : 304件

例文

A speed restriction part 13 restricts a speed to a prescribed value or less.例文帳に追加

速度制限部１３は、速度を所定値以下に制限する。 - 特許庁

To provide a novel rotary throttle valve type caburetor excellent in the durability without changing the fuel restriction value during the long-time operation, preventing the value from exceeding an exhaust gas restriction value.例文帳に追加

長期運転中に燃料規制値が変化せず、排気ガス規制値を超えない、耐久性に優れた新規なロータリ絞り弁式気化器を提供する。 - 特許庁

To provide a current restriction circuit for reducing a difference between the maximum value and the restriction value of current to be actually output.例文帳に追加

実際に出力する電流の最大値と電流の制限値との差をより小さくできる電流制限回路を提供する。 - 特許庁

A target VN opening base value in steady operation of the internal combustion engine is set to the minimum opening of a restriction 1, a restriction 2 and a restriction 5.例文帳に追加

内燃機関の定常運転時における目標VN開度基本値は、制限、制限および制限のうち最も開度の小さいものとする。 - 特許庁

In an operation restriction check device 1, a rolling restriction master 151 in a storage part 15 contains restriction conditions including restriction contents represented with a relation between a restriction content item using an operator corresponding to the restriction contents and a value of the restriction content item or combinations of the relations, and a restriction range in which the restriction contents are applied.例文帳に追加

操業制約チェック装置１において、記憶部１５内の圧延制約マスター１５１は、当該規制内容に応じた演算子を用いた規制内容項目とこの規制内容項目の値との関係またはこの関係の組み合わせによって表現された規制内容と、この規制内容を適用する規制範囲とを含む制約条件を記憶する。 - 特許庁

Further, a determination is performed as to whether the difference value exceeds a predetermined difference restriction value (S107).例文帳に追加

また、差分値が予め定めた差分制約値を超えているか否かを判定する（Ｓ１０７）。 - 特許庁

The setting section 220 sets a battery output restriction value Wout.例文帳に追加

設定部２２０は、バッテリ出力制限値Ｗｏｕｔを設定する。 - 特許庁

例文

First of all, the restriction value is set in the timer 2, and the measurement operation of the timer 2 is started from the restriction value, to thereby acquire a sufficient spare time until the measurement start value which is the most important value is set.例文帳に追加

まずタイマ２に制限値を設定し、この制限値からタイマ２の計測動作を開始させるため、最も重要な値である計測開始値を設定するまでに十分な時間的な余裕ができる。 - 特許庁

>>例文の一覧を見る

「value restriction」の意味に関連した用語

current-limiting

(Weblio例文辞書)

意味

例文 (304件)

英和辞書の「value restriction」の用語索引

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

Wiktionary

Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのvalue restriction (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

value restrictionとは 意味・読み方・使い方

Wiktionary英語版での「value restriction」の意味

value restriction

名詞

「value restriction」の部分一致の例文検索結果

「value restriction」の部分一致の例文検索結果

「value restriction」のお隣キーワード

value restrictionとは意味・読み方・使い方