アラン・コンヌって数学界最高の頭脳なんだろ?