The University of Tokyo catalogue.