出現するたびに悪口を言っている。https://m-hiyama.hatenablog.com/entry/2020/09/07/165418 蒸し返し： アドホック多相 vs パラメトリック多相 '∀'は、もともとは記号論理の全称限量子〈universal quantifier〉の記号です。僕は、ここに'∀'を使うのは好き…