小林って大学で数学やってたんだっけ