ワタナベ ヨシタカ
渡部 善隆
WATANABE YOSHITAKA
所属
情報基盤研究開発センター 先端計算科学研究部門 准教授
データ駆動イノベーション推進本部
（併任）
理学部 物理学科（併任）
システム情報科学府 情報理工学専攻（併任）
工学部 航空宇宙工学科（併任）
マス・フォア・イノベーション連係学府
（併任）
職名
准教授
連絡先
プロフィール
「精度保証付き数値計算」とは，数理科学上に現れる関数方程式の解を，その存在証明
および誤差評価込みで数値的に厳密に捉えようという方法です．
自然界のモデルから導かれる関数方程式の解を数値計算によって近似的に求める場合，
離散化による誤差に加えて，計算機による丸め誤差が発生します．
「精度保証付き数値計算」はこれら二つの誤差を厳密に評価することによって数値計算
の信頼性を保証します．
また，この方法は理論的に解の存在証明が困難な解析学の問題に対するアプローチとし
ても重要であると考えます．
現在は，有限要素法とその誤差評価をもとに，非線形偏微分方程式，特にNavier-Stokes方程式に対する解の存在の数値的検証法の研究を進めています．
また，センターの全国共同利用計算機システムとして公開されている最新の
ハイパフォーマンスコンピュータ上で動作する数値計算プログラムライブラリの研究開発，
性能評価などを行なっています．
教育・広報活動としては，プログラム言語，アプリケーションライブラリの利用方法に関
する解説記事の執筆，利用の手引の作成，講習会の講師，プログラム相談，プログラムラ
イブラリ開発の支援等を担当しています．
ホームページ
-
http://ri2t.kyushu-u.ac.jp/~watanabe/
研究・教育業績，講義資料などのwebサイト
外部リンク
学位
-
博士（数理学）
研究テーマ・研究キーワード
-
研究テーマ：非線形偏微分方程式の解に対する事後誤差評価
研究キーワード：偏微分方程式 精度保証付き数値計算 有限要素法
研究期間： 2002年4月
受賞
-
平成23年度日本応用数理学会論文賞(JJIAM部門)
2011年9月 日本応用数理学会 日本応用数理学会英文論文誌中から選ばれる。
論文
-
Another computer-assisted proof of unimodality of solutions for Proudman Johnson equation 査読 国際誌
Yoshitaka Watanabe, Tomoyuki Miyaji
Japan Journal of Industrial and Applied Mathematics, (published online) 03 January, 2024 2024年1月
-
On some convergence properties for finite element approximations to the inverse of linear elliptic operators 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Acta Cybernetica 26 ( 1 ) 71 - 82 2023年6月
-
Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces 査読 国際誌
Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
Journal of Scientific Computing 94 2023年1月
-
Inclusion method of optimal constant with quadratic convergence for H10-projection error estimates and its applications 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
Journal of Computational and Applied Mathematics 417 2023年1月
-
Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem 査読 国際誌
Kenta Kobayashi, Yoshitaka Watanabe
JSIAM Letters 14 92 - 95 2022年7月
-
Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem 査読 国際誌
Shuting Cai, Yoshitaka Watanabe
Journal of Computational and Applied Mathematics 395 113603 2021年11月
-
Some improvements of invertibility verifications for second-order linear elliptic operators 査読
Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
Applied Numerical Mathematics 154 36 - 46 2020年8月
-
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Journal of Differential Equations 266 ( 9 ) 5431 - 5447 2019年4月
-
Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
Japan Journal of Industrial and Applied Mathematics 33 ( 3 ) 629 - 636 2016年12月
-
射影とその構成的誤差評価 ー有限と無限を繋ぐものー 招待
渡部 善隆
研究集会・応用数理と計算科学における理論と応用の融合, 京都大学数理解析研究所講究録 2005 149 - 160 2016年11月
-
An Efficient Numerical Verification Method for the Kolmogorov Problem of Incompressible Viscous Fluid 査読 国際誌
Yoshitaka Watanabe
Journal of Computational and Applied Mathematics 302 157 - 170 2016年9月
-
Norm Bound Computation for Inverses of Linear Operators in Hilbert Spaces 査読 国際誌
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
Journal of Differential Equations 260 ( 7 ) 6363 - 6374 2016年4月
-
A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration 査読 国際誌
Yoshitaka Watanabe, Mitsuhiro T. Nakao
Applied Mathematics and Computation 276 239 - 251 2016年3月
-
A Computer-assisted Method for Excluding Eigenvalues of an Elliptic Operator Linearized at a Solution of a Nonlinear Problem 査読 国際誌
Shuting Cai, Yoshitaka Watanabe
Japan Journal of Industrial and Applied Mathematics 32 ( 1 ) 263 - 294 2015年3月
-
Some Considerations of the Invertibility Verifications for Linear Elliptic Operators 査読 国際誌
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto
Japan Journal of Industrial and Applied Mathematics 32 ( 1 ) 19 - 32 2015年3月
-
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces 査読 国際誌
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
SIAM Journal on Numerical Analysis 52 ( 2 ) 975 - 992 2014年5月
-
A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations 査読 国際誌
Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
Mathematics of Computation 82 ( 283 ) 1543 - 1557 2013年7月
-
A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations 査読 国際誌
Nobito Yamamoto, Mitsuhiro T. Nakao, Yoshitaka Watanabe
Numerical Functional Analysis and Optimization 32 ( 11 ) 2011年11月
-
Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems 招待 査読
Mitsuhiro T. Nakao, and Yoshitaka Watanabe
Nonlinear Theory and Its Applications 2 ( 1 ) 2011年1月
-
Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Bénard Problem 査読 国際誌
26 ( 2-3 ) 2009年10月
-
A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow 査読 国際誌
Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao
Journal of Applied Mathematics and Mechanics (ZAMM) 2009年1月
-
A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Be\'nard problems 査読 国際誌
Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaaki Nishida
Numerische Mathematik 2009年1月
-
楕円型方程式の解に対する局所一意性付き数値的検証法の効率化 査読
渡部 善隆, 山本 野人, 中尾 充宏
日本応用数理学会論文誌 2005年12月
-
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Journal of Computational and Applied Mathematics 369 112561 2020年5月
-
A computer-assisted method for the diblock copolymer model 査読
Shuting Cai, Yoshitaka Watanabe
ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik 99 ( 7 ) 2019年7月
-
Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
Japan Journal of Industrial and Applied Mathematics 2019年1月
-
On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations 査読 国際誌
Yoshitaka Watanabe, Mitsuhiro T. Nakao, and Kaori Nagatou
JSIAM Letters 9 77 - 80 2017年12月
-
Validated constructive error estimations for biharmonic problems 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
Reliable Computing 25 168 - 177 2017年8月
-
Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
9553 225 - 235 2016年4月
-
Recurrence Relations of Orthogonal Polynomials in H01 and H02 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Nonlinear Theory and Its Applications, IEICE 6 ( 3 ) 404 - 409 2015年7月
-
A computer-assisted proof of the Kolmogorov problem of incompressible viscos fluid
1905 132 - 143 2014年7月
-
An Improvement of the Theorem of A Posteriori Estimates for Inverse Elliptic Operators 査読 国際誌
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Nonlinear Theory and Its Applications, IEICE 5 ( 1 ) 47 - 52 2014年1月
-
A Simple Numerical Verification Method for Differential Equations Based on Infinite Dimensional Sequential Iteration 査読 国際誌
Yoshitaka Watanabe
Nonlinear Theory and Its Applications, IEICE 4 ( 1 ) 23 - 33 2013年1月
-
A Numerical Verification Method for a System of FitzHugh-Nagumo Type 査読 国際誌
Shuting Cai, Kaori Nagatou, Yoshitaka Watanabe
Numerical Functional Analysis and Optimization 33 ( 10 ) 1195 - 1220 2012年10月
-
微分方程式の精度保証付き数値計算ー逐次反復に基づく計算機援用証明ー 査読
渡部 善隆
講究録別冊 B30 (研究集会「可積分数理の進化」, 広田 良吾, 高橋大輔 編) 145 - 155 2012年4月
-
Tests of Inequivalence Among Absolutely Nonsingular Tensors Through Geometric Invariants 査読 国際誌
Toshio Sakata, Kazumitsu Maehara, Takeshi Sasaki, Toshio Sumi, Mitsuhiro Miyazaki, Yoshitaka Watanabe, Makoto Tagami
Universal Journal of Mathematics and Mathematical Sciences 1 ( 1 ) 2012年1月
-
A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow 査読
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
Nonlinear Theory and Its Applications, IEICE 2 ( 1 ) 2011年1月
-
無限次元固有値問題に対する固有値の非存在証明
渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏
京都大学数理解析研究所講究録 1719 2010年11月
-
A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations 査読 国際誌
Yoshitaka Watanabe
Japan Journal of Industrial and Applied Mathematics 26 ( 2-3 ) 2009年10月
-
A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid 査読 国際誌
Yoshitaka Watanabe
Journal of Computational and Applied Mathematics 2009年1月
-
並行Poiseuille流れの不安定性に対する計算機援用証明
渡部 善隆, Michael Plum, 中尾 充宏
京都大学数理解析研究所講究録 2008年11月
-
Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Bénard problem
渡部 善隆
京都大学数理解析研究所講究録 2007年2月
-
Rayleigh-Bénard問題の大域分岐構造に対する精度保証付き数値計算
渡部 善隆
京都大学数理解析研究所講究録 2006年7月
-
A numerical verification of bifurcation points for nonlinear heat convection problems 査読 国際誌
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida
The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering" (2nd IC-SCCE) 2006年7月
-
Performance comparison of vector-calculations between Itanium2 and other processors 査読 国際誌
Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato
Proceedings of International Workshop on Innovative Architecture 2006年1月
-
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems 査読 国際誌
Mitsuhiro T. Nakao, Kouji Hashimoto and Yoshitaka Watanabe
Computing 75 ( 1 ) 1 - 14 2005年7月
-
A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity 査読 国際誌
Kouji Hashimoto, Ryohei Abe, Mitsuhiro T. Nakao and Yoshitaka Watanabe
Japan Journal of Industrial and Applied Mathematics 22 ( 1 ) 111 - 131 2005年3月
-
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems 査読 国際誌
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida and Myoung-Nyoun Kim
Journal of Scientific Computing 43 ( 3 ) 2000年7月
書籍等出版物
-
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe（ 担当： 共著）
Springer Singapore 2019年11月
-
実例で学ぶ精度保証付き数値計算～理論と実装～
中尾 充宏, 渡部 善隆（ 担当： 共著）
サイエンス社 2011年10月
-
Special Section on Recent Progress in Verified Numerical Computations
Zin Arai, Takeshi Ogita, Yoshitaka Watanabe（ 担当： 編集）
IEICE 2013年1月
-
シミュレーション辞典
日本シミュレーション学会編: 渡部 善隆(分担執筆)（ 担当： 共著）
コロナ社 2012年2月
講演・口頭発表等
-
無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算
寺尾 剛史, 渡部 善隆, 尾崎 克久
日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178 2024年3月
-
実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176 2024年3月
-
線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算
寺尾 剛史, 渡部 善隆, 尾崎 克久
日本応用数理学会第20回(2024年)研究部会連合発表会 2024年3月
-
近似楕円型線形作用素のノルムに関する収束性評価の改良
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会第20回(2024年)研究部会連合発表会 2024年3月
-
非線形波動方程式の自己相似爆発解に対する精度保証付き数値計算 招待
渡部 善隆
RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 (Research on High-performance Scientific Computing in a New Era) 2023年10月
-
精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証
渡部 善隆, 宮路 智行
日本数学会2023年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.195-196 2023年9月
-
A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations 国際会議
Minisymposia: Verified Numerical Computations and Applications, in the 10th International Congress on Industrial and Applied Mathematics (ICIAM) 2023年8月
-
2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2023年年会, 中央大学, 応用数学分科会講演アブストラクト, pp. 103-104 2023年3月
-
楕円型線形作用素に対する近似逆作用素ノルムの収束性評価
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会2023年研究部会連合発表会 2023年3月
-
定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算
渡部 善隆, Shuting Cai
日本応用数理学会2021年度年会講演予稿集, pp.424-425 2021年9月
-
OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明
渡部 善隆, 長藤かおり, Michael Plum, 木下 武彦, 中尾 充宏
日本数学会2022年年会, 埼玉大学, 応用数学分科会講演アブストラクト, pp. 153-154 2022年3月
-
A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem 国際会議
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao
nternational Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022) 2022年3月
-
2階楕円型境界値問題から導かれる近似作用素ノルムの収束性
渡部 善隆, 木下 武彦, 中尾 充宏
日本応用数理学会2022年研究部会連合発表会 2022年3月
-
Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations 招待 国際会議
Yoshitaka Watanabe
Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum 2024年2月
-
Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明
渡部 善隆, Shuting Cai
日本数学会2021年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.123-124 2021年9月
-
On some convergence properties for finite element approximations to the inverse of linear elliptic operators 国際会議
akehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020) 2021年9月
-
重調和方程式の近似解に対する構成的誤差評価の改良
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2021年年会, 応用数学分科会講演アブストラクト, pp. 87-88 2021年3月
-
Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2020年度秋季総合分科会 2020年9月
-
Hilbert空間における線形作用素に対する可逆性検証の効率化
渡部 善隆, 木下 武彦, 中尾 充宏
日本応用数理学会2020年度年会 2020年9月
-
ある楕円型境界値問題から導かれる近似作用素のノルムの収束性
木下 武彦, 渡部 善隆, 中尾 充宏
応用数学合同研究集会 2019年12月
-
H10関数の直交多項式近似に対する2次の誤差評価の最良定数について
木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏
日本数学会2019年度秋季総合分科会 応用数学分科会 2019年11月
-
H10射影誤差に対する2次の誤差評価の最良定数の包含方法について
木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏
日本応用数理学会2019年度年会 2019年9月
-
Computer-assisted proofs for the Orr-Sommerfeld equation 招待 国際会議
Yoshitaka Watanabe
Rigorous Computational Dynamics in Infinite Dimensions 2019年4月
-
Poisson方程式に対する構成的高次誤差評価
渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏
日本応用数理学会2019年研究部会連合発表会 2019年3月
-
精度保証付き数値計算入門《応用編》 招待
渡部 善隆
平成30年度NIFS共同研究 研究会「MHDシミュレーションにおける精度保証の可能性について」 2018年12月
-
2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2018年度秋季総合分科会 2018年9月
-
A higher order error estimation for finite element approximations of the Poisson equation 国際会議
Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018) 2018年9月
-
Verified computations of eigenvalue exclosures for linearized Kolmogorov problem 国際会議
Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao
18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018) 2018年9月
-
2階楕円型作用素に対する逆作用素ノルム評価の改良
渡部 善隆, 木下 武彦, 中尾 充宏
日本応用数理学会2018年度年会 2018年9月
-
A higher order error estimation of the Poisson equation and its applications 国際会議
Yoshitaka Watanabe
International Workshop on Numerical Methods for Partial Differential Equations 2018年3月
-
Some computer-assisted proofs for the Navier-Stokes equations 招待 国際会議
Yoshitaka Watanabe
Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141) 2017年5月
-
An alternative approach of invertibility verifications for linear operators in Hilbert spaces 国際会議
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017) 2017年3月
-
流体方程式に対する精度保証付き数値計算
渡部 善隆
流体方程式の構造と特異性に迫る数値解析・数値計算II 2017年1月
-
Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(下)
渡部 善隆
応用数学合同研究集会 2016年12月
-
コンパクト作用素のレゾルベントに対する下側評価
木下 武彦, 渡部 善隆, 中尾 充宏
応用数学合同研究集会 2016年12月
-
Validated constructive error estimatations for bi-harmonic problems 国際会議
Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016) 2016年9月
-
重調和方程式の近似解に対する構成的誤差評価
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2016年度秋季総合分科会 応用数学分科会 2016年9月
-
Legendre多項式による重調和方程式の精度保証付き誤差評価
渡部 善隆, 木下 武彦, 中尾 充宏
日本応用数理学会2016年度年会 2016年9月
-
精度保証付き数値計算による平行Poiseuille流れの高精度不安定性解析
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2016年度年会 2016年3月
-
多倍長区間演算ライブラリLILIBによる精度保証付き数値計算
松田 望, 渡部 善隆, 山本 野人
日本応用数理学会2016年研究部会連合発表会 2016年3月
-
Hilbert空間の線形作用素に対する逆作用素ノルム評価の改良
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会2016年研究部会連合発表会 2016年3月
-
Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(中)
渡部 善隆
応用数学合同研究集会 2015年12月
-
Kolmogorov問題の精度保証付き数値計算に対するいくつかの考察
渡部 善隆
日本数学会2015年度秋季総合分科会 2015年9月
-
A nonlinear PDE verification -- Fukuoka, Karlsruhe 招待 国際会議
Yoshitaka Watanabe
Nonlinear PDE Days 2015年7月
-
楕円型線形逆作用素評価の収束性について
渡部 善隆, 木下 武彦, 中尾 充宏
日本応用数理学会2015年研究部会連合発表会 2015年3月
-
Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(上)
渡部 善隆
応用数学合同研究集会 2014年12月
-
A numerical verification method for the Orr-Sommerfeld problem 招待
2014年12月
-
精度保証付き数値計算による楕円型作用素の逆作用素ノルム評価 招待
渡部 善隆
RIMS研究集会・新時代の科学技術を牽引する数値解析学 2014年10月
-
Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem 招待 国際会議
Yoshitaka Watanabe
2014年9月
-
2階楕円型作用素における構成的Laplacianノルム評価
渡部 善隆, 木下 武彦, 中尾 充宏
日本応用数理学会2014年度年会 2014年9月
-
計算機援用証明によるOrr-Sommerfeld問題の安定性・不安定性解析 招待
渡部 善隆
日本数学会2014年度年会 2014年3月
-
A comparison of computer-assisted proofs for the Kolmogorov problem 招待 国際会議
Yoshitaka Watanabe
International Workshop on Numerical Verification and its Applications 2014 (INVA2014) 2014年3月
-
A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid
2013年11月
-
無限次元非線形関数方程式に対するNewton反復型計算機援用証明
渡部 善隆, 中尾 充宏
日本数学会2013年度秋季総合分科会 2013年9月
-
楕円型偏微分作用素に対する逆作用素評価の効率化
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会2013年度年会 2013年9月
-
楕円型偏微分作用素の可逆性の検証について
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2013年年会 2013年3月
-
Kolmogorov問題の定常解に対する精度保証付き数値計算
渡部 善隆
応用数学合同研究集会 2012年12月
-
線形作用素に対する可逆性の検証と精度保証付きノルム評価
渡部 善隆, 中尾 充宏
日本数学会2012年度秋季総合分科会 2012年9月
-
Computer-assisted proof for functional equations based on infinite dimensional sequential iteration 招待 国際会議
Yoshitaka Watanabe
Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods 2011年5月
-
無限次元作用素に対する固有値の除外理論と精度保証付き数値計算
渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏
九州大学数値解析学セミナー 2012年4月
-
Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow 国際会議
Yoshitaka Watanabe
Workshop on "Avoided? Crossing of Eigenvalue Curves" --Non-commutative Harmonic Oscillator, Special Functions and Number Theory-- 2012年3月
-
無限次元作用素に対する固有値の計算機援用非存在証明
渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏
応用数学合同研究集会 2011年12月
-
Orr-Sommerfeld方程式に対する局所一意性付き計算機援用証明
渡部 善隆
日本数学会2011年度秋季総合分科会 2011年9月
-
線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会2011年度年会 2011年9月
-
A self-validating norm computation of inverse for infinite dimensional linear operators and its applications 招待 国際会議
Yoshitaka Watanabe
14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010) 2010年9月
-
非自己共役作用素に対する固有値の除外法
渡部 善隆， 長藤 かおり, 中尾 充宏
日本応用数理学会2010年度年会 2010年9月
-
Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem 招待 国際会議
Yoshitaka Watanabe
International Workshop on Numerical Verification and its Applications 2010 (INVA2010) 2010年3月
-
ある非自己共役作用素の複素固有値の除外に対する数値的検証法 II
渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり
応用数学合同研究集会報告集 2009年12月
-
無限次元固有値問題に対する固有値の非存在証明 招待
渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏
研究集会・数値解析と数値計算アルゴリズムの最近の展開 2009年12月
-
FitzHugh-Nagumo 型反応拡散方程式系に対する数値的検証法
長藤 かおり，渡部 善隆，山本 成樹，木下 武彦
日本数学会2007年度秋季総合分科会 2008年9月
-
A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems 国際会議
Yoshitaka Watanabe, Myoungnyoun Kim, Mitsuhiro T. Nakao and Takaaki Nishida
INSF2007: International Conference on Recent Developments of Numerical Schemes for Flow Problems 2007年6月
-
A computer assisted proof of a bifurcation point for the heat convection problems 国際会議
Yoshitaka Watanabe
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005年9月
-
Rayleigh-Benard問題の大域分岐構造に対する精度保証付き数値計算
渡部 善隆
研究集会・計算科学の基盤技術とその発展 2005年11月
-
A computer assisted proof of a symmetry-breaking bifurcation point for the Rayleigh-Benard problem 国際会議
Yoshitaka Watanabe
Workshop on Numerical Analysis of Flow Problems and Validated Computations 2006年11月
-
精度保証付き数値計算によるProudman–Johnson 方程式の定常解の存在別証
渡部 善隆
日本数学会 2022年度秋季総合分科会 応用数学分科会 講演アブストラクト pp.79-80 2022年9月
-
Proudman-Johnson方程式の定常解に対する精度保証付き数値計算〜Miyaji-Okamoto定理の別証〜
渡部 善隆
日本応用数理学会2022年度年会講演予稿集, A3-1-1 2022年9月
-
ある三角行列の最小特異値に対するBunger-Rump理論による精度保証付き数値計算
渡部 善隆
第5回精度保証付き数値計算の実問題への応用研究集会(NVR 2021) ・JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会 2021年11月
-
非線形微分方程式に対する精度保証付き数値計算
渡部 善隆
CREST「現代の数理科学と連携するモデリング手法の構築」 成果報告公開シンポジウム～DX, AI, これからの数理モデリング～ 2021年9月
-
Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用
小林 健太, 渡部 善隆
日本応用数理学会2021年研究部会連合発表会 2021年3月
-
有界作用素のレゾルベントに対するある近似作用素の強収束性について
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2020年年会, 日本大学, 応用数学分科会講演アブストラクト, pp. 117-118 2020年3月
-
Banach空間における有界線形作用素の近似に対する収束性
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会2020年研究部会連合発表会 2020年3月
-
Nakao et al. (2005) 最後の謎 招待
木下 武彦, 渡部 善隆, 中尾 充宏
第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019) 2019年11月
-
Numerical verification methods for nonlinear equations 招待
Yoshitaka Watanabe
JST Sakura Exchange Program in Science 2019年8月
-
Poisson方程式に対する構成的高次誤差評価とその応用
渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏
日本数学会2019年年会 2019年3月
-
The essence of numerical verification methods for PDEs 国際会議
Yoshitaka Watanabe
2018 Workshop on Recent views of Nonlinear Analysis 2018年12月
-
反復解法における誤差履歴 招待
渡部 善隆
第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018) 2018年12月
-
値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2018年年会, 応用数学分科会講演アブストラクト, pp. 103-106. 2018年3月
-
Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証
渡部 善隆, 木下 武彦, 中尾 充宏
日本応用数理学会2018年研究部会連合発表会 2018年3月
-
Kolmogorov問題に対する計算機援用証明における最大値ノルムの改良
渡部 善隆
不連続Galerkin有限要素法の数学理論とその周辺 2018年2月
-
Legendre多項式を用いた重調和問題の構成的誤差評価(といくつかの課題)
渡部 善隆, 木下 武彦, 中尾 充宏
応用数学合同研究集会 2017年12月
-
重調和問題の解に対する構成的誤差評価
渡部 善隆, 木下 武彦, 中尾 充宏
第1回精度保証付き数値計算の実問題への応用研究集会(NVR 2017) 2017年12月
-
Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2017年度秋季総合分科会 2017年9月
-
値域が共役空間となる2階楕円型作用素に対する可逆性検証法の改良
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会2017年度年会講演予稿集 2017年9月
-
あるコンパクト作用素のレゾルベントに対する下側評価について
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2017年年会 2017年3月
-
Navier-Stokes方程式から導かれる非線形作用素のコンパクト性について
渡部 善隆
数値解析の理論と実践 2017年3月
-
Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces 国際会議
Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe
The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017) 2017年3月
-
Navier-Stokes方程式に関する非線形作用素のコンパクト性証明
中尾 充宏, 長藤 かおり, 渡部 善隆
日本応用数理学会2017年研究部会連合発表会 2017年3月
-
H3 and H4 regularities of the Poisson equation on polygonal domains 国際会議
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) 2015年11月
-
H3正則性を持つ一般多角形領域上のPoisson方程式の解について
木下 武彦, 渡部 善隆, 中尾 充宏
日本数学会2015年度秋季総合分科会 2015年9月
-
線形化Kolmogorov問題に対する固有値の除外について
渡部 善隆, Kaori Nagatou, Michael Plum, 中尾 充宏
日本応用数理学会2015年度年会 2015年9月
-
Poisson方程式の解に対するH3およびH4セミノルムについて
木下 武彦, 渡部 善隆, 中尾 充宏
日本応用数理学会2015年度年会 2015年9月
-
An improvement of infinity norm estimations for numerical verifications of the Kolmogorov problem 国際会議
Yoshitaka Watanabe
Workshop on Information Technology, Applied Mathematics and Education 2015年8月
-
Some computer-assisted proofs of the Kolmogorov problem of incompressible viscous fluid 国際会議
Yoshitaka Watanabe
International Workshop on Information Technology, Applied Mathematics and Science (IMS2015) 2015年3月
-
線形楕円型作用素に対するLaplacianノルムの構成的評価
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2015年度年会 2015年3月
-
流体力学モデルの精度保証
渡部 善隆
精度保証付き数値計算の最近の展開 2015年3月
-
数値計算における誤差と残差 招待
渡部 善隆
数値解析セミナー 2015年1月
-
Some remarks on the rigorous estimation of inverse linear elliptic operators 国際会議
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2014) 2014年9月
-
精度保証付き数値計算による流れの安定性解析 招待
渡部 善隆
数学談話会 2014年8月
-
区間演算概説
渡部 善隆
ワークショップ: 工学・理学をベースにした線形・非線形問題へのアプローチ 2014年5月
-
誤差と残差のあいだに(その2)
渡部 善隆
研究集会: 超大規模数値計算と数値解析に関する新潟ワークショップ 2014年3月
-
An alternative approach of invertibility verifications and norm estimations for linear elliptic operators
2014年3月
-
線形作用素に対する可逆性の検証と精度保証付きノルム評価の改良について
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2014年度年会 2014年3月
-
2階楕円型線形作用素の可逆性検証に関するいくつかの考察
渡部 善隆, 木下 武彦, 木村 拓馬, 山本 野人, 中尾 充宏
応用数学合同研究集会 2013年12月
-
A computer-assisted instability proof for Poiseuille flow by multiple-precision interval arithmetic library
2013年12月
-
Kolmogorov問題の精度保証におけるノルム評価の改善
小林 健太, 渡部 善隆
九州大学数値解析学セミナー 2013年11月
-
射影とその構成的誤差評価 ー有限と無限を繋ぐものー
渡部 善隆
RIMS研究集会・応用数理と計算科学における理論と応用の融合 2013年10月
-
exflibによる平行Poiseuille流れの不安定性解析の高精度化
渡部 善隆, 藤原 宏志, 中尾 充宏
日本応用数理学会2013年度年会 2013年9月
-
誤差と残差のあいだに 招待
渡部 善隆
早稲田大学理工学術院総合研究所主催 精度保証付き数値計算ワークショップ 2013年9月
-
Kolmogorov問題の計算機援用証明における最大値ノルム評価の改善について
渡部 善隆, 小林 健太
日本応用数理学会2013年研究部会連合発表会 2013年3月
-
exflibの多倍長区間演算環境を用いた精度保証(の中間報告)
渡部 善隆
多倍長精度計算フォーラム 第3回研究会 2013年3月
-
精度保証とHPC 招待
渡部 善隆
2013年ハイパフォーマンスコンピューティングと計算科学シンポジウム(HPCS2013) 2013年1月
-
A multiple-precision interval arithmetic library and its applications to fluid dynamics 国際会議
International workshop on HPC (High performane computing), Krylov subspace method and its applications 2013年1月
-
An improvement of a theorem for inverse operators in linear elliptic partial differential equations
2012年11月
-
コルモゴロフ流の分岐解に対する計算機援用証明(の第一歩)
渡部 善隆
九州大学数値解析学セミナー 2012年10月
-
中尾理論再訪--Kolmogorov問題の場合--
渡部 善隆
環瀬戸内ワークショップ 2012年9月
-
無限次元線形作用素に対する精度保証付きノルム評価
渡部 善隆, 中尾 充宏
日本応用数理学会2012年度年会 2012年8月
-
exflibにおける多倍長区間演算Fortranインターフェースとその応用
渡部 善隆, 藤原 宏志
日本応用数理学会2012年研究部会連合発表会 2012年3月
-
逐次反復に基づく関数方程式の精度保証付き数値計算 国際会議
渡部 善隆
研究集会:「科学計算の信頼性とその周辺に関するワークショップ」 2011年11月
-
線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について
木下 武彦， 渡部 善隆， 中尾 充宏
日本数学会2011年度秋季総合分科会 2011年9月
-
逐次反復に基づく関数方程式の計算機援用証明
渡部 善隆
日本応用数理学会2011年度年会 2011年9月
-
微分方程式の精度保証付き数値計算
渡部 善隆
研究集会: 可積分系数理の進化 2011年8月
-
An enclosure method for solutions of FitzHugh-Nagumo equation
2010年12月
-
無限次元固有値問題に対する固有値の除外法
渡部 善隆
研究集会:「数値解析と計算の信頼性評価」 2010年11月
-
MATLABで偏微分方程式の精度保証プログラムを作ってみました
渡部 善隆
九州大学数値解析学セミナー 2010年7月
-
Computer assisted proofs for partial differential equations 国際会議
Kaori Nagatou and Yoshitaka Watanabe
Seminar at University of Kent 2010年3月
-
Legendre多項式を用いた高精度品質保証─およびその課題─
渡部 善隆，木下 武彦
日本応用数理学会2010年研究部会連合発表会 2010年3月
-
Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証
渡部 善隆
研究集会:「数値解析の現状と展望」─九州大学数値解析セミナーとその協力者からの発信─ 2009年11月
-
Orr-Sommerfeld 方程式の複素固有値の除外に対する計算機援用証明
渡部 善隆，中尾 充宏，Michael Plum, 長藤 かおり
日本応用数理学会2009年度年会, 2009年9月
-
楕円型作用素の逆作用素の作用素ノルムの評価の改良について
木下 武彦，渡部 善隆，中尾 充宏
日本数学会2009年度秋季総合分科会 2009年9月
-
Spectral problem for 3-D photonic crystals 国際会議
Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe and Ian Wood
International Conference on Numerical Analysis and Applied Mathematics 2009 (ICNAAM-2009) 2009年9月
-
熱対流問題の精度保証－計算の品質評価－
渡部 善隆
九州大学産業数理研究センター 第7回ワークショップ 2009年9月
-
無限次元非線形システムの精度保証付きパラメータ同定技法について
中尾 充宏, 渡部 善隆
産業技術数理研究センター第4回ワークショップ 2008年9月
-
科学技術計算の品質保証
渡部 善隆
先駆的科学計算に関するフォーラム2008～高精度・多倍長計算～ 2008年8月
-
An eigenvalue excluding method for the Orr-Sommerfeld problem 国際会議
Yoshitaka Watanabe
International Conference on Engineering and Computational Mathematics (ECM2009) 2009年5月
-
計算機援用証明による並行Poiseuille流れの安定性・不安性解析
渡部 善隆
九州大学数値解析学セミナー 2009年4月
-
A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow 招待 国際会議
Yoshitaka Watanabe
International Workshop on Numerical Verification and its Applications 2009 2009年3月
-
A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow 招待 国際会議
Yoshitaka Watanabe
International workshop on verified computations and related topics 2009年3月
-
ある非自己共役作用素の複素固有値の除外に対する数値的検証法
渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり
応用数学合同研究集会報告集 2008年12月
-
コンピュータソフトウェアのキャンパスライセンス化による経費削減効果について
入江 啓一, 藤村 直美, 渡部 善隆, 富山 実, 三浦 誠, 上田 将嗣, 高木 早智子, 仲田 奈理子, 酒井 健禎
平成20年度情報教育研究集会 2008年12月
-
マイクロソフトキャンパスアグリーメントにおけるソフトウェア配布
上田 将嗣, 藤村 直美, 渡部 善隆, 入江 啓一, 富山 実, 三浦 誠, 高木 早智子, 仲田 奈理子, 酒井 健禎
全国共同利用情報基盤センター研究開発論文集 2008年11月
-
Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明
渡部 善隆
流れ問題のための高品質数値解法と計算機援用解析学 2008年11月
-
Validated computations for elliptic systems of FitzHugh-Nagumo type 国際会議
Kaori Nagatou, Yoshitaka Watanabe, Shigeki Yamamoto and Takehiko Kinoshita
13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008) 2009年1月
-
FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算
渡部 善隆，長藤 かおり，山本 成樹，木下 武彦
日本応用数理学会2008年度年会 2008年9月
-
解けたらうれしい線形方程式
渡部 善隆
計算工学講演会論文集 2008年5月
-
Computer assisted proofs of solutions for nonlinear heat convection problems 招待 国際会議
Yoshitaka Watanabe
International Workshop on Numerical Verification and its Applications (INVA2008) 2008年3月
-
直接解法による大規模疎行列に対する連立1次方程式ソルバー
渡部 善隆
九州大学数値解析学セミナー 2005年6月
-
多倍長計算を適用した精度保証数値計算
坂口 秀雄，渡部 善隆，今井 仁司
研究集会・21世紀における数値解析の新展開 2005年7月
-
熱対流問題の分岐点に対する計算機援用証明
渡部 善隆，中尾 充宏，山本 野人，西田 孝明
日本数学会2005年度秋季総合分科会 2005年9月
-
A computer assisted proof of a bifurcation point for the heat convection problems 国際会議
Yoshitaka Watanabe
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005年9月
-
Some Computer Assisted Proofs on the Bifurcation Structure of Solutions for Heat Convection Problems 国際会議
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim
International Symposium on Nonlinear Theory and its Applications 2005年10月
-
Some Computer Assisted Proofs on the Bifurcation Structure of Solutions for Heat Convection Problems 国際会議
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim
2005 International Symposium on Nonlinear Theory and its Applications 2005年10月
-
A computer assisted proof of a symmetry-breaking bifurcation point for the Rayleigh-Bénard problem 国際会議
Yoshitaka Watanabe
Workshop on Numerical Analysis of Flow Problems and Validated Computations 2005年11月
-
計算機援用証明による熱対流問題の分岐点の存在検証
渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明
九州大学数値解析学セミナー 2006年4月
-
Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Bénard problem
2006年7月
-
非対称疎行列に対する連立1次方程式の直接解法を用いた特異値計算
渡部 善隆
第10回環瀬戸内応用数理研究部会シンポジウム 2006年7月
-
A numerical verification of bifurcation points for nonlinear heat convection problems 国際会議
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida
2nd International conference "From Scientific Computing to Computational Engineering 2006年7月
-
A computer-assisted proof for the Kolmogorov flows of imcompressible viscous fluid 国際会議
Yoshitaka Watanabe
2006 International Symposium on Nonlinear Theory and its Applications 2006年9月
-
Some computer assisted proofs on three dimensional heat convection problems 国際会議
Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida
2006 International Symposium on Nonlinear Theory and its Applications 2006年9月
-
A numerical verification for the Kolmogorov flows of imcompressible viscous fluid 国際会議
Yoshitaka Watanabe
International Conference of Numerical Analysis and Applied Mathematics 2006 2006年9月
-
A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems 国際会議
Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida
12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics 2006年9月
-
3次元熱対流問題に対する解の数値的検証について
渡部 善隆, Myoungnyoun Kim, 西田 孝明, 中尾 充宏
研究集会・流れ問題の数値解析と精度保証付き数値計算 2006年11月
-
疎行列に対する連立1次方程式の直接解法を援用した固有値・特異値計算
渡部 善隆
第11回情報・統計科学シンポジウム 2006年12月
-
A computer-assisted proof of the existence of Bénard cells for the heat convection problems 国際会議
Yoshitaka Watanabe
International Workshop on Numerical Verification and its Applications 2007年2月
-
疎行列に対する線形方程式の直接解法を用いた固有値・特異値計算
渡部 善隆
第2回計算科学研究ステーション研究集会 2007年3月
-
対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用
渡部 善隆
日本応用数理学会2007年度年会講演予稿集, pp224-225 2007年9月
-
ある反応拡散方程式系に対する精度保証付き数値計算
渡部 善隆
日本数学会2007年度秋季総合分科会, 応用数学分科会講演アブストラクト, pp155-158 2007年9月
-
A computer-assited proof of solutions for an elliptic system of reaction-diffusion equations 国際会議
Yoshitaka Watanabe
2007年10月
-
反応拡散方程式系の解に対する計算機援用証明
渡部 善隆
九州大学数値解析学セミナー 2007年10月
-
並行Poiseuille流れの不安定性に対する計算機援用証明
渡部 善隆
研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺 2007年11月
-
並行 Poiseuille 流れの安定性に関する計算機援用解析
渡部 善隆
研究集会・流れ問題のための高品質数値解法と精度保証計算 2007年11月
-
Some computer-assisted proofs for nonlinear heat convection problems 国際会議
Yoshitaka Watanabe
2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation 2007年12月
-
センター計算機群に対する実アプリケーションに即した性能評価
渡部 善隆
RIITフォーラム2007 (2007年度 九州大学情報基盤研究開発センター研究発表会) 2007年12月
-
A computer-assisted instability proof for the plane Poiseuille flow
2007年12月
MISC
-
精度保証付き数値計算(4)ー区間演算と有限次元問題の精度保証ー
渡部善隆
応用数理 2011年12月
-
精度保証付き数値計算(3)ー中尾理論入門ー
渡部善隆
応用数理 2011年9月
-
精度保証付き数値計算(2)ー線形逆作用素ノルム評価ー
渡部善隆
応用数理 2011年6月
-
精度保証付き数値計算(1)ー不動点定式化ー
渡部善隆
応用数理 2011年3月
-
数値計算と無限－区間演算の開拓者・須永照雄博士－
渡部 善隆
数理科学 2017年2月
-
偏微分方程式の精度保証付き数値計算／Plum理論の紹介
渡部 善隆
数学セミナー 2012年10月
-
連立1次方程式の直接解法とソフトウェア
渡部 善隆
九州大学情報基盤研究開発センター全国共同利用システム広報 2007年12月
-
SCAN 2004
2005年3月
所属学協会
-
統計科学研究会
-
日本応用数理学会
-
日本数学会
委員歴
-
一般社団法人日本応用数理学会 理事 国内
2021年6月 - 2023年5月
学術貢献活動
-
学術論文等の審査
役割：査読
2023年
-
学術論文等の審査
役割：査読
2022年
-
学術論文等の審査
役割：査読
2021年
-
学術論文等の審査
役割：査読
2020年
-
座長
日本数学会2019年年会 （ 東京工業大学 ） 2019年3月
-
座長（Chairmanship）
日本応用数理学会2019年研究部会連合発表会 （ 筑波大学 ） 2019年3月
-
学術論文等の審査
役割：査読
2019年
-
座長
次世代の科学技術を支える数値解析学の基盤整備と応用展開 （ 京都大学数理解析研究所 ） 2018年11月
-
実行委員 国際学術貢献
（ 早稲田大学 ） 2018年9月 - 2019年9月
-
座長 国際学術貢献
（ 早稲田大学 ） 2018年9月 - 2019年9月
-
座長（Chairmanship）
日本応用数理学会2018年度年会 （ 名古屋大学 ） 2018年9月
-
座長（Chairmanship）
日本応用数理学会2018年研究部会連合発表会 （ 大阪大学 ） 2018年3月
-
学術論文等の審査
役割：査読
2018年
-
共同研究代表者
数値解析学の最前線 ー理論・方法・応用ー （ 京都大学数理解析研究所 ） 2017年11月
-
座長（Chairmanship）
日本応用数理学会2017年研究部会連合発表会 （ 電気通信大学 ） 2017年3月
-
学術論文等の審査
役割：査読
2017年
-
座長（Chairmanship）
応用数学合同研究集会 （ 龍谷大学 ） 2016年12月
-
座長
現象解明に向けた数値解析学の新展開II （ 京都大学数理解析研究所 ） 2016年10月
-
座長（Chairmanship）
日本応用数理学会2016年度年会 （ 北九州国際会議場 ） 2016年9月 - 2015年9月
-
座長（Chairmanship）
日本応用数理学会2016年研究部会連合発表会 （ 神戸学院大学 ） 2016年3月
-
座長（Chairmanship）
応用数学合同研究集会 （ 龍谷大学 ） 2015年12月
-
座長（Chairmanship）
日本応用数理学会2015年度年会 （ 金沢大学 ） 2015年9月
-
座長（Chairmanship）
日本数学会2015年度年会 （ 明治大学 ） 2015年3月
-
座長（Chairmanship）
日本応用数理学会2015年研究部会連合発表会 （ 京都大学 ） 2015年3月
-
座長（Chairmanship）
応用数学合同研究集会 （ 龍谷大学 ） 2014年12月
-
座長（Chairmanship）
日本応用数理学会2014年度年会 （ 政策研究大学院大学 ） 2014年9月
-
座長（Chairmanship）
日本応用数理学会2014年研究部会連合発表会 （ 京都大学 ） 2014年3月
-
座長（Chairmanship） 国際学術貢献
2014年3月
-
座長（Chairmanship）
応用数学合同研究集会 （ 龍谷大学 ） 2013年12月
-
座長（Chairmanship）
RIMS研究集会・応用数理と計算科学における理論と応用の融合 （ 京都大学数理解析研究所 ） 2013年10月
-
実行委員
日本応用数理学会2013年度年会 （ アクロス福岡 ） 2013年9月
-
座長（Chairmanship）
応用数学合同研究集会 （ 龍谷大学 ） 2012年12月
-
座長（Chairmanship）
日本応用数理学会2012年度年会 （ 稚内全日空ホテル ） 2012年8月 - 2010年9月
-
座長（Chairmanship）
応用数学合同研究集会 （ 龍谷大学 ） 2011年12月
-
座長（Chairmanship） 国際学術貢献
研究集会:「科学計算の信頼性とその周辺に関するワークショップ」 （ 西海国立公園九十九島ビジターセンター ） 2011年11月
-
座長（Chairmanship）
研究集会・科学技術計算における理論と応用の新展開 （ 京都大学数理解析研究所 ） 2011年10月
-
座長（Chairmanship）
日本応用数理学会2011年度年会 （ 同志社大学 ） 2011年9月 - 2010年9月
-
座長（Chairmanship）
日本応用数理学会2011年研究部会連合発表会 （ 九州大学 ） 2011年3月
-
座長（Chairmanship）
日本応用数理学会2010年度年会 （ 明治大学 ） 2010年9月
-
座長（Chairmanship）
日本応用数理学会2010年研究部会連合発表会 （ 筑波大学 ） 2010年3月
-
座長（Chairmanship）
応用数学合同研究集会 （ 龍谷大学 ） 2008年12月 - 2009年1月
-
座長（Chairmanship）
数値解析における理論・手法・応用 （ 京都大学数理解析研究所 ） 2008年11月
-
座長（Chairmanship） 国際学術貢献
2006年9月 - 現在
-
座長（Chairmanship）
研究集会・計算科学の基盤技術とその発展 （ 京都大学数理解析研究所 ） 2005年11月 - 現在
-
実行委員 国際学術貢献
（ 福岡市 ） 2004年10月 - 現在
-
実行委員
日本応用数理学会２００１年度年会 （ 九州大学 ） 2001年10月 - 現在
その他
-
RIMS共同研究「数値解析学の最前線ー理論・方法・応用ー」研究代表者
2017年11月
共同研究・競争的資金等の研究課題
-
精度保証付き数値計算の前進---有限と無限をつなぐもの---
研究課題/領域番号：21H01000 2021年 - 2024年
日本学術振興会 科学研究費助成事業 基盤研究(B)
担当区分：研究代表者 資金種別：科研費
-
粒子法の基盤理論整備と大規模流体シミュレー タへの展開
2018年4月 - 2019年3月
学際大規模情報基盤共同利用・共同研究拠点（共同研究課題)
担当区分：研究分担者
-
粒子法の高精度化と大規模流体シミュレータへの応用
2017年4月 - 2018年3月
学際大規模情報基盤共同利用・共同研究拠点（共同研究課題)
担当区分：研究分担者
-
大規模データ系のVR可視化解析を効率化する多階層精度圧縮数値記録(JHPCN-DF)の実用化研究
2015年4月 - 2016年3月
学際大規模情報基盤共同利用・共同研究拠点（共同研究課題)
担当区分：研究分担者
-
SPH-FEM連成解析による沿岸構造物の災害影響評価
2015年4月 - 2016年3月
High Performance Computing Infrastructure(HPCI)システム利用研究課題
担当区分：研究分担者
-
関数方程式に対する精度保証付き数値計算法の展開
研究課題/領域番号：15H03637 2015年 - 2019年
日本学術振興会 科学研究費助成事業 基盤研究(B)
担当区分：研究代表者 資金種別：科研費
-
モデリングのための精度保証付き数値計算論の展開(研究領域: 現代の数理科学と連携するモデリング手法の構築)
2014年 - 2021年
戦略的創造研究推進事業 (文部科学省)
担当区分：研究分担者 資金種別：受託研究
-
災害影響評価のための大規模マルチフィジックス・シミュレータの性能・機能強化
2013年4月 - 2014年3月
学際大規模情報基盤共同利用・共同研究拠点（共同研究課題)
担当区分：研究分担者
-
沿岸構造物におけるFEM-SPH法による大規模シミュレーション
2012年10月 - 2017年3月
九州大学情報基盤研究開発センター・先端的計算科学研究プロジェクト
担当区分：研究分担者
-
災害影響評価のための大規模マルチフィジックス・シミュレータの高度・高性能化
2012年4月 - 2013年3月
学際大規模情報基盤共同利用・共同研究拠点（共同研究課題)
担当区分：研究分担者
-
精度保証付き数値計算による無限次元逆作用素の最適評価とその応用
研究課題/領域番号：24340018 2012年 - 2014年
日本学術振興会 科学研究費助成事業 基盤研究(B)
担当区分：研究代表者 資金種別：科研費
-
災害影響評価のための大規模マルチフィジックス・シミュレータの構築
2011年4月 - 2012年3月
学際大規模情報基盤共同利用・共同研究拠点（共同研究課題)
担当区分：研究分担者
-
精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開
2010年4月 - 2012年3月
学際大規模情報基盤共同利用・共同研究拠点（共同研究課題)
担当区分：研究分担者
-
計算機援用証明による微分方程式の解曲線のパラメータ連続的追跡
研究課題/領域番号：21540134 2009年 - 2011年
日本学術振興会 科学研究費助成事業 基盤研究(C)
担当区分：研究代表者 資金種別：科研費
-
非線形現象解明に向けた計算機援用解析学の構築
研究課題/領域番号：20224001 2008年 - 2011年
日本学術振興会 科学研究費助成事業 基盤研究(S)
担当区分：研究分担者 資金種別：科研費
-
熱対流問題の解の大域構造に対する計算機援用証明
研究課題/領域番号：18540127 2006年 - 2008年
日本学術振興会 科学研究費助成事業 基盤研究(C)
担当区分：研究代表者 資金種別：科研費
-
精度保証付き数値計算学の確立
研究課題/領域番号：17002012 2005年 - 2009年
日本学術振興会 科学研究費助成事業 特別推進研究
担当区分：連携研究者 資金種別：科研費
-
流れ問題のための高品質数値解法の開発と解析とシミュレーション
研究課題/領域番号：16104001 2004年 - 2008年
日本学術振興会 科学研究費助成事業 基盤研究(S)
担当区分：研究分担者 資金種別：科研費
-
流体力学的非線形安定性問題に対する計算機援用証明
研究課題/領域番号：15740067 2003年 - 2005年
科学研究費助成事業 若手研究(B)
担当区分：研究代表者 資金種別：科研費
-
計算機による解析学創設の可能性に関する基礎的研究
研究課題/領域番号：13874020 2001年 - 2003年
科学研究費助成事業 萌芽研究
担当区分：研究分担者 資金種別：科研費
-
精度保証付き多次元逆スペクトル解析
研究課題/領域番号：13740072 2001年 - 2002年
科学研究費助成事業 若手研究(B)
担当区分：研究代表者 資金種別：科研費
-
Navier-Stokes方程式の精度保証付き数値計算に関する研究
研究課題/領域番号：11740070 1999年 - 2000年
科学研究費助成事業 奨励研究(A)
担当区分：研究代表者 資金種別：科研費
-
精度保証付き数値計算ライブラリの開発
研究課題/領域番号：09780296 1997年 - 1998年
科学研究費助成事業 奨励研究(A)
担当区分：研究代表者 資金種別：科研費
-
超高速ネットワークで支援した分散共有メモリシステム研究
研究課題/領域番号：08458071 1996年 - 1998年
日本学術振興会 科学研究費助成事業 基盤研究(B)
担当区分：研究分担者 資金種別：科研費
-
非線形偏微分方程式の解の精度保証付き数値計算法に関する研究
研究課題/領域番号：06740167 1994年
科学研究費助成事業 奨励研究(A)
担当区分：研究代表者 資金種別：科研費
-
ハイパーテキストデータベース技術の複合による文書処理とマニュアル整理への応用
研究課題/領域番号：05452364 1993年 - 1995年
科学研究費助成事業 一般研究(B)
担当区分：研究分担者 資金種別：科研費
教育活動概要
-
数値解析演習(理学部)令和3年度〜(継続)
プログラミング演習(工学部)令和3〜4年度
情報数値解析（システム情報科学府）平成21年度〜（継続）
情報処理概論(工学部) 平成14年度〜（継続）
応用数学II(農学部) 平成10〜13年度
応用数学II演習(農学部) 平成10〜13年度
平成10年度〜 研究用計算機システム講習会講師担当(継続)
平成10年度〜 研究用計算機システム利用の手引き・広報記事執筆(継続)
その他: 数値計算における速度向上(チューニング)のポイント, 丸め誤差の累積についての注意点，高性能計算機の性能評価などを記事にまとめ広報しました．
担当授業科目
-
情報数値解析 II
2023年12月 - 2024年2月 冬学期
-
Numerical Analysis for Information Science II
2023年12月 - 2024年2月 冬学期
-
情報処理概論
2023年10月 - 2024年3月 後期
-
Numerical Analysis for Information Science I
2023年10月 - 2023年12月 秋学期
-
情報数値解析 I
2023年10月 - 2023年12月 秋学期
-
情報理工学講究
2023年4月 - 2024年3月 通年
-
情報理工学演習
2023年4月 - 2024年3月 通年
-
数値解析演習
2023年4月 - 2023年9月 前期
-
工学概論
2023年4月 - 2023年6月 春学期
-
プログラミング演習Ⅰ（A）
2022年6月 - 2022年8月 夏学期
-
情報理工学演習
2022年4月 - 2023年3月 通年
-
情報理工学講究
2022年4月 - 2023年3月 通年
-
数値解析演習
2022年4月 - 2022年9月 前期
-
Numerical Analysis for Information Science II
2021年12月 - 2022年2月 冬学期
-
情報数値解析Ⅱ
2021年12月 - 2022年2月 冬学期
-
Numerical Analysis for Information Technology
2021年10月 - 2022年3月 後期
-
情報処理概論
2021年10月 - 2022年3月 後期
-
情報数値解析
2021年10月 - 2022年3月 後期
-
Numerical Analysis for Information Science I
2021年10月 - 2021年12月 秋学期
-
情報数値解析Ⅰ
2021年10月 - 2021年12月 秋学期
-
プログラミング演習IA
2021年6月 - 2021年8月 夏学期
-
情報処理概論
2020年10月 - 2021年3月 後期
-
【博士】情報数値解析
2020年10月 - 2021年3月 後期
-
Numerical Analysis for Information Technology
2020年10月 - 2021年3月 後期
-
情報数値解析
2019年10月 - 2020年3月 後期
-
情報処理概論
2019年10月 - 2020年3月 後期
-
情報処理概論
2018年10月 - 2019年3月 後期
-
情報数値解析
2018年10月 - 2019年3月 後期
-
情報処理概論
2017年10月 - 2018年3月 後期
-
情報数値解析
2017年10月 - 2018年3月 後期
-
情報数値解析
2016年10月 - 2017年3月 後期
-
情報処理概論
2016年10月 - 2017年3月 後期
-
情報処理概論
2015年10月 - 2016年3月 後期
-
情報数値解析
2015年10月 - 2016年3月 後期
-
数値解析演習
2015年4月 - 2015年9月 前期
-
数値解析
2015年4月 - 2015年9月 前期
-
情報数値解析
2014年10月 - 2015年3月 後期
-
情報処理概論
2014年10月 - 2015年3月 後期
-
情報処理概論
2013年10月 - 2014年3月 後期
-
情報数値解析
2013年10月 - 2014年3月 後期
-
情報数値解析
2012年10月 - 2013年3月 後期
-
情報処理概論
2012年10月 - 2013年3月 後期
-
情報処理概論
2011年10月 - 2012年3月 後期
-
情報数値解析
2011年10月 - 2012年3月 後期
-
情報数値解析
2010年10月 - 2011年3月 後期
-
情報処理概論
2010年10月 - 2011年3月 後期
-
情報処理概論
2009年10月 - 2010年3月 後期
-
情報数値解析
2009年10月 - 2010年3月 後期
-
情報処理概論
2008年10月 - 2009年3月 後期
-
情報処理概論
2007年4月 - 2007年9月 前期
-
情報処理概論
2006年4月 - 2006年9月 前期
-
情報処理概論
2005年10月 - 2006年3月 後期
-
情報処理概論
2004年10月 - 2005年3月 後期
-
情報処理概論
2003年10月 - 2004年3月 後期
他大学・他機関等の客員・兼任・非常勤講師等
-
2014年 愛媛大学・理学部 区分:非常勤講師 国内外の区分:国内
学期、曜日時限または期間：前期
-
2008年 岐阜大学 区分:非常勤講師 国内外の区分:国内
学期、曜日時限または期間：7月2日～4日
-
2004年 京都大学理学部 区分:非常勤講師 国内外の区分:国内
学期、曜日時限または期間：前期
その他教育活動及び特記事項
-
2024年 クラス担任 学部
-
2023年 クラス担任 学部
-
2019年 その他特記事項 2019年8月25日から9月1日に新潟大学で開催された「JSTさくらサイエンスプラン」において "Numerical verification methods for nonlinear equations" という題目で講演を行いました。
-
2012年 その他特記事項 京都大学において開催された「計算機を用いた数学研究」において、「精度保証付き数値計算法入門」の題目で講師を務めました。
-
2007年 その他特記事項 九州大学21世紀COEプログラム・数値解析チュートリアル2007講師担当 連立一次方程式の精度保証
-
2006年 その他特記事項 九州大学21世紀COEプログラム・数値解析チュートリアル2007講師担当 偏微分方程式に対する制度保証付き数値計算
-
2005年 その他特記事項 九州大学21世紀COEプログラム・数値解析チュートリアル2006講師担当 偏微分方程式に対する制度保証付き数値計算
-
2004年 その他特記事項 九州大学21世紀COEプログラム・数値解析チュートリアル2005講師担当 連立一次方程式の数値計算
-
2003年 その他特記事項 九州大学21世紀COEプログラム・数値解析チュートリアル2004講師担当 連立一次方程式の数値計算
社会貢献・国際連携活動概要
-
なし
社会貢献活動
-
「九大キャンパスウォーク」の一環として、情報基盤研究開発センターのスーパーコンピュータの見学ツアーを行いました。
朝倉市立秋月中学校(福岡県朝倉市) 2023年2月
-
大分工業高等専門学校サイエンス・パートナーシップ・プロジェクト(SPP)に協力し、講師として最新のスーパーコンピュータと研究事例紹介および実習・見学を担当した。
2007年
メディア報道
-
2021年3月21日(日)文化・文芸欄の記事『横書きの公用文「，」(コンマ)が「、」(テン)に？』において、横書き句読点に関するコメントが掲載されました。 新聞・雑誌
朝日新聞 2021年3月
海外渡航歴
-
2024年2月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Karlsruhe Institute of Technology
-
2019年7月
滞在国名1：スペイン 滞在機関名1：Universitat de València
-
2019年4月
滞在国名1：カナダ 滞在機関名1：Centre de recherches mathématiques (CRM)
-
2018年3月
滞在国名1：その他 滞在機関名1：The Hong Kong Polytechnic University
-
2017年5月
滞在国名1：カナダ 滞在機関名1：Banff International Research Station for Mathematical Innovation and Discovery
-
2016年9月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Karlsruhe Institute of Technology
-
2016年9月
滞在国名1：スウェーデン王国 滞在機関名1：Uppsala University
-
2015年11月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Zuse Institute Berlin
-
2014年9月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Karlsruhe Institute of Technology
-
2014年9月
滞在国名1：ドイツ連邦共和国 滞在機関名1：University of Würzburg
-
2012年3月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Karlsruhe Institute of Technology
-
2011年9月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Karlsruhe Institute of Technology
-
2010年9月
滞在国名1：フランス共和国 滞在機関名1：ENS de Lyon
-
2010年3月 - 2010年4月
滞在国名1：グレートブリテン・北アイルランド連合王国(英国) 滞在機関名1：University of Kent
-
2009年5月
滞在国名1：その他 滞在機関名1：The Hong Kong Polytechnic University
-
2009年3月
滞在国名1：ドイツ連邦共和国 滞在機関名1：University of Karlsruhe
-
2007年12月
滞在国名1：台湾 滞在機関名1：Institute of Mathematics, Academia Sinica
-
2006年9月
滞在国名1：ギリシャ共和国 滞在機関名1：Hotel Belvedere Imperial
滞在国名2：イタリア共和国 滞在機関名2：Bologna
-
2005年9月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Schloss Dagstuhl
-
2002年9月
滞在国名1：フランス共和国 滞在機関名1：マリーキュリー大学
学内運営に関わる各種委員・役職等
-
2019年4月 - 現在 全学 スポークスパーソン
-
2012年4月 - 2017年3月 全学 百年史編集委員会
-
2007年4月 - 2009年3月 全学 新キャンパス計画専門委員会
-
2007年4月 - 2008年3月 全学 六本松地区直接移転実施プロジェクトチーム
-
2005年4月 - 2007年3月 全学 スペースコラボレーションシステム委員会