量りょう化か

noun

quantification

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.