>>182
>アカデミックハラスメント問題が数年前から起きていて
>メンヘラが次々と犠牲者を出す状況が目の前にあったので、
>誘われた研究室は断り専攻を変えて、
>アカデミックハラスメント問題を影の主専攻にした

そうですか　
ま、結果的には情報科学を専攻しなくて
よかったんじゃないですか？
型理論とかもう古典芸能でしょう
数学関係ではHoTTとかリバイバルヒットしてるみたいですけど
正直どこまで研究進んでるのか知りません