| 意味 | 例文 (1件) |
Loop variantとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
ウィキペディア英語版での「Loop variant」の意味 |
Loop variant
出典:『Wikipedia』 (2011/05/14 11:24 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
In computer science, a loop variant is a mathematical function defined on the state space of a computer program whose value is monotonically decreased with respect to a well-founded relation by the iteration of a while loop under some invariant conditions, thereby ensuring its termination. A loop variant whose range is restricted to the non-negative integers is also known as a bound function, because in this case it provides a trivial upper bound on the number of iterations of a loop before it terminates. In general, however, the smallest set sufficient to represent the range of any loop variant that might be useful in a termination proof is an ordinal number at least ω1CK, but no more than ω1.「Loop variant」の部分一致の例文検索結果
該当件数 : 1件
調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます！
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
|
| 意味 | 例文 (1件) |
Loop variantのページの著作権
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのLoop variant (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1employee
-
2use
-
3usually
-
4various
-
5house
-
6because
-
7services
-
8buyer
-
9confidential
-
10Australian
閲覧履歴
 | 「Loop variant」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
