金メダリスト、本業が別にあるどころかバリバリの数学研究者なのすごいな