計算数理研究室 離散数理モデルによる現象の解析 福田 亜希子 数理科学 シミュレーション セルオートマトン 離散可積分系 離散力学系 差分方程式 数値線形代数 研究イメージ 社会 マルチ 基礎 取り組んでいるSDGs