渡部 善隆

J-GLOBALへ         更新日: 19/02/14 06:45
 
アバター
研究者氏名
渡部 善隆
 
ワタナベ ヨシタカ
URL
http://ri2t.kyushu-u.ac.jp/~watanabe/
所属
九州大学
部署
情報基盤研究開発センター
学位
理学修士, 博士(数理学)

研究分野

 
 

経歴

 
2008年
 - 
2018年
九州大学 准教授
 

学歴

 
 
 - 
1991年
九州大学 理学研究科 数学(計算数学)
 
 
 - 
1989年
九州大学 理学部 数学
 

受賞

 
2011年9月
日本応用数理学会 論文賞(JJIAM部門)
 

論文

 
Validated constructive error estimations for biharmonic problems
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Reliable Computing   25 168-177   2017年8月   [査読有り]
Watanabe Yoshitaka, Nakao Mitsuhiro T., Nagatou Kaori
JSIAM Letters   9 77-80   2017年   [査読有り]
Kinoshita Takehiko, Watanabe Yoshitaka, Yamamoto Nobito, Nakao Mitsuhiro T.
Japan Journal of Industrial and Applied Mathematics   33(3) 629-636   2016年12月   [査読有り]
Yoshitaka Watanabe
Journal of Computational Applied Mathematics   302 157-170   2016年8月   [査読有り]
Watanabe Yoshitaka, Nagatou Kaori, Plum Michael, Nakao Mitsuhiro T.
Journal of Differential Equations   260(7) 6363-6374   2016年4月   [査読有り]
Yoshitaka Watanabe, Mitsuhiro T. Nakao
Applied Mathematics and Computation   276 239-251   2016年3月   [査読有り]
Kinoshita Takehiko, Watanabe Yoshitaka, Nakao Mitsuhiro T.
Lecture Notes in Computer Science   9553 225-235   2016年4月   [査読有り]
Nakao Mitsuhiro T., Watanabe Yoshitaka, Kinoshita Takehiko, Kimura Takuma, Yamamoto Nobito
Japan Journal of Industrial and Applied Mathematics   32(1) 19-31   2015年3月   [査読有り]
Cai Shuting, Watanabe Yoshitaka
Japan Journal of Industrial and Applied Mathematics   32(1) 263-294   2015年3月   [査読有り]
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers   199-201   2015年   [査読有り]
Kinoshita Takehiko, Watanabe Yoshitaka, Nakao Mitsuhiro T.
Nonlinear Theory and Its Applications, IEICE   6(3) 404-409   2015年7月   [査読有り]
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Nonlinear Theory and Its Applications, IEICE   5(1) 47-52   2014年1月   [査読有り]
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
SIAM J. Numerical Analysis   52(2) 975-992   2014年5月   [査読有り]
Yoshitaka Watanabe,Takehiko Kinoshita,Mitsuhiro T. Nakao
Math. Comput.   82(283) 1543-1557   2013年7月   [査読有り]
Yoshitaka Watanabe
Nonlinear Theory and Its Applications, IEICE   4(1) 23-33   2013年1月   [査読有り]
Cai Shuting, Nagatou Kaori, Watanabe Yoshitaka
Numerical Functional Analysis and Optimization   33(10) 1195-1220   2012年10月   [査読有り]
渡部 善隆
数理解析研究所講究録別冊   30 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, and Makoto Tagami
Universal Journal of Mathematics and Mathematical Sciences   1(1) 1-28   2012年1月   [査読有り]
Yamamoto Nobito, Nakao Mitsuhiro T., Watanabe Yoshitaka
Numerical Functional Analysis and Optimization   32(11) 1190-1204   2011年11月   [査読有り]
A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
Nonlinear Theory and Its Applications, IEICE   2(1) 123-127   2011年1月   [査読有り]
Numerical verification methods for solutions of semilinear elliptic boundary value problems
Mitsuhiro T. Nakao, Yoshitaka Watanabe
Nonlinear Theory and Its Applications, IEICE   2(1) 2-31   2011年1月   [査読有り][招待有り]
Nakao Mitsuhiro T., Watanabe Yoshitaka, Yamamoto Nobito, Nishida Takaaki, Kim Myoungnyoun
Journal of Scientific Computing   43(3) 388-401   2010年6月   [査読有り]
Watanabe Yoshitaka, Nakao Mitsuhiro T.
Japan Journal of Industrial and Applied Mathematics   26(2-3) 443-463   2009年10月   [査読有り]
Watanabe Yoshitaka
Japan Journal of Industrial and Applied Mathematics   26(2-3) 233-247   2009年10月   [査読有り]
Watanabe Yoshitaka
Journal of Computational and Applied Mathematics   223(2) 953-966   2009年1月   [査読有り]
Watanabe Yoshitaka, Plum Michael, Nakao Mitsuhiro T.
Zeitschrift fur Angewandte Mathematik und Mechanik   89(1) 5-18   2009年1月   [査読有り]
Myoungnyoun Kim,Mitsuhiro T. Nakao,Yoshitaka Watanabe,Takaaki Nishida
Numerische Mathematik   111(3) 389-406   2009年1月   [査読有り]
A numerical verification of bifurcation points for nonlinear heat convection problems
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida
The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering" (2nd IC-SCCE)   1-8   2006年7月   [査読有り]
Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato
Proceedings of International Workshop on Innovative Architecture   141-146   2006年1月   [査読有り]
A numerical verification method for solutions of singularly perturbed problems with nonlinearity
Kouji Hashimoto, Ryohei Abe, Mitsuhiro T. Nakao, Yoshitaka Watanabe
Japan Journal of Industrial and Applied Mathematics   22(1) 111-131   2005年   [査読有り]
渡部 善隆, 山本 野人, 中尾 充宏
日本応用数理学会論文誌   15(4) 509-520   2005年   [査読有り]
One of the authors have proposed a method to prove the existence and the local uniqueness of solutions to infinite-dimensional fixed-point equations using computer. However, for second-order elliptic boundary value problems, in the case the equati...
Mitsuhiro T. Nakao,K. Hashimoto,Yoshitaka Watanabe
Computing   75(1) 1-14   2005年7月   [査読有り]
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao, Takaaki Nishida
Journal of Mathematical Fluid Mechanics   6(1) 1-20   2004年   [査読有り]
Mitsuhiro T. Nakao, Yoshitaka Watanabe
Numerical Algorithms   37(1-4) 311-323   2004年   [査読有り]
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida
Reliable Computing   9(5) 359-372   2003年   [査読有り]
Kenji Toyonaga, Mitsuhiro T. Nakao, Yoshitaka Watanabe
Journal of Computational and Applied Mathematics   147(1) 175-190   2002年   [査読有り]
Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto
Japan Journal of Industrial and Applied Mathematics   18(2) 567-585   2001年   [査読有り]
Validated computation for a linear elliptic problem with a parameter
Nobito Yamamoto, Mitsuhiro T. Nakao, Yoshitaka Watanabe
Advances in Numerical Mathematics; Proceedings of the Fourth Japan-China Joint Seminar on Numerical Mathematics, held in Chiba, Japan, August 24-28, 1998 (H. Kawarada, M. Nakamura, Z. Shi, eds.), GAKUTO International Series Mathematical Sciences and Appli   155-162   1999年   [査読有り]
渡部 善隆, 山本 野人, 中尾 充宏
日本応用数理学会論文誌   9(3) 137-150   1999年   [査読有り]
We consider numerical verification methods to obtain the maximum absolute value of generalized eigenvalue problems. We present four kinds of methods and compare the performance in various situations as well as give evaluation of the advantage and ...
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
Reliable Computing   5(3) 347-357   1999年   [査読有り]
A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Journal of Computational and Applied Mathematics   91 137-158   1998年   [査読有り]
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Reliable Computing   4(2) 115-124   1998年   [査読有り]
Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
Nonlinear Analysis, Theory, Methods & Applications   28(3) 577-587   1997年   [査読有り]
Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Scientific Computing and Validated Numerics, Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, held in Wuppertal, Germany, September 26-29, 1995 (G. Alefeld, A. Frommer, B. Lang, eds.),   90 258-264   1996年   [査読有り]
On computational proofs of the existence of solutions to nonlinear parabolic problems
Mitsuhiro T. Nakao, Yoshitaka Watanabe
Journal of Computational and Applied Mathematics   50(1-3) 401-410   1994年   [査読有り]
Numerical verifications of solutions for nonlinear elliptic equations
Yoshitaka Watanabe, Mitsuhiro T. Nakao
Japan Journal of Industrial and Applied Mathematics   10(1) 165-178   1993年   [査読有り]

Misc

 
数値計算と無限−区間演算の開拓者・須永照雄博士−
渡部 善隆
数理科学   644 57-59   2017年2月
射影とその構成的誤差評価 ー有限と無限を繋ぐものー
渡部 善隆
研究集会・応用数理と計算科学における理論と応用の融合・京都大学数理解析研究所講究録   2005 149-160   2016年
渡部 善隆
数理解析研究所講究録: 新時代の科学技術を牽引する数値解析学   1957 104-115   2015年7月
渡部 善隆
数理解析研究所講究録: 数値解析と数値計算アルゴリズムの最近の展開   1905 132-143   2014年7月
渡部 善隆
シミュレーション   31(3) 154-160   2012年9月
渡部 善隆
応用数理   21(4) 297-303   2011年12月
渡部 善隆
応用数理   21(3) 211-217   2011年9月
渡部 善隆
応用数理   21(2) 126-132   2011年6月
渡部 善隆
応用数理   21(1) 40-45   2011年3月
渡部 善隆, 長藤 かおり, Plum Michael, 中尾 充宏
数理解析研究所講究録: 数値解析と数値計算アルゴリズムの最近の展開   1719 118-129   2010年11月
Nagatou Kaori, Brown Malcolm, Kim Myoungnyoun, Watanabe Yoshitaka, Wood Ian
Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2009   1168 922-925   2009年9月
渡部 善隆, Plum Michael, 中尾 充宏
数理解析研究所講究録: 計算科学の基盤技術としての高速アルゴリズムとその周辺   1614 11-19   2008年10月
渡部 善隆
計算工学講演会論文集   13(2) 697-700   2008年5月
入江 啓一, 藤村 直美, 渡部 善隆
情報教育研究集会講演論文集   2008 583-586   2008年
坂口 秀雄, 渡部 善隆, 今井 仁司
数理解析研究所講究録   1441 165-172   2005年7月
多倍長計算を適用した精度保証数値計算
坂口 秀雄,渡部 善隆,今井 仁司
研究集会・21世紀における数値解析の新展開, 京都大学数理解析研究所講究録   1441 165-172   2005年
渡部 善隆
応用数理   15(1) 74-75   2005年
中尾 充宏, Plum Michael, 渡部 善隆
数理解析研究所講究録   1381 148-158   2004年6月
渡部 善隆
数理解析研究所講究録   1362 56-61   2004年4月   [依頼有り]
渡部 善隆, 南里 豪志, 藤野 清次
情報処理学会研究報告ハイパフォーマンスコンピューティング(HPC)   2003(83) 137-142   2003年8月
HimenoBMTは物理・工学の広い範囲で現れるPoisson方程式を3次元の一般座標系による差分法により離散化しJacobi反復法により近似解を求めるプログラム群であり,科学技術計算における性能評価試験プログラムとして広く利用されている.本稿ではHimenoBMTのFortranプログラム群について,それらの特徴を分析するとともに,倍精度版とあわせて行なったベクトル並列計算機,スカラSMP計算機,PCクラスタなどの性能評価試験の結果について報告する.HimenoBMT is a wide...
池田 大輔, 渡部 善隆, 藤野 清次
九州大学情報基盤センター広報 : 全国共同利用版   2(3) 194-219   2002年11月
渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明
数理解析研究所講究録   1286 17-26   2002年9月
渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明
数理解析研究所講究録   1265 71-80   2002年5月
南里 豪志, 渡部 善隆
九州大学情報基盤センター広報 : 全国共同利用版   2(1) 1-40   2002年3月
藤野 清次, 渡部 善隆, 南里 豪志
情報基盤センター年報   2 45-53   2002年3月
豊永 憲治, 中尾 充宏, 渡部 善隆
情報基盤センター年報   1 49-58   2001年10月
渡部 善隆
九州大学情報基盤センター広報 : 全国共同利用版   1(3) 168-185   2001年10月
渡部 善隆, 田中 省作
九州大学情報基盤センター広報 : 全国共同利用版   1(2) 67-91   2001年7月
渡部 善隆, 山本 野人, 中尾 充宏
数理解析研究所講究録   1198 239-244   2001年4月
南里 豪志, 渡部 善隆
九州大学情報基盤センター広報 : 全国共同利用版   1(1) 20-30   2001年3月
渡部 善隆
応用数理   11(2) 184-185   2001年
Preliminary investigation of distributed shared memory system on a cluster of high performance clusters
Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato, Masaaki Shimasaki
European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2000), September 11-14 2000, Barcelona, Spain Incorporating the VI International Conference on Computational Plasticity (COMPLAS VI)      2000年9月
渡部 善隆, 中尾 充宏
シミュレーション   19(3) 208-215   2000年9月
Some validated computations of the solution for partial differential equations are described. These methods are based on infinite dimensional fixed-point theorems using Newton-like operators. Interval arithmetic is used in order to take account of...
渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明
数理解析研究所講究録   1147 132-136   2000年4月
渡部 善隆
九州大学大型計算機センター広報   33(1) 1-22   2000年3月
渡部 善隆
応用数理   10(2)    2000年
SSL IIのFortran 90インターフェイスの開発
渡部 善隆
全国共同利用大型計算機センター研究開発論文集   21 83-89   1999年
渡部 善隆, 山本 野人, 中尾 充宏
九州大学大型計算機センター広報   31(2) 51-60   1998年6月
渡部 善隆, 山本 野人, 中尾 充宏
数理解析研究所講究録   1040 100-105   1998年4月
渡部 善隆, 山本 野人, 中尾 充宏
九州大学大型計算機センター広報   31(1) 1-10   1998年3月
並列スーパーコンピュータの演算性能〜Fortranプログラムでの実測データ〜
渡部 善隆
全国共同利用大型計算機センター研究開発論文集   19 100-108   1997年
中尾 充宏, 山本 野人, 渡部 善隆
数理解析研究所講究録   944 41-49   1996年4月
中尾 充宏, 山本 野人, 渡部 善隆
数理解析研究所講究録   928 20-31   1995年11月
Verified computation of solutions for nondifferentiable elliptic equations related to MHD equilibria
Yoshitaka Watanabe and Mitsuhiro T. Nakao
Zeitschrift fuer Angewandte Mathematik und Mechanik   75 S553-S554   1995年
渡部 善隆
応用数理   4(1) 95-96   1994年
渡部 善隆, 山本 野人, 中尾 充宏
数理解析研究所講究録   831 141-148   1993年4月
渡部 善隆, 中尾 充宏
計算機科学研究報告   10 1-6   1993年3月
微分不能項を持つ楕円型境界値問題の解に対する数値的検証法
渡部 善隆, 山本 野人, 中尾 充宏
電子情報通信学会技術研究報告   NLP-92-44    1992年

書籍等出版物

 
応用数理ハンドブック
渡部 善隆 (担当:分担執筆, 範囲:偏微分方程式の精度保証)
朝倉書店   2013年10月   
Special Section on Recent Progress in Verified Numerical Computations
渡部 善隆 (担当:共編者)
Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1, pp. 1-110   2013年1月   
日本シミュレーション学会編: シミュレーション辞典
渡部 善隆 (担当:分担執筆, 範囲:微分方程式と数値計算)
コロナ社   2012年2月   
中尾 充宏, 渡部 善隆 (担当:共著)
サイエンス社   2011年   

講演・口頭発表等

 
精度保証付き数値計算入門《応用編》 [招待有り]
渡部 善隆
平成30年度NIFS共同研究 研究会「MHDシミュレーションにおける精度保証の可能性について」 核融合科学研究所, 土岐市, 岐阜県, 2018年12月11日~12日   2018年12月12日   
The essence of numerical verification methods for PDEs
渡部 善隆
2018 Workshop on Recent views of Nonlinear Analysis, December 8-10, 2018, The Toba Chamber of Commerce and Industry, Toba, Japan   2018年12月10日   
反復解法における誤差履歴
渡部 善隆
第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018), , 広島インテリジェントホテルスタジアム前, 広島市, 2018年12月1日~12月2日   2018年12月2日   
2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善
渡部 善隆, 木下 武彦, 中尾 充宏
日本数学会2018年度秋季総合分科会, 岡山大学, 岡山市, 2018年9月24日~9月27日   2018年9月26日   
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), September 10-15, 2018, Waseda University, Japan.   2018年9月14日   

競争的資金等の研究課題

 
関数方程式に対する精度保証付き数値計算法の展開
科学研究費補助金・基盤研究(B)
研究期間: 2015年4月 - 2019年3月    代表者: 渡部 善隆
精度保証付き数値計算による無限次元逆作用素の最適評価とその応用
科学研究費補助金・基盤研究(B): 
研究期間: 2012年4月 - 2015年3月    代表者: 渡部 善隆
計算機援用証明による微分方程式の解曲線のパラメータ連続的追跡
科学研究費補助金・基盤研究(C)
研究期間: 2008年4月 - 2011年3月    代表者: 渡部 善隆
熱対流問題の解の大域構造に対する計算機援用証明
科学研究費補助金・基盤研究(C)
研究期間: 2006年4月 - 2008年3月    代表者: 渡部 善隆
流体力学的非線形安定性問題に対する計算機援用証明
科学研究費補助金・若手研究(B)
研究期間: 2003年4月 - 2006年3月    代表者: 渡部 善隆