数オリは経由してないけど灘2005神吉氏は数学者になってるのな