九州大学 研究者情報
研究者情報 (研究者の方へ)入力に際してお困りですか?
基本情報 研究活動 教育活動 社会活動
渡部 善隆(わたなべ よしたか) データ更新日:2018.06.28



大学院(学府)担当

学部担当

工学部 機械航空工学科 航空宇宙コース


電子メール
ホームページ
http://ri2t.kyushu-u.ac.jp/~watanabe/
研究・教育業績,講義資料などのwebサイト .
取得学位
博士(数理学)
専門分野
数値解析
活動概要
「精度保証付き数値計算」とは,数理科学上に現れる関数方程式の解を,その存在証明
および誤差評価込みで数値的に厳密に捉えようという方法です.

自然界のモデルから導かれる関数方程式の解を数値計算によって近似的に求める場合,
離散化による誤差に加えて,計算機による丸め誤差が発生します.
「精度保証付き数値計算」はこれら二つの誤差を厳密に評価することによって数値計算
の信頼性を保証します.
また,この方法は理論的に解の存在証明が困難な解析学の問題に対するアプローチとし
ても重要であると考えます.

現在は,有限要素法とその誤差評価をもとに,非線形偏微分方程式,特にNavier-Stokes方程式に対する解の存在の数値的検証法の研究を進めています.

また,センターの全国共同利用計算機システムとして公開されている最新の
ハイパフォーマンスコンピュータ上で動作する数値計算プログラムライブラリの研究開発,
性能評価などを行なっています.

教育・広報活動としては,プログラム言語,アプリケーションライブラリの利用方法に関
する解説記事の執筆,利用の手引の作成,講習会の講師,プログラム相談,プログラムラ
イブラリ開発の支援等を担当しています.

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
 
 
九州大学知的財産本部「九州大学Seeds集」