東京大学総合研究博物館所蔵平林武収集鉱山資料目録 = Catalogue of documents on Japanese mines of Takeshi Hirabayasi's collections in the University Museum, the University of Tokyo