もっちーの進んでいる道ってのは数論幾何の新しい分野が誕生しているってことなんだよね?