調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Wiktionary英語版
出典：Wiktionary
rippling
出典:『Wiktionary』 (2025/12/25 13:14 UTC 版)
形容詞
rippling (not comparable)
派生語
- ripplingly
- unrippling
名詞
rippling (plural ripplings)
ウィキペディア英語版
出典：Wikipedia
Rippling
出典:『Wikipedia』 (2010/08/09 08:14 UTC 版)
英語による解説
ウィキペディア英語版からの引用
- 引用
Rippling refers to a group of meta-level heuristics, developed primarily in the Mathematical Reasoning Group in the School of Informatics at the University of Edinburgh, and most commonly used to guide inductive proofs in automated theorem proving systems. Rippling may be viewed as a restricted form of rewrite system, where special object level annotations are used to ensure fertilization upon the completion of rewriting, with a measure decreasing requirement ensuring termination for any set of rewrite rules and expression.
Weblio例文辞書
「rippling」は動詞「ripple」の現在分詞です
全履歴クリア
| ・rippling | |
| ・Squad | |
| ・pinhead | |
| ・evil scheme | |
| ・alkaline | |
| ・satisfy | |
| ・disrecommend | |
| ・Ska | |
| ・einsteinium | |
| ・Whitehead |
単語帳に追加
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- All Rights Reserved, Copyright © Japan Science and Technology Agency
- Copyright (C) 2026 ライフサイエンス辞書プロジェクト
- 日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
- Copyright(C)2002-2026 National Institute of Information and Communications Technology. All Rights Reserved.
- Copyright © 2026 CJKI. All Rights Reserved
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのrippling (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
- Wikipedia
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのRippling (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
- CMUdict
- CMUdict is Copyright (C) 1993-2008 by Carnegie Mellon University.
