研究者
J-GLOBAL ID：200901042789243762   更新日: 2024年04月12日

渡部 善隆

ワタナベ ヨシタカ | Watanabe Yoshitaka
所属機関・部署：
九州大学 情報基盤研究開発センター

九州大学 情報基盤研究開発センター について


ホームページURL (1件)： http://ri2t.kyushu-u.ac.jp/~watanabe/
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (32件)： 精度保証付き数値計算 ,  計算機援用証明 ,  有限要素法 ,  熱対流問題 ,  区間演算 ,  Navier-Stokes方程式 ,  対称性破壊分岐点 ,  非自己共役固有値問題 ,  陰関数定理 ,  固有値解析 ,  固有値問題 ,  Navier-Stotes方程式 ,  非線形偏微分方程式 ,  非線形解析 ,  非線形微分方程式 ,  Stokes方程式 ,  分岐点 ,  線形化作用素の可逆性 ,  無限次元Newton法 ,  Rayleigh-Benard対流 ,  固有値の除外 ,  非線形楕円型方程式 ,  応用数学 ,  逆問題 ,  Oberbeck-Boussinesq方程式 ,  微分方程式 ,  関数方程式論 ,  複素固有値問題 ,  精度保証 ,  解曲線の追跡 ,  計算数学 ,  Computer Mathematics
競争的資金等の研究課題 (21件)：
  • 2021 - 2025 3次元領域におけるレイノルズ数の大きい流れの計算機援用証明
  • 2021 - 2025 精度保証付き数値計算の前進---有限と無限をつなぐもの---
  • 2020 - 2024 新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展
  • 2016 - 2020 有限要素法に基づく精度保証付き数値計算の高度化に関する研究
  • 2015 - 2019 関数方程式に対する精度保証付き数値計算法の展開
全件表示
論文 (64件)：
  • Yoshitaka Watanabe, Tomoyuki Miyaji. Another computer-assisted proof of unimodality of solutions for Proudman-Johnson equation. Japan Journal of Industrial and Applied Mathematics. 2024
  • Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao. On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators. Acta Cybernetica. 2023. 26. 1. 71-82
  • Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao. Inclusion method of optimal constant with quadratic convergence for H10-projection error estimates and its applications. Journal of Computational and Applied Mathematics. 2023. 417. 114521-114521
  • Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao. Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces. JOURNAL OF SCIENTIFIC COMPUTING. 2023. 94. 2
  • Kenta Kobayashi, Yoshitaka Watanabe. Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem. JSIAM Letters. 2022. 14. 92-95
もっと見る
MISC (53件)：
もっと見る
書籍 (5件)：
  • Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
    Springer Singapore 2019
  • 応用数理ハンドブック
    朝倉書店 2013
  • Special Section on Recent Progress in Verified Numerical Computations
    Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1, pp. 1-110 2013
  • 日本シミュレーション学会編: シミュレーション辞典
    コロナ社 2012
  • 実例で学ぶ精度保証付き数値計算 : 理論と実装
    サイエンス社 2011
講演・口頭発表等 (232件)：
  • 無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算
    (日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178, 2024年3月17日~20日. 2024)
  • 実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について
    (日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176, 2024年3月17日~20日 2024)
  • 線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算
    (日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日~6日. 2024)
  • 近似楕円型線形作用素のノルムに関する収束性評価の改良
    (日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日~6日. 2024)
  • Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations
    (Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum, February 21-22, 2024, Institute for Analysis, Karlsruhe Institute of Technology, Karlsruhe, Germany. 2024)
もっと見る
学歴 (4件)：
  • - 1991 九州大学 理学研究科 数学(計算数学)
  • - 1991 九州大学
  • - 1989 九州大学 理学部 数学
  • - 1989 九州大学
学位 (2件)：
  • 理学修士
  • 博士(数理学)
経歴 (1件)：
  • 2008 - 2018 九州大学 准教授
受賞 (1件)：
  • 2011/09 - 日本応用数理学会 論文賞(JJIAM部門)
所属学会 (2件)：
日本数学会 ,  応用数理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM