| 渡部 善隆（わたなべ よしたか） | データ更新日：2024.04.17 |
大学院(学府)担当
学部担当
その他の教育研究施設名
電子メール ＊Internet Explorerではメールアドレスが表示されないため、他のWebブラウザ（Chrome、Safari等）をご利用ください。
ホームページ
https://kyushu-u.elsevierpure.com/ja/persons/yoshitaka-watanabe
研究者プロファイリングツール 九州大学Pure
http://ri2t.kyushu-u.ac.jp/~watanabe/
研究・教育業績，講義資料などのwebサイト .
取得学位
博士（数理学）
学位取得区分(国外)
なし
専門分野
数値解析
外国での教育研究期間(通算)
00ヶ年00ヶ月
活動概要
「精度保証付き数値計算」とは，数理科学上に現れる関数方程式の解を，その存在証明
および誤差評価込みで数値的に厳密に捉えようという方法です．
自然界のモデルから導かれる関数方程式の解を数値計算によって近似的に求める場合，
離散化による誤差に加えて，計算機による丸め誤差が発生します．
「精度保証付き数値計算」はこれら二つの誤差を厳密に評価することによって数値計算
の信頼性を保証します．
また，この方法は理論的に解の存在証明が困難な解析学の問題に対するアプローチとし
ても重要であると考えます．
現在は，有限要素法とその誤差評価をもとに，非線形偏微分方程式，特にNavier-Stokes方程式に対する解の存在の数値的検証法の研究を進めています．
また，センターの全国共同利用計算機システムとして公開されている最新の
ハイパフォーマンスコンピュータ上で動作する数値計算プログラムライブラリの研究開発，
性能評価などを行なっています．
教育・広報活動としては，プログラム言語，アプリケーションライブラリの利用方法に関
する解説記事の執筆，利用の手引の作成，講習会の講師，プログラム相談，プログラムラ
イブラリ開発の支援等を担当しています．
および誤差評価込みで数値的に厳密に捉えようという方法です．
自然界のモデルから導かれる関数方程式の解を数値計算によって近似的に求める場合，
離散化による誤差に加えて，計算機による丸め誤差が発生します．
「精度保証付き数値計算」はこれら二つの誤差を厳密に評価することによって数値計算
の信頼性を保証します．
また，この方法は理論的に解の存在証明が困難な解析学の問題に対するアプローチとし
ても重要であると考えます．
現在は，有限要素法とその誤差評価をもとに，非線形偏微分方程式，特にNavier-Stokes方程式に対する解の存在の数値的検証法の研究を進めています．
また，センターの全国共同利用計算機システムとして公開されている最新の
ハイパフォーマンスコンピュータ上で動作する数値計算プログラムライブラリの研究開発，
性能評価などを行なっています．
教育・広報活動としては，プログラム言語，アプリケーションライブラリの利用方法に関
する解説記事の執筆，利用の手引の作成，講習会の講師，プログラム相談，プログラムラ
イブラリ開発の支援等を担当しています．
本データベースの内容を無断転載することを禁止します。