オコンコフ？　ウェルナー？
聞いたことのない名前だな。タオとペレルマンは知ってるけど。