数学オリンピックにでたことのある有名人って誰かいるの?