野依先生の数学力ってどの程度なんだ?