？？？「数学には型はありません」
え？＞＜； そうなんだ＞＜；
↓
別の人「型理論は数学の一分野で圏論の...」
最初の人嘘ついてた！＞＜＃
の時もさらに数学嫌いになった＞＜