応用数学(応用力学系、非線型解析、精度保証付き数値計算)(宮路 智行) 研究室|京都大学 理学部 理学科|研究室口コミアプリ「ラボログ」