松本本で多様体の勉強をした経験のある人って数学者にいるのかな。