数学板で「爺」という言葉を使ってるのって全部同じ人だよね?