寺尾聰は数学者ではないなw