宮島研究室

所在地

研究内容

• 数値線形代数
  
  
• 遅延微分方程式
  
  
• 精度保証付き数値計算
  
  
• 高精度計算アルゴリズム

構成員

指導教員

OB

2015年度卒業

2014年度修了

2014年度卒業

2013年度卒業

2012年度卒業

2011年度卒業

2011年度9月卒業

2009年度卒業

2008年度卒業

短期留学生 (2013年10月)

学生による学会発表

1. Shin Ito, Motohisa Hirano, Friction phase diagram of Frenkel-Kontorova atomistic model at elevated temperature, 41st Leeds-Lyon Symposium on Tribology, The University of Leeds, Leeds, UK, Poster P21, September 2014
   
   
2. 伊藤伸, 平野元久, Frenkel-Kontorova原子論的摩擦モデルの摩擦相図の温度上昇, トライボロジー会議2014春東京 講演予稿集, 国立オリンピック記念青少年総合センター (東京都渋谷区), pp. 157-158, 2014年5月

修士論文題目

2014年度

• 伊藤伸, 摩擦原子論モデルの動摩擦の解析
  
  
• 村瀬将規, 制約条件付き最小二乗問題の解に対する精度保証付き数値計算法

卒業論文題目

2015年度

• 青木一央, 多項式固有値問題の解に対する精度保証付き数値計算法
  
  
• 清水文心, 行列指数関数値に対する精度保証付き数値計算法
  
  
• 神保晃洋, 3M-methodを利用した複素行列積の包含の高速化

2014年度

• 山元寛之, 遅延微分方程式の解に対する精度保証付き数値計算法

2013年度

• 吉田大輔, Stein方程式の解に対する高速な精度保証付き数値計算法

2012年度

• 内田新太郎, 行列平方根に対する高速な精度保証付き数値計算法
  
  
• 村瀬将規, 悪条件最小二乗問題の解に対する精度保証付き数値計算法

2011年度

• 青山幸司, 最小二乗問題の解に対する精度保証付き数値計算法
  
  
• 高松和央, 実対称三重対角行列の特定の固有対に対する精度保証付き数値計算法
  
  
• 古澤賢, サッセンフェルトの判定条件の拡張とその応用

2010年度

• 堀江卓司, 行列のすべての固有値に対する精度保証付き数値計算法の性能比較

2009年度

• 渡邉雅俊, Vandermonde Systems の解に対する精度保証付き数値計算法

2008年度

• 林寛之, 実対称行列の特定の固有対の精度保証
  
  
• 干飯俊晴, Henon 写像の高精度計算

就職先

• 株式会社イマオコーポレーション
  
  
• 株式会社建設ドットウェブ
  
  
• 株式会社タマディック
  
  
• 株式会社テクノア
  
  
• 株式会社メイケイ
  
  
• 株式会社PAP
  
  
• 岐阜県高等学校教諭
  
  
• デンソーテクノ株式会社
  
  
• トヨタ車体株式会社

進学先

• 岐阜大学大学院 工学研究科 数理デザイン工学専攻
  
  
• 名古屋大学大学院 工学研究科 計算理工学専攻

教員採用試験合格者数