数学オリンピックの英雄、山内淳生はどうなった?