Earthquake Research Institute, the University of Tokyo