Hanai, Tetsuro, University of Tokyo