>>157
強いて言うなら集合論の範疇かな
学部時代にQPRとかを使ってごちゃごちゃ証明書かされたり
次元間の座標変換でひーひー言わされてたら既視感もってたかもw