| 1. |
寺尾 剛史, 渡部 善隆, 尾崎 克久, 無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算, 日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178, 2024.03. |
| 2. |
木下 武彦, 渡部 善隆, 中尾 充宏, 実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について, 日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176, 2024.03. |
| 3. |
寺尾 剛史, 渡部 善隆, 尾崎 克久, 線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算, 日本応用数理学会第20回(2024年)研究部会連合発表会, 2024.03. |
| 4. |
木下 武彦, 渡部 善隆, 中尾 充宏, 近似楕円型線形作用素のノルムに関する収束性評価の改良, 日本応用数理学会第20回(2024年)研究部会連合発表会, 2024.03. |
| 5. |
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, 2024.02. |
| 6. |
渡部 善隆, 非線形波動方程式の自己相似爆発解に対する精度保証付き数値計算, RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 (Research on High-performance Scientific Computing in a New Era), 2023.10, 3次元無限領域における非線形波動方程式の自己相似爆発解の具体的な形状を計算機援用証明により世界で初めて示すことに成功し、成果を招待講演として発表した。. |
| 7. |
渡部 善隆, 宮路 智行, 精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証, 日本数学会2023年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.195-196, 2023.09. |
| 8. |
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Birgit Schörkhuber, 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), 2023.08. |
| 9. |
木下 武彦, 渡部 善隆, 中尾 充宏, 2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価, 日本数学会2023年年会, 中央大学, 応用数学分科会講演アブストラクト, pp. 103-104, 2023.03. |
| 10. |
木下 武彦, 渡部 善隆, 中尾 充宏, 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価, 日本応用数理学会2023年研究部会連合発表会, 2023.03. |
| 11. |
渡部 善隆, 精度保証付き数値計算によるProudman–Johnson 方程式の定常解の存在別証, 日本数学会 2022年度秋季総合分科会 応用数学分科会 講演アブストラクト pp.79-80, 2022.09. |
| 12. |
渡部 善隆, Proudman-Johnson方程式の定常解に対する精度保証付き数値計算〜Miyaji-Okamoto定理の別証〜, 日本応用数理学会2022年度年会講演予稿集, A3-1-1, 2022.09. |
| 13. |
渡部 善隆, 長藤かおり, Michael Plum, 木下 武彦, 中尾 充宏, OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明, 日本数学会2022年年会, 埼玉大学, 応用数学分科会講演アブストラクト, pp. 153-154, 2022.03. |
| 14. |
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, nternational Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), 2022.03. |
| 15. |
渡部 善隆, 木下 武彦, 中尾 充宏, 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性, 日本応用数理学会2022年研究部会連合発表会, 2022.03. |
| 16. |
渡部 善隆, ある三角行列の最小特異値に対するBunger-Rump理論による精度保証付き数値計算, 第5回精度保証付き数値計算の実問題への応用研究集会(NVR 2021) ・JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会, 2021.11. |
| 17. |
渡部 善隆, 非線形微分方程式に対する精度保証付き数値計算, CREST「現代の数理科学と連携するモデリング手法の構築」 成果報告公開シンポジウム～DX, AI, これからの数理モデリング～, 2021.09. |
| 18. |
渡部 善隆, Shuting Cai, Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明, 日本数学会2021年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.123-124, 2021.09. |
| 19. |
akehiko 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), 2021.09. |
| 20. |
渡部 善隆, Shuting Cai, 定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算, 日本応用数理学会2021年度年会講演予稿集, pp.424-425, 2021.09. |
| 21. |
渡部 善隆, 木下 武彦, 中尾 充宏, 重調和方程式の近似解に対する構成的誤差評価の改良, 日本数学会2021年年会, 応用数学分科会講演アブストラクト, pp. 87-88, 2021.03. |
| 22. |
小林 健太, 渡部 善隆, Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用, 日本応用数理学会2021年研究部会連合発表会, 2021.03. |
| 23. |
渡部 善隆, 木下 武彦, 中尾 充宏, Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用, 日本数学会2020年度秋季総合分科会, 2020.09,
. |
| 24. |
渡部 善隆, 木下 武彦, 中尾 充宏, Hilbert空間における線形作用素に対する可逆性検証の効率化, 日本応用数理学会2020年度年会, 2020.09,
日本応用数理学会2020年度年会講演予稿集, pp.444-445, 愛媛大学(オンライン), 松山市, 2020年9月8日～9月10日.
発表日: 2019.9.10. . |
| 25. |
木下 武彦, 渡部 善隆, 中尾 充宏, 有界作用素のレゾルベントに対するある近似作用素の強収束性について, 日本数学会2020年年会, 日本大学, 応用数学分科会講演アブストラクト, pp. 117-118, 2020.03. |
| 26. |
木下 武彦, 渡部 善隆, 中尾 充宏, Banach空間における有界線形作用素の近似に対する収束性, 日本応用数理学会2020年研究部会連合発表会, 2020.03. |
| 27. |
木下 武彦, 渡部 善隆, 中尾 充宏, ある楕円型境界値問題から導かれる近似作用素のノルムの収束性, 応用数学合同研究集会, 2019.12. |
| 28. |
木下 武彦, 渡部 善隆, 中尾 充宏, Nakao et al. (2005) 最後の謎, 第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019), 2019.11. |
| 29. |
木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏, H10関数の直交多項式近似に対する2次の誤差評価の最良定数について, 日本数学会2019年度秋季総合分科会 応用数学分科会, 2019.11. |
| 30. |
木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏, H10射影誤差に対する2次の誤差評価の最良定数の包含方法について, 日本応用数理学会2019年度年会, 2019.09. |
| 31. |
Yoshitaka Watanabe, Numerical verification methods for nonlinear equations, JST Sakura Exchange Program in Science, 2019.08. |
| 32. |
Yoshitaka Watanabe, Computer-assisted proofs for the Orr-Sommerfeld equation, Rigorous Computational Dynamics in Infinite Dimensions, 2019.04. |
| 33. |
渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏, Poisson方程式に対する構成的高次誤差評価とその応用, 日本数学会2019年年会, 2019.03. |
| 34. |
渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏, Poisson方程式に対する構成的高次誤差評価, 日本応用数理学会2019年研究部会連合発表会, 2019.03. |
| 35. |
渡部 善隆, 精度保証付き数値計算入門《応用編》, 平成30年度NIFS共同研究 研究会「MHDシミュレーションにおける精度保証の可能性について」 , 2018.12. |
| 36. |
Yoshitaka Watanabe, The essence of numerical verification methods for PDEs, 2018 Workshop on Recent views of Nonlinear Analysis, 2018.12. |
| 37. |
渡部 善隆, 反復解法における誤差履歴, 第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018), 2018.12. |
| 38. |
渡部 善隆, 木下 武彦, 中尾 充宏, 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善, 日本数学会2018年度秋季総合分科会, 2018.09. |
| 39. |
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), 2018.09. |
| 40. |
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), 2018.09. |
| 41. |
渡部 善隆, 木下 武彦, 中尾 充宏, 2階楕円型作用素に対する逆作用素ノルム評価の改良, 日本応用数理学会2018年度年会, 2018.09. |
| 42. |
Yoshitaka Watanabe, A higher order error estimation of the Poisson equation and its applications , International Workshop on Numerical Methods for Partial Differential Equations , 2018.03. |
| 43. |
木下 武彦, 渡部 善隆, 中尾 充宏, 値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証, 日本数学会2018年年会, 応用数学分科会講演アブストラクト, pp. 103-106., 2018.03. |
| 44. |
渡部 善隆, 木下 武彦, 中尾 充宏, Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証, 日本応用数理学会2018年研究部会連合発表会, 2018.03. |
| 45. |
渡部 善隆, Kolmogorov問題に対する計算機援用証明における最大値ノルムの改良, 不連続Galerkin有限要素法の数学理論とその周辺, 2018.02. |
| 46. |
渡部 善隆, 木下 武彦, 中尾 充宏, Legendre多項式を用いた重調和問題の構成的誤差評価(といくつかの課題), 応用数学合同研究集会, 2017.12. |
| 47. |
渡部 善隆, 木下 武彦, 中尾 充宏, 重調和問題の解に対する構成的誤差評価, 第1回精度保証付き数値計算の実問題への応用研究集会(NVR 2017), 2017.12. |
| 48. |
木下 武彦, 渡部 善隆, 中尾 充宏, Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良, 日本数学会2017年度秋季総合分科会, 2017.09. |
| 49. |
木下 武彦, 渡部 善隆, 中尾 充宏, 値域が共役空間となる2階楕円型作用素に対する可逆性検証法の改良, 日本応用数理学会2017年度年会講演予稿集, 2017.09. |
| 50. |
Yoshitaka Watanabe, Some computer-assisted proofs for the Navier-Stokes equations, Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), 2017.05. |
| 51. |
木下 武彦, 渡部 善隆, 中尾 充宏, あるコンパクト作用素のレゾルベントに対する下側評価について, 日本数学会2017年年会, 2017.03. |
| 52. |
渡部 善隆, Navier-Stokes方程式から導かれる非線形作用素のコンパクト性について, 数値解析の理論と実践, 2017.03. |
| 53. |
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), 2017.03. |
| 54. |
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), 2017.03. |
| 55. |
中尾 充宏, 長藤 かおり, 渡部 善隆, Navier-Stokes方程式に関する非線形作用素のコンパクト性証明, 日本応用数理学会2017年研究部会連合発表会, 2017.03. |
| 56. |
渡部 善隆, 流体方程式に対する精度保証付き数値計算, 流体方程式の構造と特異性に迫る数値解析・数値計算II, 2017.01. |
| 57. |
渡部 善隆, Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(下), 応用数学合同研究集会, 2016.12. |
| 58. |
木下 武彦, 渡部 善隆, 中尾 充宏, コンパクト作用素のレゾルベントに対する下側評価, 応用数学合同研究集会, 2016.12. |
| 59. |
Yoshitaka Watanabe, Takehiko Kinoshita, 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), 2016.09. |
| 60. |
渡部 善隆, 木下 武彦, 中尾 充宏, 重調和方程式の近似解に対する構成的誤差評価, 日本数学会2016年度秋季総合分科会 応用数学分科会, 2016.09. |
| 61. |
渡部 善隆, 木下 武彦, 中尾 充宏, Legendre多項式による重調和方程式の精度保証付き誤差評価, 日本応用数理学会2016年度年会, 2016.09. |
| 62. |
渡部 善隆, 木下 武彦, 中尾 充宏, 精度保証付き数値計算による平行Poiseuille流れの高精度不安定性解析, 日本数学会2016年度年会, 2016.03. |
| 63. |
松田 望, 渡部 善隆, 山本 野人, 多倍長区間演算ライブラリLILIBによる精度保証付き数値計算, 日本応用数理学会2016年研究部会連合発表会, 2016.03. |
| 64. |
木下 武彦, 渡部 善隆, 中尾 充宏, Hilbert空間の線形作用素に対する逆作用素ノルム評価の改良, 日本応用数理学会2016年研究部会連合発表会, 2016.03. |
| 65. |
渡部 善隆, Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(中), 応用数学合同研究集会, 2015.12. |
| 66. |
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao, H3 and H4 regularities of the Poisson equation on polygonal domains, Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), 2015.11. |
| 67. |
渡部 善隆, Kolmogorov問題の精度保証付き数値計算に対するいくつかの考察, 日本数学会2015年度秋季総合分科会, 2015.09. |
| 68. |
木下 武彦, 渡部 善隆, 中尾 充宏, H3正則性を持つ一般多角形領域上のPoisson方程式の解について, 日本数学会2015年度秋季総合分科会, 2015.09. |
| 69. |
渡部 善隆, Kaori Nagatou, Michael Plum, 中尾 充宏, 線形化Kolmogorov問題に対する固有値の除外について, 日本応用数理学会2015年度年会, 2015.09. |
| 70. |
木下 武彦, 渡部 善隆, 中尾 充宏, Poisson方程式の解に対するH3およびH4セミノルムについて, 日本応用数理学会2015年度年会, 2015.09. |
| 71. |
Yoshitaka Watanabe, An improvement of infinity norm estimations for numerical verifications of the Kolmogorov problem, Workshop on Information Technology, Applied Mathematics and Education, 2015.08. |
| 72. |
Yoshitaka Watanabe, A nonlinear PDE verification -- Fukuoka, Karlsruhe, Nonlinear PDE Days, 2015.07. |
| 73. |
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.03. |
| 74. |
渡部 善隆, 木下 武彦, 中尾 充宏, 線形楕円型作用素に対するLaplacianノルムの構成的評価, 日本数学会2015年度年会, 2015.03. |
| 75. |
渡部 善隆, 流体力学モデルの精度保証, 精度保証付き数値計算の最近の展開, 2015.03. |
| 76. |
渡部 善隆, 木下 武彦, 中尾 充宏, 楕円型線形逆作用素評価の収束性について, 日本応用数理学会2015年研究部会連合発表会, 2015.03. |
| 77. |
渡部 善隆, 数値計算における誤差と残差, 数値解析セミナー, 2015.01. |
| 78. |
渡部 善隆, Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(上), 応用数学合同研究集会, 2014.12. |
| 79. |
渡部 善隆, A numerical verification method for the Orr-Sommerfeld problem, 流体方程式の構造と特異性に迫る数値解析・数値計算, 2014.12. |
| 80. |
渡部 善隆, 精度保証付き数値計算による楕円型作用素の逆作用素ノルム評価, RIMS研究集会・新時代の科学技術を牽引する数値解析学, 2014.10. |
| 81. |
Takehiko Kinoshita, Yoshitaka Watanabe, 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), 2014.09. |
| 82. |
Yoshitaka Watanabe, Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem, Institutskolloquien, Institut für Analysis, Karlsruher Institut für Technologie, 2014.09. |
| 83. |
渡部 善隆, 木下 武彦, 中尾 充宏, 2階楕円型作用素における構成的Laplacianノルム評価, 日本応用数理学会2014年度年会, 2014.09. |
| 84. |
渡部 善隆, 精度保証付き数値計算による流れの安定性解析, 数学談話会, 2014.08. |
| 85. |
渡部 善隆, 区間演算概説, ワークショップ: 工学・理学をベースにした線形・非線形問題へのアプローチ, 2014.05. |
| 86. |
渡部 善隆, 誤差と残差のあいだに(その2), 研究集会: 超大規模数値計算と数値解析に関する新潟ワークショップ, 2014.03. |
| 87. |
木下 武彦, 渡部 善隆, 中尾 充宏, An alternative approach of invertibility verifications and norm estimations for linear elliptic operators, 日本応用数理学会2014年研究部会連合発表会, 2014.03. |
| 88. |
渡部 善隆, 計算機援用証明によるOrr-Sommerfeld問題の安定性・不安定性解析, 日本数学会2014年度年会, 2014.03, 流体力学の安定性を記述する重要な方程式のひとつであるOrr-Sommerfeld方程式については、膨大な数の数値計算による近似結果は与えられているものの、理論的な結果はこれまでほとんど得られていませんでした。この講演では、特に平行ポワズイユ流れの安定性に着目し、流れの安定性・不安定解析が計算機によって数学的に厳密な意味で可能であることを具体例とともに示し、今後の展望についても述べました。[日本数学会特別講演]. |
| 89. |
渡部 善隆, 木下 武彦, 中尾 充宏, 線形作用素に対する可逆性の検証と精度保証付きノルム評価の改良について, 日本数学会2014年度年会, 2014.03. |
| 90. |
Yoshitaka Watanabe, A comparison of computer-assisted proofs for the Kolmogorov problem, International Workshop on Numerical Verification and its Applications 2014 (INVA2014), 2014.03. |
| 91. |
渡部 善隆, 木下 武彦, 木村 拓馬, 山本 野人, 中尾 充宏, 2階楕円型線形作用素の可逆性検証に関するいくつかの考察, 応用数学合同研究集会, 2013.12. |
| 92. |
渡部 善隆, A computer-assisted instability proof for Poiseuille flow by multiple-precision interval arithmetic library, 今後のHPC(基盤技術と応用)に関するワークショップ, 2013.12. |
| 93. |
小林 健太, 渡部 善隆, Kolmogorov問題の精度保証におけるノルム評価の改善, 九州大学数値解析学セミナー, 2013.11. |
| 94. |
渡部 善隆, A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid, RIMS研究集会・非圧縮性粘性流体の数理解析, 2013.11. |
| 95. |
渡部 善隆, 射影とその構成的誤差評価 ー有限と無限を繋ぐものー, RIMS研究集会・応用数理と計算科学における理論と応用の融合, 2013.10. |
| 96. |
渡部 善隆, 中尾 充宏, 無限次元非線形関数方程式に対するNewton反復型計算機援用証明, 日本数学会2013年度秋季総合分科会, 2013.09. |
| 97. |
木下 武彦, 渡部 善隆, 中尾 充宏, 楕円型偏微分作用素に対する逆作用素評価の効率化, 日本応用数理学会2013年度年会, 2013.09. |
| 98. |
渡部 善隆, 藤原 宏志, 中尾 充宏, exflibによる平行Poiseuille流れの不安定性解析の高精度化, 日本応用数理学会2013年度年会, 2013.09. |
| 99. |
渡部 善隆, 誤差と残差のあいだに, 早稲田大学理工学術院総合研究所主催 精度保証付き数値計算ワークショップ, 2013.09. |
| 100. |
木下 武彦, 渡部 善隆, 中尾 充宏, 楕円型偏微分作用素の可逆性の検証について, 日本数学会2013年年会, 2013.03. |
| 101. |
渡部 善隆, 小林 健太, Kolmogorov問題の計算機援用証明における最大値ノルム評価の改善について, 日本応用数理学会2013年研究部会連合発表会, 2013.03. |
| 102. |
渡部 善隆, exflibの多倍長区間演算環境を用いた精度保証(の中間報告), 多倍長精度計算フォーラム 第3回研究会, 2013.03. |
| 103. |
渡部 善隆, 精度保証とHPC, 2013年ハイパフォーマンスコンピューティングと計算科学シンポジウム(HPCS2013), 2013.01. |
| 104. |
渡部 善隆, 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.01. |
| 105. |
渡部 善隆, Kolmogorov問題の定常解に対する精度保証付き数値計算, 応用数学合同研究集会, 2012.12. |
| 106. |
渡部 善隆, 木下 武彦, 中尾 充宏, An improvement of a theorem for inverse operators in linear elliptic partial differential equations, 環瀬戸内ワークショップ, 2012.11. |
| 107. |
渡部 善隆, コルモゴロフ流の分岐解に対する計算機援用証明(の第一歩), 九州大学数値解析学セミナー, 2012.10. |
| 108. |
渡部 善隆, 中尾 充宏, 線形作用素に対する可逆性の検証と精度保証付きノルム評価, 日本数学会2012年度秋季総合分科会, 2012.09. |
| 109. |
渡部 善隆, 中尾理論再訪--Kolmogorov問題の場合--, 環瀬戸内ワークショップ, 2012.09. |
| 110. |
渡部 善隆, 中尾 充宏, 無限次元線形作用素に対する精度保証付きノルム評価, 日本応用数理学会2012年度年会, 2012.08. |
| 111. |
渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏, 無限次元作用素に対する固有値の除外理論と精度保証付き数値計算, 九州大学数値解析学セミナー, 2012.04. |
| 112. |
渡部 善隆, 藤原 宏志, exflibにおける多倍長区間演算Fortranインターフェースとその応用, 日本応用数理学会2012年研究部会連合発表会, 2012.03. |
| 113. |
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--, 2012.03. |
| 114. |
渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏, 無限次元作用素に対する固有値の計算機援用非存在証明, 応用数学合同研究集会, 2011.12. |
| 115. |
渡部 善隆, 逐次反復に基づく関数方程式の精度保証付き数値計算, 研究集会:「科学計算の信頼性とその周辺に関するワークショップ」, 2011.11. |
| 116. |
渡部 善隆, Orr-Sommerfeld方程式に対する局所一意性付き計算機援用証明, 日本数学会2011年度秋季総合分科会, 2011.09. |
| 117. |
木下 武彦， 渡部 善隆， 中尾 充宏, 線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について, 日本数学会2011年度秋季総合分科会, 2011.09. |
| 118. |
Yoshitaka Watanabe, Computer-assisted proof for functional equations based on infinite dimensional sequential iteration, Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods, 2011.05. |
| 119. |
木下 武彦, 渡部 善隆, 中尾 充宏, 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について, 日本応用数理学会2011年度年会, 2011.09. |
| 120. |
渡部 善隆, 逐次反復に基づく関数方程式の計算機援用証明, 日本応用数理学会2011年度年会, 2011.09. |
| 121. |
渡部 善隆, 微分方程式の精度保証付き数値計算, 研究集会: 可積分系数理の進化, 2011.08. |
| 122. |
Shuting Cai, 長藤 かおり, 渡部 善隆, An enclosure method for solutions of FitzHugh-Nagumo equation, 応用数学合同研究集会, 2010.12. |
| 123. |
渡部 善隆, 無限次元固有値問題に対する固有値の除外法, 研究集会:「数値解析と計算の信頼性評価」, 2010.11. |
| 124. |
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), 2010.09, 非線形偏微分方程式に代表される非線形関数方程式の解の存在を厳密な存在範囲とともに数学的にを求めるためには、方程式の近似解による線形化作用素の可逆性とその作用素ノルム評価が重要な役割を果たす。本講演では、一般的なバナッハ空間における線形作用素の可逆性の検証と、作用素ノルムの効率的な評価手法を提案し、従来の手法との比較においてその優位性を明らかにするとともに、非自己共役固有値問題、非線形楕円型方程式などへの応用と今後の展望を示した。. |
| 125. |
渡部 善隆， 長藤 かおり, 中尾 充宏, 非自己共役作用素に対する固有値の除外法, 日本応用数理学会2010年度年会, 2010.09. |
| 126. |
渡部 善隆, MATLABで偏微分方程式の精度保証プログラムを作ってみました, 九州大学数値解析学セミナー, 2010.07. |
| 127. |
Kaori Nagatou and Yoshitaka Watanabe, Computer assisted proofs for partial differential equations, Seminar at University of Kent, 2010.03. |
| 128. |
Yoshitaka Watanabe, Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem, International Workshop on Numerical Verification and its Applications 2010 (INVA2010), 2010.03. |
| 129. |
渡部 善隆，木下 武彦, Legendre多項式を用いた高精度品質保証─およびその課題─, 日本応用数理学会2010年研究部会連合発表会, 2010.03. |
| 130. |
渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり, ある非自己共役作用素の複素固有値の除外に対する数値的検証法 II, 応用数学合同研究集会報告集, 2009.12. |
| 131. |
渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏, 無限次元固有値問題に対する固有値の非存在証明, 研究集会・数値解析と数値計算アルゴリズムの最近の展開, 2009.12. |
| 132. |
渡部 善隆, Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証, 研究集会:「数値解析の現状と展望」─九州大学数値解析セミナーとその協力者からの発信─, 2009.11. |
| 133. |
渡部 善隆，中尾 充宏，Michael Plum, 長藤 かおり, Orr-Sommerfeld 方程式の複素固有値の除外に対する計算機援用証明, 日本応用数理学会2009年度年会,, 2009.09. |
| 134. |
木下 武彦，渡部 善隆，中尾 充宏, 楕円型作用素の逆作用素の作用素ノルムの評価の改良について, 日本数学会2009年度秋季総合分科会, 2009.09. |
| 135. |
Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe and Ian Wood, Spectral problem for 3-D photonic crystals, International Conference on Numerical Analysis and Applied Mathematics 2009 (ICNAAM-2009), 2009.09. |
| 136. |
渡部 善隆, 熱対流問題の精度保証－計算の品質評価－, 九州大学産業数理研究センター 第7回ワークショップ, 2009.09. |
| 137. |
Yoshitaka Watanabe, An eigenvalue excluding method for the Orr-Sommerfeld problem, International Conference on Engineering and Computational Mathematics (ECM2009), 2009.05. |
| 138. |
渡部 善隆, 計算機援用証明による並行Poiseuille流れの安定性・不安性解析, 九州大学数値解析学セミナー, 2009.04. |
| 139. |
Yoshitaka Watanabe, A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow, International Workshop on Numerical Verification and its Applications 2009, 2009.03. |
| 140. |
Yoshitaka Watanabe, A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow, International workshop on verified computations and related topics, 2009.03. |
| 141. |
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), 2009.01. |
| 142. |
渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり, ある非自己共役作用素の複素固有値の除外に対する数値的検証法, 応用数学合同研究集会報告集, 2008.12. |
| 143. |
入江 啓一, 藤村 直美, 渡部 善隆, 富山 実, 三浦 誠, 上田 将嗣, 高木 早智子, 仲田 奈理子, 酒井 健禎, コンピュータソフトウェアのキャンパスライセンス化による経費削減効果について, 平成20年度情報教育研究集会, 2008.12. |
| 144. |
上田 将嗣, 藤村 直美, 渡部 善隆, 入江 啓一, 富山 実, 三浦 誠, 高木 早智子, 仲田 奈理子, 酒井 健禎, マイクロソフトキャンパスアグリーメントにおけるソフトウェア配布, 全国共同利用情報基盤センター研究開発論文集, 2008.11. |
| 145. |
渡部 善隆, Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明, 流れ問題のための高品質数値解法と計算機援用解析学, 2008.11. |
| 146. |
長藤 かおり，渡部 善隆，山本 成樹，木下 武彦, FitzHugh-Nagumo 型反応拡散方程式系に対する数値的検証法, 日本数学会2007年度秋季総合分科会, 2008.09. |
| 147. |
渡部 善隆，長藤 かおり，山本 成樹，木下 武彦, FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算, 日本応用数理学会2008年度年会, 2008.09. |
| 148. |
中尾 充宏, 渡部 善隆, 無限次元非線形システムの精度保証付きパラメータ同定技法について, 産業技術数理研究センター第4回ワークショップ, 2008.09. |
| 149. |
渡部 善隆, 科学技術計算の品質保証, 先駆的科学計算に関するフォーラム2008～高精度・多倍長計算～, 2008.08. |
| 150. |
渡部 善隆, 解けたらうれしい線形方程式, 計算工学講演会論文集, 2008.05. |
| 151. |
Yoshitaka Watanabe, Computer assisted proofs of solutions for nonlinear heat convection problems, International Workshop on Numerical Verification and its Applications (INVA2008), 2008.03. |
| 152. |
渡部 善隆, Michael Plum, 長藤 かおり, 中尾 充宏, A computer-assisted instability proof for the plane Poiseuille flow, 応用数学合同研究集会報告集 pp.198-199, 2007.12. |
| 153. |
渡部 善隆, センター計算機群に対する実アプリケーションに即した性能評価, RIITフォーラム2007 (2007年度 九州大学情報基盤研究開発センター研究発表会), 2007.12. |
| 154. |
Yoshitaka Watanabe, Some computer-assisted proofs for nonlinear heat convection problems, 2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation, 2007.12. |
| 155. |
渡部 善隆, 並行 Poiseuille 流れの安定性に関する計算機援用解析, 研究集会・流れ問題のための高品質数値解法と精度保証計算, 2007.11. |
| 156. |
渡部 善隆, 並行Poiseuille流れの不安定性に対する計算機援用証明, 研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺, 2007.11. |
| 157. |
渡部 善隆, 反応拡散方程式系の解に対する計算機援用証明, 九州大学数値解析学セミナー, 2007.10. |
| 158. |
Yoshitaka Watanabe, A computer-assited proof of solutions for an elliptic system of reaction-diffusion equations, 「精度保証付き数値計算とその周辺」ワークショップ, 2007.10. |
| 159. |
渡部 善隆, ある反応拡散方程式系に対する精度保証付き数値計算, 日本数学会2007年度秋季総合分科会, 応用数学分科会講演アブストラクト, pp155-158, 2007.09. |
| 160. |
渡部 善隆, 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用, 日本応用数理学会2007年度年会講演予稿集, pp224-225, 2007.09. |
| 161. |
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, 2007.06. |
| 162. |
渡部 善隆, 疎行列に対する線形方程式の直接解法を用いた固有値・特異値計算, 第2回計算科学研究ステーション研究集会, 2007.03. |
| 163. |
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, 2007.02. |
| 164. |
渡部 善隆, 疎行列に対する連立1次方程式の直接解法を援用した固有値・特異値計算, 第11回情報・統計科学シンポジウム, 2006.12. |
| 165. |
渡部 善隆, Myoungnyoun Kim, 西田 孝明, 中尾 充宏, 3次元熱対流問題に対する解の数値的検証について, 研究集会・流れ問題の数値解析と精度保証付き数値計算, 2006.11. |
| 166. |
Yoshitaka Watanabe, A computer assisted proof of a symmetry-breaking bifurcation point for the Rayleigh-Benard problem, Workshop on Numerical Analysis of Flow Problems and Validated Computations, 2006.11. |
| 167. |
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, 2006.09. |
| 168. |
Yoshitaka Watanabe, A numerical verification for the Kolmogorov flows of imcompressible viscous fluid, International Conference of Numerical Analysis and Applied Mathematics 2006, 2006.09. |
| 169. |
Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida, Some computer assisted proofs on three dimensional heat convection problems, 2006 International Symposium on Nonlinear Theory and its Applications, 2006.09. |
| 170. |
Yoshitaka Watanabe, A computer-assisted proof for the Kolmogorov flows of imcompressible viscous fluid, 2006 International Symposium on Nonlinear Theory and its Applications, 2006.09. |
| 171. |
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida, A numerical verification of bifurcation points for nonlinear heat convection problems, 2nd International conference "From Scientific Computing to Computational Engineering, 2006.07. |
| 172. |
渡部 善隆, 非対称疎行列に対する連立1次方程式の直接解法を用いた特異値計算, 第10回環瀬戸内応用数理研究部会シンポジウム, 2006.07. |
| 173. |
渡部 善隆, Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Bénard problem, 研究集会・流体と気体の数学解析, 2006.07. |
| 174. |
渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明, 計算機援用証明による熱対流問題の分岐点の存在検証, 九州大学数値解析学セミナー, 2006.04. |
| 175. |
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, 2005.11. |
| 176. |
渡部 善隆, Rayleigh-Benard問題の大域分岐構造に対する精度保証付き数値計算, 研究集会・計算科学の基盤技術とその発展, 2005.11. |
| 177. |
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, 2005.10. |
| 178. |
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, International Symposium on Nonlinear Theory and its Applications, 2005.10. |
| 179. |
Yoshitaka Watanabe, A computer assisted proof of a bifurcation point for the heat convection problems, Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005.09. |
| 180. |
渡部 善隆，中尾 充宏，山本 野人，西田 孝明, 熱対流問題の分岐点に対する計算機援用証明, 日本数学会2005年度秋季総合分科会, 2005.09. |
| 181. |
Yoshitaka Watanabe, A computer assisted proof of a bifurcation point for the heat convection problems, Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005.09. |
| 182. |
坂口 秀雄，渡部 善隆，今井 仁司, 多倍長計算を適用した精度保証数値計算, 研究集会・21世紀における数値解析の新展開, 2005.07. |
| 183. |
渡部 善隆, 直接解法による大規模疎行列に対する連立1次方程式ソルバー, 九州大学数値解析学セミナー, 2005.06. |
