出典:Wiktionary
rewriting (countable かつ uncountable, 複数形 rewritings)
出典:Wikipedia
出典:『Wikipedia』 (2011/06/26 04:24 UTC 版)
In mathematics, computer science and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms. What is considered are rewriting systems (also known as rewrite systems or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.
「rewriting」は動詞「rewrite」の現在分詞です