井礦工程三卷 京都大學人文科學研究所所藏