noun
Technical term used in logic, mathematics, and computer science to refer to the process of expressing something in numerical terms or applying quantifiers.
述語論理では、量化は「すべての」や「存在する」といった記号で表される。
In predicate logic, quantification is expressed with symbols like 'for all' and 'there exists'.
この研究では、リスクを量化して数値化する手法を提案している。
This research proposes a method to quantify and express risk numerically.