〔ひとつ戻る〕 〔メインメニューに戻る〕

業績一覧(研究活動)

最終更新年月日: 2024年4月8日

著書

• Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe:
  Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations,
  Springer Series in Computational Mathematics, Volume 53, Springer Singapore, November 2019, ISBN 978-981-13-7669-6.

• 中尾 充宏, 渡部 善隆:
  実例で学ぶ精度保証付き数値計算〜理論と実装〜,
  臨時別冊・数理科学2011年10月 (SGCライブラリ85), サイエンス社, 2011-10-25, JAN:4910054701012, B5判, 216頁.

著書(分担執筆・編集)

• Zin Arai, Takeshi Ogita, and Yoshitaka Watanabe (Guest Editors),
  Special Section on Recent Progress in Verified Numerical Computations,
  Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1, pp. 1-110, January 2013.

• 日本シミュレーション学会編: シミュレーション辞典, 微分方程式と数値計算(分担執筆),
  コロナ社, 2012年2月, A4判, 454頁.

• 日本応用数理学会監修： 応用数理ハンドブック, 偏微分方程式の精度保証(分担執筆),
  朝倉書店, 2013年10月, B5判, 685頁.

論文(雑誌)

• Yoshitaka Watanabe and Tomoyuki Miyaji:
  Another computer-assisted proof of unimodality of solutions for Proudman Johnson equation,
  Japan Journal of Industrial and Applied Mathematics, (published online) 03 January, 2024.
  https://doi.org/10.1007/s13160-023-00639-x

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  On some convergence properties for finite element approximations to the inverse of linear elliptic operators,
  Acta Cybernetica, vol. 26, no. 1 (June 2023), pp. 71-82.
  https://doi.org/10.14232/actacyb.294906

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces,
  Journal of Scientific Computing, vol. 94, Article number: 43 (January 2023).
  https://doi.org/10.1007/s10915-023-02097-6

• Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and 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, vol. 417 (January 2023) 114521.
  https://doi.org/10.1016/j.cam.2022.114521

• Kenta Kobayashi and Yoshitaka Watanabe:
  Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem,
  JSIAM Letters, vol. 14 (July 2022) pp. 92-95.
  https://doi.org/10.14495/jsiaml.14.92

• Shuting Cai, Yoshitaka Watanabe:
  Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem,
  Journal of Computational and Applied Mathematics, Volume 395 (October 2021) 113603.
  https://doi.org/10.1016/j.cam.2021.113603

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  Some improvements of invertibility verifications for second-order linear elliptic operators,
  Applied Numerical Mathematics, Volume 154 (August 2020) pp. 36-46.
  https://doi.org/10.1016/j.apnum.2020.03.016

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space,
  Journal of Computational and Applied Mathematics, Volume 369 (May 2020) 112561.
  https://doi.org/10.1016/j.cam.2019.112561

• Shuting Cai, Yoshitaka Watanabe:
  A computer‐assisted method for the diblock copolymer model,
  Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM); Journal of Applied Mathematics and Mechanics, Volume 99, Issue 7 (July 2019) e201800125.
  https://doi.org/10.1002/zamm.201800125

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space,
  Japan Journal of Industrial and Applied Mathematics, Volume 36, Issue 2 (July 2019) pp. 407-420.
  https://doi-org.anywhere.lib.kyushu-u.ac.jp/10.1007/s13160-019-00344-8

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces,
  Journal of Differential Equations, vol. 266, Issue 9 (April 2019) pp. 5431-5447.
  https://doi.org/10.1016/j.jde.2018.10.027

• Yoshitaka Watanabe, Mitsuhiro T. Nakao, and Kaori Nagatou:
  On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations,
  JSIAM Letters, vol. 9 (December 2017) pp. 77-80.
  doi://doi.org/10.14495/jsiaml.9.77

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Validated constructive error estimations for biharmonic problems,
  in Scientific Computing, Computer Arithmetic, and Validated Numerics; 17th International Symposium, SCAN 2016, Uppsala, Sweden, September 26-29, 2016. Revised Selected Papers (V. Kreinovich, W. Tucker, eds.), Reliable Computing, vol. 25 (August 2017) pp. 168-177.

• Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao:
  Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains,
  Japan Journal of Industrial and Applied Mathematics, Vol. 33, Issue 3 (December 2016) pp. 629-636.
  doi:10.1007/s13160-016-0223-y

• Yoshitaka Watanabe:
  An Efficient Numerical Verification Method for the Kolmogorov Problem of Incompressible Viscous Fluid,
  Journal of Computational and Applied Mathematics, Vol. 302 (August 2016) pp. 157-170.
  doi:10.1016/j.cam.2016.01.055

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao:
  Norm Bound Computation for Inverses of Linear Operators in Hilbert Spaces,
  Journal of Differential Equations, Vol. 260, Issue 7 (April 2016) pp. 6363-6374, 2016.
  doi:10.1016/j.jde.2015.12.041

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  A Numerical Verification Method for Nonlinear Functional Equations Based on Infinite-dimensional Newton-like Iteration,
  Applied Mathematics and Computation, Vol. 276, (March 2016) pp. 239-251.
  doi:10.1016/j.amc.2015.12.021

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Recurrence Relations of Orthogonal Polynomials in H₀¹ and H₀²,
  Nonlinear Theory and Its Applications, IEICE, Vol. 6, No. 3 (July 2015) pp. 404-409.
  http://doi.org/10.1587/nolta.6.404

• Shuting Cai and Yoshitaka Watanabe:
  A Computer-assisted Method for Excluding Eigenvalues of an Elliptic Operator Linearized at a Solution of a Nonlinear Problem,
  Japan Journal of Industrial and Applied Mathematics, Vol. 32, No. 1 (March 2015) pp. 263-294.
  DOI 10.1007/s13160-015-0167-7

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, and Nobito Yamamoto:
  Some Considerations of the Invertibility Verifications for Linear Elliptic Operators,
  Japan Journal of Industrial and Applied Mathematics, Vol. 32, No. 1 (March 2015) pp. 19-32.
  DOI 10.1007/s13160-014-0160-6

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao:
  Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces,
  SIAM Journal on Numerical Analysis, Vol. 52, No. 2 (May 2014) pp. 975-992.
  http://dx.doi.org/10.1137/120894683

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  An Improvement of the Theorem of A Posteriori Estimates for Inverse Elliptic Operators,
  Nonlinear Theory and Its Applications, IEICE, Vol. 5, No. 1 (January 2014) pp. 47-52.
  

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations,
  Mathematics of Computation, Vol. 82, No. 283 (July 2013) pp. 1543-1557.
  

• Yoshitaka Watanabe:
  A Simple Numerical Verification Method for Differential Equations Based on Infinite Dimensional Sequential Iteration,
  Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1 (January 2013) pp. 23-33.
  

• Shuting Cai, Kaori Nagatou, and Yoshitaka Watanabe:
  A Numerical Verification Method for a System of FitzHugh-Nagumo Type,
  Numerical Functional Analysis and Optimization, Vol. 33, No. 10 (October 2012) pp. 1195-1220.
  

• Toshio Sakata, Kazumitsu Maehara, Takeshi Sasaki, Toshio Sumi, Mitsuhiro Miyazaki, Yoshitaka Watanabe, and Makoto Tagami:
  Tests of Inequivalence Among Absolutely Nonsingular Tensors Through Geometric Invariants,
  Universal Journal of Mathematics and Mathematical Sciences, Vol. 1, No. 1 (January 2012) pp. 1-28.
  

• Nobito Yamamoto, Mitsuhiro T. Nakao, and Yoshitaka Watanabe:
  A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations,
  Numerical Functional Analysis and Optimization, Vol. 32, No. 11 (November 2011) pp. 1190-1204.
  

• Mitsuhiro T. Nakao, and Yoshitaka Watanabe:
  Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems,
  Nonlinear Theory and Its Applications, IEICE, Vol. 2, No. 1 (January 2011) pp. 2-31.
  

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao:
  A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow,
  Nonlinear Theory and Its Applications, IEICE, Vol. 2, No. 1 (January 2011) pp. 123-127.
  

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida and Myoung-Nyoun Kim:
  Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems,
  Journal of Scientific Computing, Vol. 43, No. 3 (June 2010) pp. 388-401.
  

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Bénard Problem ,
  Japan Journal of Industrial and Applied Mathematics, Vol. 26, No. 2-3 (October 2009) pp. 443-463.
  

• Yoshitaka Watanabe:
  A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations,
  Japan Journal of Industrial and Applied Mathematics, Vol. 26, No. 2-3 (October 2009) pp. 233-247.
  

• Yoshitaka Watanabe:
  A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid,
  Journal of Computational and Applied Mathematics, Vol.223 (Jan.2009) pp.953-966.

• Yoshitaka Watanabe, Michael Plum and Mitsuhiro T. Nakao:
  A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow,
  Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) Journal of Applied Mathematics and Mechanics, Vol.89, No.1, pp.5-18 (Jan. 2009) / DOI 10.1002/zamm.200700158.

• Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaaki Nishida:
  A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Be\'nard problems,
  Numerische Mathematik, Vol.111, No.3 (Jan. 2009) pp.389-406.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  楕円型方程式の解に対する局所一意性付き数値的検証法の効率化,
  日本応用数理学会論文誌, Vol.15, No.4 (2005) pp.509-520.

• Mitsuhiro T. Nakao, Kouji Hashimoto and Yoshitaka Watanabe:
  A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems,
  Computing, Vol.75, Number 1 (July 2005) pp.1-14.
  Special issue: GAMM - Workshop on Guaranteed Error-bounds for the Solution of Nonlinear Problems in Applied Mathematics. Guest Editor: Jurgen Herzberger.

• Kouji Hashimoto, Ryohei Abe, Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity,
  Japan Journal of Industrial and Applied Mathematics, Vol.22, No.1 (2005) pp.111-131.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe:
  An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations,
  Numerical Algorithms, Vol.37, Issue1-4 (2004) pp.311-323.
  Special Issue: SCAN'2002 International Conference (Guest Editors: Rene Alt and Jean-Luc Lamotte)

• Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao and Takaaki Nishida:
  A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem,
  Journal of Mathematical Fluid Mechanics, Vol.6, No.1 (2004) pp.1-20.
  

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida:
  Some Computer Assisted Proofs for Solutions of the Heat Convection Problems,
  Reliable Computing, Vol.9, No.5 (2003) pp.359-372.
  (Special Issue Proceedings of the Validated Computing 2002 conference, May 23-25, 2002, Toronto, Canada, Guest Editor: R. Baker Kearfott)

• Kenji Toyonaga, Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  Verified Numerical Computations for Multiple and Nearly Multiple Eigenvalues of Elliptic Operators,
  Journal of Computational and Applied Mathematics, Vol.147, Issue 1 (2002) pp.175-190.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe and Nobito Yamamoto:
  Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data,
  Japan Journal of Industrial and Applied Mathematics, Vol.18, No.2 (2001) pp.567-585.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  A Numerical Verification Method of Solutions for the Navier-Stokes Equations,
  Reliable Computing, Vol.5, No.3 (1999) pp.347-357.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  一般化固有値問題の精度保証付き計算とその応用,
  日本応用数理学会論文誌, Vol.9, No.3 (1999) pp.137-150.

• Mitsuhiro T. Nakao, Nobito Yamamoto and Yoshitaka Watanabe:
  Constructive L^2 Error Estimates for Finite Element Solutions of the Stokes Equations,
  Reliable Computing, Vol.4, No.2 (1998) pp.115-124.

• Mitsuhiro T. Nakao, Nobito Yamamoto and Yoshitaka Watanabe:
  A Posteriori and Constructive A Priori Error Bounds for Finite Element Solutions of the Stokes Equations,
  Journal of Computational and Applied Mathematics, Vol.91 (1998) pp.137-158.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  Verified Computations of Solutions for Nondifferentiable Elliptic Equations Related to MHD Equilibria,
  Nonlinear Analysis, Theory, Methods & Applications, Vol.28, No.3 (1997) pp.577-587.

• Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  On Computational Proofs of the Existence of Solutions to Nonlinear Parabolic Problems,
  Journal of Computational and Applied Mathematics, Vol.50, No.1-3 (1994) pp.401-410.

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  Numerical Verifications of Solutions for Nonlinear Elliptic Equations,
  Japan Journal of Industrial and Applied Mathematics, Vol.10, No.1 (1993) pp.165-178.

論文(会議録)

Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators,
in Scientific Computing, Computer Arithmetic, and Validated Numerics; 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers (M. Nehmeier, J. Wolff von Gudenberg, W. Tucker, eds.), Lecture Notes in Computer Science, Vol. 9553, pp. 225-235, April, 2016.
doi:10.1007/978-3-319-31769-4_18
• 渡部 善隆:
  微分方程式の精度保証付き数値計算−逐次反復に基づく計算機援用証明−,
  講究録別冊 B30 (研究集会「可積分数理の進化」, 広田 良吾, 高橋大輔 編), pp. 145-155, April, 2012.
  [英語表記]:
  Yoshitaka Watanabe:
  Numerical verification methods for differential equations: Computer-assisted proofs based on infinite dimensional sequential iteration,
  RIMS Kôkyûroku Bessatsu B30: Progress in Mathematics of Integrable Systems (R. Hirota and D. Takahashi, eds.), pp. 145-155, April, 2012.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida:
  A numerical verification of bifurcation points for nonlinear heat convection problems,
  The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering" (2nd IC-SCCE), 8pages, July 2006.

• Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato:
  Performance comparison of vector-calculations between Itanium2 and other processors,
  Proceedings of International Workshop on Innovative Architecture, pp. 141-146 (2006, January).

• Nobito Yamamoto, Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  Validated Computation for a Linear Elliptic Problem with a Parameter,
  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 Applications, Volume 12, Gakkotosho, Tokyo, Japan (1999) pp.155-162.

• Mitsuhiro T. Nakao, Nobito Yamamoto and Yoshitaka Watanabe:
  Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem,
  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.), Mathematical Research, Volume 90, Akademie Verlag (1996) pp.258-264.

解説

• 渡部 善隆:
  数値計算と無限−区間演算の開拓者・須永照雄博士−,
  数理科学, No. 644(2017年2月号), pp. 57-59, February, 2017.

• 渡部 善隆:
  偏微分方程式の解の精度保証,
  シミュレーション, Vol.31, No.3 (2012) pp.24-30.

• 渡部 善隆:
  偏微分方程式の精度保証付き数値計算／Plum理論の紹介, 数学セミナー, 2012年10月号, pp.32-36, September, 2012.

• 渡部 善隆:
  精度保証付き数値計算(4)−区間演算と有限次元問題の精度保証−, 応用数理, Vol.21, No.4, pp.57-63, December, 2011.

• 渡部 善隆:
  精度保証付き数値計算(3)−中尾理論入門−, 応用数理, Vol.21, No.3, pp.47-53, September, 2011.

• 渡部 善隆:
  精度保証付き数値計算(2)−線形逆作用素のノルム評価−, 応用数理, Vol.21, No.2, pp.54-60, June, 2011.

• 渡部 善隆:
  精度保証付き数値計算(1)−不動点定式化−, 応用数理, Vol.21, No.1, pp.40-45, March, 2011.

• 渡部 善隆, 中尾 充宏:
  精度保証付きシミュレーション[4]−偏微分方程式の精度保証−,
  シミュレーション, Vol.19, No.3 (2000) pp.208-215.

• 渡部 善隆:
  「名取 亮, 線形計算, 朝倉書店, 1993, 141pp.」 応用数理, Vol.4, No.1, Mar. 1994, pp.95-96.

講究録，研究報告など

• 渡部 善隆:
  射影とその構成的誤差評価 ー有限と無限を繋ぐものー,
  研究集会・応用数理と計算科学における理論と応用の融合, 京都大学数理解析研究所講究録 Vol. 2005 (2016) pp. 149-160. (2016年11月)

• 渡部 善隆:
  精度保証付き数値計算による楕円型作用素の逆作用素ノルム評価,
  研究集会・非圧縮性粘性流体の数理解析, 京都大学数理解析研究所講究録 Vol. 1957 (2015) pp. 104-115. (2015年7月)

• 渡部 善隆:
  A computer-assisted proof of the Kolmogorov problem of incompressible viscos fluid,
  研究集会・非圧縮性粘性流体の数理解析, 京都大学数理解析研究所講究録 Vol. 1905 (2014) pp. 132-143. (2014年7月)

• 渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏:
  無限次元固有値問題に対する固有値の非存在証明,
  研究集会・数値解析と数値計算アルゴリズムの最近の展開, 京都大学数理解析研究所講究録 Vol.1719 (2010) pp.118-129. (2010年11月)

• 渡部 善隆, Michael Plum, 中尾 充宏:
  並行Poiseuille流れの不安定性に対する計算機援用証明,
  研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺, 京都大学数理解析研究所講究録 Vol.1614 (2008) pp.11-19. (2008年10月)

• 渡部 善隆:
  Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Bénard problem,
  研究集会・流体と気体の数学解析, 京都大学数理解析研究所講究録 Vol.1536 (2007) pp.87-96. (2007年2月)

• 渡部 善隆:
  Rayleigh-Bénard問題の大域分岐構造に対する精度保証付き数値計算,
  研究集会・計算科学の基盤技術とその発展, 京都大学数理解析研究所講究録 Vol.1505 (2006) pp.101-105.

• 坂口 秀雄，渡部 善隆，今井 仁司:
  多倍長計算を適用した精度保証数値計算,
  研究集会・21世紀における数値解析の新展開, 京都大学数理解析研究所講究録 Vol.1441 (2005) pp.165-172. (2005年7月)

• 中尾 充宏, Michael Plum, 渡部 善隆:
  Orr-Sommerfeld問題の解に対する計算機援用証明について,
  研究集会・数学解析の理論的展開の計算機による支援・遂行可能性, 京都大学数理解析研究所講究録 Vol.1381 (2004) pp.148-158. (2004年6月)

• 渡部 善隆:
  Navier-Stokes 方程式の解に対する数値的検証の現状と動向,
  研究集会・数値解析と新しい情報技術 (nanit2003), 京都大学数理解析研究所講究録 Vol.1362 (2004) pp.56-61. (2004年4月) (特別講演).

• 渡部 善隆, 南里 豪志, 藤野 清次:
  Himeno BMTによるハイパフォーマンスコンピュータの性能評価,
  2003年並列／分散／協調処理に関する 『松江』サマー・ワークショップ (SWoPP松江2003) 2003年8月4日〜6日, 情報処理学会研究報告 2003-HPC-95 (2003) pp.137-142. (2003年8月)

• 渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明:
  熱対流問題の解に対する計算機援用証明,
  研究集会・数学解析の計算機上での理論的展開とその遂行可能性, 京都大学数理解析研究所講究録 Vol.1286 (2002) pp.17-26. (2002年9月)

• 渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明:
  Rayleigh-B\'enard対流の定常解に対する精度保証付き数値計算 II,
  研究集会・微分方程式の離散化手法と数値計算アルゴリズム, 京都大学数理解析研究所講究録 Vol.1265 (2002) pp.71-80. (2002年5月)

• 藤野 清次, 渡部 善隆, 南里 豪志:
  基本数値演算:内積評価とその応用,
  情報基盤センター年報・第2号 (2002) pp.45-53. (2002年3月)

• 豊永 憲治, 中尾 充宏, 渡部 善隆:
  楕円形固有値問題における重複固有値の精度保証付き数値計算について,
  情報基盤センター年報・第1号 (2001) pp.49-58. (2001年10月)

• 渡部 善隆, 山本 野人, 中尾 充宏:
  楕円型逆固有値問題におけるポテンシャル関数の包み込みについて,
  研究集会・偏微分方程式の数値解法とその周辺II, 京都大学数理解析研究所講究録, Vol.1198 (2001) pp.239-244.

• Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato and Masaaki Shimasaki:
  Preliminary Investigation of Distributed Shared Memory System on a Cluster of High Performance Clusters,
  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)

• 渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明:
  Rayleigh-B\'enard対流の定常解に対する精度保証付き数値計算,
  短期共同研究・精度保証付き数値計算法とその周辺, 京都大学数理解析研究所講究録, Vol.1147 (2000) pp.132-136.

• 渡部 善隆:
  SSL IIのFortran 90インターフェイスの開発,
  全国共同利用大型計算機センター研究開発論文集, No.21 (1999) pp.83-89.

• 渡部 善隆, 中尾 充宏, 山本 野人:
  Navier-Stokes方程式の解の数値的検証法について,
  数値計算アルゴリズムの研究, 京都大学数理解析研究所講究録, Vol.1040 (1998) pp.100-105.

• 渡部 善隆:
  並列スーパーコンピュータの演算性能〜Fortranプログラムでの実測データ〜,
  全国共同利用大型計算機センター研究開発論文集, No.19 (1997) pp.100-108.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  Stokes方程式の有限要素解に対するa priori誤差評価,
  科学技術における数値計算の理論と応用, 京都大学数理解析研究所講究録, Vol.944 (1996) pp.41-49.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  Stokes方程式の有限要素解に対するa posteriori誤差評価,
  短期共同研究・数値計算における品質保証とその応用 -感度解析から証明まで-, 京都大学数理解析研究所講究録, Vol.928 (1995) pp.20-31.

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  Verified Computation of Solutions for Nondifferentiable Elliptic Equations Related to MHD Equilibria,
  Zeitschrift f\"{u}r Angewandte Mathematik und Mechanik Vol.75 (1995) S553-S554.

• 渡部 善隆, 中尾 充宏:
  非線形楕円型境界値問題の解に対する精度保証付き数値的検証法,
  計算機科学研究報告 10, 九州大学大型計算機センター (1993) pp.1-6.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  微分不能項を持つ楕円型方程式の解に対する検証問題について,
  短期共同研究・精度保証付き数値計算とその応用, 京都大学数理解析研究所講究録, Vol.831 (1993) pp.141-148.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  微分不能項を持つ楕円型境界値問題の解に対する数値的検証法,
  電子情報通信学会技術研究報告, NLP-92-44 (1992).

学術会合報告

• 渡部 善隆:
  SCAN 2004,
  応用数理, Vol.15, No.1, pp.74-75 (2005).

• 渡部 善隆:
  精度保証付き数値計算法とその周辺,
  応用数理, Vol.10, No.2, pp.92 (2000).

• 渡部 善隆:
  SCAN 2000 / Interval 2000,
  応用数理, Vol.11, No.2, pp.92-93 (2001).

• 渡部 善隆:
  高性能大規模計算と精度保証付き計算に関するワークショップ,
  応用数理, Vol.12, No.1, pp.89-90 (2002).

口頭発表

(会議録，講究録，研究報告掲載分は除く)

• 寺尾 剛史, 渡部 善隆, 尾崎 克久:
  無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算,
  日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178, 2024年3月17日〜20日.
  発表日: 2024.3.20

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について,
  日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176, 2024年3月17日〜20日.
  発表日: 2024.3.20

• 寺尾 剛史, 渡部 善隆, 尾崎 克久:
  線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算,
  日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日〜6日.
  発表日: 2024.3.6.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  近似楕円型線形作用素のノルムに関する収束性評価の改良,
  日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日〜6日.
  発表日: 2024.3.6.

• Yoshitaka Watanabe:
  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.2.21.[招待講演]

• 渡部 善隆:
  非線形波動方程式の自己相似爆発解に対する精度保証付き数値計算,
  RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 (Research on High-performance Scientific Computing in a New Era), 京都大学, 益川ホール, 京都市, 2023年10月18日〜10月20日.
  発表日: 2023.10.20. [招待講演]

• 渡部 善隆, 宮路 智行:
  精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証,
  日本数学会2023年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.195-196, 東北大学, 仙台市, 2023年9月20日〜9月23日.
  発表日: 2023.9.23.

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Birgit Schörkhuber, and Mitsuhiro T. Nakao:
  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), August 20-25, 2023, Waseda University, Tokyo, Japan.
  発表日: 2023.8.22.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価,
  日本数学会2023年年会, 中央大学, 応用数学分科会講演アブストラクト, pp. 103-104, 2023年3月15日〜18日.
  発表日: 2023.3.17

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  楕円型線形作用素に対する近似逆作用素ノルムの収束性評価,
  日本応用数理学会2023年研究部会連合発表会, 岡山理科大学, 2023年3月8日〜10日.
  発表日: 2023.3.8.

• 渡部 善隆:
  精度保証付き数値計算によるProudman Johnson 方程式の定常解の存在別証,
  日本数学会2022年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.79-80, 北海道大学, 札幌市, 2022年9月13日〜9月16日.
  発表日: 2022.9.15.

• 渡部 善隆:
  Proudman-Johnson方程式の定常解に対する精度保証付き数値計算 〜Miyaji-Okamoto定理の別証〜,
  日本応用数理学会2022年度年会講演予稿集, A3-1-1, 北海道大学(セミハイブリッド), 札幌市, 2022年9月8日〜9月10日.
  発表日: 2022.9.10.

• 渡部 善隆, 長藤かおり, Michael Plum, 木下 武彦, 中尾 充宏:
  OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明,
  日本数学会2022年年会, 埼玉大学, 応用数学分科会講演アブストラクト, pp. 153-154, 2022年3月28日〜31日.
  発表日: 2022.3.31

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao:
  A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem,
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 13-18, 2022 (online).
  発表日: 2022.3.16.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  2階楕円型境界値問題から導かれる近似作用素ノルムの収束性,
  日本応用数理学会2022年研究部会連合発表会, 九州大学(オンライン), 2022年3月8日〜9日.
  発表日: 2022.3.8.

• 渡部 善隆:
  ある三角行列の最小特異値に対するBünger-Rump理論による精度保証付き数値計算,
  第5回精度保証付き数値計算の実問題への応用研究集会(NVR 2021) ・JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会,
  オンライン開催, 2021年11月27日〜11月28日.
  発表日: 2021.11.27.

• 渡部 善隆:
  非線形微分方程式に対する精度保証付き数値計算,
  CREST「現代の数理科学と連携するモデリング手法の構築」 成果報告公開シンポジウム〜DX, AI, これからの数理モデリング〜, オンライン開催, 2021年9月21日〜9月24日.
  発表日: 2021.9.24.

• 渡部 善隆, 蔡 姝婷:
  Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明,
  日本数学会2021年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.123-124, 千葉大学(オンライン), 千葉市, 2021年9月14日〜9月17日.
  発表日: 2021.9.17.

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  On some convergence properties for finite element approximations to the inverse of linear elliptic operators,
  19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020), September 13-15, 2021, Szeged, Hungary.
  発表日: 2021.9.14.

• 渡部 善隆, 蔡 姝婷:
  定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算,
  日本応用数理学会2021年度年会講演予稿集, pp.424-425, 芝浦工業大学(オンライン), さいたま市, 2021年9月7日〜9月9日.
  発表日: 2021.9.9.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  重調和方程式の近似解に対する構成的誤差評価の改良,
  日本数学会2021年年会, 慶應義塾大学(オンライン), 応用数学分科会講演アブストラクト, pp. 87-88, 2021年3月15日〜18日.
  発表日: 2021.3.17

• 小林 健太, 渡部 善隆:
  Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用,
  日本応用数理学会2021年研究部会連合発表会, (オンライン), 2021年3月4日〜3月5日.
  発表日: 2021.3.4.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用,
  日本数学会2020年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.107-110, 熊本大学(オンライン), 熊本市, 2020年9月22日〜9月25日.
  発表日: 2020.9.24.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  Hilbert空間における線形作用素に対する可逆性検証の効率化,
  日本応用数理学会2020年度年会講演予稿集, pp.444-445, 愛媛大学(オンライン), 松山市, 2020年9月8日〜9月10日.
  発表日: 2020.9.10.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  有界作用素のレゾルベントに対するある近似作用素の強収束性について,
  日本数学会2020年年会, 日本大学, 応用数学分科会講演アブストラクト, pp. 117-118, 2020年3月16日〜19日.
  発表日: 2020.3.19.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  Banach空間における有界線形作用素の近似に対する収束性,
  日本応用数理学会2020年研究部会連合発表会, 中央大学, 2020年3月4日〜5日.
  発表日: 2020.3.5.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  ある楕円型境界値問題から導かれる近似作用素のノルムの収束性,
  応用数学合同研究集会, 発表番号A14-2, 龍谷大学瀬田キャンパス, 大津市, 2019年12月12日〜12月14日.
  発表日: 2019.12.14.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  Nakao et al. (2005) 最後の謎,
  第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019), サンポートホール高松 63会議室, 高松市, 2019年11月30日〜12月1日.
  発表日: 2019.11.30.

• 木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏:
  H10関数の直交多項式近似に対する2次の誤差評価の最良定数について,
  日本数学会2019年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.43-44, 金沢大学, 金沢市, 2019年9月17日〜9月20日.
  発表日: 2019.9.17.

• 木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏:
  H10射影誤差に対する2次の誤差評価の最良定数の包含方法について,
  日本応用数理学会2019年度年会講演予稿集, pp.360-361, 東京大学駒場キャンパスI, 東京都, 2019年9月3日〜9月5日.
  発表日: 2019.9.5.

• Yoshitaka Watanabe:
  Numerical verification methods for nonlinear equations,
  JST Sakura Exchange Program in Science, 2019, August 25-September 1, 2019, Niigata University.
  発表日: 2019.8.29.

• Yoshitaka Watanabe:
  A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation,
  Minisymposia: Numerical verification methods and their application to differential equations - Part 1, in the 9th International Congress on Industrial and Applied Mathematics (ICIAM), July 15-19, 2019, Valencia, Spain.
  発表日: 2019.7.19.

• Yoshitaka Watanabe:
  Computer-assisted proofs for the Orr-Sommerfeld equation,
  Workshop: Rigorous Computational Dynamics in Infinite Dimensions, April 3-6, 2019, Centre de recherches mathématiques (CRM), Université de Montréal, Montré, Québec, Canada.
  発表日: 2019.4.5. (invited talk)

• 渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏:
  Poisson方程式に対する構成的高次誤差評価とその応用,
  日本数学会2019年年会, 東京工業大学, 応用数学分科会講演アブストラクト, pp. 55-56, 2019年3月17日〜20日.
  発表日: 2019.3.17.

• 渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏:
  Poisson方程式に対する構成的高次誤差評価,
  日本応用数理学会2019年研究部会連合発表会, 筑波大学, 2019年3月4日〜5日.
  発表日: 2019.3.4.

• 渡部 善隆:
  精度保証付き数値計算入門《応用編》,
  平成30年度NIFS共同研究 研究会「MHDシミュレーションにおける精度保証の可能性について」 核融合科学研究所, 土岐市, 岐阜県, 2018年12月11日〜12日.
  発表日: 2018.12.11.

• Yoshitaka Watanabe:
  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.

• Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  A higher order error estimation for finite element approximations of the Poisson equation,
  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.

• Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao:
  Verified computations of eigenvalue exclosures for linearized Kolmogorov problem,
  18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), September 10-15, 2018, Waseda University, Japan. 発表日: 2018.9.13.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  2階楕円型作用素に対する逆作用素ノルム評価の改良,
  日本応用数理学会2018年度年会講演予稿集, 名古屋大学東山キャンパス, 名古屋市, 2018年9月3日〜9月5日.
  発表日: 2018.9.3.

• Yoshitaka Watanabe:
  A higher order error estimation of the Poisson equation and its applications,
  International Workshop on Numerical Methods for Partial Differential Equations, Hong Kong, 2018年3月26日〜28日.
  発表日: 2018.3.28.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証,
  日本数学会2018年年会, 東京大学, 応用数学分科会講演アブストラクト, pp. 103-106, 2018年3月18日〜21日.
  発表日: 2018.3.20.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証,
  日本応用数理学会2018年研究部会連合発表会, 大阪大学, 2018年3月15日〜16日.
  発表日: 2018.3.16.

• 渡部 善隆:
  Kolmogorov問題に対する計算機援用証明における最大値ノルムの改良,
  研究集会: 不連続Galerkin有限要素法の数学理論とその周辺, コンフォートホテル長崎会議室, 長崎市, 2018年2月14日〜15日.
  発表日: 2018.2.14.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  Legendre多項式を用いた重調和問題の構成的誤差評価(といくつかの課題),
  応用数学合同研究集会, 龍谷大学, 2017年12月14日〜16日.
  発表日: 2017.12.16.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  重調和問題の解に対する構成的誤差評価,
  第1回精度保証付き数値計算の実問題への応用研究集会(NVR 2017), 西日本総合展示場, 北九州市, 2017年12月9日〜10日.
  発表日: 2017.12.10.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良,
  日本数学会2017年度秋季総合分科会 応用数学分科会講演アブストラクト, 山形大学, 山形市, 2017年9月11日〜9月14日.
  発表日: 2017.9.13.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  値域が共役空間となる2階楕円型作用素に対する可逆性検証法の改良,
  日本応用数理学会2017年度年会講演予稿集, 武蔵野大学有明キャンパス, 東京都, 2017年9月6日〜9月8日.
  発表日: 2017.9.6.

• Yoshitaka Watanabe:
  Some computer-assisted proofs for the Navier-Stokes equations,
  Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), Banff International Research Station for Mathematical Innovation and Discovery, Banff, Canada, May 8-12, 2017.
  発表日: 2017.5.8. [invited talk]

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  あるコンパクト作用素のレゾルベントに対する下側評価について,
  日本数学会2017年年会, 首都大学東京, 応用数学分科会講演アブストラクト, pp. 87-90, 2017年3月24日〜27日.
  発表日: 2017.3.26.

• 渡部 善隆:
  Navier-Stokes方程式から導かれる非線形作用素のコンパクト性について,
  研究集会・数値解析の理論と実践, 石川県政記念 しいのき迎賓館, 2017年3月21日〜22日.
  発表日: 2017.3.22.

• Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao:
  An alternative approach of invertibility verifications for linear operators in Hilbert spaces,
  The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Hotel breeze bay marina, Miyako-jima, Okinawa, March 14-18, 2017.
  発表日: 2017.3.17.

• Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe:
  Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces,
  The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Hotel breeze bay marina, Miyako-jima, Okinawa, March 14-18, 2017.
  発表日: 2017.3.17.

• 中尾 充宏, 長藤 かおり, 渡部 善隆:
  Navier-Stokes方程式に関する非線形作用素のコンパクト性証明,
  日本応用数理学会2017年研究部会連合発表会, 電気通信大学, 2017年3月6日〜7日.
  発表日: 2017.3.7.

• 渡部 善隆:
  流体方程式に対する精度保証付き数値計算,
  研究集会: 流体方程式の構造と特異性に迫る数値解析・数値計算II, 名古屋大学, 2017年1月30日〜31日.
  発表日: 2017.1.30.

• 渡部善隆:
  Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(下),
  応用数学合同研究集会, 龍谷大学, 2016年12月15日〜17日.
  発表日: 2016.12.17.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  コンパクト作用素のレゾルベントに対する下側評価,
  応用数学合同研究集会, 龍谷大学, 2016年12月15日〜17日.
  発表日: 2016.12.16.

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  Validated constructive error estimatations for bi-harmonic problems,
  17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016), September 26-29, 2016, Uppsala University, Sweden, 発表日: 2016年9月28日

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  重調和方程式の近似解に対する構成的誤差評価,
  日本数学会2016年度秋季総合分科会 応用数学分科会講演アブストラクト, 関西大学, 吹田市, 2016年9月15日〜9月18日.
  発表日: 2016.9.18.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  Legendre多項式による重調和方程式の精度保証付き誤差評価,
  日本応用数理学会2016年度年会講演予稿集, 北九州国際会議場, 北九州市, 2016年9月12日〜9月14日.
  発表日: 2016.9.14.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  精度保証付き数値計算による平行Poiseuille流れの高精度不安定性解析,
  日本数学会2016年度年会, 筑波大学, 応用数学分科会講演アブストラクト, pp. 149-150. 2016年3月16日〜19日.
  発表日: 2016.3.19.

• 松田 望, 渡部 善隆, 山本 野人:
  多倍長区間演算ライブラリLILIBによる精度保証付き数値計算,
  日本応用数理学会2016年研究部会連合発表会, 神戸学院大学, 2016年3月4日〜5日.
  発表日: 2016.3.5.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  Hilbert空間の線形作用素に対する逆作用素ノルム評価の改良,
  日本応用数理学会2016年研究部会連合発表会, 神戸学院大学, 2016年3月4日〜5日.
  発表日: 2016.3.5.

• 渡部善隆:
  Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(中),
  応用数学合同研究集会, 龍谷大学, 2015年12月17日〜19日.
  発表日: 2015.12.17.

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao,
  H³ and H⁴ regularities of the Poisson equation on polygonal domains,
  Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), Zuse Institute Berlin, Berlin, Germany, November 11-13, 2015.
  発表日: 2015.11.12.

• 渡部 善隆:
  Kolmogorov問題の精度保証付き数値計算に対するいくつかの考察,
  日本数学会2015年度秋季総合分科会 応用数学分科会講演アブストラクト, pp. 205-208, 京都産業大学, 京都市, 2015年9月13日〜9月16日.
  発表日: 2015.9.16.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  H³正則性を持つ一般多角形領域上のPoisson方程式の解について,
  日本数学会2015年度秋季総合分科会 応用数学分科会講演アブストラクト, pp. 209-210, 京都産業大学, 京都市, 2015年9月13日〜9月16日.
  発表日: 2015.9.16.

• 渡部 善隆, Kaori Nagatou, Michael Plum, 中尾 充宏:
  線形化Kolmogorov問題に対する固有値の除外について,
  日本応用数理学会2015年度年会講演予稿集, 金沢大学 角間キャンパス, 金沢市, 2015年9月9日〜9月11日.
  発表日: 2015.9.9.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  Poisson方程式の解に対するH³およびH⁴セミノルムについて,
  日本応用数理学会2015年度年会講演予稿集, 金沢大学 角間キャンパス, 金沢市, 2015年9月9日〜9月11日.
  発表日: 2015.9.9.

• Yoshitaka Watanabe:
  An improvement of infinity norm estimations for numerical verifications of the Kolmogorov problem,
  Workshop on Information Technology, Applied Mathematics and Education (IME2015 in Tsuwano), Tsuwano Community Center, Tsuwano, Shimane, Japan, 2015年8月18日〜19日.
  発表日: 2015.8.18.

• Yoshitaka Watanabe:
  A nonlinear PDE verification -- Fukuoka, Karlsruhe,
  Nonlinear PDE Days, Karlsruhe Institute of Technology, Germany, 2015年7月14日〜15日.
  発表日: 2015.7.14. [invited talk]

• Yoshitaka Watanabe:
  Some computer-assisted proofs of the Kolmogorov problem of incompressible viscous fluid,
  International Workshop on Information Technology, Applied Mathematics and Science (IMS2015), 京都市生涯学習総合センター, 京都市, 2015年3月26日〜28日.
  発表日: 2015.3.26.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  線形楕円型作用素に対するLaplacianノルムの構成的評価,
  日本数学会2015年度年会, 明治大学, 応用数学分科会講演アブストラクト, pp. 121-124. 2015年3月21日〜24日.
  発表日: 2015.3.24.

• 渡部善隆:
  流体力学モデルの精度保証,
  研究集会: 精度保証付き数値計算の最近の展開, 北九州国際会議場(北九州市小倉北区) 2015年3月8日〜10日.
  発表日: 2015.3.10.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  楕円型線形逆作用素評価の収束性について,
  日本応用数理学会2015年研究部会連合発表会, 明治大学中野キャンパス, 2015年3月6日〜7日.
  発表日: 2015.3.7.

• 渡部善隆:
  数値計算における誤差と残差,
  数値解析セミナー, 東京大学大学院数理科学研究科, 2015年1月19日.
  

• 渡部善隆:
  Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(上),
  応用数学合同研究集会, 龍谷大学, 2014年12月18日〜20日.
  発表日: 2014.12.18.

• 渡部 善隆:
  A numerical verification method for the Orr-Sommerfeld problem,
  研究集会: 流体方程式の構造と特異性に迫る数値解析・数値計算, 名古屋大学, 2014年12月8日〜9日.
  発表日: 2014.12.8.

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Some remarks on the rigorous estimation of inverse linear elliptic operators,
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2014), September 21-26, 2014, University of Würzburg, Germany. 発表日: 2014年9月23日

• Yoshitaka Watanabe:
  Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem,
  Institutskolloquien, Institut für Analysis, Karlsruher Institut für Technologie, Karlsruher, German, September 18, 2014.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  2階楕円型作用素における構成的Laplacianノルム評価,
  日本応用数理学会2014年度年会講演予稿集, 政策研究大学院大学, 東京都港区, 2014年9月3日〜9月5日.
  発表日: 2014.9.3.

• 渡部 善隆:
  精度保証付き数値計算による流れの安定性解析,
  数学談話会, 愛媛大学理学部数学科, 2014年8月7日

• 渡部 善隆:
  区間演算概説,
  ワークショップ: 工学・理学をベースにした線形・非線形問題へのアプローチ, ICT文化ホール, 石垣市, 2014年5月10日〜5月11日.
  発表日: 2014.5.11.

• 渡部 善隆:
  誤差と残差のあいだに(その2),
  研究集会: 超大規模数値計算と数値解析に関する新潟ワークショップ, 新潟市万代市民会館, 2014年3月25日〜3月27日.
  発表日: 2014.3.27.

• Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao:
  An alternative approach of invertibility verifications and norm estimations for linear elliptic operators,
  日本応用数理学会2014年研究部会連合発表会, 京都大学, 2014年3月19日〜20日.
  発表日: 2013.3.20.

• 渡部 善隆:
  計算機援用証明によるOrr-Sommerfeld問題の安定性・不安定性解析,
  日本数学会2014年度年会, 学習院大学, 応用数学分科会講演アブストラクト, pp. 179-188. 2014年3月15日〜3月18日.
  発表日: 2014.3.18. [特別講演]

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  線形作用素に対する可逆性の検証と精度保証付きノルム評価の改良について,
  日本数学会2014年度年会, 学習院大学, 応用数学分科会講演アブストラクト, pp. 167-170. 2014年3月15日〜3月18日.
  発表日: 2014.3.18.

• Yoshitaka Watanabe:
  A comparison of computer-assisted proofs for the Kolmogorov problem,
  International Workshop on Numerical Verification and its Applications 2014 (INVA2014), March 15-17, 2014, Waseda University, Tokyo, Japan.
  発表日: 2014.3.16. [invited talk]

• 渡部善隆, 木下 武彦, 木村 拓馬, 山本 野人, 中尾 充宏:
  2階楕円型線形作用素の可逆性検証に関するいくつかの考察,
  応用数学合同研究集会報告集 pp. 236-241, 龍谷大学, 2013年12月19日〜21日.
  発表日: 2013.12.20.

• 渡部 善隆:
  A computer-assisted instability proof for Poiseuille flow by multiple-precision interval arithmetic library,
  今後のHPC(基盤技術と応用)に関するワークショップ,
  長崎市立図書館新興善メモリアルホール, 2013年12月8日〜9日.
  発表日: 2013.12.8.

• 小林 健太, 渡部 善隆:
  Kolmogorov問題の精度保証におけるノルム評価の改善,
  九州大学数値解析学セミナー, 九州大学, 2013年11月30日.
  

• 渡部 善隆, 中尾 充宏:
  無限次元非線形関数方程式に対するNewton反復型計算機援用証明,
  日本数学会2013年度秋季総合分科会 応用数学分科会講演アブストラクト, pp. 195-198, 愛媛大学, 松山市, 2013年9月24日〜9月27日.
  発表日: 2013.9.27.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  楕円型偏微分作用素に対する逆作用素評価の効率化,
  日本応用数理学会2013年度年会講演予稿集, pp.405-406, アクロス福岡, 福岡市, 2013年9月9日〜9月11日.
  発表日: 2013.9.10.

• 渡部 善隆, 藤原 宏志, 中尾 充宏:
  exflibによる平行Poiseuille流れの不安定性解析の高精度化,
  日本応用数理学会2013年度年会講演予稿集, pp.4-5, アクロス福岡, 福岡市, 2013年9月9日〜9月11日.
  発表日: 2013.9.9.

• 渡部 善隆:
  誤差と残差のあいだに,
  早稲田大学理工学術院総合研究所主催 精度保証付き数値計算ワークショップ, アクロス福岡, 福岡市, 2013年9月9日〜9月10日.
  発表日: 2013.9.9.

• 木下 武彦，渡部 善隆，中尾 充宏:
  楕円型偏微分作用素の可逆性の検証について,
  日本数学会2013年度年会, 京都大学，2013年3月20日〜23日.
  発表日: 2013.3.22.

• 渡部 善隆, 小林 健太:
  Kolmogorov問題の計算機援用証明における最大値ノルム評価の改善について,
  日本応用数理学会2013年研究部会連合発表会, 東洋大学, 2013年3月14日〜15日.
  発表日: 2013.3.15.

• 渡部 善隆:
  exflibの多倍長区間演算環境を用いた精度保証(の中間報告),
  多倍長精度計算フォーラム 第3回研究会,
  工学院大学, 2013年3月8日.

• 渡部 善隆:
  精度保証とHPC,
  2013年ハイパフォーマンスコンピューティングと計算科学シンポジウム(HPCS2013),
  シンポジウム論文集, pp. 120, 東京工業大学, 2013年1月15日〜16日.[招待講演]
  発表日: 2013.1.16.

• Yoshitaka Watanabe:
  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,
  Beppu B-con plaza, Oita, Japan, January 13-14, 2013.
  発表日: 2013.1.14.

• 渡部 善隆:
  Kolmogorov問題の定常解に対する精度保証付き数値計算,
  応用数学合同研究集会報告集 pp. 202-205, 龍谷大学, 2012年12月20日〜22日.
  発表日: 2012.12.21.

• 渡部 善隆, 木下 武彦, 中尾 充宏:
  An improvement of a theorem for inverse operators in linear elliptic partial differential equations,
  環瀬戸内ワークショップ, 総合会館・フレトピアホール, 香川県小豆郡土庄町, 2012年11月16日〜11月18日.
  発表日: 2012.11.16.

• 渡部 善隆:
  コルモゴロフ流の分岐解に対する計算機援用証明(の第一歩),
  九州大学数値解析学セミナー, 九州大学, 2012年10月16日.
  

• 渡部 善隆, 中尾 充宏:
  線形作用素に対する可逆性の検証と精度保証付きノルム評価,
  日本数学会2012年度秋季総合分科会 応用数学分科会講演アブストラクト, pp. 171-172, 2012年9月18日〜9月21日.
  発表日: 2012.9.21.

• 渡部 善隆:
  中尾理論再訪--Kolmogorov問題の場合--,
  環瀬戸内ワークショップ, アクロス福岡602会議室, 福岡市, 2012年9月7日〜9月8日.
  発表日: 2012.9.8.

• 渡部 善隆, 中尾 充宏:
  無限次元線形作用素に対する精度保証付きノルム評価,
  日本応用数理学会2012年度年会講演予稿集, pp.231-232, 稚内全日空ホテル, 稚内市, 2012年8月28日〜9月2日.
  発表日: 2012.8.31.

• 渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏:
  無限次元作用素に対する固有値の除外理論と精度保証付き数値計算,
  九州大学数値解析学セミナー, 九州大学, 2012年4月24日.
  

• 渡部 善隆, 藤原 宏志:
  exflibにおける多倍長区間演算Fortranインターフェースとその応用,
  日本応用数理学会2012年研究部会連合発表会, 九州大学, 2012年3月8日〜9日.
  発表日: 2012.3.8.

• Yoshitaka Watanabe:
  Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow,
  Workshop on "Avoided? Crossing of Eigenvalue Curves" --Non-commutative Harmonic Oscillator, Special Functions and Number Theory--,
  Kyushu University, March 7-9, 2012.
  発表日: 2012.3.7.

• 渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏:
  無限次元作用素に対する固有値の計算機援用非存在証明,
  応用数学合同研究集会報告集 pp.188-191, 龍谷大学, 2011年12月.
  発表日: 2011.12.16.

• 渡部 善隆:
  逐次反復に基づく関数方程式の精度保証付き数値計算,
  研究集会:「科学計算の信頼性とその周辺に関するワークショップ」, 西海国立公園九十九島ビジターセンター, 佐世保市, 2011年11月24日〜26日. 発表日: 2011.11.24.

• 渡部 善隆，木下 武彦, 中尾 充宏:
  Orr-Sommerfeld方程式に対する局所一意性付き計算機援用証明,
  日本数学会2011年度秋季総合分科会 応用数学分科会講演アブストラクト, pp. 146-147, 信州大学，2011年9月28日〜10月1日.
  発表日: 2011.10.1.

• 木下 武彦，渡部 善隆，中尾 充宏:
  線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について,
  日本数学会2011年度秋季総合分科会 応用数学分科会講演アブストラクト, pp. 142-145, 信州大学，2011年9月28日〜10月1日.
  発表日: 2011.10.1.

• Yoshitaka Watanabe:
  Computer-assisted proof for functional equations based on infinite dimensional sequential iteration,
  Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods, Karlsruhe Institute of Technology, Germany, September 18-22, 2011.
  発表日: 2011.9.22.

• 木下 武彦, 渡部 善隆, 中尾 充宏:
  線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について,
  日本応用数理学会2011年度年会講演予稿集, pp.345-346, 同志社大学, 2011年9月14日〜16日.
  発表日: 2011.9.16.

• 渡部 善隆:
  逐次反復に基づく関数方程式の計算機援用証明,
  日本応用数理学会2011年度年会講演予稿集, pp.341-342, 同志社大学, 2011年9月14日〜16日.
  発表日: 2011.9.16.

• 渡部 善隆:
  微分方程式の精度保証付き数値計算,
  研究集会: 可積分系数理の進化, 京都大学数理解析研究所, 2011年8月17日〜19日.
  発表日: 2011.8.18.

• Shuting Cai, 長藤 かおり, 渡部 善隆:
  An enclosure method for solutions of FitzHugh-Nagumo equation,
  応用数学合同研究集会報告集 pp.197-198, 龍谷大学, 2010年12月.
  発表日: 2010.12.16.

• 渡部 善隆:
  無限次元固有値問題に対する固有値の除外法,
  研究集会:「数値解析と計算の信頼性評価」, ハウステンボス, ユトレヒト, 佐世保市, 2010年11月21日〜23日. 発表日: 2010年11月23日

• Yoshitaka Watanabe:
  A self-validating norm computation of inverse for infinite dimensional linear operators and its applications,
  14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010), September 27-30, 2010, ENS de Lyon, France. [invited talk] 発表日: 2010年9月30日

• 渡部 善隆，長藤 かおり, 中尾 充宏:
  非自己共役作用素に対する固有値の除外法,
  日本応用数理学会2010年度年会, 明治大学, 2010年9月8日. [特別講演]

• 渡部 善隆:
  MATLABで偏微分方程式の精度保証プログラムを作ってみました,
  九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2010年7月27日.
  

• Kaori Nagatou and Yoshitaka Watanabe:
  Computer assisted proofs for partial differential equations,
  Seminar at University of Kent, UK. 2010.3.31.

• Yoshitaka Watanabe:
  Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem,
  International Workshop on Numerical Verification and its Applications 2010 (INVA2010), March 10-15, 2010, Hotel Lido Azzurro, Hachijyo Island, Tokyo, Japan.
  発表日: 2010.3.11.

• 渡部 善隆，木下 武彦:
  Legendre多項式を用いた高精度品質保証─およびその課題─,
  日本応用数理学会2010年研究部会連合発表会, 筑波大学，2010年3月.
  発表日: 2010.3.8.

• 渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり:
  ある非自己共役作用素の複素固有値の除外に対する数値的検証法 II,
  応用数学合同研究集会報告集 pp.133-134, 龍谷大学, 2009年12月.
  発表日: 2009.12.17.

• 渡部 善隆:
  Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証,
  研究集会:「数値解析の現状と展望」─九州大学数値解析セミナーとその協力者からの発信─, 公立はこだて未来大学, 2009年11月.
  発表日: 2009.11.22.

• 渡部 善隆，中尾 充宏，Michael Plum, 長藤 かおり:
  Orr-Sommerfeld 方程式の複素固有値の除外に対する計算機援用証明,
  日本応用数理学会2009年度年会, 大阪大学, 2009年9月30日.

• 木下 武彦，渡部 善隆，中尾 充宏:
  楕円型作用素の逆作用素の作用素ノルムの評価の改良について,
  日本数学会2009年度秋季総合分科会, 大阪大学，2009年9月26日.

• Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe and Ian Wood:
  Spectral problem for 3-D photonic crystals, Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2009 (ICNAAM-2009), September 18-22, Rethymno, Crete, Greece. AIP Conference Proceedings Vol.1168, pp.922-925, 2009.
  発表日: 2009.09.21

• 渡部 善隆:
  熱対流問題の精度保証−計算の品質評価−,
  九州大学産業数理研究センター 第7回ワークショップ, 2009年9月3日.
  

• Yoshitaka Watanabe:
  An eigenvalue excluding method for the Orr-Sommerfeld problem,
  International Conference on Engineering and Computational Mathematics (ECM2009) May 27-29, 2009, The Hong Kong Polytechnic University, Hong Kong, China.
  発表日: 2009.5.27.

• 渡部 善隆:
  計算機援用証明による並行Poiseuille流れの安定性・不安定性解析,
  九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2009年4月28日.
  

• Yoshitaka Watanabe:
  A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow,
  International Workshop on Numerical Verification and its Applications 2009 (INVA2009), March 22-29, 2009, Hotel Breeze Bay Marina, Miyako Island, Japan.
  発表日: 2009.3.24.

• Yoshitaka Watanabe:
  A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow,
  International workshop on verified computations and related topics, March 7-10, 2009, University of Karlsruhe (TH), Germany.
  COE Lecture Note, Vol.15, Faculty of Mathematics, Kyushu University, pp.122-123.
  発表日: 2009.3.8.

• Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe, Ian Wood, Michael Plum and Mitsuhiro T. Nakao:
  Spectral problem on 3-D Maxwell's equations,
  International workshop on verified computations and related topics, March 7-10, 2009, University of Karlsruhe (TH), Germany. COE Lecture Note, Vol.15, Faculty of Mathematics, Kyushu University, pp.64-71.
  発表日: 2009.3.8.

• 渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり:
  ある非自己共役作用素の複素固有値の除外に対する数値的検証法,
  応用数学合同研究集会報告集 pp.163-166, 龍谷大学, 2008年12月.

• 入江 啓一, 藤村 直美, 渡部 善隆, 富山 実, 三浦 誠, 上田 将嗣, 高木 早智子, 仲田 奈理子, 酒井 健禎:
  コンピュータソフトウェアのキャンパスライセンス化による経費削減効果について,
  平成20年度情報教育研究集会, 北九州市, 2008年12月.

• 上田 将嗣, 藤村 直美, 渡部 善隆, 入江 啓一, 富山 実, 三浦 誠, 高木 早智子, 仲田 奈理子, 酒井 健禎:
  マイクロソフトキャンパスアグリーメントにおけるソフトウェア配布,
  全国共同利用情報基盤センター研究開発論文集, No.30, pp.69-76, 2008年11月.

• 渡部 善隆:
  Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明,
  基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」 KKRホテル金沢 2008年11月.

• Kaori Nagatou, Yoshitaka Watanabe, Shigeki Yamamoto and Takehiko Kinoshita:
  Validated computations for elliptic systems of FitzHugh-Nagumo type,
  13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008), September 29 - October 3, 2008, El Paso, USA.

• 長藤 かおり，渡部 善隆，山本 成樹，木下 武彦:
  FitzHugh-Nagumo 型反応拡散方程式系に対する数値的検証法,
  日本数学会2008年度秋季総合分科会, 東京工業大学，2008年9月.

• 渡部 善隆，長藤 かおり，山本 成樹，木下 武彦:
  FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算,
  日本応用数理学会2008年度年会, 東京大学, 2008年9月.

• 中尾 充宏, 渡部 善隆:
  無限次元非線形システムの精度保証付きパラメータ同定技法について,
  産業技術数理研究センター第4回ワークショップ, 九州大学, 2008年9月.

• 渡部 善隆:
  科学技術計算の品質保証,
  先駆的科学計算に関するフォーラム2008〜高精度・多倍長計算〜, 九州大学, 2008年8月.

• 渡部 善隆:
  解けたらうれしい線形方程式,
  計算工学講演会論文集 Vol.13, pp.697-700, 仙台市民会館, 2008年5月.

• 渡部 善隆, Michael Plum, 長藤 かおり, 中尾 充宏:
  A computer-assisted instability proof for the plane Poiseuille flow,
  応用数学合同研究集会報告集 pp.198-199, 龍谷大学, 2007年12月.

• Yoshitaka Watanabe:
  Computer assisted proofs of solutions for nonlinear heat convection problems,
  International Workshop on Numerical Verification and its Applications (INVA2008), March 1-7, 2008, Tokyo Dai-ichi Hotel Okinawa Grand Mer Resort.
  (invited)

• 渡部 善隆, Michael Plum, 長藤 かおり, 中尾 充宏:
  A computer-assisted instability proof for the plane Poiseuille flow,
  応用数学合同研究集会報告集 pp.198-199, 龍谷大学, 2007年12月.

• 渡部 善隆:
  センター計算機群に対する実アプリケーションに即した性能評価,
  RIITフォーラム2007 (2007年度 九州大学情報基盤研究開発センター研究発表会), 九州大学留学生センター国際ホール, 2007年12月.

• Yoshitaka Watanabe:
  Some computer-assisted proofs for nonlinear heat convection problems,
  2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation, November 30-December 2, 2007, Institute of Mathematics, Academia Sinica, Nankang, Taipei, the Republic of China. Program and Abstracts pp.17.

• 渡部 善隆:
  並行 Poiseuille 流れの安定性に関する計算機援用解析,
  研究集会・流れ問題のための高品質数値解法と精度保証計算, 島根県民会館, 松江市, 2007年11月.

• 渡部 善隆:
  反応拡散方程式系の解に対する計算機援用証明,
  九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2007年10月.

• Yoshitaka Watanabe:
  A computer-assited proof of solutions for an elliptic system of reaction-diffusion equations,
  「精度保証付き数値計算とその周辺」ワークショップ, 岐阜大学地域科学部，2007年10月.

• 渡部 善隆:
  ある反応拡散方程式系に対する精度保証付き数値計算,
  日本数学会2007年度秋季総合分科会, 応用数学分科会講演アブストラクト, pp155-158, 東北大学，2007年9月.

• 渡部 善隆:
  対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用,
  日本応用数理学会2007年度年会講演予稿集, pp224-225, 北海道大学, 2007年9月.

• Yoshitaka Watanabe, Myoungnyoun Kim, Mitsuhiro T. Nakao and Takaaki Nishida:
  A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems,
  INSF2007: International Conference on Recent Developments of Numerical Schemes for Flow Problems, June 27-29, 2007, Kyushu University Nishijin Plaza. Book of Abstracts pp.159-162.

• 渡部 善隆:
  疎行列に対する線形方程式の直接解法を用いた固有値・特異値計算,
  第2回計算科学研究ステーション研究集会, 電気通信大学情報工学科, 2007年3月.

• Yoshitaka Watanabe:
  A computer-assisted proof of the existence of Bénard cells for the heat convection problems,
  International Workshop on Numerical Verification and its Applications (INVA2007), February 26-March 3, 2007, Waseda University.

• 渡部 善隆:
  疎行列に対する連立1次方程式の直接解法を援用した固有値・特異値計算,
  第11回情報・統計科学シンポジウム, 九州大学留学生会館国際ホール, 2006年12月.

• 渡部 善隆, Myoungnyoun Kim, 西田 孝明, 中尾 充宏:
  3次元熱対流問題に対する解の数値的検証について, 研究集会・流れ問題の数値解析と精度保証付き数値計算, ブケ東海静岡(静岡市), 2006年11月.

• Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida:
  A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems,
  12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, September 26-29, 2006, Duisburg, Germany.

• Yoshitaka Watanabe:
  A numerical verification for the Kolmogorov flows of imcompressible viscous fluid,
  Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2006 (ICNAAM-2006), September 15-19, 2006, Hotel Belvedere Imperial, Hersonissos, Crete, Greece. ICNAAM-2006 Extended Abstracts, pp535-539.

• Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida:
  Some computer assisted proofs on three dimensional heat convection problems,
  Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA 2006), pp.427-430, September 11-14, 2006, Bologna, Italy.

• Yoshitaka Watanabe:
  A computer-assisted proof for the Kolmogorov flows of imcompressible viscous fluid,
  Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA 2006), pp.431-434, September 11-14, 2006, Bologna, Italy.

• 渡部 善隆:
  非対称疎行列に対する連立1次方程式の直接解法を用いた特異値計算,
  第10回環瀬戸内応用数理研究部会シンポジウム講演予稿集, pp70-73, 沖縄県青年会館, 2006年7月.

• 渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明:
  計算機援用証明による熱対流問題の分岐点の存在検証,
  九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2006年4月.

• Yoshitaka Watanabe:
  A computer assisted proof of a symmetry-breaking bifurcation point for the Rayleigh-Bénard problem,
  Workshop on Numerical Analysis of Flow Problems and Validated Computations, November 20-22, 2005, Nagasaki Washington Hotel, Nagasaki, Japan.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim:
  Some Computer Assisted Proofs on the Bifurcation Structure of Solutions for Heat Convection Problems,
  2005 International Symposium on Nonlinear Theory and its Applications (NOLTA 2005), October 18-21, 2005, Bruges, Belgium.

• Yoshitaka Watanabe:
  A computer assisted proof of a bifurcation point for the heat convection problems,
  Algebraic and Numerical Algorithms and Computer-assisted Proofs, Schloss Dagstuhl, Germany, September, September, 2005.

• 渡部 善隆，中尾 充宏，山本 野人，西田 孝明:
  熱対流問題の分岐点に対する計算機援用証明,
  日本数学会2005年度秋季総合分科会， 岡山大学，2005年9月.

• 渡部 善隆:
  直接解法による大規模疎行列に対する連立1次方程式ソルバー,
  九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2005年6月.
  スライド(PDFファイル; 742,773 bytes)

• 渡部 善隆:
  計算機支援証明による熱対流問題における分岐解の挙動解析,
  基盤研究(S)ワークショップ 「流れ問題のための高品質数値解法の開発と解析とシミュレーション」, 鹿児島大学理学部, 2005年3月.

• Yoshitaka Watanabe, Michael Plum and Mitsuhiro T. Nakao:
  A Computer Assisted Proof for the Orr-Sommerfeld Problem,
  11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), October 4-8, 2004, Fukuoka, Japan.

• Hideo Sakaguchi, Yoshitaka Watanabe and Hitoshi Imai:
  About Numerical Verification with Multiple Precision Computation,
  11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), October 4-8, 2004, Fukuoka, Japan.

• 渡部 善隆, 長藤かおり:
  Kolmogorov問題に対する計算機援用証明,
  日本応用数理学会2004年度年会講演予稿集, pp330-331, 中央大学, 2004年9月.

• 渡部 善隆:
  数値計算環境に関する最近の話題,
  九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2004年7月.
  

• 渡部 善隆:
  精度保証付き数値計算のエッセンス,
  京都大学理学部数学教室談話会, 2004年6月.

• 渡部 善隆:
  精度保証付き数値計算のエッセンス−微分方程式編−,
  2003年度・計算数学研究会, コーワパークホテル由布院倶楽部, 2003年10月.
  スライド(PDFファイル; 743,953 bytes)

• 渡部 善隆, 中尾 充宏, Michael Plum:
  Orr-Sommerfeld問題に対する数値的検証法,
  日本数学会2003年度秋季総合分科会 応用数学分科会講演アブストラクト, pp106-109, 千葉大学, 2003年9月.

• 小森 喬, 山本 野人, 渡部 善隆:
  非自己随伴作用素の固有値に対する精度保証付き計算,
  日本応用数理学会2003年度年会講演予稿集, pp96-97, 京都大学, 2003年9月.

• 橋本 弘治, 渡部 善隆, 中尾 充宏:
  線形楕円型作用素の可逆性の数値的検証とその非線形問題への応用,
  日本応用数理学会2003年度年会講演予稿集, pp100-101, 京都大学, 2003年9月.

• 渡部 善隆, 藤野 清次:
  persymmetric行列に対する反復解法の収束性について,
  日本応用数理学会2003年度年会講演予稿集, pp138-139, 京都大学, 2003年9月.

• 渡部 善隆:
  多倍長関係の最近の結果,
  日本応用数理学会2003年度年会講演予稿集, pp296-297, 京都大学, 2003年9月.
  スライド(PDFファイル; 287,267 bytes)

• 渡部 善隆:
  置換つき対称行列に対する反復解法の適用,
  研究集会・数値計算の高度化と高信頼化に関する札幌ワークショップ
  (Sapporo Workshop on High Performance and High Reliability Numerical Computation),
  北海道東海大学, 2003年8月.

• 橋本 弘治, 中尾 充宏, 渡部 善隆:
  楕円型作用素の可逆性の数値的検証とその応用,
  第8回阿波ワークショップ '03,
  徳島大学工学部, 2003年8月.

• 橋本 弘治, 中尾 充宏, 渡部 善隆:
  楕円型作用素の可逆性の数値的検証とその応用,
  九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2003年6月.

• 橋本 弘治, 阿部 良平, 中尾 充宏, 渡部 善隆:
  非線形特異摂動問題の解に対する数値的検証法,
  日本数学会2003年度年会, 応用数学分科会講演アブストラクト, pp124-125, 東京大学, 2003年3月.

• 中尾 充宏, 渡部 善隆:
  楕円型方程式の解の数値的検証法の効率化について,
  応用数学合同研究集会報告集 pp.117-122, 龍谷大学, 2002年12月.

• Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao and Takaaki Nishida:
  Numerical Enclosures for Nontrivial Solutions of the Heat Convection Problems,
  10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2002), September 24-27, 2002, Paris, France.

• 中尾 充宏, 渡部 善隆, 皆本 晃弥:
  精度保証付き科学技術計算用ソフトの現状と動向,
  日本応用数理学会2002年度年会講演予稿集, 慶応義塾大学, 2002年9月.

• 中尾 充宏, 渡部 善隆:
  楕円型方程式の解に対する数値的検証方式の効率化,
  日本応用数理学会2002年度年会講演予稿集, 慶応義塾大学, 2002年9月.

• 渡部 善隆, 中尾 充宏:
  楕円型方程式の解の数値的検証法に対する一考察とその応用,
  研究集会・数値計算の高度化と高信頼化に関するワークショップ
  (Workshop on High Performance and High Reliability of Numerical Computation),
  弘前大学理工学部, 2002年8月. スライド(PDFファイル; 268,053 bytes)

• 渡部 善隆, 中尾 充宏:
  Orr-Sommerfeld問題の解に対する数値的検証について,
  九州大学数値解析学セミナー,
  九州大学大学院数理学研究院, 2002年7月.

• Mitsuhiro T. Nakao and Yoshitaka Watanabe,
  On the Rigorous Error Estimation in the Finite Element Methods and Its Applications,
  Sixth Japan-US International Symposium on Flow Simulation and Modeling (JUSIS 2002), Dedicated to Professor Mutsuto Kawahara for his 60th Birthday, May 29-31, 2002, Kyushu University Research and International Exchange Plaza, Fukuoka, Japan
  

• 渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明:
  熱対流問題に対する計算機援用証明,
  日本数学会2002年度年会, 応用数学分科会講演アブストラクト, pp7-8, 明治大学, 2002年3月.

• Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao and Takaaki Nishida:
  A Computer Assisted Proof of Bifurcated Solutions for the Heat Convection Problem
  International Conference on Frontier of Applied Analysis --Fluid Dynamics and Pattern Formation-- (FOAA2001) in honor of 60th birthdays of Professors M.Mimura and T.Nishida December 3-7, 2001, Acros Fukuoka, Fukuoka, Japan
  (招待講演)

• 渡部 善隆:
  精度保証付き数値計算のアイディアお教えします,
  第6回情報・統計科学シンポジウム,
  九州大学国際ホール, 2001年11月. スライド(PDFファイル; 919,536bytes)
  (特別講演)

• 渡部 善隆:
  逆反復法による特異値の数値計算
  (Numerical computations of the singular values by the inverse iteration),
  研究集会・高性能大規模計算と精度保証付き計算に関するワークショップ
  (Workshop on High Performance Large Scale Computation and Guaranteed Accuracy Computation),
  九州大学情報基盤センター, 2001年11月. スライド(PDFファイル; 217,497 bytes)

• 渡部 善隆:
  熱対流問題に対する精度保証付き数値計算,
  研究集会・発展方程式の展開と非線形問題への接近法, 京都大学数理解析研究所, 2001年10月.

• 豊永 憲治, 中尾 充宏, 渡部 善隆:
  楕円形作用素の重複固有値及び近接固有値に対する数値的検証,
  日本応用数理学会2001年度年会講演予稿集 pp.26-27, 九州大学, 2001年10月.

• 渡部 善隆:
  ナビエストークス方程式を解く,
  電子情報通信学会2001年ソサイエティ大会, 電気通信大学, 2001年9月.

• 豊永 憲治, 中尾 充宏, 渡部 善隆:
  楕円形固有値問題における重複固有値の精度保証付き数値計算,
  第5回環瀬戸内応用数理研究部会シンポジウム講演予稿集, pp.13-18, 愛媛大学工学部, 2001年6月.

• 豊永 憲治, 中尾 充宏, 渡部 善隆:
  楕円形固有値問題における重複固有値の精度保証付き数値計算,
  九州大学数値解析学セミナー,
  九州大学大学院数理学研究院, 2001年5月.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  楕円型逆固有値問題の精度保証付き逆解析,
  第5回情報・統計科学シンポジウム,
  九州大学国際ホール, 2000年12月.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  楕円型逆固有値問題におけるポテンシャル関数の精度保証付き再構成について,
  日本応用数理学会2000年度年会講演予稿集 pp.249,251, 東京工業大学, 2000年10月.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  Verified Numerical Computation for an Inverse Elliptic Eigenvalue Problem,
  9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2000) jointly International Conference on Interval Methods in Science and Engineering, September 18-22, 2000, Karlsruhe, Germany.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  楕円型逆固有値問題の精度保証付き数値計算,
  第4回環瀬戸内応用数理研究部会シンポジウム講演プログラム・要旨集, pp.64-65, 武雄センチュリーホテル, 佐賀県武雄市, 2000年6月.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  Rayleigh-B\'enard 対流の定常分岐解に対する精度保証付き数値計算,
  九州大学数値解析学セミナー,
  九州大学大学院数理学研究院, 2000年5月.

• 田端 正久, 鈴木 厚, 渡部 善隆:
  3次元非定常マントル対流の有限要素並列計算,
  全地球ダイナミクス1999年度第2回合同分科会, 東京工業大学, 2000年3月.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida:
  A Numerical Verification of Bifurcated Solutions for the Heat Convection Problem,
  Symposium on Recent Topics in Nonlinear Partial Differential Equation, 鹿児島県姶良郡隼人町 妙見ホテル, January 6-8, 2000.

• 中尾 充宏, 渡部 善隆, 山本 野人, 西田 孝明:
  熱対流問題の分岐解に対する精度保証付き数値計算,
  応用数学合同研究集会報告集 pp.207-208, 龍谷大学, 1999年12月.

• 渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明:
  熱対流問題の分岐解の数値的検証について,
  第4回情報・統計科学シンポジウム,
  九州大学国際ホール, 1999年12月.

• 渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明:
  熱対流問題の分岐解に対する精度保証付き数値計算について,
  日本応用数理学会1999年度年会講演予稿集 pp.270-271, 愛媛大学, 1999年10月.

• 中尾 充宏, 山本 野人, 木村 誠二, 渡部 善隆, 西田 孝明:
  熱対流問題の分岐解の数値的検証について,
  応用数学合同研究集会報告集 pp.213-214, 龍谷大学, 1998年12月.

• 中尾 充宏, 山本 野人, 木村 誠二, 渡部 善隆, 西田 孝明:
  熱対流問題の分岐解の数値的検証について,
  研究集会・数値解析の最前線−流体計算から精度保証まで,
  九州大学大型計算機センター, 1998年10月.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T.Nakao:
  A Verification Method of Generalized Eigenvalue Problems and Its Applications ,
  IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-98), September 22-25, 1998, Budapest, Hungary.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T.Nakao:
  A Numerical Verification Method of Solutions for the Navier-Stokes Equations ,
  International Workshop on Verified Numerical Computation (IWVNC), September 8-10, 1998, International Conference Center, Waseda University, Japan.

• 山本 野人, 渡部 善隆, 田中 得登, 中尾 充宏:
  一般化固有値問題の精度保証付き解法とその応用,
  研究集会・産業界に現れる数値解析法の諸問題, Oxford大学神戸インスティテュート, 1997年11月.

• Nobito Yamamoto, Yoshitaka Watanabe, Yasunori Tanaka and Mitsuhiro T.Nakao:
  A Verification Method of Generalized Eigenvalue Problems and Its Applications to Constructive Error Estimate,
  International Workshop on Reliability of Numerical Computation(IWRNC), October 6-8, 1997, International Conference Center, Waseda University, Japan.

• 山本 野人, 渡部 善隆, 田中 得登, 中尾 充宏:
  一般化固有値問題の精度保証付き解法,
  日本応用数理学会1997年度年会講演予稿集 pp.10-11, 名古屋大学, 1997年10月.

• 渡部 善隆, 中尾 充宏, 山本 野人:
  Stokes方程式の有限要素解に対するa posteriori誤差評価,
  応用数学合同研究集会報告集 pp.203-208, 龍谷大学, 1996年12月.

• 渡部 善隆:
  Stokes方程式の有限要素解に対するa posteriori誤差評価,
  新しい科学計算技法とその誤差解析, 九州大学国際ホール, 1996年11月.

• 渡部 善隆:
  Gaussの消去法の安定性について,
  C&Aサマーセミナー, 国東いこいの村, 1996年8月.

• 中尾 充宏, 山本 野人, 渡部 善隆;
  Stokes方程式の有限要素解に対するa posteriori/a priori誤差評価について,
  研究集会・偏微分方程式 数値解析の最近の発展(II), 広島大学, 1995年8-9月.

• 中尾 充宏, 山本 野人, 渡部 善隆:
  Stokes方程式に対する有限要素解の精度保証 -Navier-Stokes方程式の解の数値的検証に向けて-,
  応用数学合同研究集会報告集 pp.74, 龍谷大学, 1994年12月.

• Yoshitaka Watanabe:
  Numerical Verifications of Solutions for Nondifferentiable Elliptic Problems,
  International Meeting on "Linear/Nonlinear Iterative Methods and Verification of Solution", July 6th-9th, 1993, Matsuyama, Japan.

• 渡部 善隆, 山本 野人, 中尾 充宏:
  微分不能項を持つ楕円型方程式の解の数値的検証について,
  応用数学合同研究集会報告集, 京都大学数理解析研究所, 1992年12月.

• 渡部 善隆, 中尾 充宏:
  非線形楕円型境界値問題の解に対する精度保証付き数値的計算法,
  日本数学会九州支部会, 佐賀大学, 1991年11月.

• 渡部 善隆, 中尾 充宏:
  分岐を伴う非線形楕円型方程式の数値的検証法,
  C&Aサマーセミナー, 北九州ハイツ, 1991年8月.

〔ひとつ戻る〕 〔メインメニューに戻る〕