基礎数理研究部門(中山 昇)|京都大学 数理解析研究所 基礎数理研究部門|研究室口コミアプリ「ラボログ」