30年くらい前の、まだ理学部数学科だったころの話