荒俣先生は数学者だっけ