代數術二十五卷 京都大學人文科學研究所所藏