出典:Wiktionary
From redūcō (“bring back, restore”) + -tiō.
reductiō f (genitive reductiōnis); third declension
Third-declension noun.
| Case | Singular | Plural |
|---|---|---|
| Nominative | reductiō | reductiōnēs |
| Genitive | reductiōnis | reductiōnum |
| Dative | reductiōnī | reductiōnibus |
| Accusative | reductiōnem | reductiōnēs |
| Ablative | reductiōne | reductiōnibus |
| Vocative | reductiō | reductiōnēs |
出典:Wikipedia
出典:『Wikipedia』 (2011/02/24 20:01 UTC 版)
Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. Reductio and QuickCheck utilise a testing technique called Automated Specification-based Testing.