研究

  • 専門は数値解析です。 関数解析や複素関数論などの数学理論を駆使することにより、数値計算手法の誤差評価や信頼性評価を行ったり、 効率の良い数値計算手法を開発したりすることに興味があります。
  • 精度保証付き数値計算にも興味があります。 計算機上で離散化誤差や丸め誤差を全て考慮したうえで写像の縮小性を証明することにより、 計算機を用いた関数方程式の解の存在証明や一意性の証明が可能です。
  • 一橋大学の広報誌「HQ」に、精度保証付き数値計算を用いた水面波方程式の解の一意性の証明について書きました。興味のある方はこちらをご覧ください。

経歴

    学歴
    • 1994年3月31日　私立東大寺学園高等学校 卒業
    • 1994年4月 1日　京都大学 理学部 入学
    • 1998年3月24日　同上卒業（数学系）
    • 1998年4月 1日　京都大学 大学院理学研究科 数学・数理解析専攻 数理解析系修士課程入学
    • 2000年3月23日　同上修了
    • 2000年4月 1日　京都大学 大学院理学研究科 数学・数理解析専攻 数理解析系博士後期課程進学
    • 2003年3月24日　同上修了　博士（理学）の学位取得（指導教官 岡本久教授）
    職歴（本務）
    • 2001年4月1日～2003年3月31日　日本学術振興会 特別研究員（DC2）（研究機関 京都大学 理学研究科）
    • 2003年4月1日～2006年3月31日　日本学術振興会 特別研究員（PD）（研究機関 九州大学 数理学研究院）
    • 2006年4月1日～2007年4月30日　九州大学 数理学研究院 21世紀COEプログラム 博士研究員
    • 2007年5月1日～2008年3月31日　金沢大学 自然科学研究科 数物科学専攻 数学講座 准教授
    • 2008年4月1日～2011年3月31日　金沢大学 理工研究域 数物科学系 准教授（配置換）
    • 2011年4月1日～2017年3月31日　一橋大学 商学研究科 准教授
    • 2017年4月1日～現在に至る　一橋大学 商学研究科 教授
    職歴（非常勤講師）
    • 2011年10月1日～2012年3月31日　愛媛大学理学部 非常勤講師
        • 2011年12月23日～26日 「有限要素法と精度保証付き数値計算入門」について集中講義を行う（科目名：数学特別講義・応用数学特別講義Ｉ）
    • 2013年10月1日～2014年3月31日　東京大学大学院 数理科学研究科 非常勤講師
        • 2014年1月20日～24日 「有限要素法の誤差解析と精度保証付き数値計算」について集中講義を行う（科目名：応用数理特別講義Ⅲ）
    • 2014年10月1日～2014年3月31日　電気通信大学 情報理工学部 情報・通信工学科 非常勤講師
        • 2014年後期に数値解析に関する講義を行う（科目名：数値計算）
    • 2014年10月1日～現在に至る　中央大学 理工学部 経営システム工学科 兼任講師
        • 2014年後期および2015年後期に数値解析に関する講義を行う（科目名：数値解析）
    • 2015年4月1日～2016年9月30日　津田塾大学 情報科学科 および 理学研究科 情報科学専攻 非常勤講師
        • 2015年前期に数値解析に関する講義を行う（科目名：数理科学特論Ａ・数学特論IＡ）
    地域活動
    • 2012年4月1日～現在に至る　東京都国立市消防団 第六分団 団員
    Unofficialな経歴はこちら

学位

    2000年3月　修士（理学）　京都大学
    • 論文題名 ： いくつかの非線型問題に対する高速・高精度数値計算について
    • 指導教官 ： 岡本久教授
    2003年3月　博士（理学）　京都大学
    • 論文題名 ： Numerical verification of the global uniqueness of a positive solution for Nekrasov's equation
    • 指導教官 ： 岡本久教授

学会活動

    所属学会
    • 日本応用数理学会
    • 日本数学会
    運営関係
    • 2011年6月15日～
        一橋大学数理科学セミナー幹事
    • 2012年10月1日～2014年9月30日
        日本数学会応用数学分科会委員
    編集関係
    • 2011年4月1日～2013年3月31日
        日本応用数理学会 "JSIAM Letters" 編集委員
    • 2011年4月1日～2014年3月31日
        日本応用数理学会 「応用数理」編集委員
    • 2012年4月11日～2012年12月31日
        電子情報通信学会 "Special Section on Bifurcations" 英文論文小特集編集委員会 編集幹事
    • 2013年4月12日～2013年12月31日
        電子情報通信学会 "Special Section on Recent Progress in Verified Numerical Computations" 英文論文小特集編集委員会 編集幹事
    開催関係
    • 2004年10月4日～10月8日
        11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2004) 実行委員
    • 2008年2月7日～2月8日
        北陸応用数理研究会2008 実行委員
    • 2009年2月12日～2月14日
        北陸応用数理研究会2009 実行委員
    • 2010年2月12日～2月13日
        北陸応用数理研究会2010 実行委員
    • 2011年10月25日～10月27日
        RIMS研究集会「科学技術計算における理論と応用の新展開」 研究提案者
    • 2014年2月5日
        一橋大学 "Kunitachi One-Day Symposium on Applied Mathematics and Related Topics" 幹事
    • 2016年2月6日
        一橋大学 "Kunitachi One-Day Symposium on the Recent Developments in the Mathematical Science" 幹事

貢献活動

    地域貢献
    • 石川県立七尾高校SSH課題研究発表会アドバイザー, 2007/11/19.
    • 石川県立金沢錦丘中学・高校SPPプロジェクト出張講義, 2008/11/3.
    • 筑波大学付属駒場中・高等学校SSH数学特別講座 講師, 2014/1/11.
    教育貢献
    • 2009年度 教員免許状更新講習 講師
    • 2010年度 教員免許状更新講習 講師

資格

  • 普通自動車免許
  • 普通自動二輪免許
  • 小型移動式クレーン運転技能講習修了
  • 玉掛け技能講習修了
  • 日商簿記２級
  • 普通救命講習受講
  • 宅地建物取引主任者試験合格