教員一覧 宮島 信也

  • 情報

宮島 信也

みやじま しんや MIYAJIMA Shinya

教授 Professor

  • 数理・物理コース
  • [修]数理・物理コース
  • [博]自然・応用科学専攻

取得学位

  • 博士(情報科学)

専門

  • 行列解析 Matrix Analysis
  • 数値解析 Numerical Analysis
  • 数値計算 Numerical Computation

プロフィール

  • 早稲田大学大学院理工学研究科情報科学専攻博士後期課程修了 2005年3月
  • 早稲田大学理工学部情報学科助手 2003年4月1日~2006年3月31日
  • 早稲田大学理工学総合研究センター客員講師(専任扱い) 2006年4月1日~2007年8月31日
  • 岐阜大学工学部数理デザイン工学科准教授 2007年9月1日~2013年3月31日
  • 岐阜大学工学部電気電子・情報工学科准教授(改組による) 2013年4月1日~2016年3月31日
  • 岩手大学理工学部物理・材料理工学科教授 2016年4月1日~継続

私の研究内容

行列問題の解に対する数値的検証法

計算機を用いた数値計算では、その計算は正確には行われない。四則演算の結果はその都度有限桁に近似され、極限を含む無限演算は全て有限演算に近似される。計算結果から正しい結論を得るためには、計算結果の誤差評価を行って厳密解の存在範囲を確定する必要がある。計算機上でこれを行う手法が数値的検証法である。行列問題の解に対する新たな数値的検証法の構築が主な研究の興味である。

私の教育ポリシー

数理的基礎知識を「使える状態」にまで成熟させることを目指し、解法の知られていない現実問題の解決に挑戦できる人材の育成を行っている。