応用数理モデル(連携ユニット)|京都大学 情報学研究科 情報学専攻 数理工学コース(連携ユニット)|研究室口コミアプリ「ラボログ」