量化
from
述語論理
quantification
量化子
を使った表現は、量化されている
よくわからんが、「全てのhogeについて、」とか言ってれば、それは量化したことになるらしい
量化することで意味を記号で記述できるようになるのが嬉しいのかな
mrsekut.icon
https://ja.wikipedia.org/wiki/量化
https://wiis.info/math/logic/predicate-logic/quantification/
https://github.com/shiatsumat/wiwinwlh-jp/blob/master/mds/量化.md
圏論とプログラミング
https://github.com/shiatsumat/wiwinwlh-jp/wiki/量化