高安亮紀

筑波大学 システム情報系 助教

専門: 数値解析, 精度保証付き数値計算, 無限次元力学系

English page »



Responsive image

自己紹介

筑波大学システム情報系(大学院システム情報工学研究科リスク工学専攻,理工学群工学システム学類担当)の助教です. 私の主な研究テーマは微分方程式に対する解の精度保証付き数値計算ならびに数理モデルの信頼性検証です.


履歴

学歴
平成15年(2003)3月 千葉県立成東高等学校 卒業
平成16年(2004)4月 早稲田大学 教育学部 理学科 数学専修(現・教育学部 数学科) 入学
平成20年(2008)3月 同 卒業 学士(理学)
平成20年(2008)4月 早稲田大学 大学院基幹理工学研究科 数学応用数理専攻 修士課程 入学
平成22年(2010)3月 同 修了 修士(理学)
平成22年(2010)4月 早稲田大学 大学院基幹理工学研究科 数学応用数理専攻 博士後期課程 入学
平成24年(2012)3月 同 修了 博士(理学)

職歴
平成23年(2011)4月 日本学術振興会 特別研究員 DC2(〜平成24年3月)
平成24年(2012)4月 日本学術振興会 特別研究員 PD(〜平成25年3月)
平成24年(2012)4月 早稲田大学 非常勤講師(〜平成25年3月)
平成25年(2013)4月 早稲田大学 基幹理工学部 応用数理学科 助教(〜平成27年3月)
平成26年(2014)4月 芝浦工業大学 非常勤講師(〜平成28年3月)
平成27年(2015)4月 早稲田大学 理工学術院 総合研究所 次席研究員(〜平成28年3月)
平成28年(2016)4月 筑波大学 システム情報系 助教
平成30年(2018)10月 千葉大学 非常勤講師(〜平成31年2月)

受賞
令和2年(2020)4月 令和元年度システム情報系教育貢献賞
平成29年(2017)9月 日本応用数理学会2017年度年会 最優秀賞ポスター賞
平成28年(2016)10月 JSST 2016 Outstanding Presentation Award
平成28年(2016)6月 日本応用数理学会2015年度若手優秀講演賞
平成28年(2016)4月 第4回 WASEDA e-Teaching Award
平成23年(2011)10月 日本シミュレーション学会奨励賞
平成23年(2011)6月 EASIAM 2011 Student Paper Competition 3rd Prize

博士論文

Studies on verified computations for solutions to elliptic boundary value problems,
楕円型境界値問題の解の精度保証付き数値計算に関する研究, 早稲田大学, 2012 (PDF).


修士論文

微分方程式の境界値問題に対する精度保証付き数値計算法の研究,
Verified Numerical Computations for Boundary Value Problems of Differential Equations, 早稲田大学, 2010.


More profiles online

TRIOS | researchmap | Google Scholar | ResearchGate | KAKEN | MathSciNet