木下武彦 KINOSHITA TAKEHIKO

研究者番号	30546429
その他のID
所属 (現在)	2025年度: 佐賀大学, 理工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2025年度: 佐賀大学, 理工学部, 准教授 2020年度: 京都大学, 健康長寿社会の総合医療開発ユニット, 特定講師 2017年度: 京都大学, 学際融合教育研究推進センター, 特定講師 2015年度 – 2016年度: 京都大学, 健康長寿社会の総合医療開発ユニット, 特定講師 2014年度: 京都大学, 健康長寿社会の総合医療開発ユニット, 講師 … もっと見る 2014年度: 京都大学, 数理解析研究所, 研究員 2013年度: 京都大学, 学際融合教育研究推進センター, 講師 2012年度: 京都大学, 学際融合教育研究推進センター健康長寿社会の総合医療開発ユニット, 特定講師 2011年度: 京都大学, 数理解析研究所, 研究員(グローバルＣＯＥ) 隠す
審査区分/研究分野	研究代表者小区分12040:応用数学および統計数学関連 / 数学一般(含確率論・統計数学) 研究代表者以外数学基礎・応用数学 / 小区分12040:応用数学および統計数学関連 / 中区分60:情報科学、情報工学およびその関連分野 / 数学一般(含確率論・統計数学)
キーワード	研究代表者精度保証付き数値計算 / 作用素方程式 / レゾルベント / 楕円型境界値問題 / 区間演算 / 事後評価 / 線形積分作用素 / 数値的検証法 / 有限要素法 / 微分方程式 / 積分方程式 … もっと見る研究代表者以外 … もっと見る計算機援用証明 / 非線形偏微分方程式 / 有限要素法 / 精度保証付き数値計算 / 数値解析 / 非線形発展方程式 / 解の事後誤差評価 / 解の数値的検証 / 精度保証付き数値計算法 / 射影誤差評価 / 線形作用素の可逆性 / 線形作用素の逆作用素 / 非線形楕円型方程式 / 構成的高精度事前誤差評価 / 数値的検証法 / 非線形現象 / 関数方程式論 / 応用数学 / 流体力学 / 事後誤差評価 / 誤差評価理論 / 微分方程式 / 関数方程式 / 計算機援用照明 / 無限次元固有値問題 / 非線形微分方程式 / 直交射影の誤差評価 / 不動点定理 / 射影近似と誤差解析 / Navier-Stokes方程式 / 非線形関数方程式 / 楕円型方程式隠す

レゾルベントの摂動と精度保証付き数値計算の融合研究代表者
- 研究代表者
  
  木下武彦
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  佐賀大学
計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2024 – 2028
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  九州大学
レゾルベントに対する精度保証付き数値計算法の開発研究代表者
- 研究代表者
  
  木下武彦
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  佐賀大学
精度保証付き数値計算の前進---有限と無限をつなぐもの---
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  九州大学
関数方程式に対する精度保証付き数値計算法の展開
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2015 – 2019
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  九州大学
無限次元非線形数理モデルに対する高精度数値的検証理論の構築
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  九州大学
   佐世保工業高等専門学校
非線形発展方程式の解に対する精度保証付き数値計算法
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  佐世保工業高等専門学校
特異性を持つ非線形積分方程式に対する解の数値的検証法の研究研究代表者
- 研究代表者
  
  木下武彦
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 その他

すべて雑誌論文学会発表

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

1. 渡部善隆 (90243972)

共同の研究課題数: 5件

共同の研究成果数: 56件
2. 中尾充宏 (10136418)

共同の研究課題数: 2件

共同の研究成果数: 25件
3. 木村拓馬 (60581618)

共同の研究課題数: 2件

共同の研究成果数: 3件
4. 土屋卓也 (00163832)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 小林健太 (60432902)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 宮路智行 (20613342)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. MICHAEL Plum

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 長藤かおり

共同の研究課題数: 0件

共同の研究成果数: 1件

木下 武彦 KINOSHITA TAKEHIKO

研究課題

研究成果

共同研究者

レゾルベントの摂動と精度保証付き数値計算の融合研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

レゾルベントに対する精度保証付き数値計算法の開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

無限次元非線形数理モデルに対する高精度数値的検証理論の構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非線形発展方程式の解に対する精度保証付き数値計算法

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

特異性を持つ非線形積分方程式に対する解の数値的検証法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Some improvements of invertibility verifications for second-order linear elliptic operators2020

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space2020

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces2019

著者名/発表者名

雑誌名

木下武彦 KINOSHITA TAKEHIKO