应用数理研究部门(上田 福大) | 京都大学 数理解析研究所 应用数理研究部门 | 研究室评价应用 LabLog