春から夏にかけて質雑スレ荒らしてたのも本当にベクトル空間だったのか