トッモ「俺の数学が趣味なんだ」 ワイ(数学科)「無限次元ベクトルについて話そうや」