2ちゃん的には、神戸を代表する数学者は斎藤なのか…