Updated on 2024/10/23

Information

 

写真a

 
WATANABE YOSHITAKA
 
Organization
Research Institute for Information Technology Section of Advanced Computational Science Associate Professor
Data-Driven Innovation Initiative (Concurrent)
School of Sciences Department of Physics(Concurrent)
Graduate School of Information Science and Electrical Engineering Department of Information Science and Technology(Concurrent)
School of Engineering (Concurrent)
Joint Graduate School of Mathematics for Innovation (Concurrent)
Title
Associate Professor
Contact information
メールアドレス
Profile
「精度保証付き数値計算」とは,数理科学上に現れる関数方程式の解を,その存在証明 および誤差評価込みで数値的に厳密に捉えようという方法です. 自然界のモデルから導かれる関数方程式の解を数値計算によって近似的に求める場合, 離散化による誤差に加えて,計算機による丸め誤差が発生します. 「精度保証付き数値計算」はこれら二つの誤差を厳密に評価することによって数値計算 の信頼性を保証します. また,この方法は理論的に解の存在証明が困難な解析学の問題に対するアプローチとし ても重要であると考えます. 現在は,有限要素法とその誤差評価をもとに,非線形偏微分方程式,特にNavier-Stokes方程式に対する解の存在の数値的検証法の研究を進めています. また,センターの全国共同利用計算機システムとして公開されている最新の ハイパフォーマンスコンピュータ上で動作する数値計算プログラムライブラリの研究開発, 性能評価などを行なっています. 教育・広報活動としては,プログラム言語,アプリケーションライブラリの利用方法に関 する解説記事の執筆,利用の手引の作成,講習会の講師,プログラム相談,プログラムラ イブラリ開発の支援等を担当しています.
Homepage
External link

Research Areas

  • Natural Science / Basic mathematics

  • Natural Science / Applied mathematics and statistics

Degree

  • Doctor of Mathematics

Education

  • Kyushu University   Graduate School, Division of Natural Science

    - 1991

      More details

  • Kyushu University

    - 1991

      More details

    Country: Japan

    researchmap

  • Kyushu University   School of Sciences

    - 1989

      More details

    Country: Japan

    researchmap

  • Kyushu University   Faculty of Science

    - 1989

      More details

Research Interests・Research Keywords

  • Research theme:非自己共役固有値問題

    Keyword:非自己共役固有値問題

    Research period: 2024

  • Research theme:非線形解析

    Keyword:非線形解析

    Research period: 2024

  • Research theme:非線形楕円型方程式

    Keyword:非線形楕円型方程式

    Research period: 2024

  • Research theme:非線形微分方程式

    Keyword:非線形微分方程式

    Research period: 2024

  • Research theme:非線形偏微分方程式

    Keyword:非線形偏微分方程式

    Research period: 2024

  • Research theme:陰関数定理

    Keyword:陰関数定理

    Research period: 2024

  • Research theme:関数方程式論

    Keyword:関数方程式論

    Research period: 2024

  • Research theme:逆問題

    Keyword:逆問題

    Research period: 2024

  • Research theme:計算機援用証明

    Keyword:計算機援用証明

    Research period: 2024

  • Research theme:計算数学

    Keyword:計算数学

    Research period: 2024

  • Research theme:解曲線の追跡

    Keyword:解曲線の追跡

    Research period: 2024

  • Research theme:複素固有値問題

    Keyword:複素固有値問題

    Research period: 2024

  • Research theme:線形化作用素の可逆性

    Keyword:線形化作用素の可逆性

    Research period: 2024

  • Research theme:精度保証付き数値計算

    Keyword:精度保証付き数値計算

    Research period: 2024

  • Research theme:精度保証

    Keyword:精度保証

    Research period: 2024

  • Research theme:熱対流問題

    Keyword:熱対流問題

    Research period: 2024

  • Research theme:無限次元Newton法

    Keyword:無限次元Newton法

    Research period: 2024

  • Research theme:有限要素法

    Keyword:有限要素法

    Research period: 2024

  • Research theme:応用数学

    Keyword:応用数学

    Research period: 2024

  • Research theme:微分方程式

    Keyword:微分方程式

    Research period: 2024

  • Research theme:対称性破壊分岐点

    Keyword:対称性破壊分岐点

    Research period: 2024

  • Research theme:固有値解析

    Keyword:固有値解析

    Research period: 2024

  • Research theme:固有値問題

    Keyword:固有値問題

    Research period: 2024

  • Research theme:固有値の除外

    Keyword:固有値の除外

    Research period: 2024

  • Research theme:区間演算

    Keyword:区間演算

    Research period: 2024

  • Research theme:分岐点

    Keyword:分岐点

    Research period: 2024

  • Research theme:Stokes方程式

    Keyword:Stokes方程式

    Research period: 2024

  • Research theme:Rayleigh-Benard対流

    Keyword:Rayleigh-Benard対流

    Research period: 2024

  • Research theme:Oberbeck-Boussinesq方程式

    Keyword:Oberbeck-Boussinesq方程式

    Research period: 2024

  • Research theme:Navier-Stotes方程式

    Keyword:Navier-Stotes方程式

    Research period: 2024

  • Research theme:Navier-Stokes方程式

    Keyword:Navier-Stokes方程式

    Research period: 2024

  • Research theme:Computer Mathematics

    Keyword:Computer Mathematics

    Research period: 2024

  • Research theme:a posteriori estimate for solutions of nonlinear PDE

    Keyword:PDF, Numerical verification, FEM

    Research period: 2002.4

Awards

  • 平成23年度日本応用数理学会論文賞(JJIAM部門)

    2011.9   日本応用数理学会   日本応用数理学会英文論文誌中から選ばれる。

Papers

  • Another computer-assisted proof of unimodality of solutions for Proudman Johnson equation Reviewed International journal

    Yoshitaka Watanabe, Tomoyuki Miyaji

    Japan Journal of Industrial and Applied Mathematics, (published online) 03 January, 2024   2024.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.1007/s13160-023-00639-x

  • On some convergence properties for finite element approximations to the inverse of linear elliptic operators Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Acta Cybernetica   26 ( 1 )   71 - 82   2023.6

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.14232/actacyb.294906

  • Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces Reviewed International journal

    Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

    Journal of Scientific Computing   94   2023.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.1007/s10915-023-02097-6

  • Inclusion method of optimal constant with quadratic convergence for H10-projection error estimates and its applications Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

    Journal of Computational and Applied Mathematics   417   2023.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.1016/j.cam.2022.114521

  • Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem Reviewed International journal

    Kenta Kobayashi, Yoshitaka Watanabe

    JSIAM Letters   14   92 - 95   2022.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.14495/jsiaml.14.92

  • Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem Reviewed International journal

    Shuting Cai, Yoshitaka Watanabe

    Journal of Computational and Applied Mathematics   395   113603   2021.11

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.1016/j.cam.2021.113603

  • Some improvements of invertibility verifications for second-order linear elliptic operators Reviewed

    Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

    Applied Numerical Mathematics   154   36 - 46   2020.8

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.apnum.2020.03.016

  • An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Journal of Differential Equations   266 ( 9 )   5431 - 5447   2019.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.jde.2018.10.027

  • Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

    Japan Journal of Industrial and Applied Mathematics   33 ( 3 )   629 - 636   2016.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s13160-016-0223-y

  • 射影とその構成的誤差評価 ー有限と無限を繋ぐものー Invited

    渡部 善隆

    研究集会・応用数理と計算科学における理論と応用の融合, 京都大学数理解析研究所講究録   2005   149 - 160   2016.11

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

  • An Efficient Numerical Verification Method for the Kolmogorov Problem of Incompressible Viscous Fluid Reviewed International journal

    Yoshitaka Watanabe

    Journal of Computational and Applied Mathematics   302   157 - 170   2016.9

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.cam.2016.01.055

  • Norm Bound Computation for Inverses of Linear Operators in Hilbert Spaces Reviewed International journal

    Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao

    Journal of Differential Equations   260 ( 7 )   6363 - 6374   2016.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.jde.2015.12.041

  • A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration Reviewed International journal

    Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Applied Mathematics and Computation   276   239 - 251   2016.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: doi:10.1016/j.amc.2015.12.021

  • A Computer-assisted Method for Excluding Eigenvalues of an Elliptic Operator Linearized at a Solution of a Nonlinear Problem Reviewed International journal

    Shuting Cai, Yoshitaka Watanabe

    Japan Journal of Industrial and Applied Mathematics   32 ( 1 )   263 - 294   2015.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s13160-015-0167-7

  • Some Considerations of the Invertibility Verifications for Linear Elliptic Operators Reviewed International journal

    Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto

    Japan Journal of Industrial and Applied Mathematics   32 ( 1 )   19 - 32   2015.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s13160-014-0160-6

  • Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces Reviewed International journal

    Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao

    SIAM Journal on Numerical Analysis   52 ( 2 )   975 - 992   2014.5

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1137/120894683

  • A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations Reviewed International journal

    Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

    Mathematics of Computation   82 ( 283 )   1543 - 1557   2013.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations Reviewed International journal

    Nobito Yamamoto, Mitsuhiro T. Nakao, Yoshitaka Watanabe

    Numerical Functional Analysis and Optimization   32 ( 11 )   2011.11

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems Invited Reviewed

    Mitsuhiro T. Nakao, and Yoshitaka Watanabe

    Nonlinear Theory and Its Applications   2 ( 1 )   2011.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Bénard Problem Reviewed International journal

    26 ( 2-3 )   2009.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow Reviewed International journal

    Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao

    Journal of Applied Mathematics and Mechanics (ZAMM)   2009.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Be\'nard problems Reviewed International journal

    Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaaki Nishida

    Numerische Mathematik   2009.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化 Reviewed

    渡部 善隆, 山本 野人, 中尾 充宏

    日本応用数理学会論文誌   2005.12

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  • Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Journal of Computational and Applied Mathematics   369   112561   2020.5

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.cam.2019.112561

  • A computer-assisted method for the diblock copolymer model Reviewed

    Shuting Cai, Yoshitaka Watanabe

    ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik   99 ( 7 )   2019.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1002/zamm.201800125

  • An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space Reviewed

    Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

    Japan Journal of Industrial and Applied Mathematics   2019.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s13160-019-00344-8

  • On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations Reviewed International journal

    Yoshitaka Watanabe, Mitsuhiro T. Nakao, and Kaori Nagatou

    JSIAM Letters   9   77 - 80   2017.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: doi.org/10.14495/jsiaml.9.77

  • Validated constructive error estimations for biharmonic problems Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao

    Reliable Computing   25   168 - 177   2017.8

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    9553   225 - 235   2016.4

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1007/978-3-319-31769-4_18

  • Recurrence Relations of Orthogonal Polynomials in H01 and H02 Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Nonlinear Theory and Its Applications, IEICE   6 ( 3 )   404 - 409   2015.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: http://doi.org/10.1587/nolta.6.404

  • A computer-assisted proof of the Kolmogorov problem of incompressible viscos fluid

    1905   132 - 143   2014.7

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

  • An Improvement of the Theorem of A Posteriori Estimates for Inverse Elliptic Operators Reviewed International journal

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Nonlinear Theory and Its Applications, IEICE   5 ( 1 )   47 - 52   2014.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A Simple Numerical Verification Method for Differential Equations Based on Infinite Dimensional Sequential Iteration Reviewed International journal

    Yoshitaka Watanabe

    Nonlinear Theory and Its Applications, IEICE   4 ( 1 )   23 - 33   2013.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A Numerical Verification Method for a System of FitzHugh-Nagumo Type Reviewed International journal

    Shuting Cai, Kaori Nagatou, Yoshitaka Watanabe

    Numerical Functional Analysis and Optimization   33 ( 10 )   1195 - 1220   2012.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 微分方程式の精度保証付き数値計算ー逐次反復に基づく計算機援用証明ー Reviewed

    渡部 善隆

    講究録別冊 B30 (研究集会「可積分数理の進化」, 広田 良吾, 高橋大輔 編)   145 - 155   2012.4

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

  • Tests of Inequivalence Among Absolutely Nonsingular Tensors Through Geometric Invariants Reviewed International journal

    Toshio Sakata, Kazumitsu Maehara, Takeshi Sasaki, Toshio Sumi, Mitsuhiro Miyazaki, Yoshitaka Watanabe, Makoto Tagami

    Universal Journal of Mathematics and Mathematical Sciences   1 ( 1 )   2012.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow Reviewed

    Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao

    Nonlinear Theory and Its Applications, IEICE   2 ( 1 )   2011.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 無限次元固有値問題に対する固有値の非存在証明

    渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏

    京都大学数理解析研究所講究録   1719   2010.11

     More details

    Language:Japanese  

  • A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations Reviewed International journal

    Yoshitaka Watanabe

    Japan Journal of Industrial and Applied Mathematics   26 ( 2-3 )   2009.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid Reviewed International journal

    Yoshitaka Watanabe

    Journal of Computational and Applied Mathematics   2009.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 並行Poiseuille流れの不安定性に対する計算機援用証明

    渡部 善隆, Michael Plum, 中尾 充宏

    京都大学数理解析研究所講究録   2008.11

     More details

    Language:English   Publishing type:Research paper (bulletin of university, research institution)  

  • Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Bénard problem

    渡部 善隆

    京都大学数理解析研究所講究録   2007.2

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Rayleigh-Bénard問題の大域分岐構造に対する精度保証付き数値計算

    渡部 善隆

    京都大学数理解析研究所講究録   2006.7

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

  • A numerical verification of bifurcation points for nonlinear heat convection problems Reviewed International journal

    Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida

    The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering" (2nd IC-SCCE)   2006.7

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • Performance comparison of vector-calculations between Itanium2 and other processors Reviewed International journal

    Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato

    Proceedings of International Workshop on Innovative Architecture   2006.1

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems Reviewed International journal

    Mitsuhiro T. Nakao, Kouji Hashimoto and Yoshitaka Watanabe

    Computing   75 ( 1 )   1 - 14   2005.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s00607-004-0111-1

    Repository Public URL: http://hdl.handle.net/2324/11820

  • A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity Reviewed International journal

    Kouji Hashimoto, Ryohei Abe, Mitsuhiro T. Nakao and Yoshitaka Watanabe

    Japan Journal of Industrial and Applied Mathematics   22 ( 1 )   111 - 131   2005.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems Reviewed International journal

    Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida and Myoung-Nyoun Kim

    Journal of Scientific Computing   43 ( 3 )   2000.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

▼display all

Books

  • Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

    Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe( Role: Joint author)

    Springer Singapore  2019.11 

     More details

    Responsible for pages:ISBN 978-981-13-7669-6   Language:English   Book type:Scholarly book

  • 実例で学ぶ精度保証付き数値計算~理論と実装~

    中尾 充宏, 渡部 善隆( Role: Joint author)

    サイエンス社  2011.10 

     More details

    Responsible for pages:臨時別冊・数理科学2011年10月 (SGCライブラリ85), JAN:4910054701012, B5判, 216頁.   Language:Japanese   Book type:Scholarly book

  • Special Section on Recent Progress in Verified Numerical Computations

    Zin Arai, Takeshi Ogita, Yoshitaka Watanabe( Role: Edit)

    IEICE  2013.1 

     More details

    Responsible for pages:Vol. 4, No. 1, pp. 1-110   Language:English   Book type:Scholarly book

  • シミュレーション辞典

    日本シミュレーション学会編: 渡部 善隆(分担執筆)( Role: Joint author)

    コロナ社  2012.2 

     More details

    Language:Japanese   Book type:Scholarly book

Presentations

  • 無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算

    寺尾 剛史, 渡部 善隆, 尾崎 克久

    日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178  2024.3 

     More details

    Event date: 2024.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:大阪公立大学, 大阪市   Country:Japan  

  • 実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176  2024.3 

     More details

    Event date: 2024.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:大阪公立大学, 大阪市   Country:Japan  

  • 線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算

    寺尾 剛史, 渡部 善隆, 尾崎 克久

    日本応用数理学会第20回(2024年)研究部会連合発表会  2024.3 

     More details

    Event date: 2024.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:長岡技術科学大学, 長岡市   Country:Japan  

  • 近似楕円型線形作用素のノルムに関する収束性評価の改良

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会第20回(2024年)研究部会連合発表会  2024.3 

     More details

    Event date: 2024.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:長岡技術科学大学, 長岡市   Country:Japan  

  • 非線形波動方程式の自己相似爆発解に対する精度保証付き数値計算 Invited

    渡部 善隆

    RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 (Research on High-performance Scientific Computing in a New Era)  2023.10 

     More details

    Event date: 2023.10

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都大学, 益川ホール, 京都市   Country:Japan  

    3次元無限領域における非線形波動方程式の自己相似爆発解の具体的な形状を計算機援用証明により世界で初めて示すことに成功し、成果を招待講演として発表した。

  • 精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証

    渡部 善隆, 宮路 智行

    日本数学会2023年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.195-196  2023.9 

     More details

    Event date: 2023.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東北大学, 仙台市   Country:Japan  

  • A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations International conference

    Minisymposia: Verified Numerical Computations and Applications, in the 10th International Congress on Industrial and Applied Mathematics (ICIAM)  2023.8 

     More details

    Event date: 2023.8

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • 2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2023年年会, 中央大学, 応用数学分科会講演アブストラクト, pp. 103-104  2023.3 

     More details

    Event date: 2023.3

    Language:Japanese  

    Venue:中央大学   Country:Japan  

  • 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会2023年研究部会連合発表会  2023.3 

     More details

    Event date: 2023.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:岡山理科大学   Country:Japan  

  • 定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算

    渡部 善隆, Shuting Cai

    日本応用数理学会2021年度年会講演予稿集, pp.424-425  2021.9 

     More details

    Event date: 2022.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:芝浦工業大学(オンライン), さいたま市   Country:Japan  

  • OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明

    渡部 善隆, 長藤かおり, Michael Plum, 木下 武彦, 中尾 充宏

    日本数学会2022年年会, 埼玉大学, 応用数学分科会講演アブストラクト, pp. 153-154  2022.3 

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:埼玉大学 (オンライン)   Country:Japan  

  • A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem International conference

    Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao

    nternational Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)  2022.3 

     More details

    Event date: 2022.3

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本応用数理学会2022年研究部会連合発表会  2022.3 

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:九州大学(オンライン)   Country:Japan  

  • Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations Invited International conference

    Yoshitaka Watanabe

    Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum  2024.2 

     More details

    Event date: 2022.2 - 2024.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Germany  

  • Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明

    渡部 善隆, Shuting Cai

    日本数学会2021年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.123-124  2021.9 

     More details

    Event date: 2021.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:千葉大学(オンライン), 千葉市   Country:Japan  

  • On some convergence properties for finite element approximations to the inverse of linear elliptic operators International conference

    akehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao

    19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020)  2021.9 

     More details

    Event date: 2021.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Hungary  

  • 重調和方程式の近似解に対する構成的誤差評価の改良

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本数学会2021年年会, 応用数学分科会講演アブストラクト, pp. 87-88  2021.3 

     More details

    Event date: 2021.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:慶應義塾大学(オンライン)   Country:Japan  

  • Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本数学会2020年度秋季総合分科会  2020.9 

     More details

    Event date: 2020.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:熊本大学(オンライン), 熊本市   Country:Japan  

  • Hilbert空間における線形作用素に対する可逆性検証の効率化

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本応用数理学会2020年度年会  2020.9 

     More details

    Event date: 2020.9

    Language:Japanese  

    Venue:愛媛大学(オンライン), 松山市   Country:Japan  

    日本応用数理学会2020年度年会講演予稿集, pp.444-445, 愛媛大学(オンライン), 松山市, 2020年9月8日~9月10日.
    発表日: 2019.9.10.

  • ある楕円型境界値問題から導かれる近似作用素のノルムの収束性

    木下 武彦, 渡部 善隆, 中尾 充宏

    応用数学合同研究集会  2019.12 

     More details

    Event date: 2019.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:龍谷大学瀬田キャンパス, 大津市   Country:Japan  

  • H10関数の直交多項式近似に対する2次の誤差評価の最良定数について

    木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏

    日本数学会2019年度秋季総合分科会 応用数学分科会  2019.11 

     More details

    Event date: 2019.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:金沢大学   Country:Japan  

  • H10射影誤差に対する2次の誤差評価の最良定数の包含方法について

    木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏

    日本応用数理学会2019年度年会  2019.9 

     More details

    Event date: 2019.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京大学駒場キャンパスI   Country:Japan  

  • Computer-assisted proofs for the Orr-Sommerfeld equation Invited International conference

    Yoshitaka Watanabe

    Rigorous Computational Dynamics in Infinite Dimensions  2019.4 

     More details

    Event date: 2019.4

    Language:English   Presentation type:Oral presentation (general)  

    Country:Canada  

  • Poisson方程式に対する構成的高次誤差評価

    渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏

    日本応用数理学会2019年研究部会連合発表会  2019.3 

     More details

    Event date: 2019.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:筑波大学   Country:Japan  

  • 精度保証付き数値計算入門《応用編》 Invited

    渡部 善隆

    平成30年度NIFS共同研究 研究会「MHDシミュレーションにおける精度保証の可能性について」  2018.12 

     More details

    Event date: 2018.12

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:核融合科学研究所, 土岐市, 岐阜県   Country:Japan  

  • 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本数学会2018年度秋季総合分科会  2018.9 

     More details

    Event date: 2018.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:岡山大学, 岡山市   Country:Japan  

  • A higher order error estimation for finite element approximations of the Poisson equation International conference

    Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao

    18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)  2018.9 

     More details

    Event date: 2018.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • Verified computations of eigenvalue exclosures for linearized Kolmogorov problem International conference

    Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao

    18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)  2018.9 

     More details

    Event date: 2018.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • 2階楕円型作用素に対する逆作用素ノルム評価の改良

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本応用数理学会2018年度年会  2018.9 

     More details

    Event date: 2018.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:名古屋大学東山キャンパス, 名古屋市   Country:Japan  

  • A higher order error estimation of the Poisson equation and its applications International conference

    Yoshitaka Watanabe

    International Workshop on Numerical Methods for Partial Differential Equations  2018.3 

     More details

    Event date: 2018.3

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • Some computer-assisted proofs for the Navier-Stokes equations Invited International conference

    Yoshitaka Watanabe

    Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141)  2017.5 

     More details

    Event date: 2017.5

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • An alternative approach of invertibility verifications for linear operators in Hilbert spaces International conference

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017)  2017.3 

     More details

    Event date: 2017.3

    Language:English  

    Country:Japan  

  • 流体方程式に対する精度保証付き数値計算

    渡部 善隆

    流体方程式の構造と特異性に迫る数値解析・数値計算II  2017.1 

     More details

    Event date: 2017.1

    Language:Japanese  

    Venue:名古屋大学   Country:Japan  

  • Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(下)

    渡部 善隆

    応用数学合同研究集会  2016.12 

     More details

    Event date: 2016.12

    Language:Japanese  

    Venue:龍谷大学   Country:Japan  

  • コンパクト作用素のレゾルベントに対する下側評価

    木下 武彦, 渡部 善隆, 中尾 充宏

    応用数学合同研究集会  2016.12 

     More details

    Event date: 2016.12

    Language:Japanese  

    Venue:龍谷大学   Country:Japan  

  • Validated constructive error estimatations for bi-harmonic problems International conference

    Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

    17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)  2016.9 

     More details

    Event date: 2016.9

    Language:English  

    Country:Sweden  

  • 重調和方程式の近似解に対する構成的誤差評価

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本数学会2016年度秋季総合分科会 応用数学分科会  2016.9 

     More details

    Event date: 2016.9

    Language:Japanese  

    Venue:関西大学   Country:Japan  

  • Legendre多項式による重調和方程式の精度保証付き誤差評価

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本応用数理学会2016年度年会  2016.9 

     More details

    Event date: 2016.9

    Language:Japanese  

    Venue:北九州国際会議場   Country:Japan  

  • 精度保証付き数値計算による平行Poiseuille流れの高精度不安定性解析

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本数学会2016年度年会  2016.3 

     More details

    Event date: 2016.3

    Language:Japanese  

    Venue:筑波大学   Country:Japan  

  • 多倍長区間演算ライブラリLILIBによる精度保証付き数値計算

    松田 望, 渡部 善隆, 山本 野人

    日本応用数理学会2016年研究部会連合発表会  2016.3 

     More details

    Event date: 2016.3

    Language:Japanese  

    Venue:神戸学院大学   Country:Japan  

  • Hilbert空間の線形作用素に対する逆作用素ノルム評価の改良

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会2016年研究部会連合発表会  2016.3 

     More details

    Event date: 2016.3

    Language:Japanese  

    Venue:神戸学院大学   Country:Japan  

  • Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(中)

    渡部 善隆

    応用数学合同研究集会  2015.12 

     More details

    Event date: 2015.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • Kolmogorov問題の精度保証付き数値計算に対するいくつかの考察

    渡部 善隆

    日本数学会2015年度秋季総合分科会  2015.9 

     More details

    Event date: 2015.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都産業大学   Country:Japan  

  • A nonlinear PDE verification -- Fukuoka, Karlsruhe Invited International conference

    Yoshitaka Watanabe

    Nonlinear PDE Days  2015.7 

     More details

    Event date: 2015.7

    Language:English   Presentation type:Oral presentation (invited, special)  

    Country:Germany  

  • 楕円型線形逆作用素評価の収束性について

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本応用数理学会2015年研究部会連合発表会  2015.3 

     More details

    Event date: 2015.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:明治大学   Country:Japan  

  • Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(上)

    渡部 善隆

    応用数学合同研究集会  2014.12 

     More details

    Event date: 2014.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • A numerical verification method for the Orr-Sommerfeld problem Invited

    2014.12 

     More details

    Event date: 2014.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  • 精度保証付き数値計算による楕円型作用素の逆作用素ノルム評価 Invited

    渡部 善隆

    RIMS研究集会・新時代の科学技術を牽引する数値解析学  2014.10 

     More details

    Event date: 2014.10

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都大学数理解析研究所   Country:Japan  

  • Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem Invited International conference

    Yoshitaka Watanabe

    2014.9 

     More details

    Event date: 2014.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Germany  

  • 2階楕円型作用素における構成的Laplacianノルム評価

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本応用数理学会2014年度年会  2014.9 

     More details

    Event date: 2014.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:政策研究大学院大学   Country:Japan  

  • 計算機援用証明によるOrr-Sommerfeld問題の安定性・不安定性解析 Invited

    渡部 善隆

    日本数学会2014年度年会  2014.3 

     More details

    Event date: 2014.3

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:学習院大学   Country:Japan  

    流体力学の安定性を記述する重要な方程式のひとつであるOrr-Sommerfeld方程式については、膨大な数の数値計算による近似結果は与えられているものの、理論的な結果はこれまでほとんど得られていませんでした。この講演では、特に平行ポワズイユ流れの安定性に着目し、流れの安定性・不安定解析が計算機によって数学的に厳密な意味で可能であることを具体例とともに示し、今後の展望についても述べました。[日本数学会特別講演]

  • A comparison of computer-assisted proofs for the Kolmogorov problem Invited International conference

    Yoshitaka Watanabe

    International Workshop on Numerical Verification and its Applications 2014 (INVA2014)  2014.3 

     More details

    Event date: 2014.3

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid

    2013.11 

     More details

    Event date: 2013.11

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  • 無限次元非線形関数方程式に対するNewton反復型計算機援用証明

    渡部 善隆, 中尾 充宏

    日本数学会2013年度秋季総合分科会  2013.9 

     More details

    Event date: 2013.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:愛媛大学   Country:Japan  

  • 楕円型偏微分作用素に対する逆作用素評価の効率化

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会2013年度年会  2013.9 

     More details

    Event date: 2013.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:アクロス福岡   Country:Japan  

  • 楕円型偏微分作用素の可逆性の検証について

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2013年年会  2013.3 

     More details

    Event date: 2013.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都大学   Country:Japan  

  • Kolmogorov問題の定常解に対する精度保証付き数値計算

    渡部 善隆

    応用数学合同研究集会  2012.12 

     More details

    Event date: 2012.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • 線形作用素に対する可逆性の検証と精度保証付きノルム評価

    渡部 善隆, 中尾 充宏

    日本数学会2012年度秋季総合分科会  2012.9 

     More details

    Event date: 2012.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:九州大学   Country:Japan  

  • Computer-assisted proof for functional equations based on infinite dimensional sequential iteration Invited International conference

    Yoshitaka Watanabe

    Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods  2011.5 

     More details

    Event date: 2012.9 - 2011.9

    Presentation type:Oral presentation (general)  

    Country:Germany  

  • 無限次元作用素に対する固有値の除外理論と精度保証付き数値計算

    渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏

    九州大学数値解析学セミナー  2012.4 

     More details

    Event date: 2012.4

    Presentation type:Oral presentation (general)  

    Venue:九州大学大学院数理学研究院   Country:Japan  

  • Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow International conference

    Yoshitaka Watanabe

    Workshop on "Avoided? Crossing of Eigenvalue Curves" --Non-commutative Harmonic Oscillator, Special Functions and Number Theory--  2012.3 

     More details

    Event date: 2012.3

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 無限次元作用素に対する固有値の計算機援用非存在証明

    渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏

    応用数学合同研究集会  2011.12 

     More details

    Event date: 2011.12

    Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • Orr-Sommerfeld方程式に対する局所一意性付き計算機援用証明

    渡部 善隆

    日本数学会2011年度秋季総合分科会  2011.9 

     More details

    Event date: 2011.10

    Presentation type:Oral presentation (general)  

    Venue:信州大学   Country:Japan  

  • 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会2011年度年会  2011.9 

     More details

    Event date: 2011.9

    Presentation type:Oral presentation (general)  

    Venue:同志社大学   Country:Japan  

  • A self-validating norm computation of inverse for infinite dimensional linear operators and its applications Invited International conference

    Yoshitaka Watanabe

    14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010)  2010.9 

     More details

    Event date: 2010.9

    Presentation type:Oral presentation (general)  

    Country:France  

  • 非自己共役作用素に対する固有値の除外法

    渡部 善隆, 長藤 かおり, 中尾 充宏

    日本応用数理学会2010年度年会  2010.9 

     More details

    Event date: 2010.9

    Presentation type:Oral presentation (invited, special)  

    Venue:明治大学   Country:Japan  

  • Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem Invited International conference

    Yoshitaka Watanabe

    International Workshop on Numerical Verification and its Applications 2010 (INVA2010)  2010.3 

     More details

    Event date: 2010.3

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • ある非自己共役作用素の複素固有値の除外に対する数値的検証法 II

    渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり

    応用数学合同研究集会報告集  2009.12 

     More details

    Event date: 2009.12

    Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • 無限次元固有値問題に対する固有値の非存在証明 Invited

    渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏

    研究集会・数値解析と数値計算アルゴリズムの最近の展開  2009.12 

     More details

    Event date: 2009.12

    Presentation type:Oral presentation (general)  

    Venue:京大会館   Country:Japan  

  • FitzHugh-Nagumo 型反応拡散方程式系に対する数値的検証法

    長藤 かおり,渡部 善隆,山本 成樹,木下 武彦

    日本数学会2007年度秋季総合分科会  2008.9 

     More details

    Event date: 2009.9

    Presentation type:Oral presentation (general)  

    Venue:東京工業大学   Country:Japan  

  • A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems International conference

    Yoshitaka Watanabe, Myoungnyoun Kim, Mitsuhiro T. Nakao and Takaaki Nishida

    INSF2007: International Conference on Recent Developments of Numerical Schemes for Flow Problems  2007.6 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • A computer assisted proof of a bifurcation point for the heat convection problems International conference

    Yoshitaka Watanabe

    Algebraic and Numerical Algorithms and Computer-assisted Proofs  2005.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Germany  

  • Rayleigh-Benard問題の大域分岐構造に対する精度保証付き数値計算

    渡部 善隆

    研究集会・計算科学の基盤技術とその発展  2005.11 

     More details

    Presentation type:Oral presentation (general)  

    Venue:京都大学数理解析研究所   Country:Japan  

  • A computer assisted proof of a symmetry-breaking bifurcation point for the Rayleigh-Benard problem International conference

    Yoshitaka Watanabe

    Workshop on Numerical Analysis of Flow Problems and Validated Computations  2006.11 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 精度保証付き数値計算によるProudman–Johnson 方程式の定常解の存在別証

    渡部 善隆

    日本数学会 2022年度秋季総合分科会 応用数学分科会 講演アブストラクト pp.79-80  2022.9 

     More details

    Event date: 2023.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:北海道大学, 札幌市   Country:Japan  

  • Proudman-Johnson方程式の定常解に対する精度保証付き数値計算〜Miyaji-Okamoto定理の別証〜

    渡部 善隆

    日本応用数理学会2022年度年会講演予稿集, A3-1-1  2022.9 

     More details

    Event date: 2023.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:北海道大学(セミハイブリッド), 札幌市   Country:Japan  

  • ある三角行列の最小特異値に対するBunger-Rump理論による精度保証付き数値計算

    渡部 善隆

    第5回精度保証付き数値計算の実問題への応用研究集会(NVR 2021) ・JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会  2021.11 

     More details

    Event date: 2021.11

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン開催   Country:Japan  

  • 非線形微分方程式に対する精度保証付き数値計算

    渡部 善隆

    CREST「現代の数理科学と連携するモデリング手法の構築」 成果報告公開シンポジウム~DX, AI, これからの数理モデリング~  2021.9 

     More details

    Event date: 2021.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン開催   Country:Japan  

  • Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用

    小林 健太, 渡部 善隆

    日本応用数理学会2021年研究部会連合発表会  2021.3 

     More details

    Event date: 2021.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:法政大学(オンライン)   Country:Japan  

  • 有界作用素のレゾルベントに対するある近似作用素の強収束性について

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2020年年会, 日本大学, 応用数学分科会講演アブストラクト, pp. 117-118  2020.3 

     More details

    Event date: 2020.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:日本大学   Country:Japan  

  • Banach空間における有界線形作用素の近似に対する収束性

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会2020年研究部会連合発表会  2020.3 

     More details

    Event date: 2020.3 - 2021.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:中央大学   Country:Japan  

  • Nakao et al. (2005) 最後の謎 Invited

    木下 武彦, 渡部 善隆, 中尾 充宏

    第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019)  2019.11 

     More details

    Event date: 2019.11 - 2019.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:サンポートホール高松 63会議室, 高松市   Country:Japan  

  • Numerical verification methods for nonlinear equations Invited

    Yoshitaka Watanabe

    JST Sakura Exchange Program in Science  2019.8 

     More details

    Event date: 2019.8 - 2019.9

    Language:English   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Country:Japan  

  • Poisson方程式に対する構成的高次誤差評価とその応用

    渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏

    日本数学会2019年年会  2019.3 

     More details

    Event date: 2019.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京工業大学   Country:Japan  

  • The essence of numerical verification methods for PDEs International conference

    Yoshitaka Watanabe

    2018 Workshop on Recent views of Nonlinear Analysis  2018.12 

     More details

    Event date: 2018.12

    Language:English   Presentation type:Oral presentation (general)  

  • 反復解法における誤差履歴 Invited

    渡部 善隆

    第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018)  2018.12 

     More details

    Event date: 2018.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:広島インテリジェントホテルスタジアム前, 広島市   Country:Japan  

  • 値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2018年年会, 応用数学分科会講演アブストラクト, pp. 103-106.  2018.3 

     More details

    Event date: 2018.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京大学   Country:Japan  

  • Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本応用数理学会2018年研究部会連合発表会  2018.3 

     More details

    Event date: 2018.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:大阪大学   Country:Japan  

  • Kolmogorov問題に対する計算機援用証明における最大値ノルムの改良

    渡部 善隆

    不連続Galerkin有限要素法の数学理論とその周辺  2018.2 

     More details

    Event date: 2018.2

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:コンフォートホテル長崎会議室, 長崎市   Country:Japan  

  • Legendre多項式を用いた重調和問題の構成的誤差評価(といくつかの課題)

    渡部 善隆, 木下 武彦, 中尾 充宏

    応用数学合同研究集会  2017.12 

     More details

    Event date: 2017.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • 重調和問題の解に対する構成的誤差評価

    渡部 善隆, 木下 武彦, 中尾 充宏

    第1回精度保証付き数値計算の実問題への応用研究集会(NVR 2017)  2017.12 

     More details

    Event date: 2017.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:西日本総合展示場, 北九州市   Country:Japan  

  • Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2017年度秋季総合分科会  2017.9 

     More details

    Event date: 2017.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:応用数学分科会講演アブストラクト, 山形大学, 山形市   Country:Japan  

  • 値域が共役空間となる2階楕円型作用素に対する可逆性検証法の改良

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会2017年度年会講演予稿集  2017.9 

     More details

    Event date: 2017.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:武蔵野大学有明キャンパス, 東京都   Country:Japan  

  • あるコンパクト作用素のレゾルベントに対する下側評価について

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2017年年会  2017.3 

     More details

    Event date: 2017.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:首都大学東京   Country:Japan  

  • Navier-Stokes方程式から導かれる非線形作用素のコンパクト性について

    渡部 善隆

    数値解析の理論と実践  2017.3 

     More details

    Event date: 2017.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:石川県政記念 しいのき迎賓館   Country:Japan  

  • Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces International conference

    Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe

    The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017)  2017.3 

     More details

    Event date: 2017.3

    Language:English  

    Country:Japan  

  • Navier-Stokes方程式に関する非線形作用素のコンパクト性証明

    中尾 充宏, 長藤 かおり, 渡部 善隆

    日本応用数理学会2017年研究部会連合発表会  2017.3 

     More details

    Event date: 2017.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:電気通信大学   Country:Japan  

  • H3 and H4 regularities of the Poisson equation on polygonal domains International conference

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015)  2015.11 

     More details

    Event date: 2015.11

    Language:English   Presentation type:Oral presentation (general)  

    Country:Germany  

  • H3正則性を持つ一般多角形領域上のPoisson方程式の解について

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2015年度秋季総合分科会  2015.9 

     More details

    Event date: 2015.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都産業大学   Country:Japan  

  • 線形化Kolmogorov問題に対する固有値の除外について

    渡部 善隆, Kaori Nagatou, Michael Plum, 中尾 充宏

    日本応用数理学会2015年度年会  2015.9 

     More details

    Event date: 2015.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都産業大学   Country:Japan  

  • Poisson方程式の解に対するH3およびH4セミノルムについて

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本応用数理学会2015年度年会  2015.9 

     More details

    Event date: 2015.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都産業大学   Country:Japan  

  • An improvement of infinity norm estimations for numerical verifications of the Kolmogorov problem International conference

    Yoshitaka Watanabe

    Workshop on Information Technology, Applied Mathematics and Education  2015.8 

     More details

    Event date: 2015.8

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • Some computer-assisted proofs of the Kolmogorov problem of incompressible viscous fluid International conference

    Yoshitaka Watanabe

    International Workshop on Information Technology, Applied Mathematics and Science (IMS2015)  2015.3 

     More details

    Event date: 2015.3

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • 線形楕円型作用素に対するLaplacianノルムの構成的評価

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本数学会2015年度年会  2015.3 

     More details

    Event date: 2015.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:明治大学   Country:Japan  

  • 流体力学モデルの精度保証

    渡部 善隆

    精度保証付き数値計算の最近の展開  2015.3 

     More details

    Event date: 2015.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:北九州国際会議場   Country:Japan  

  • 数値計算における誤差と残差 Invited

    渡部 善隆

    数値解析セミナー  2015.1 

     More details

    Event date: 2015.1

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:東京大学   Country:Japan  

  • Some remarks on the rigorous estimation of inverse linear elliptic operators International conference

    Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2014)  2014.9 

     More details

    Event date: 2014.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Germany  

  • 精度保証付き数値計算による流れの安定性解析 Invited

    渡部 善隆

    数学談話会  2014.8 

     More details

    Event date: 2014.8

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:愛媛大学理学部数学科   Country:Japan  

  • 区間演算概説

    渡部 善隆

    ワークショップ: 工学・理学をベースにした線形・非線形問題へのアプローチ  2014.5 

     More details

    Event date: 2014.5

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:ICT文化ホール, 石垣市   Country:Japan  

  • 誤差と残差のあいだに(その2)

    渡部 善隆

    研究集会: 超大規模数値計算と数値解析に関する新潟ワークショップ  2014.3 

     More details

    Event date: 2014.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:新潟市万代市民会館   Country:Japan  

  • An alternative approach of invertibility verifications and norm estimations for linear elliptic operators

    2014.3 

     More details

    Event date: 2014.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  • 線形作用素に対する可逆性の検証と精度保証付きノルム評価の改良について

    渡部 善隆, 木下 武彦, 中尾 充宏

    日本数学会2014年度年会  2014.3 

     More details

    Event date: 2014.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:学習院大学   Country:Japan  

  • 2階楕円型線形作用素の可逆性検証に関するいくつかの考察

    渡部 善隆, 木下 武彦, 木村 拓馬, 山本 野人, 中尾 充宏

    応用数学合同研究集会  2013.12 

     More details

    Event date: 2013.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • A computer-assisted instability proof for Poiseuille flow by multiple-precision interval arithmetic library

    2013.12 

     More details

    Event date: 2013.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  • Kolmogorov問題の精度保証におけるノルム評価の改善

    小林 健太, 渡部 善隆

    九州大学数値解析学セミナー  2013.11 

     More details

    Event date: 2013.11

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:アクロス福岡   Country:Japan  

  • 射影とその構成的誤差評価 ー有限と無限を繋ぐものー

    渡部 善隆

    RIMS研究集会・応用数理と計算科学における理論と応用の融合  2013.10 

     More details

    Event date: 2013.10

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都大学数理解析研究所   Country:Japan  

  • exflibによる平行Poiseuille流れの不安定性解析の高精度化

    渡部 善隆, 藤原 宏志, 中尾 充宏

    日本応用数理学会2013年度年会  2013.9 

     More details

    Event date: 2013.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:アクロス福岡   Country:Japan  

  • 誤差と残差のあいだに Invited

    渡部 善隆

    早稲田大学理工学術院総合研究所主催 精度保証付き数値計算ワークショップ  2013.9 

     More details

    Event date: 2013.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:アクロス福岡   Country:Japan  

  • Kolmogorov問題の計算機援用証明における最大値ノルム評価の改善について

    渡部 善隆, 小林 健太

    日本応用数理学会2013年研究部会連合発表会  2013.3 

     More details

    Event date: 2013.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東洋大学   Country:Japan  

  • exflibの多倍長区間演算環境を用いた精度保証(の中間報告)

    渡部 善隆

    多倍長精度計算フォーラム 第3回研究会  2013.3 

     More details

    Event date: 2013.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:工学院大学   Country:Japan  

  • 精度保証とHPC Invited

    渡部 善隆

    2013年ハイパフォーマンスコンピューティングと計算科学シンポジウム(HPCS2013)  2013.1 

     More details

    Event date: 2013.1

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:東京工業大学   Country:Japan  

  • A multiple-precision interval arithmetic library and its applications to fluid dynamics International conference

    International workshop on HPC (High performane computing), Krylov subspace method and its applications  2013.1 

     More details

    Event date: 2013.1

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • An improvement of a theorem for inverse operators in linear elliptic partial differential equations

    2012.11 

     More details

    Event date: 2012.11

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  • コルモゴロフ流の分岐解に対する計算機援用証明(の第一歩)

    渡部 善隆

    九州大学数値解析学セミナー  2012.10 

     More details

    Event date: 2012.10

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:九州大学   Country:Japan  

  • 中尾理論再訪--Kolmogorov問題の場合--

    渡部 善隆

    環瀬戸内ワークショップ  2012.9 

     More details

    Event date: 2012.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:アクロス福岡   Country:Japan  

  • 無限次元線形作用素に対する精度保証付きノルム評価

    渡部 善隆, 中尾 充宏

    日本応用数理学会2012年度年会  2012.8 

     More details

    Event date: 2012.8 - 2012.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:稚内全日空ホテル   Country:Japan  

  • exflibにおける多倍長区間演算Fortranインターフェースとその応用

    渡部 善隆, 藤原 宏志

    日本応用数理学会2012年研究部会連合発表会  2012.3 

     More details

    Event date: 2012.3

    Venue:九州大学   Country:Japan  

  • 逐次反復に基づく関数方程式の精度保証付き数値計算 International conference

    渡部 善隆

    研究集会:「科学計算の信頼性とその周辺に関するワークショップ」  2011.11 

     More details

    Event date: 2011.11

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について

    木下 武彦, 渡部 善隆, 中尾 充宏

    日本数学会2011年度秋季総合分科会  2011.9 

     More details

    Event date: 2011.10

    Presentation type:Oral presentation (general)  

    Venue:信州大学   Country:Japan  

  • 逐次反復に基づく関数方程式の計算機援用証明

    渡部 善隆

    日本応用数理学会2011年度年会  2011.9 

     More details

    Event date: 2011.9

    Presentation type:Oral presentation (general)  

    Venue:同志社大学   Country:Japan  

  • 微分方程式の精度保証付き数値計算

    渡部 善隆

    研究集会: 可積分系数理の進化  2011.8 

     More details

    Event date: 2011.8

    Presentation type:Oral presentation (general)  

    Venue:京都大学数理解析研究所   Country:Japan  

  • An enclosure method for solutions of FitzHugh-Nagumo equation

    2010.12 

     More details

    Event date: 2010.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 無限次元固有値問題に対する固有値の除外法

    渡部 善隆

    研究集会:「数値解析と計算の信頼性評価」  2010.11 

     More details

    Event date: 2010.11

    Presentation type:Oral presentation (general)  

    Venue:ハウステンボス, ユトレヒト, 佐世保市   Country:Japan  

  • MATLABで偏微分方程式の精度保証プログラムを作ってみました

    渡部 善隆

    九州大学数値解析学セミナー  2010.7 

     More details

    Event date: 2010.7

    Presentation type:Oral presentation (general)  

    Venue:九州大学大学院数理学研究院   Country:Japan  

  • Computer assisted proofs for partial differential equations International conference

    Kaori Nagatou and Yoshitaka Watanabe

    Seminar at University of Kent  2010.3 

     More details

    Event date: 2010.3

    Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Country:United Kingdom  

  • Legendre多項式を用いた高精度品質保証─およびその課題─

    渡部 善隆,木下 武彦

    日本応用数理学会2010年研究部会連合発表会  2010.3 

     More details

    Event date: 2010.3

    Presentation type:Oral presentation (general)  

    Venue:筑波大学   Country:Japan  

  • Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証

    渡部 善隆

    研究集会:「数値解析の現状と展望」─九州大学数値解析セミナーとその協力者からの発信─  2009.11 

     More details

    Event date: 2009.11

    Presentation type:Oral presentation (general)  

    Venue:公立はこだて未来大学   Country:Japan  

  • Orr-Sommerfeld 方程式の複素固有値の除外に対する計算機援用証明

    渡部 善隆,中尾 充宏,Michael Plum, 長藤 かおり

    日本応用数理学会2009年度年会,  2009.9 

     More details

    Event date: 2009.9

    Presentation type:Oral presentation (general)  

    Venue:大阪大学   Country:Japan  

  • 楕円型作用素の逆作用素の作用素ノルムの評価の改良について

    木下 武彦,渡部 善隆,中尾 充宏

    日本数学会2009年度秋季総合分科会  2009.9 

     More details

    Event date: 2009.9

    Presentation type:Oral presentation (general)  

    Venue:大阪大学   Country:Japan  

  • Spectral problem for 3-D photonic crystals International conference

    Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe and Ian Wood

    International Conference on Numerical Analysis and Applied Mathematics 2009 (ICNAAM-2009)  2009.9 

     More details

    Event date: 2009.9

    Presentation type:Oral presentation (general)  

    Country:Greece  

  • 熱対流問題の精度保証-計算の品質評価-

    渡部 善隆

    九州大学産業数理研究センター 第7回ワークショップ  2009.9 

     More details

    Event date: 2009.9

    Presentation type:Oral presentation (general)  

    Venue:九州大学   Country:Japan  

  • 無限次元非線形システムの精度保証付きパラメータ同定技法について

    中尾 充宏, 渡部 善隆

    産業技術数理研究センター第4回ワークショップ  2008.9 

     More details

    Event date: 2009.9

    Presentation type:Oral presentation (general)  

    Venue:九州大学   Country:Japan  

  • 科学技術計算の品質保証

    渡部 善隆

    先駆的科学計算に関するフォーラム2008~高精度・多倍長計算~  2008.8 

     More details

    Event date: 2009.8

    Presentation type:Oral presentation (general)  

    Venue:九州大学   Country:Japan  

  • An eigenvalue excluding method for the Orr-Sommerfeld problem International conference

    Yoshitaka Watanabe

    International Conference on Engineering and Computational Mathematics (ECM2009)  2009.5 

     More details

    Event date: 2009.5

    Presentation type:Oral presentation (general)  

    Country:China  

  • 計算機援用証明による並行Poiseuille流れの安定性・不安性解析

    渡部 善隆

    九州大学数値解析学セミナー  2009.4 

     More details

    Event date: 2009.4

    Presentation type:Oral presentation (general)  

    Venue:九州大学大学院数理学研究院   Country:Japan  

  • A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow Invited International conference

    Yoshitaka Watanabe

    International Workshop on Numerical Verification and its Applications 2009  2009.3 

     More details

    Event date: 2009.3

    Presentation type:Symposium, workshop panel (public)  

    Country:Japan  

  • A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow Invited International conference

    Yoshitaka Watanabe

    International workshop on verified computations and related topics  2009.3 

     More details

    Event date: 2009.3

    Presentation type:Symposium, workshop panel (public)  

    Country:Germany  

  • ある非自己共役作用素の複素固有値の除外に対する数値的検証法

    渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり

    応用数学合同研究集会報告集  2008.12 

     More details

    Event date: 2008.12

    Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • コンピュータソフトウェアのキャンパスライセンス化による経費削減効果について

    入江 啓一, 藤村 直美, 渡部 善隆, 富山 実, 三浦 誠, 上田 将嗣, 高木 早智子, 仲田 奈理子, 酒井 健禎

    平成20年度情報教育研究集会  2008.12 

     More details

    Event date: 2008.12

    Presentation type:Oral presentation (general)  

    Venue:北九州市   Country:Japan  

  • マイクロソフトキャンパスアグリーメントにおけるソフトウェア配布

    上田 将嗣, 藤村 直美, 渡部 善隆, 入江 啓一, 富山 実, 三浦 誠, 高木 早智子, 仲田 奈理子, 酒井 健禎

    全国共同利用情報基盤センター研究開発論文集  2008.11 

     More details

    Event date: 2008.11

    Presentation type:Oral presentation (general)  

    Venue:九州大学   Country:Japan  

  • Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明

    渡部 善隆

    流れ問題のための高品質数値解法と計算機援用解析学  2008.11 

     More details

    Event date: 2008.11

    Presentation type:Oral presentation (general)  

    Venue:KKRホテル金沢   Country:Japan  

  • Validated computations for elliptic systems of FitzHugh-Nagumo type International conference

    Kaori Nagatou, Yoshitaka Watanabe, Shigeki Yamamoto and Takehiko Kinoshita

    13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008)  2009.1 

     More details

    Event date: 2008.9 - 2008.10

    Presentation type:Oral presentation (general)  

    Country:United States  

  • FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算

    渡部 善隆,長藤 かおり,山本 成樹,木下 武彦

    日本応用数理学会2008年度年会  2008.9 

     More details

    Event date: 2008.9

    Presentation type:Oral presentation (general)  

    Venue:東京大学   Country:Japan  

  • 解けたらうれしい線形方程式

    渡部 善隆

    計算工学講演会論文集  2008.5 

     More details

    Event date: 2008.5

    Presentation type:Oral presentation (general)  

    Venue:仙台市民会館   Country:Japan  

  • Computer assisted proofs of solutions for nonlinear heat convection problems Invited International conference

    Yoshitaka Watanabe

    International Workshop on Numerical Verification and its Applications (INVA2008)  2008.3 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 直接解法による大規模疎行列に対する連立1次方程式ソルバー

    渡部 善隆

    九州大学数値解析学セミナー  2005.6 

     More details

    Presentation type:Oral presentation (general)  

    Venue:九州大学   Country:Japan  

  • 多倍長計算を適用した精度保証数値計算

    坂口 秀雄,渡部 善隆,今井 仁司

    研究集会・21世紀における数値解析の新展開  2005.7 

     More details

    Presentation type:Oral presentation (general)  

    Venue:京都大学数理解析研究所   Country:Japan  

  • 熱対流問題の分岐点に対する計算機援用証明

    渡部 善隆,中尾 充宏,山本 野人,西田 孝明

    日本数学会2005年度秋季総合分科会  2005.9 

     More details

    Presentation type:Oral presentation (general)  

    Venue:岡山大学   Country:Japan  

  • A computer assisted proof of a bifurcation point for the heat convection problems International conference

    Yoshitaka Watanabe

    Algebraic and Numerical Algorithms and Computer-assisted Proofs  2005.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Germany  

  • Some Computer Assisted Proofs on the Bifurcation Structure of Solutions for Heat Convection Problems International conference

    Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim

    International Symposium on Nonlinear Theory and its Applications  2005.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Belgium  

  • Some Computer Assisted Proofs on the Bifurcation Structure of Solutions for Heat Convection Problems International conference

    Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim

    2005 International Symposium on Nonlinear Theory and its Applications  2005.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Belgium  

  • A computer assisted proof of a symmetry-breaking bifurcation point for the Rayleigh-Bénard problem International conference

    Yoshitaka Watanabe

    Workshop on Numerical Analysis of Flow Problems and Validated Computations  2005.11 

     More details

    Presentation type:Symposium, workshop panel (public)  

    Country:Japan  

  • 計算機援用証明による熱対流問題の分岐点の存在検証

    渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明

    九州大学数値解析学セミナー  2006.4 

     More details

    Presentation type:Oral presentation (general)  

    Venue:九州大学大学院数理学研究院   Country:Japan  

  • Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Bénard problem

    2006.7 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 非対称疎行列に対する連立1次方程式の直接解法を用いた特異値計算

    渡部 善隆

    第10回環瀬戸内応用数理研究部会シンポジウム  2006.7 

     More details

    Presentation type:Oral presentation (general)  

    Venue:沖縄県青年会館   Country:Japan  

  • A numerical verification of bifurcation points for nonlinear heat convection problems International conference

    Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida

    2nd International conference "From Scientific Computing to Computational Engineering  2006.7 

     More details

    Presentation type:Oral presentation (general)  

    Country:Greece  

  • A computer-assisted proof for the Kolmogorov flows of imcompressible viscous fluid International conference

    Yoshitaka Watanabe

    2006 International Symposium on Nonlinear Theory and its Applications  2006.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Italy  

  • Some computer assisted proofs on three dimensional heat convection problems International conference

    Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida

    2006 International Symposium on Nonlinear Theory and its Applications  2006.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Italy  

  • A numerical verification for the Kolmogorov flows of imcompressible viscous fluid International conference

    Yoshitaka Watanabe

    International Conference of Numerical Analysis and Applied Mathematics 2006  2006.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Greece  

  • A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems International conference

    Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida

    12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics  2006.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Germany  

  • 3次元熱対流問題に対する解の数値的検証について

    渡部 善隆, Myoungnyoun Kim, 西田 孝明, 中尾 充宏

    研究集会・流れ問題の数値解析と精度保証付き数値計算  2006.11 

     More details

    Presentation type:Oral presentation (general)  

    Venue:ブケ東海静岡   Country:Japan  

  • 疎行列に対する連立1次方程式の直接解法を援用した固有値・特異値計算

    渡部 善隆

    第11回情報・統計科学シンポジウム  2006.12 

     More details

    Presentation type:Oral presentation (general)  

    Venue:九州大学留学生会館国際ホール   Country:Japan  

  • A computer-assisted proof of the existence of Bénard cells for the heat convection problems International conference

    Yoshitaka Watanabe

    International Workshop on Numerical Verification and its Applications  2007.2 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 疎行列に対する線形方程式の直接解法を用いた固有値・特異値計算

    渡部 善隆

    第2回計算科学研究ステーション研究集会  2007.3 

     More details

    Presentation type:Oral presentation (general)  

    Venue:電気通信大学情報工学科   Country:Japan  

  • 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用

    渡部 善隆

    日本応用数理学会2007年度年会講演予稿集, pp224-225  2007.9 

     More details

    Presentation type:Oral presentation (general)  

    Venue:北海道大学   Country:Japan  

  • ある反応拡散方程式系に対する精度保証付き数値計算

    渡部 善隆

    日本数学会2007年度秋季総合分科会, 応用数学分科会講演アブストラクト, pp155-158  2007.9 

     More details

    Presentation type:Oral presentation (general)  

    Venue:東北大学   Country:Japan  

  • A computer-assited proof of solutions for an elliptic system of reaction-diffusion equations International conference

    Yoshitaka Watanabe

    2007.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 反応拡散方程式系の解に対する計算機援用証明

    渡部 善隆

    九州大学数値解析学セミナー  2007.10 

     More details

    Presentation type:Oral presentation (general)  

    Venue:九州大学大学院数理学研究院   Country:Japan  

  • 並行Poiseuille流れの不安定性に対する計算機援用証明

    渡部 善隆

    研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺  2007.11 

     More details

    Presentation type:Oral presentation (general)  

    Venue:京都大学数理解析研究所   Country:Japan  

  • 並行 Poiseuille 流れの安定性に関する計算機援用解析

    渡部 善隆

    研究集会・流れ問題のための高品質数値解法と精度保証計算  2007.11 

     More details

    Presentation type:Oral presentation (general)  

    Venue:島根県民会館   Country:Japan  

  • Some computer-assisted proofs for nonlinear heat convection problems International conference

    Yoshitaka Watanabe

    2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation  2007.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Taiwan, Province of China  

  • センター計算機群に対する実アプリケーションに即した性能評価

    渡部 善隆

    RIITフォーラム2007 (2007年度 九州大学情報基盤研究開発センター研究発表会)  2007.12 

     More details

    Presentation type:Oral presentation (general)  

    Venue:九州大学留学生センター国際ホール   Country:Japan  

  • A computer-assisted instability proof for the plane Poiseuille flow

    2007.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

▼display all

MISC

  • 精度保証付き数値計算(4)ー区間演算と有限次元問題の精度保証ー

    渡部善隆

    応用数理   2011.12

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 精度保証付き数値計算(3)ー中尾理論入門ー

    渡部善隆

    応用数理   2011.9

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 精度保証付き数値計算(2)ー線形逆作用素ノルム評価ー

    渡部善隆

    応用数理   2011.6

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 精度保証付き数値計算(1)ー不動点定式化ー

    渡部善隆

    応用数理   2011.3

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 数値計算と無限-区間演算の開拓者・須永照雄博士-

    渡部 善隆

    数理科学   2017.2

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 偏微分方程式の精度保証付き数値計算/Plum理論の紹介

    渡部 善隆

    数学セミナー   2012.10

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 連立1次方程式の直接解法とソフトウェア

    渡部 善隆

    九州大学情報基盤研究開発センター全国共同利用システム広報   2007.12

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • SCAN 2004

    2005.3

     More details

    Language:Japanese   Publishing type:Internal/External technical report, pre-print, etc.  

▼display all

Professional Memberships

  • 統計科学研究会

  • 日本応用数理学会

  • 日本数学会

  • 日本数学会

      More details

  • 応用数理学会

      More details

Committee Memberships

  • Executive   Domestic

    2021.6 - 2023.5   

Academic Activities

  • Screening of academic papers

    Role(s): Peer review

    2023

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:1

    Number of peer-reviewed articles in Japanese journals:1

  • Screening of academic papers

    Role(s): Peer review

    2022

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

  • Screening of academic papers

    Role(s): Peer review

    2021

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:4

    Number of peer-reviewed articles in Japanese journals:1

  • Screening of academic papers

    Role(s): Peer review

    2020

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:3

  • 座長

    日本数学会2019年年会  ( 東京工業大学 ) 2019.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2019年研究部会連合発表会  ( 筑波大学 ) 2019.3

     More details

    Type:Competition, symposium, etc. 

  • Screening of academic papers

    Role(s): Peer review

    2019

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:5

    Number of peer-reviewed articles in Japanese journals:1

    Proceedings of International Conference Number of peer-reviewed papers:1

  • 座長

    次世代の科学技術を支える数値解析学の基盤整備と応用展開  ( 京都大学数理解析研究所 ) 2018.11

     More details

    Type:Competition, symposium, etc. 

  • 実行委員 International contribution

    ( 早稲田大学 ) 2018.9 - 2019.9

     More details

    Type:Competition, symposium, etc. 

  • 座長 International contribution

    ( 早稲田大学 ) 2018.9 - 2019.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2018年度年会  ( 名古屋大学 ) 2018.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2018年研究部会連合発表会  ( 大阪大学 ) 2018.3

     More details

    Type:Competition, symposium, etc. 

  • Screening of academic papers

    Role(s): Peer review

    2018

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:3

    Number of peer-reviewed articles in Japanese journals:1

  • 共同研究代表者

    数値解析学の最前線 ー理論・方法・応用ー  ( 京都大学数理解析研究所 ) 2017.11

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2017年研究部会連合発表会  ( 電気通信大学 ) 2017.3

     More details

    Type:Competition, symposium, etc. 

  • Screening of academic papers

    Role(s): Peer review

    2017

     More details

    Type:Peer review 

    Number of peer-reviewed articles in Japanese journals:1

  • 座長(Chairmanship)

    応用数学合同研究集会  ( 龍谷大学 ) 2016.12

     More details

    Type:Competition, symposium, etc. 

  • 座長

    現象解明に向けた数値解析学の新展開II  ( 京都大学数理解析研究所 ) 2016.10

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2016年度年会  ( 北九州国際会議場 ) 2016.9 - 2015.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2016年研究部会連合発表会  ( 神戸学院大学 ) 2016.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    応用数学合同研究集会  ( 龍谷大学 ) 2015.12

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2015年度年会  ( 金沢大学 ) 2015.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本数学会2015年度年会  ( 明治大学 ) 2015.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2015年研究部会連合発表会  ( 京都大学 ) 2015.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    応用数学合同研究集会  ( 龍谷大学 ) 2014.12

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2014年度年会  ( 政策研究大学院大学 ) 2014.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2014年研究部会連合発表会  ( 京都大学 ) 2014.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship) International contribution

    2014.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    応用数学合同研究集会  ( 龍谷大学 ) 2013.12

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    RIMS研究集会・応用数理と計算科学における理論と応用の融合  ( 京都大学数理解析研究所 ) 2013.10

     More details

    Type:Competition, symposium, etc. 

  • 実行委員

    日本応用数理学会2013年度年会  ( アクロス福岡 ) 2013.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:432

  • 座長(Chairmanship)

    応用数学合同研究集会  ( 龍谷大学 ) 2012.12

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2012年度年会  ( 稚内全日空ホテル ) 2012.8 - 2010.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    応用数学合同研究集会  ( 龍谷大学 ) 2011.12

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship) International contribution

    研究集会:「科学計算の信頼性とその周辺に関するワークショップ」  ( 西海国立公園九十九島ビジターセンター ) 2011.11

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    研究集会・科学技術計算における理論と応用の新展開  ( 京都大学数理解析研究所 ) 2011.10

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2011年度年会  ( 同志社大学 ) 2011.9 - 2010.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2011年研究部会連合発表会  ( 九州大学 ) 2011.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2010年度年会  ( 明治大学 ) 2010.9

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    日本応用数理学会2010年研究部会連合発表会  ( 筑波大学 ) 2010.3

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    応用数学合同研究集会  ( 龍谷大学 ) 2008.12 - 2009.1

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    数値解析における理論・手法・応用  ( 京都大学数理解析研究所 ) 2008.11

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship) International contribution

    2006.9 - Present

     More details

    Type:Competition, symposium, etc. 

  • 座長(Chairmanship)

    研究集会・計算科学の基盤技術とその発展  ( 京都大学数理解析研究所 ) 2005.11 - Present

     More details

    Type:Competition, symposium, etc. 

  • 実行委員 International contribution

    ( 福岡市 ) 2004.10 - Present

     More details

    Type:Competition, symposium, etc. 

    Number of participants:124

  • 実行委員

    日本応用数理学会2001年度年会  ( 九州大学 ) 2001.10 - Present

     More details

    Type:Competition, symposium, etc. 

    Number of participants:200

▼display all

Other

  • RIMS共同研究「数値解析学の最前線ー理論・方法・応用ー」研究代表者

    2017.11

     More details

    京都大学数理解析研究所の公募する「RIMS共同研究(公開型)」に研究研究代表者として応募・採択された。11月8日〜10日にかけて研究発表を中心として公開で行う研究集会形式の共同利用研究を遂行した。

Research Projects

  • 計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元--- International coauthorship

    Grant number:24H00694  2024.4 - 2029.3

    科学研究費助成事業  基盤研究(A)

    渡部 善隆, 土屋 卓也, 小林 健太, 木下 武彦, 宮路 智行

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

    微分方程式に対する精度保証付き数値計算の有力な解法に,既知の情報を出発点として,微小なステップを踏みながら最終目標に到達するホモトピー法があります.本研究は,計算機援用証明により,既知の結果と摂動の情報を用いて,最終目標だけでなく,ホモトピー経路の存在も精度保証付きで一気に低コストで検証する「超」ホモトピー法の構築と,非線形関数方程式の解の存在証明への応用・展開を目的とします.

    CiNii Research

  • 精度保証付き数値計算の前進---有限と無限をつなぐもの--- International coauthorship

    Grant number:23K20812  2021.4 - 2025.3

    科学研究費助成事業  基盤研究(B)

    渡部 善隆, 宮路 智行, 木下 武彦, 小林 健太, 土屋 卓也

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

    精度保証付き数値計算とは、代数方程式や微分方程式などの解の存在および誤差限界を数学的 に保証する数値計算法です。本研究課題の目的は、応募者が構築してきた無限次元計算理論の高度化と、その基盤となる有限次元部分空間への直交射影に対する誤差評価手法の高効率化により、有限と無限をつなぐ普遍的な数値計算法を確立することにあります。また、結実した理論・方法を、非線形関数方程式の未解決問題に対する計算機援用証明に応用するとともに、無限次元固有値問題と安定性解析、さらに、非整数階微分方程式の数値的検証に展開・拡張します。

    CiNii Research

  • 補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平 International coauthorship

    Grant number:24K00538  2024.4 - 2028.3

    科学研究費助成事業  基盤研究(B)

    小林 健太, 土屋 卓也, 渡部 善隆, 劉 雪峰, 高安 亮紀

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

    有限要素法は、理学や工学に現れる諸問題の数値計算に広く用いられており、その誤差解析は重要な課題です。また、精度保証付き数値計算でも、有限要素法の誤差解析は本質的な役割を果たしています。既存のほぼ全ての誤差評価は、関数補間の誤差評価を元にしており、有限要素法のメッシュ分割に悪い形の要素が一つでも存在すると評価が悪くなってしまいます。しかし、数値計算結果からは、少数の悪い形の要素は精度に悪影響を与えないことが示唆されています。そこで本研究においては、補間誤差解析と有限要素法の誤差解析のギャップを埋めることにより、悪い形の要素の存在を許容しつつも、その影響を極力排した効率の良い誤差評価を実現します。

    CiNii Research

  • Computer-assisted solution verification for 3D flows with large Reynolds numbers International coauthorship

    Grant number:23K20810  2021.4 - 2025.3

    Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

    CiNii Research

  • 精度保証付き数値計算の前進---有限と無限をつなぐもの---

    Grant number:21H01000  2021 - 2024

    日本学術振興会  科学研究費助成事業  基盤研究(B)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展 International coauthorship

    Grant number:20H01820  2020.4 - 2024.3

    科学研究費助成事業  基盤研究(B)

    小林 健太, 土屋 卓也, 渡部 善隆, 劉 雪峰, 高安 亮紀

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

    本研究課題においては、近年の計算機の性能の向上と、有限要素法および精度保証付き数値計算に関してこれまで蓄積された知見を元に、空間3次元の非線形偏微分方程式に対する精度保証付き数値計算を飛躍的に進展させたいと考えています。この目的を達成するため、まずは3次元問題に精度保証付き数値計算を適用するための基盤整備、すなわち3次元有限要素法の誤差解析および効率的な精度保証手法の構築を行い、次いで、流体方程式など、数学的に重要な非線形偏微分方程式に対する精度保証の応用を実現します。

    CiNii Research

  • 粒子法の基盤理論整備と大規模流体シミュレー タへの展開

    2018.4 - 2019.3

    学際大規模情報基盤共同利用・共同研究拠点(共同研究課題) 

      More details

    Authorship:Coinvestigator(s) 

  • 粒子法の高精度化と大規模流体シミュレータへの応用

    2017.4 - 2018.3

    学際大規模情報基盤共同利用・共同研究拠点(共同研究課題) 

      More details

    Authorship:Coinvestigator(s) 

  • 大規模データ系のVR可視化解析を効率化する多階層精度圧縮数値記録(JHPCN-DF)の実用化研究

    2015.4 - 2016.3

    学際大規模情報基盤共同利用・共同研究拠点(共同研究課題) 

      More details

    Authorship:Coinvestigator(s) 

  • SPH-FEM連成解析による沿岸構造物の災害影響評価

    2015.4 - 2016.3

    High Performance Computing Infrastructure(HPCI)システム利用研究課題 

      More details

    Authorship:Coinvestigator(s) 

  • 関数方程式に対する精度保証付き数値計算法の展開

    Grant number:15H03637  2015 - 2019

    日本学術振興会  科学研究費助成事業  基盤研究(B)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • モデリングのための精度保証付き数値計算論の展開(研究領域: 現代の数理科学と連携するモデリング手法の構築)

    2014 - 2021

    戦略的創造研究推進事業 (文部科学省)

      More details

    Authorship:Coinvestigator(s)  Grant type:Contract research

  • 災害影響評価のための大規模マルチフィジックス・シミュレータの性能・機能強化

    2013.4 - 2014.3

    学際大規模情報基盤共同利用・共同研究拠点(共同研究課題) 

      More details

    Authorship:Coinvestigator(s) 

  • 沿岸構造物におけるFEM-SPH法による大規模シミュレーション

    2012.10 - 2017.3

    九州大学情報基盤研究開発センター・先端的計算科学研究プロジェクト 

      More details

    Authorship:Coinvestigator(s) 

  • 災害影響評価のための大規模マルチフィジックス・シミュレータの高度・高性能化

    2012.4 - 2013.3

    学際大規模情報基盤共同利用・共同研究拠点(共同研究課題) 

      More details

    Authorship:Coinvestigator(s) 

  • 精度保証付き数値計算による無限次元逆作用素の最適評価とその応用

    Grant number:24340018  2012 - 2014

    日本学術振興会  科学研究費助成事業  基盤研究(B)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 災害影響評価のための大規模マルチフィジックス・シミュレータの構築

    2011.4 - 2012.3

    学際大規模情報基盤共同利用・共同研究拠点(共同研究課題) 

      More details

    Authorship:Coinvestigator(s) 

  • 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開

    2010.4 - 2012.3

    学際大規模情報基盤共同利用・共同研究拠点(共同研究課題) 

      More details

    Authorship:Coinvestigator(s) 

  • 計算機援用証明による微分方程式の解曲線のパラメータ連続的追跡

    Grant number:21540134  2009 - 2011

    日本学術振興会  科学研究費助成事業  基盤研究(C)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 非線形現象解明に向けた計算機援用解析学の構築

    Grant number:20224001  2008 - 2011

    日本学術振興会  科学研究費助成事業  基盤研究(S)

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • 熱対流問題の解の大域構造に対する計算機援用証明

    Grant number:18540127  2006 - 2008

    日本学術振興会  科学研究費助成事業  基盤研究(C)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 精度保証付き数値計算学の確立

    Grant number:17002012  2005 - 2009

    日本学術振興会  科学研究費助成事業  特別推進研究

      More details

    Authorship:Collaborating Investigator(s) (not designated on Grant-in-Aid)  Grant type:Scientific research funding

  • 流れ問題のための高品質数値解法の開発と解析とシミュレーション

    Grant number:16104001  2004 - 2008

    日本学術振興会  科学研究費助成事業  基盤研究(S)

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • 流体力学的非線形安定性問題に対する計算機援用証明

    Grant number:15740067  2003 - 2005

    科学研究費助成事業  若手研究(B)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 計算機による解析学創設の可能性に関する基礎的研究

    Grant number:13874020  2001 - 2003

    科学研究費助成事業  萌芽研究

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • 精度保証付き多次元逆スペクトル解析

    Grant number:13740072  2001 - 2002

    科学研究費助成事業  若手研究(B)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • Navier-Stokes方程式の精度保証付き数値計算に関する研究

    Grant number:11740070  1999 - 2000

    科学研究費助成事業  奨励研究(A)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 精度保証付き数値計算ライブラリの開発

    Grant number:09780296  1997 - 1998

    科学研究費助成事業  奨励研究(A)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 超高速ネットワークで支援した分散共有メモリシステム研究

    Grant number:08458071  1996 - 1998

    日本学術振興会  科学研究費助成事業  基盤研究(B)

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • 非線形偏微分方程式の解の精度保証付き数値計算法に関する研究

    Grant number:06740167  1994

    科学研究費助成事業  奨励研究(A)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • ハイパーテキストデータベース技術の複合による文書処理とマニュアル整理への応用

    Grant number:05452364  1993 - 1995

    科学研究費助成事業  一般研究(B)

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

▼display all

Class subject

  • 情報数値解析 II

    2023.12 - 2024.2   Winter quarter

  • Numerical Analysis for Information Science II

    2023.12 - 2024.2   Winter quarter

  • 情報処理概論

    2023.10 - 2024.3   Second semester

  • Numerical Analysis for Information Science I

    2023.10 - 2023.12   Fall quarter

  • 情報数値解析 I

    2023.10 - 2023.12   Fall quarter

  • 情報理工学演習

    2023.4 - 2024.3   Full year

  • 情報理工学講究

    2023.4 - 2024.3   Full year

  • 数値解析演習

    2023.4 - 2023.9   First semester

  • 工学概論

    2023.4 - 2023.6   Spring quarter

  • プログラミング演習Ⅰ(A)

    2022.6 - 2022.8   Summer quarter

  • 情報理工学講究

    2022.4 - 2023.3   Full year

  • 情報理工学演習

    2022.4 - 2023.3   Full year

  • 数値解析演習

    2022.4 - 2022.9   First semester

  • 情報数値解析Ⅱ

    2021.12 - 2022.2   Winter quarter

  • Numerical Analysis for Information Science II

    2021.12 - 2022.2   Winter quarter

  • Numerical Analysis for Information Technology

    2021.10 - 2022.3   Second semester

  • 情報処理概論

    2021.10 - 2022.3   Second semester

  • 情報数値解析

    2021.10 - 2022.3   Second semester

  • 情報数値解析Ⅰ

    2021.10 - 2021.12   Fall quarter

  • Numerical Analysis for Information Science I

    2021.10 - 2021.12   Fall quarter

  • プログラミング演習IA

    2021.6 - 2021.8   Summer quarter

  • 【博士】情報数値解析

    2020.10 - 2021.3   Second semester

  • Numerical Analysis for Information Technology

    2020.10 - 2021.3   Second semester

  • 情報処理概論

    2020.10 - 2021.3   Second semester

  • 情報数値解析

    2019.10 - 2020.3   Second semester

  • 情報処理概論

    2019.10 - 2020.3   Second semester

  • 情報処理概論

    2018.10 - 2019.3   Second semester

  • 情報数値解析

    2018.10 - 2019.3   Second semester

  • 情報処理概論

    2017.10 - 2018.3   Second semester

  • 情報数値解析

    2017.10 - 2018.3   Second semester

  • 情報数値解析

    2016.10 - 2017.3   Second semester

  • 情報処理概論

    2016.10 - 2017.3   Second semester

  • 情報処理概論

    2015.10 - 2016.3   Second semester

  • 情報数値解析

    2015.10 - 2016.3   Second semester

  • 数値解析演習

    2015.4 - 2015.9   First semester

  • 数値解析

    2015.4 - 2015.9   First semester

  • 情報数値解析

    2014.10 - 2015.3   Second semester

  • 情報処理概論

    2014.10 - 2015.3   Second semester

  • 情報処理概論

    2013.10 - 2014.3   Second semester

  • 情報数値解析

    2013.10 - 2014.3   Second semester

  • 情報数値解析

    2012.10 - 2013.3   Second semester

  • 情報処理概論

    2012.10 - 2013.3   Second semester

  • 情報処理概論

    2011.10 - 2012.3   Second semester

  • 情報数値解析

    2011.10 - 2012.3   Second semester

  • 情報数値解析

    2010.10 - 2011.3   Second semester

  • 情報処理概論

    2010.10 - 2011.3   Second semester

  • 情報処理概論

    2009.10 - 2010.3   Second semester

  • 情報数値解析

    2009.10 - 2010.3   Second semester

  • 情報処理概論

    2008.10 - 2009.3   Second semester

  • 情報処理概論

    2007.4 - 2007.9   First semester

  • 情報処理概論

    2006.4 - 2006.9   First semester

  • 情報処理概論

    2005.10 - 2006.3   Second semester

  • 情報処理概論

    2004.10 - 2005.3   Second semester

  • 情報処理概論

    2003.10 - 2004.3   Second semester

▼display all

Visiting, concurrent, or part-time lecturers at other universities, institutions, etc.

  • 2014  愛媛大学・理学部  Classification:Part-time lecturer  Domestic/International Classification:Japan 

    Semester, Day Time or Duration:前期

  • 2008  岐阜大学  Classification:Part-time lecturer  Domestic/International Classification:Japan 

    Semester, Day Time or Duration:7月2日~4日

  • 2004  京都大学理学部  Classification:Part-time lecturer  Domestic/International Classification:Japan 

    Semester, Day Time or Duration:前期

Other educational activity and Special note

  • 2024  Class Teacher 

  • 2023  Class Teacher 

  • 2019  Special Affairs 

  • 2012  Special Affairs 

  • 2007  Special Affairs 

  • 2006  Special Affairs 

  • 2005  Special Affairs 

  • 2004  Special Affairs 

  • 2003  Special Affairs 

▼display all

Outline of Social Contribution and International Cooperation activities

  • なし

Social Activities

  • 「九大キャンパスウォーク」の一環として、情報基盤研究開発センターのスーパーコンピュータの見学ツアーを行いました。

    朝倉市立秋月中学校(福岡県朝倉市)  2023.2

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

  • 大分工業高等専門学校サイエンス・パートナーシップ・プロジェクト(SPP)に協力し、講師として最新のスーパーコンピュータと研究事例紹介および実習・見学を担当した。

    2007

     More details

    大分工業高等専門学校サイエンス・パートナーシップ・プロジェクト(SPP)に協力し、講師として最新のスーパーコンピュータと研究事例紹介および実習・見学を担当した。

Media Coverage

  • 2021年3月21日(日)文化・文芸欄の記事『横書きの公用文「,」(コンマ)が「、」(テン)に?』において、横書き句読点に関するコメントが掲載されました。 Newspaper, magazine

    朝日新聞  2021.3

     More details

    2021年3月21日(日)文化・文芸欄の記事『横書きの公用文「,」(コンマ)が「、」(テン)に?』において、横書き句読点に関するコメントが掲載されました。

Travel Abroad

  • 2024.2

    Staying countory name 1:Germany   Staying institution name 1:Karlsruhe Institute of Technology

  • 2019.7

    Staying countory name 1:Spain   Staying institution name 1:Universitat de València

  • 2019.4

    Staying countory name 1:Canada   Staying institution name 1:Centre de recherches mathématiques (CRM)

  • 2018.3

    Staying countory name 1:Other   Staying institution name 1:The Hong Kong Polytechnic University

  • 2017.5

    Staying countory name 1:Canada   Staying institution name 1:Banff International Research Station for Mathematical Innovation and Discovery

  • 2016.9

    Staying countory name 1:Germany   Staying institution name 1:Karlsruhe Institute of Technology

  • 2016.9

    Staying countory name 1:Sweden   Staying institution name 1:Uppsala University

  • 2015.11

    Staying countory name 1:Germany   Staying institution name 1:Zuse Institute Berlin

  • 2014.9

    Staying countory name 1:Germany   Staying institution name 1:Karlsruhe Institute of Technology

  • 2014.9

    Staying countory name 1:Germany   Staying institution name 1:University of Würzburg

  • 2012.3

    Staying countory name 1:Germany   Staying institution name 1:Karlsruhe Institute of Technology

  • 2011.9

    Staying countory name 1:Germany   Staying institution name 1:Karlsruhe Institute of Technology

  • 2010.9

    Staying countory name 1:France   Staying institution name 1:ENS de Lyon

  • 2010.3 - 2010.4

    Staying countory name 1:United Kingdom   Staying institution name 1:University of Kent

  • 2009.5

    Staying countory name 1:Other   Staying institution name 1:The Hong Kong Polytechnic University

  • 2009.3

    Staying countory name 1:Germany   Staying institution name 1:University of Karlsruhe

  • 2007.12

    Staying countory name 1:Taiwan, Province of China   Staying institution name 1:Institute of Mathematics, Academia Sinica

  • 2006.9

    Staying countory name 1:Greece   Staying institution name 1:Hotel Belvedere Imperial

    Staying countory name 2:Italy   Staying institution name 2:Bologna

  • 2005.9

    Staying countory name 1:Germany   Staying institution name 1:Schloss Dagstuhl

  • 2002.9

    Staying countory name 1:France   Staying institution name 1:マリーキュリー大学

▼display all