KINOSHITA TAKEHIKO 木下武彦

… Alternative Names

KINOSHITA Takehiko 木下武彦

Less

Researcher Number	30546429
Other IDs
Affiliation (Current)	2025: 佐賀大学, 理工学部, 准教授
Affiliation (based on the past Project Information) *help	2021 – 2025: 佐賀大学, 理工学部, 准教授 2020: 京都大学, 健康長寿社会の総合医療開発ユニット, 特定講師 2017: 京都大学, 学際融合教育研究推進センター, 特定講師 2015 – 2016: 京都大学, 健康長寿社会の総合医療開発ユニット, 特定講師 2014: 京都大学, 健康長寿社会の総合医療開発ユニット, 講師 … More 2014: 京都大学, 数理解析研究所, 研究員 2013: 京都大学, 学際融合教育研究推進センター, 講師 2012: 京都大学, 学際融合教育研究推進センター健康長寿社会の総合医療開発ユニット, 特定講師 2011: 京都大学, 数理解析研究所, 研究員(グローバルＣＯＥ) Less
Review Section/Research Field	Principal Investigator Basic Section 12040:Applied mathematics and statistics-related / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Foundations of mathematics/Applied mathematics / Basic Section 12040:Applied mathematics and statistics-related / Medium-sized Section 60:Information science, computer engineering, and related fields / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 精度保証付き数値計算 / 作用素方程式 / レゾルベント / 楕円型境界値問題 / 区間演算 / 事後評価 / 線形積分作用素 / 数値的検証法 / 有限要素法 / 微分方程式 / 積分方程式 … More Except Principal Investigator … More 計算機援用証明 / 非線形偏微分方程式 / 有限要素法 / 精度保証付き数値計算 / 数値解析 / 非線形発展方程式 / 解の事後誤差評価 / 解の数値的検証 / 精度保証付き数値計算法 / 射影誤差評価 / 線形作用素の可逆性 / 線形作用素の逆作用素 / 非線形楕円型方程式 / 構成的高精度事前誤差評価 / 数値的検証法 / 非線形現象 / 関数方程式論 / 応用数学 / 流体力学 / 事後誤差評価 / 誤差評価理論 / 微分方程式 / 関数方程式 / 計算機援用照明 / 無限次元固有値問題 / 非線形微分方程式 / 直交射影の誤差評価 / 不動点定理 / 射影近似と誤差解析 / Navier-Stokes方程式 / 非線形関数方程式 / 楕円型方程式 Less

レゾルベントの摂動と精度保証付き数値計算の融合Principal Investigator
- Principal Investigator
  
  木下武彦
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Saga University
計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---
- Principal Investigator
  
  渡部善隆
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyushu University
Development of numerical verification method for resolventPrincipal Investigator
- Principal Investigator
  
  木下武彦
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Saga University
精度保証付き数値計算の前進---有限と無限をつなぐもの---
- Principal Investigator
  
  渡部善隆
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Kyushu University
Expansion of numerical verification methods for functional equations
- Principal Investigator
  
  Watanabe Yoshitaka
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kyushu University
A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension
- Principal Investigator
  
  NAKAO Mitsuhiro
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kyushu University
  Sasebo National College of Technology
Numerical verification method of solutions for nonlinear evolutional equations
- Principal Investigator
  
  NAKAO Mitsuhiro
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Sasebo National College of Technology
The research of numerical verification methods for nonlinear integral equations with singularityPrincipal Investigator
- Principal Investigator
  
  KINOSHITA Takehiko
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article Presentation

[Journal Article] Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces2023
- Author(s)
  Yoshitaka Watanabe and Takehiko Kinoshita and Mitsuhiro T. Nakao
- Journal Title
  
  Journal of Scientific Computing
  
  Volume: 94 Issue: 2 Pages: 43-43
- DOI
  10.1007/s10915-023-02097-6
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03373, KAKENHI-PROJECT-23K20812, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications2023
- Author(s)
  Takehiko Kinoshita and Yoshitaka Watanabe and Nobito Yamamoto and Mitsuhiro T. Nakao
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 417 Pages: 114521-114521
- DOI
  10.1016/j.cam.2022.114521
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03373, KAKENHI-PROJECT-23K20812, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators2022
- Author(s)
  Takehiko Kinoshita and Yoshitaka Watanabe and Mitsuhiro T. Nakao
- Journal Title
  
  Acta Cybernetica
  
  Volume: -- Issue: 1 Pages: 71-82
- DOI
  10.14232/actacyb.294906
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03373, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20812
[Journal Article] Some improvements of invertibility verifications for second-order linear elliptic operators2020
- Author(s)
  Watanabe Yoshitaka、Kinoshita Takehiko、Nakao Mitsuhiro T.
- Journal Title
  
  Applied Numerical Mathematics
  
  Volume: 154 Pages: 36-46
- DOI
  10.1016/j.apnum.2020.03.016
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-15H03637
[Journal Article] Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space2020
- Author(s)
  Kinoshita Takehiko、Watanabe Yoshitaka、Nakao Mitsuhiro T.
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 369 Pages: 112561-112561
- DOI
  10.1016/j.cam.2019.112561
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-15H03637
[Journal Article] An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces2019
- Author(s)
  Kinoshita Takehiko、Watanabe Yoshitaka、Nakao Mitsuhiro T.
- Journal Title
  
  Journal of Differential Equations
  
  Volume: 266 Issue: 9 Pages: 5431-5447
- DOI
  10.1016/j.jde.2018.10.027
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15H03637
[Journal Article] An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space2019
- Author(s)
  Watanabe Yoshitaka、Kinoshita Takehiko、Nakao Mitsuhiro T.
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 印刷中 Issue: 2 Pages: 407-420
- DOI
  10.1007/s13160-019-00344-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15H03637
[Journal Article] Validated Constructive Error Estimations for Biharmonic Problems,2017
- Author(s)
  T. Kinoshita, Y. Watanabe, M. T. Nakao
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 168-177
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K05012
[Journal Article] Validated constructive error estimations for biharmonic problems2017
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 168-177
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H03637
[Journal Article] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 33 Issue: 3 Pages: 629-636
- DOI
  10.1007/s13160-016-0223-y
- NAID
  210000183342
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K04991
[Journal Article] Some remarks on the rigorous estimation of inverse linear elliptic operators2016
- Author(s)
  T. Kinoshita, Y. Watanabe, M. T. Nakao
- Journal Title
  
  Lecture Notes in Computer Science (LNCS) 9553, the proceedings of SCAN 2014
  
  Volume: 9553 Pages: 225-235
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K05012
[Journal Article] Some remarks on the rigorous estimation of inverse linear elliptic operators2016
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9553 Pages: 225-235
- DOI
  10.1007/978-3-319-31769-4_18
- ISBN
  9783319317687, 9783319317694
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H03637
[Journal Article] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016
- Author(s)
  T. Kinoshita, Y. Watanabe, N. Yamamoto, M. T. Nakao
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 33 Pages: 629-636
- NAID
  210000183342
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K05012
[Journal Article] Recurrence relations of orthogonal polynomials in H01 and H022015
- Author(s)
 T. Kinoshita, Y. Watanabe, M. T. Nakao
- Journal Title
 
 NOLTA
 
 Volume: 6 Issue: 3 Pages: 404-409
- DOI
 10.1587/nolta.6.404
- NAID
 130005085581
- ISSN
 2185-4106
- Language
 English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
 KAKENHI-PROJECT-15K05012, KAKENHI-PROJECT-15H03637
[Journal Article] On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems2014
- Author(s)
  Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
- Journal Title
  
  Numerische Mathematik
  
  Volume: 126 Issue: 4 Pages: 679-701
- DOI
  10.1007/s00211-013-0575-z
- NAID
  120005434971
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24540151
[Journal Article] An improvement of the theorem of a posteriori estimates for inverse elliptic operators2014
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao
- Journal Title
  
  Nonlinear Theory and Its Applications
  
  Volume: 5
- NAID
  130003386652
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740074
[Journal Article] Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces2014
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
- Journal Title
  
  SIAM Journal on Numerical Analysis
  
  Volume: 52 Issue: 1 Pages: 975-992
- DOI
  10.1007/s13160-014-0160-6
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540115, KAKENHI-PROJECT-15K05012
[Journal Article] An improvement of the theorem of a posteriori estimates for inverse elliptic operators2014
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- Journal Title
  
  NOLTA
  
  Volume: 5 Issue: 1 Pages: 47-52
- DOI
  10.1587/nolta.5.47
- NAID
  130003386652
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
[Journal Article] Some remarks on the optimal $L^2$ error estimates for the finite element method on the L-shaped domain2013
- Author(s)
  Takehiko Kinoshita and Mitsuhiro T. Nakao
- Journal Title
  
  Proceedings of the 2013 10th ITNG
  
  Volume: 1 Pages: 173-178
- DOI
  10.1109/itng.2013.30
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740074
[Journal Article] Some remarks on the instability of approximate solutions for ODEs2013
- Author(s)
  T. Kimura, T. Kinoshita, M.T. Nakao
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: 4 Pages: 80-87
- NAID
  130003375413
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540151
[Journal Article] Some remarks on the instability of approximate solutions for ODEs2013
- Author(s)
  Takuma Kimura, Takehiko Kinoshita, and Mitsuhiro T. Nakao
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: 4 Pages: 80-87
- NAID
  130003375413
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740074
[Journal Article] Constructive a priori error estimates for a full discrete approximation of the heat equation2013
- Author(s)
  Mitsuhiro T. Nakao, Takuma Kimura and Takehiko Kinoshita
- Journal Title
  
  SIAM Journal on Numerical Analysis
  
  Volume: 51 Issue: 3 Pages: 1525-1541
- DOI
  10.1137/120875661
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740074
[Journal Article] A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations2013
- Author(s)
  Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
- Journal Title
  
  Mathematics of Computation
  
  Volume: 82 Issue: 283 Pages: 1543-1557
- DOI
  10.1090/s0025-5718-2013-02676-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
[Journal Article] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2012
- Author(s)
  Mitsuhiro T. Nakao, Takehiko Kinoshita and Takuma Kimura
- Journal Title
  
  Computing
  
  Volume: 94 Issue: 2-4 Pages: 151-162
- DOI
  10.1007/s00607-011-0180-x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740074
[Journal Article] A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations2011
- Author(s)
  Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 236 Issue: 6 Pages: 1622-1636
- DOI
  10.1016/j.cam.2011.09.026
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 近似楕円型線形作用素のノルムに関する収束性評価の改良2024
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会
- Data Source
  KAKENHI-PROJECT-21K03373
[Presentation] 実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について2024
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176, 2024年3月17日～20日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 実 2 × 2 行列の 2 ノルムと近似逆作用素ノルムの収束オーダーの改善について2024
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会年会
- Data Source
  KAKENHI-PROJECT-21K03373
[Presentation] 近似楕円型線形作用素のノルムに関する収束性評価の改良2024
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日～6日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価2023
- Author(s)
  木下武彦，渡部善隆，中尾充宏
- Organizer
  日本数学会年会
- Data Source
  KAKENHI-PROJECT-21K03373
[Presentation] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023
- Author(s)
  木下武彦，渡部善隆，中尾充宏
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03373
[Presentation] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会2023年研究部会連合発表会, 岡山理科大学, 2023年3月8日～10日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価2023
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2023年年会, 中央大学, 応用数学分科会講演アブストラクト, pp. 103-104, 2023年3月15日～18日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会2022年研究部会連合発表会, 九州大学(オンライン), 2022年3月8日～9日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明2022
- Author(s)
  渡部善隆, 長藤かおり, Michael Plum, 木下武彦, 中尾充宏
- Organizer
  日本数学会2022年年会, 埼玉大学, 応用数学分科会講演アブストラクト, pp. 153-154, 2022年3月28日～31日
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem2022
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao
- Organizer
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 13-18, 2022 (online).
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03373
[Presentation] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021
- Author(s)
  Kinoshita, T., Watanabe, Y. and Nakao, M. T.
- Organizer
  International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03373
[Presentation] 楕円型境界値問題の解の存在検証2021
- Author(s)
  木下武彦
- Organizer
  日本数学会九州支部例会
- Invited
- Data Source
  KAKENHI-PROJECT-21K03373
[Presentation] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- Organizer
  19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020), September 13-15, 2021, Szeged, Hungary.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 重調和方程式の近似解に対する構成的誤差評価の改良2021
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本数学会2021年年会, 慶應義塾大学(オンライン), 応用数学分科会講演アブストラクト, pp. 87-88, 2021年3月15日～18日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 有界作用素のレゾルベントに対するある近似作用素の強収束性について2020
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2020年年会, 日本大学, 応用数学分科会講演アブストラクト, pp. 117-118, 2020年3月16日～19日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用2020
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏:
- Organizer
  日本数学会2020年度秋季総合分科会応用数学分科会講演アブストラクト, pp.107-110, 熊本大学(オンライン), 熊本市, 2020年9月22日～9月25日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Hilbert空間における線形作用素に対する可逆性検証の効率化2020
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会2020年度年会講演予稿集, pp.444-445, 愛媛大学(オンライン), 松山市, 2020年9月8日～9月10日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Banach空間における有界線形作用素の近似に対する収束性2020
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会2020年研究部会連合発表会, 中央大学, 2020年3月4日～5日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Nakao et al. (2005) 最後の謎2019
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019), サンポートホール高松 63会議室, 高松市, 2019年11月30日～12月1日
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Poisson方程式に対する構成的高次誤差評価とその応用2019
- Author(s)
  渡部善隆, 木下武彦, 山本野人, 中尾充宏
- Organizer
  日本数学会2019年年会, 東京工業大学, 応用数学分科会講演アブストラクト, pp. 55-56, 2019年3月17日～20日
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  応用数学合同研究集会, 発表番号A14-2, 龍谷大学瀬田キャンパス, 大津市, 2019年12月12日～12月14日
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Poisson方程式に対する構成的高次誤差評価2019
- Author(s)
  渡部善隆, 木下武彦, 山本野人, 中尾充宏
- Organizer
  日本応用数理学会2019年研究部会連合発表会, 筑波大学, 2019年3月4日～5日
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] H10関数の直交多項式近似に対する2次の誤差評価の最良定数について2019
- Author(s)
  木下武彦, 渡部善隆, 山本野人, 中尾充宏
- Organizer
  日本数学会2019年度秋季総合分科会応用数学分科会講演アブストラクト, pp.43-44, 金沢大学, 金沢市, 2019年9月17日～9月20日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] H10射影誤差に対する2次の誤差評価の最良定数の包含方法について2019
- Author(s)
  木下武彦, 渡部善隆, 山本野人, 中尾充宏
- Organizer
  日本応用数理学会2019年度年会講演予稿集, pp.360-361, 東京大学駒場キャンパスI, 東京都, 2019年9月3日～9月5日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] A higher order error estimation for finite element approximations of the Poisson equation2018
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
- Organizer
  18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), September 10-15, 2018, Waseda University, Japan
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証2018
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2018年年会, 東京大学, 応用数学分科会講演アブストラクト, pp. 103-106, 2018年3月18日～21日,
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 2階楕円型作用素に対する逆作用素ノルム評価の改良2018
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏:
- Organizer
  日本応用数理学会2018年度年会講演予稿集, 名古屋大学東山キャンパス, 名古屋市, 2018年9月3日～9月5日
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018
- Author(s)
  渡部善隆、木下武彦、中尾充宏
- Organizer
  日本応用数理学会2018年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会2018年研究部会連合発表会, 大阪大学, 2018年3月15日～16日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本数学会2018年度秋季総合分科会応用数学分科会講演アブストラクト, 岡山大学, 岡山市, 2018年9月24日～9月27日
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] An alternative approach of invertibility verifications for linear operators in Hilbert spaces2017
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
- Organizer
  The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017)
- Place of Presentation
  Hotel breeze bay marina, Miyako-jima, Okinawa
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2017年度秋季総合分科会応用数学分科会講演アブストラクト, 山形大学, 山形市, 2017年9月11日～9月14日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Legendre多項式を用いた重調和問題の構成的誤差評価(といくつかの課題)2017
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  応用数学合同研究集会, 龍谷大学, 2017年12月14日～16日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 値域が共役空間となる2 階楕円型作用素に対する可逆性検証法の改良2017
- Author(s)
  木下武彦、渡部善隆、中尾充宏
- Organizer
  日本応用数理学会2017年度年会
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017
- Author(s)
  木下武彦、渡部善隆、中尾充宏
- Organizer
  日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] あるコンパクト作用素のレゾルベントに対する下側評価について2017
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2017年年会
- Place of Presentation
  首都大学東京
- Year and Date
  2017-03-24
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 重調和問題の解に対する構成的誤差評価2017
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  第1回精度保証付き数値計算の実問題への応用研究集会(NVR 2017), 西日本総合展示場, 北九州市, 2017年12月9日～10日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 値域が共役空間となる2階楕円型作用素に対する可逆性検証法の改良2017
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会2017年度年会講演予稿集, 武蔵野大学有明キャンパス, 東京都, 2017年9月6日～9月8日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces2017
- Author(s)
  Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe
- Organizer
  The International Workshop on Numerical Verification and its Applications 2017(INVA 2017)
- Place of Presentation
  Miyako-jima, Okinawa, Japan
- Year and Date
  2017-03-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] 精度保証付き数値計算による平行Poiseuille 流れの高精度不安定性解析2016
- Author(s)
  渡部善隆、木下武彦、中尾充宏
- Organizer
  日本数学会年会
- Place of Presentation
  筑波大学
- Year and Date
  2016-03-19
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] Validated constructive error estimatations for bi-harmonic problems2016
- Author(s)
  Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
- Organizer
  17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN 2016)
- Place of Presentation
  Uppsala University, Uppsala, Sweden
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] Validated constructive error estimatations for bi-harmonic problems2016
- Author(s)
  Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao
- Organizer
  17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
- Place of Presentation
  Uppsala University, Sweden
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 重調和方程式の近似解に対する構成的誤差評価2016
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本数学会2016年度秋季総合分科会
- Place of Presentation
  関西大学, 吹田市
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] コンパクト作用素のレゾルベントに対する下側評価2016
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  2016年度応用数学合同研究集会
- Place of Presentation
  龍谷大学瀬田キャンパス
- Year and Date
  2016-12-16
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] 精度保証付き数値計算による平行Poiseuille流れの高精度不安定性解析2016
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本数学会2016年度年会
- Place of Presentation
  筑波大学
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Legendre多項式による重調和方程式の精度保証付き誤差評価2016
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会2016年度年会
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-09-12
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] H3 and H4 regularities of the Poisson equation on polygonal domains2015
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- Organizer
  Sixth International Conference on Mathematical Aspects of Computer and Information Sciences
- Place of Presentation
  Zuse Institute Berlin, Berlin, Germany
- Year and Date
  2015-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] H3 and H4 regularities of the Poisson equation on polygonal domains2015
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
- Organizer
  6th International Conference on Mathematical Aspects of Computer and Information Sciences
- Place of Presentation
  Zuse Institute Berlin, Germany
- Year and Date
  2015-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] 線形楕円型作用素に対するLaplacian ノルムの構成的評価2015
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本数学会年会
- Place of Presentation
  明治大学駿河台キャンパス
- Year and Date
  2015-03-24
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] 楕円型線形逆作用素評価の収束性について2015
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  明治大学中野キャンパス
- Year and Date
  2015-03-07
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] H3 正則性を持つ一般多角形領域上のPoisson 方程式の解について2015
- Author(s)
  木下武彦、渡部善隆、中尾充宏
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  京都産業大学
- Year and Date
  2015-09-16
- Data Source
  KAKENHI-PROJECT-15K05012
[Presentation] 線形楕円型作用素に対する Laplacian ノルムの構成的評価2015
- Author(s)
  渡部善隆，木下武彦，中尾充宏
- Organizer
  日本数学会年会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-24
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] A posteriori estimates for inverse elliptic operators2014
- Author(s)
  Takehiko Kinoshita
- Organizer
  Kyoto University- Chung-Ang University Symposium, On Nonlinear Partial Differential equations
- Place of Presentation
  Takayama, Gifu Prefecture, Japan
- Invited
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形作用素に対する可逆性の検証と精度保証付きノルム評価の改良について2014
- Author(s)
  渡部善隆,木下武彦,中尾充宏
- Organizer
  日本数学会年会
- Place of Presentation
  学習院大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 2階楕円型作用素における構成的 Laplacian ノルム評価2014
- Author(s)
  渡部善隆，木下武彦，中尾充宏
- Organizer
  日本応用数理学会年会
- Place of Presentation
  政策研究大学院大学
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形楕円型逆作用素の事後評価とその応用2014
- Author(s)
  木下武彦
- Organizer
  岐阜数理科学セミナー
- Place of Presentation
  岐阜大学
- Year and Date
  2014-05-16
- Invited
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 2階楕円型作用素における構成的Laplacianノルム評価2014
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会年会
- Place of Presentation
  政策研究大学院大学
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] An alternative approach of invertibility verifications and norm estimations for linear elliptic operators2014
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao
- Organizer
  The 7th CREST-SBM International Conference INVA2014
- Place of Presentation
  Kyoto University, Kyoto, Japan
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] PDEの周期解の精度保証の現状について2014
- Author(s)
  木下武彦、木村拓馬、中尾充宏
- Organizer
  第１回山梨精度保証研究会
- Place of Presentation
  山梨県甲州市勝沼「ぶどうの丘」
- Year and Date
  2014-09-16
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] Some remarks on the rigorous estimation of inverse linear elliptic operators2014
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
- Organizer
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics(SCAN 2014)
- Place of Presentation
  University of Wuerzburg, Germany
- Year and Date
  2014-09-23
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] Some remarks on the rigorous estimation of inverse linear elliptic operators2014
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao
- Organizer
  SCAN
- Place of Presentation
  University of Wurzburg, Germany
- Year and Date
  2014-09-23
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 楕円型偏微分作用素の可逆性の検証について2013
- Author(s)
  木下武彦，渡部善隆，中尾充宏
- Organizer
  日本数学会年会
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] Some remarks on the optimal $L^2$ error estimates for the finite element method on the L-shaped domain2013
- Author(s)
  Takehiko Kinoshita, and Mitsuhiro T. Nakao
- Organizer
  10th International Conference on Information Technology : New Generations
- Place of Presentation
  Las Vegas, Nevada, USA
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 非線形常微分方程式系に対する精度保証付き数値計算のサーベイ2013
- Author(s)
  木下武彦
- Organizer
  数理科学と諸数学・産業との連携研究ワークショップ
- Place of Presentation
  京都大学
- Invited
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 楕円型偏微分作用素に対する逆作用素評価の効率化2013
- Author(s)
  木下武彦,渡部善隆,中尾充宏
- Organizer
  日本応用数理学会年会
- Place of Presentation
  アクロス福岡
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] Some remarks on the optimal $L^2$ error estimates for the finite element method on the L-shaped domain2013
- Author(s)
  Takehiko Kinoshita and Mitsuhiro T. Nakao
- Organizer
  10th International Conference on Information Technology : New Generations
- Place of Presentation
  Las Vegas, Nevada, USA
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 斉次初期境界条件を備えた熱方程式に対する時間補間を用いたGalerkin 近似の構成的事前誤差評価2012
- Author(s)
  木村拓馬，木下武彦，中尾充宏
- Organizer
  日本応用数理学会春の研究部会連合発表会
- Place of Presentation
  九州大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形化逆作用素を用いた非線形常微分方程式系に対する解の検証方法について2012
- Author(s)
  木下武彦，木村拓馬，中尾充宏
- Organizer
  日本応用数理学会年会
- Place of Presentation
  稚内全日空ホテル
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] A numerical verification method of solutions for initial value problems of nonlinear ODEs2012
- Author(s)
  Takehiko Kinoshita
- Organizer
  China-Japan-Korea Conference on Numerical Mathematics
- Place of Presentation
  Otsu City, Shiga
- Invited
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 斉次初期境界条件を備えた線形放物型逆作用素に対する時間補間Galerkin 近似を用いた事後評価2012
- Author(s)
  木下武彦，木村拓馬，中尾充宏
- Organizer
  日本応用数理学会春の研究部会連合発表会
- Place of Presentation
  九州大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 非線形常微分方程式系に対する精度保証付き数値計算2012
- Author(s)
  木下武彦
- Organizer
  白浜研究集会
- Place of Presentation
  南紀白浜旅館むさし
- Invited
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形化逆作用素を用いた非線形常微分方程式系の初期値問題に対する解の検証方法2012
- Author(s)
  木下武彦，木村拓馬，中尾充宏
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  九州大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形放物型逆作用素に対する事後評価について2012
- Author(s)
  木下武彦，中尾充宏，木村拓馬
- Organizer
  日本数学会年会
- Place of Presentation
  東京理科大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 非線形常微分方程式系に対する差分法の精度保証付き数値計算2012
- Author(s)
  木下武彦
- Organizer
  日本応用数理学会3部会連携応用数理セミナー
- Place of Presentation
  東京大学
- Invited
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] Some remarks on the optimal $L^2$ error estimates for the finite element method with nonconvex polygonal domain2012
- Author(s)
  Takehiko Kinoshita, and Mitsuhiro T. Nakao
- Organizer
  East Asia SIAM Conference
- Place of Presentation
  National Taiwan University, Taiwan
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] Orr-Sommerfeld 方程式に対する局所一意性付き計算機援用証明2011
- Author(s)
  渡部善隆，木下武彦，中尾充宏
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  信州大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] A numerical enclosure method of solutions for initial value problems of nonlinear ordinary differential equations2011
- Author(s)
  Takehiko Kinoshita
- Organizer
  Workshop on reliability in scientic computing and related topics(招待講演)
- Place of Presentation
  Nagasaki, Japan
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について2011
- Author(s)
  木下武彦，渡部善隆，中尾充宏
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  信州大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について2011
- Author(s)
  木下武彦，渡部善隆，中尾充宏
- Organizer
  日本応用数理学会年会
- Place of Presentation
  同志社大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形化逆作用素を用いた非線形常微分方程式系に対する解の検証理論2011
- Author(s)
  木下武彦
- Organizer
  GCOE tea time(招待講演)
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 線形放物型逆作用素に対する事後評価について2011
- Author(s)
  木下武彦，中尾充宏，木村拓馬
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] A posteriori estimates of inverse linear ordinary differential operators2011
- Author(s)
  Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
- Organizer
  East Asia SIAM Conference
- Place of Presentation
  Kitakyushu, Japan
- Data Source
  KAKENHI-PROJECT-23740074
[Presentation] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察
- Author(s)
  渡部善隆，木下武彦, 木村拓馬，山本野人，中尾充宏
- Organizer
  2013年度応用数学合同研究集会
- Place of Presentation
  龍谷大学理工学部
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] Some remarks on the optimal error estimates for the finite element method on the L-shaped domain
- Author(s)
  Takehiko Kinoshita, Mitsuhiro T. Nakao
- Organizer
  10th International Conference on Information Technology : New Generations(ITNG 2013)
- Place of Presentation
  Las Vegas, USA
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] Some remarks on the optimal L2 error estimates for the finite element method with nonconvex polygonal domain
- Author(s)
  Takehiko Kinoshita
- Organizer
  The 8th East Asia SIAM Conference (EASIAM 2012)
- Place of Presentation
  Taipei, Taiwan
- Data Source
  KAKENHI-PROJECT-24540151

1. WATANABE Yoshitaka (90243972)

# of Collaborated Projects: 5 results

# of Collaborated Products: 56 results
2. NAKAO Mitsuhiro (10136418)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
3. KIMURA Takuma (60581618)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
4. 土屋卓也 (00163832)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 小林健太 (60432902)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. 宮路智行 (20613342)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. MICHAEL Plum

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. 長藤かおり

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

KINOSHITA TAKEHIKO 木下 武彦

KINOSHITA Takehiko 木下 武彦

Research Projects

Research Products

Co-Researchers

レゾルベントの摂動と精度保証付き数値計算の融合Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of numerical verification method for resolventPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Expansion of numerical verification methods for functional equations

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Numerical verification method of solutions for nonlinear evolutional equations

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The research of numerical verification methods for nonlinear integral equations with singularityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Some improvements of invertibility verifications for second-order linear elliptic operators2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces2019

Author(s)

KINOSHITA TAKEHIKO 木下武彦

KINOSHITA Takehiko 木下武彦