渡部善隆 WATANABE Yoshitaka

… 別表記

渡辺善隆ワタナベヨシタカ

研究者番号	90243972
その他のID
外部サイト
所属 (現在)	2025年度: 九州大学, 情報基盤研究開発センター, 准教授
所属 (過去の研究課題情報に基づく) *注記	2007年度 – 2025年度: 九州大学, 情報基盤研究開発センター, 准教授 2006年度: 九州大学, 数理(科)学研究科(研究院), 助教授 2000年度 – 2006年度: 九州大学, 情報基盤センター, 助教授 1996年度 – 1999年度: 九州大学, 大型計算機センター, 助教授 1993年度 – 1995年度: 九州大学, 大型計算機センター, 助手
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 小区分12040:応用数学および統計数学関連 / 中区分60:情報科学、情報工学およびその関連分野 / 数学基礎・応用数学 / 計算機科学研究代表者以外小区分12040:応用数学および統計数学関連 / 数学一般(含確率論・統計数学) / 数学基礎・応用数学 / 合同審査対象区分:小区分12030:数学基礎関連、小区分12040:応用数学および統計数学関連 … もっと見る / 小区分12030:数学基礎関連 / 計算機科学 / 情報システム学(含情報図書館学) / 工学 / 理工系 / 数学一般(含確率論・統計数学) 隠す
キーワード	研究代表者精度保証付き数値計算 / 計算機援用証明 / 有限要素法 / 非線形偏微分方程式 / 区間演算 / Navier-Stokes方程式 / 射影誤差評価 / 微分方程式 / 関数方程式論 / 応用数学 … もっと見る / 不動点定理 / 無限次元固有値問題 / 非線形微分方程式 / 非自己共役固有値問題 / 対称性破壊分岐点 / 熱対流問題 / 線形作用素の可逆性 / 線形作用素の逆作用素 / 数値解析 / 流体力学 / 事後誤差評価 / 誤差評価理論 / 関数方程式 / 計算機援用照明 / 直交射影の誤差評価 / 射影近似と誤差解析 / 非線形関数方程式 / 固有値解析 / 非線形解析 / 精度保証 / 関数解析 / 偏微分方程式 / 線形化作用素のノルム評価 / 固有値の除外 / 解の存在検証 / 固有値問題 / 陰関数定理 / 無限次元Newton法 / 線形化作用素の可逆性 / 解曲線の追跡 / 分岐点 / 3次元熱対流問題 / 複素固有値問題 / Oberbeck-Boussinesq方程式 / 逆問題 / Rayleigh-Benard対流 / Navier-Stotes方程式 / Stokes方程式 / 非線形楕円型方程式 … もっと見る研究代表者以外計算機援用証明 / 有限要素法 / 精度保証付き数値計算 / 解の数値的検証 / 補間誤差解析 / 解の事後誤差評価 / 精度保証付き数値計算法 / 数値解析 / 非線形偏微分方程式 / 誤差評価 / Split-C / PVM / 非線形発展方程式 / 非線形現象 / Hypercircle法 / Divergence-free条件 / 並列計算 / 鞍点型の固有値問題 / 非自己共役作用素 / 計算機援用証明法 / ナビエ・ストークス方程式の定常解 / 固有値問題の厳密評価 / 厳密計算ライブラリ / ナビエ・ストークス方程式 / 制度保証付き数値計算 / Navier-Stokes方程式 / 逆作用素ノルム / 不連続ガレルキン法 / 非線形楕円型方程式 / 構成的高精度事前誤差評価 / 数値的検証法 / 補間誤差定数 / 固有値問題 / 補間誤差評価 / runtime library / pri-processor / Software Cache / Workstation Cluster / Distributed Shared Memory / 並列応用プログラム / 通信最適化 / ソフトウエアキャッシュ / UNIX / ワークステーションクラスタ / 分散共有メモリ / 並列処理の動向 / ランタイムライブラリー / プリプロセッサ / ソフトウェアキャッシュ / ワークステーションクラスター / 分散共有メモリー / Semantic Information / Surface Information / Multimedia / WWW (World-Wide-Web) / HTML (Hypertext Markup Language) / Technical Manuals / Databases / Hypertext / 部分型 / ユーザインターフェイス / 連合データベース / 文書データベース / 意味情報 / 表面情報 / マルチメディア / WWW / HTML / マニュアル / データベース / ハイパーテキスト / 楕円型方程式 / アルゴリズム / 情報数理 / 非線形方程式 / 数値計算 / 特性有限要素法 / 安定性 / 温度依存粘性 / 熱対流問題 / 事前事後誤差評価 / 特性曲線法 / ナヴィエ・ストークス問題 / 本質的スペクトル / 渦群緩和振動 / エネルギー安定性 / 混相流 / 多孔質媒体流 / 創生解 / 二流体問題 / 特性曲線有限要素法 / 精度保証計算 / 移動境界問題 / 非圧縮粘性流体 / 計算可能性構造 / 計算機支援解析学 / 数式処理と数値処理隠す

補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平
- 研究代表者
  
  小林健太
- 研究期間 (年度)
  2024 – 2027
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
   小区分12030:数学基礎関連
   合同審査対象区分:小区分12030:数学基礎関連、小区分12040:応用数学および統計数学関連
- 研究機関
  一橋大学
計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2024 – 2028
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  九州大学
3次元領域におけるレイノルズ数の大きい流れの計算機援用証明
- 研究代表者
  
  劉雪峰
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  東京女子大学
   新潟大学
精度保証付き数値計算の前進---有限と無限をつなぐもの---研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  九州大学
新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展
- 研究代表者
  
  小林健太
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  一橋大学
有限要素法に基づく精度保証付き数値計算の高度化に関する研究
- 研究代表者
  
  小林健太
- 研究期間 (年度)
  2016 – 2019
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  一橋大学
関数方程式に対する精度保証付き数値計算法の展開研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2015 – 2019
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  九州大学
無限次元非線形数理モデルに対する高精度数値的検証理論の構築
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  九州大学
   佐世保工業高等専門学校
精度保証付き数値計算による無限次元逆作用素の最適評価とその応用研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
非線形発展方程式の解に対する精度保証付き数値計算法
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  佐世保工業高等専門学校
計算機援用証明による微分方程式の解曲線のパラメータ連続的追跡研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
非線形現象解明に向けた計算機援用解析学の構築
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  2008 – 2011
- 研究種目
  
  基盤研究(S)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  佐世保工業高等専門学校
   九州大学
熱対流問題の解の大域構造に対する計算機援用証明研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
精度保証付き数値計算学の確立
- 研究代表者
  
  大石進一
- 研究期間 (年度)
  2005 – 2009
- 研究種目
  
  特別推進研究
- 審査区分
  
  理工系
   工学
- 研究機関
  早稲田大学
流れ問題のための高品質数値解法の開発と解析とシミュレーション
- 研究代表者
  
  田端正久
- 研究期間 (年度)
  2004 – 2008
- 研究種目
  
  基盤研究(S)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
流体力学的非線形安定性問題に対する計算機援用証明研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
精度保証付き多次元逆スペクトル解析研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
計算機による解析学創設の可能性に関する基礎的研究
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  萌芽研究
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
Navier-Stokes方程式の精度保証付き数値計算に関する研究研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
精度保証付き数値計算ライブラリの開発研究代表者
- 研究代表者
  
  渡辺善隆 (渡部善隆)
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
超高速ネットワークで支援した分散共有メモリシステム研究
- 研究代表者
  
  島崎眞昭
- 研究期間 (年度)
  1996 – 1998
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
   九州大学
非線形偏微分方程式の解の精度保証付き数値計算法に関する研究研究代表者
- 研究代表者
  
  渡部善隆
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
ハイパーテキストデータベース技術の複合による文書処理とマニュアル整理への応用
- 研究代表者
  
  島崎眞昭
- 研究期間 (年度)
  1993 – 1995
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報システム学(含情報図書館学)
- 研究機関
  九州大学

[図書] Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations2019
- 著者名/発表者名
  Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe
- 総ページ数
  467
- 出版者
  Springer Series in Computational Mathematics, Volume 53, Springer Singapore
- ISBN
  9789811376696
- データソース
  KAKENHI-PROJECT-15H03637
[図書] Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations2019
- 著者名/発表者名
  Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe
- 総ページ数
  467
- 出版者
  Springer Singapore
- ISBN
  9789811376696
- データソース
  KAKENHI-PROJECT-16H03950
[図書] シミュレーション辞典,微分方程式と数値計算(日本シミュレーション学会編)2012
- 著者名/発表者名
  渡部善隆
- 総ページ数
  454
- 出版者
  コロナ社
- データソース
  KAKENHI-PROJECT-21540134
[図書] 実例で学ぶ精度保証付き数値計算～理論と実装～2011
- 著者名/発表者名
  中尾充宏, 渡部善隆
- 総ページ数
  216
- 出版者
  サイエンス社
- データソース
  KAKENHI-PROJECT-21540134
[図書] 実例で学ぶ精度保証付き数値計算-理論と実装-2011
- 著者名/発表者名
  中尾充宏・渡部善隆
- 総ページ数
  216
- 出版者
  サイエンス社
- データソース
  KAKENHI-PROJECT-20224001
[図書] 実例で学ぶ精度保証付き数値計算～理論と実装～,臨時別冊・数理科学2011
- 著者名/発表者名
  中尾充宏, 渡部善隆
- 総ページ数
  216
- 出版者
  サイエンス社
- データソース
  KAKENHI-PROJECT-21540134
[図書] 実例で学ぶ精度保証付き数値計算---理論と実装---2011
- 著者名/発表者名
  中尾充宏・渡部善隆
- 総ページ数
  216
- 出版者
  サイエンス社
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Another computer-assisted proof of unimodality of solutions for Proudman?Johnson equation2024
- 著者名/発表者名
  Watanabe Yoshitaka, Miyaji Tomoyuki
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics
  
  巻: 41 号: 2 ページ: 1013-1032
- DOI
  10.1007/s13160-023-00639-x
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K20810, KAKENHI-PROJECT-23K20812
[雑誌論文] 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
[雑誌論文] Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem2022
- 著者名/発表者名
  Kobayashi Kenta、Watanabe Yoshitaka
- 雑誌名
  
  JSIAM Letters
  
  巻: 14 号: 0 ページ: 92-95
- DOI
  10.14495/jsiaml.14.92
- ISSN
  1883-0609, 1883-0617
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K20812, KAKENHI-PROJECT-20H01820
[雑誌論文] 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
[雑誌論文] Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem2021
- 著者名/発表者名
  Cai Shuting、Watanabe Yoshitaka
- 雑誌名
  
  Journal of Computational and Applied Mathematics
  
  巻: 395 ページ: 113603-113603
- DOI
  10.1016/j.cam.2021.113603
- 査読あり / 国際共著/国際学会である
- データソース
  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
[雑誌論文] A computer‐assisted method for the diblock copolymer model2019
- 著者名/発表者名
  Cai Shuting、Watanabe Yoshitaka
- 雑誌名
  
  ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift f?r Angewandte Mathematik und Mechanik
  
  巻: 99 号: 7 ページ: 1-1
- DOI
  10.1002/zamm.201800125
- 査読あり / 国際共著/国際学会である
- データソース
  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
[雑誌論文] On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations2017
- 著者名/発表者名
  Watanabe Yoshitaka、Nakao Mitsuhiro T.、Nagatou Kaori
- 雑誌名
  
  JSIAM Letters
  
  巻: 9 号: 0 ページ: 77-80
- DOI
  10.14495/jsiaml.9.77
- NAID
  130006252917
- ISSN
  1883-0609, 1883-0617
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, 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
[雑誌論文] Validated constructive error estimations for biharmonic problems2017
- 著者名/発表者名
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- 雑誌名
  
  Reliable Computing
  
  巻: 25 ページ: 168-177
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16H03950
[雑誌論文] 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
[雑誌論文] A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration2016
- 著者名/発表者名
  Y. Watanabe, M.T. Nakao
- 雑誌名
  
  Applied Mathematics and Computation
  
  巻: 276 ページ: 239-251
- DOI
  10.1016/j.amc.2015.12.021
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K05012, 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
[雑誌論文] Norm bound computation for inverses of linear operators in Hilbert spaces2016
- 著者名/発表者名
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
- 雑誌名
  
  Journal of Differential Equations
  
  巻: 260 号: 7 ページ: 6363-6374
- DOI
  10.1016/j.jde.2015.12.041
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, 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
[雑誌論文] An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid2016
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Journal of Computational and Applied Mathematics
  
  巻: 302 ページ: 157-170
- DOI
  10.1016/j.cam.2016.01.055
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950
[雑誌論文] 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
[雑誌論文] Some Considerations of the Invertibility Verifications for Linear Elliptic Operators2015
- 著者名/発表者名
  Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, and Nobito Yamamoto
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics
  
  巻: 32 号: 2 ページ: 19-32
- DOI
  10.1137/120894683
- NAID
  210000173114
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
[雑誌論文] 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
[雑誌論文] A Simple Numerical Verification Method for Differential Equations Based on Infinite Dimensional Sequential Iteration2013
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: 4 ページ: 23-33
- NAID
  130003375410
- 査読あり
- データソース
  KAKENHI-PROJECT-24340018
[雑誌論文] 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
[雑誌論文] Tests of Inequivalence Among Absolutely Nonsingular Tensors Through Geometric Invariants2012
- 著者名/発表者名
  Toshio Sakata, Kazumitsu Maehara, Takeshi Sasaki, Toshio Sumi, Mitsuhiro Miyazaki, Yoshitaka Watanabe, and Makoto Tagami
- 雑誌名
  
  Universal Journal of Mathematics and Mathematical Sciences
  
  巻: Vol.1, No.1 ページ: 1-28
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] 微分方程式の精度保証付き数値計算--逐次反復に基づく計算機援用証明--2012
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  京都大学数理解析研究所講究録別冊accepted
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A Numerical Verification Method for a System of Fitz Hugh-Nagumo Type2012
- 著者名/発表者名
  Shuting Cai, Kaori Nagatou, and Yoshitaka Watanabe
- 雑誌名
  
  Numerical Functional Analysis and Optimization
  
  巻: 33 ページ: 1195-1220
- 査読あり
- データソース
  KAKENHI-PROJECT-24340018
[雑誌論文] A theorem for numerical verification on local uniqueness of solutions to fixed-point equations2011
- 著者名/発表者名
  N. Yamamoto, M. T. Nakao, Y. Watanabe
- 雑誌名
  
  Numerical Functional Analysis and Optimization
  
  巻: 32 ページ: 1190-1204
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2011
- 著者名/発表者名
  Mitsuhiro T. Nakao, and Yoshitaka Watanabe
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: Vol.2, No.1 ページ: 2-31
- NAID
  130000903439
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] 精度保証付き数値計算(3)-中尾理論入門2011
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  応用数理
  
  巻: Vol.21, No.3 ページ: 47-53
- NAID
  110009426225
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow2011
- 著者名/発表者名
  Y. Watanabe, K. Nagatou, M. Plum, M. T. Nakao
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: 2 ページ: 123-127
- NAID
  130000903447
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2011
- 著者名/発表者名
  Mitsuhiro T.Nakao, Yoshitaka Watanabe
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: Vol.2,No.1 ページ: 2-31
- NAID
  130000903439
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] 精度保証付き数値計算(4)-区間演算と有限次元問題の精度保証2011
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  応用数理
  
  巻: Vol.21, No.4 ページ: 57-63
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations2011
- 著者名/発表者名
  Nobito Yamamoto, Mitsuhiro T. Nakao, and Yoshitaka Watanabe
- 雑誌名
  
  Numerical Functional Analysis and Optimization
  
  巻: Vol.32, No.11 ページ: 1190-1204
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow2011
- 著者名/発表者名
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: Vol.2, No.1 ページ: 123-127
- NAID
  130000903447
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] 精度保証付き数値計算(2)-線形逆作用素のノルム評価2011
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  応用数理
  
  巻: Vol.21, No.2 ページ: 54-60
- NAID
  110008673554
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] 精度保証付き数値計算(1)-不動点定式化2011
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  応用数理
  
  巻: Vol.21, No.1 ページ: 40-45
- NAID
  110008593884
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] 精度保証付き数値計算(1)-不動点定式化-2011
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  応用数理
  
  巻: Vol.21,No.1 ページ: 40-45
- NAID
  110008593884
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2011
- 著者名/発表者名
  M. T. Nakao, Y. Watanabe
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: 2 ページ: 2-31
- NAID
  130000903439
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2010
- 著者名/発表者名
  M.T.Nakao, Y.Watanabe
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: Vol.2, No.1 ページ: 2-31
- NAID
  130000903439
- 査読あり
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems2010
- 著者名/発表者名
  Mitsuhiro T.Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoun Kim
- 雑誌名
  
  Journal of Scientific Computing
  
  巻: Vol.43,No.3 ページ: 388-401
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] 無限次元固有値問題に対する固有値の非存在証明研究集会・数値解析と数値計算アルゴリズムの最近の展開2010
- 著者名/発表者名
  渡部善隆, 長藤かおり, Michael Plum, 中尾充宏
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: Vol.1719 ページ: 118-129
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems2010
- 著者名/発表者名
  Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida and Myoung-Nyoun Kim
- 雑誌名
  
  Journal of Scientific Computing
  
  巻: Vol.43, No.3 ページ: 388-401
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2010
- 著者名/発表者名
  M. T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M.-N. Kim
- 雑誌名
  
  Journal of Scientific Computing
  
  巻: Vol.43, No.3 号: 3 ページ: 388-401
- DOI
  10.1007/s10915-009-9303-3
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] 無限次元固有値問題に対する固有値の非存在証明,研究集会・数値解析と数値計算アルゴリズムの最近の展開2010
- 著者名/発表者名
  渡部善隆, 長藤かおり, Michael Plum, 中尾充宏
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: Vol.1719 ページ: 118-129
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow2010
- 著者名/発表者名
  Y.Watanabe, et al.
- 雑誌名
  
  Nonlinear Theory and Its Applications, IEICE
  
  巻: Vol.2, No.1 ページ: 123-127
- NAID
  130000903447
- 査読あり
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to2009
- 著者名/発表者名
  Y. Watanabe, M.T. Nakao
- 雑誌名
  
  the Rayleigh-Be'nard Problem, Japan Journal of Industrial and Applied Mathematics 26:2
  
  ページ: 443-463
- 査読あり
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Journal of Computational and Applied Mathematics
  
  巻: Vol.223 ページ: 953-966
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009
- 著者名/発表者名
  Kim, M. -N., Nakao, M. T., Watanabe, Y. and Nishida, T.
- 雑誌名
  
  Numerische Mathematik 111
  
  ページ: 389-406
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao,
- 雑誌名
  
  Journal of Applied Mathematics and Mechanics(ZAMM) Vol.89, No.1
  
  ページ: 5-18
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics 26
  
  ページ: 233-247
- NAID
  10028168961
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Journal of Computational and Applied Mathematics 223
  
  ページ: 953-966
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Benard Problem2009
- 著者名/発表者名
  Yoshitaka Watanabe and Mitsuhiro T. Nakao
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics
  
  巻: Vol.26, No.2-3 ページ: 443-463
- NAID
  10028169295
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics
  
  巻: Vol.26, No.2-3 ページ: 233-247
- NAID
  10028168961
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Be'nard Problem2009
- 著者名/発表者名
  Y.Watanabe, et al
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics 26
  
  ページ: 443-463
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009
- 著者名/発表者名
  Y.Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics Vol.26, No.2-3
  
  ページ: 233-247
- NAID
  10028168961
- 査読あり
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Benard Problem2009
- 著者名/発表者名
  Y.Watanabe, et al.
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics Vol.26, No.2-3
  
  ページ: 443-463
- NAID
  10028169295
- 査読あり
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A computer- assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe, et al.
- 雑誌名
  
  Z. Angew. Math. Mech. 89
  
  ページ: 5-18
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Journal of Computational and Applied Mathematics Vol.223
  
  ページ: 983-966
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-B\'{e} nard problems2009
- 著者名/発表者名
  M.-N. Kim, M. T. Nakao, Y. Watanabe, T. Nishida
- 雑誌名
  
  Numerische Mathematik
  
  巻: 111 ページ: 389-406
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Y. Watanabe, et al.
- 雑誌名
  
  ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift fur Angewandte Mathematik und Mechanik 89
  
  ページ: 5-18
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009
- 著者名/発表者名
  Y. Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics 26:2
  
  ページ: 233-247
- NAID
  10028168961
- 査読あり
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Watanabe, Y., Plum, M. and Nakao, M. T.
- 雑誌名
  
  ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift fur Angewandte Mathematik und Mechanik 89
  
  ページ: 5-18
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009
- 著者名/発表者名
  Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaaki Nishida
- 雑誌名
  
  Numerische Mathematik Vol.111, No.3
  
  ページ: 389-406
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Journal of Computational and Applied Mathematics 223
  
  ページ: 953-966
- 査読あり
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Watanabe, Y., Plum, M, Nakao, M. T.
- 雑誌名
  
  Zeitschrift fuer Angewandte Mathematik und Mechanik(ZAMM)
  
  巻: 89 ページ: 5-18
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Z. Angew. Math. Mech. 89
  
  ページ: 5-18
- 査読あり
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] A numerical verification method for two-coupled elliptic partial differential equations2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics
  
  巻: Vol.26, No.2-3 ページ: 233-247
- NAID
  10028168961
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2009
- 著者名/発表者名
  M.T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M. Kim
- 雑誌名
  
  Journal of Scientific Computing 10
  
  ページ: 1-18
- 査読あり
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009
- 著者名/発表者名
  Watanabe, Y.
- 雑誌名
  
  ournal of Computational and Applied Mathematics 223
  
  ページ: 953-966
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-B\'{e} nard problem2009
- 著者名/発表者名
  Y. Watanabe, M. T. Nakao
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics
  
  巻: 26 ページ: 443-463
- NAID
  10028169295
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Watanabe, Y.
- 雑誌名
  
  Z. Angew. Math. Mech. 89(N0. 1)
  
  ページ: 5-18
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009
- 著者名/発表者名
  Y. Watanabe
- 雑誌名
  
  Journal of Computational and Applied Mathematics 223
  
  ページ: 953-966
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009
- 著者名/発表者名
  Watanabe, Y.
- 雑誌名
  
  Journal of Computational and Applied Mathematics 223
  
  ページ: 953-966
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] 並行Poiseuille流れの不安定性に対する計算機援用証明2008
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  京大数理解析研究所講究録 1614
  
  ページ: 11-19
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] 並行Poiseuille流れの不安定性に対する計算機援用証明2008
- 著者名/発表者名
  渡部善隆, Michael Plum, 中尾充宏
- 雑誌名
  
  京都大学数理解析研究所講究録 Vol.1614
  
  ページ: 11-19
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2008
- 著者名/発表者名
  M. Kim, M.T. Nakao, Y. Watanabe, T. Nishida
- 雑誌名
  
  Numerische Mathematik 111
  
  ページ: 389-406
- 査読あり
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Benard problem2007
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  京都大学数理解析研究所講究録 Vol.1536
  
  ページ: 87-96
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2006
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA 2006)
  
  ページ: 431-434
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A numerical verification for the Kolmogorov flows of incompressible viscous fluid, Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 20062006
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  ICNAAM-2006 Extended Abstracts
  
  ページ: 535-539
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] Performance comparison of vector-calculations between Itanium2 and other processors2006
- 著者名/発表者名
  Nanri, T. Watanabe, Y. and Sato, H.
- 雑誌名
  
  Proceedings of International Workshop on Innovative Architecture
  
  ページ: 141-146
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] Performance comparison of vector calculations between Itanium2 and other processors2006
- 著者名/発表者名
  Takeshi Nanri, Yoshitaka Watanabe and Hiroyuki Sato,
- 雑誌名
  
  Proceedings of International Workshop on Innovative Architecture
  
  ページ: 141-146
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A numerical verification for the Kolmogorov flows of imcompressible viscous fluid2006
- 著者名/発表者名
  Y.Watanabe
- 雑誌名
  
  Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)
  
  ページ: 535-539
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006
- 著者名/発表者名
  Y.Watanabe
- 雑誌名
  
  Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006
  
  ページ: 535-539
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] Nobito Yamamoto and Takaaki Nishida, A numerical verification of bifurcation points for nonlinear heat convection problems2006
- 著者名/発表者名
  Mitsuhiro T. Nakao, Yoshitaka Watanabe
- 雑誌名
  
  The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering"(2nd IC-SCCE)
  
  ページ: 8-8
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006
- 著者名/発表者名
  Watanabe, Y.
- 雑誌名
  
  Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006 (eds. Simos, T., Psihoyios, G., Tsitouras, C.) (Wiley)
  
  ページ: 535-539
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A numerical verification for the Kolmogorov flows of Imcompressible viscous fluid2006
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM 2006)
  
  ページ: 535-539
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] Some computer assisted proofs on three dimensional heat convection problems2006
- 著者名/発表者名
  M.-N.Kim, M.T.Nakao, Y.Watanabe, T.Nishida
- 雑誌名
  
  Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)
  
  ページ: 427-430
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] Some computer assisted proofs on three dimensional heat convection problems2006
- 著者名/発表者名
  Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaak Nishida
- 雑誌名
  
  Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA 2006)
  
  ページ: 427-430
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] Rayleigh-Benard問題の大域分岐構造に対する精度保証付き数値計算2006
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  京都大学数理解析研究所講究録 Vol.1505
  
  ページ: 101-105
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005
- 著者名/発表者名
  M.T.Nakao, K Hashimoto, Y.Watanabe
- 雑誌名
  
  Computing Vol.75, No.1
  
  ページ: 1-14
- NAID
  120000981466
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] An efficient approach to numerical verification for solutions of elliptic differential equations with local uniaueness (in Japanese)2005
- 著者名/発表者名
  Y.Watanabe, N.Yamamoto, M.T.Nakao
- 雑誌名
  
  Transaction of the Japan Society for Industrial and Applied Mathematics Vol.15, No.4
  
  ページ: 509-520
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity2005
- 著者名/発表者名
  K.Hashimoto, R.Abe, M.T.Nakao, Y.Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics Vol.22
  
  ページ: 111-131
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005
- 著者名/発表者名
  渡部善隆, 山本野人, 中尾充宏
- 雑誌名
  
  日本応用数理学会論文誌 Vol.15, No.4
- NAID
  110002976854
- データソース
  KAKENHI-PROJECT-17002012
[雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005
- 著者名/発表者名
  Nakao, M.T., Hashimoto, K., Watanabe, Y.
- 雑誌名
  
  Computing 75・1
  
  ページ: 1-14
- NAID
  120000981466
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005
- 著者名/発表者名
  Nakao, M. T., Hashimoto, K. and Watanabe, Y.
- 雑誌名
  
  Computing 75
  
  ページ: 1-14
- NAID
  120000981466
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A Numerical verification method for solutions of singularly perturbed problems with nonlinearity2005
- 著者名/発表者名
  Hashimoto, K., Abe, R., Nakao, M. T. and Watanabe, Y.
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics 22
  
  ページ: 111-131
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005
- 著者名/発表者名
  渡部善隆, 山本野人, 中尾充宏
- 雑誌名
  
  日本応用数理学会論文誌 15
  
  ページ: 509-520
- NAID
  110002976854
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005
- 著者名/発表者名
  渡部善隆, 山本野人, 中尾充宏
- 雑誌名
  
  日本応用数理学会論文誌 Vol.15, No.4
  
  ページ: 509-520
- NAID
  110002976854
- データソース
  KAKENHI-PROJECT-15740067
[雑誌論文] A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity2005
- 著者名/発表者名
  Kouji Hashimoto, Ryohei Abe, Mitsuhiro T.Nakao, Yoshitaka Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics Vol.22, No.1
  
  ページ: 311-323
- データソース
  KAKENHI-PROJECT-15740067
[雑誌論文] A numerical verification method for solutions of singularly perturbed problems with nonlinearity2005
- 著者名/発表者名
  Hashimoto, K., Abe, R., Nakao, M.T., Watanabe, Y.
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics 22・1
  
  ページ: 111-131
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005
- 著者名/発表者名
  渡部善隆, 山本野人, 中尾充宏
- 雑誌名
  
  日本応用数理学会論文誌 15・4
  
  ページ: 509-520
- NAID
  110002976854
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] An efficient approach to the numerical verification for solutions of elliptic differential equations2004
- 著者名/発表者名
  Nakao, M. T. and Watanabe, Y.
- 雑誌名
  
  Numerical Algorithms(Special issue for Proceedings of Scientific Computing, Computer Arithmetic, and Validated Numerics 2002) 37
  
  ページ: 311-323
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A numerical verification of nontrivial solutions for the heat convection problem2004
- 著者名/発表者名
  Watanabe, Y. et al.
- 雑誌名
  
  Journal of Mathematical Fluid Mechanics 6・1
  
  ページ: 1-20
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem2004
- 著者名/発表者名
  Yoshitaka Watanabe, et al.
- 雑誌名
  
  Journal of Mathematical Fluid Mechanics Vol.6, No.1
  
  ページ: 1-20
- データソース
  KAKENHI-PROJECT-15740067
[雑誌論文] A Numerical verification of nontrivial solutions for the heat convection problem2004
- 著者名/発表者名
  Watanabe, Y., Yamamoto, N., Nakao, M. T. and Nishida, T.
- 雑誌名
  
  Journal of Mathematical Fluid Mechanics 6
  
  ページ: 1-20
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] An efficient approach to the numerical verification for solutions of elliptic differential equations2004
- 著者名/発表者名
  Nakao, M.T., Watanabe, Y.
- 雑誌名
  
  Numerical Algorithms 37
  
  ページ: 311-323
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations2004
- 著者名/発表者名
  Mitsuhiro T.Nakao, Yoshitaka Watanabe
- 雑誌名
  
  Numerical Algorithms Vol.37, Issue 1-4
  
  ページ: 311-323
- データソース
  KAKENHI-PROJECT-15740067
[雑誌論文] 微分方程式の精度保証付き数値計算-逐次反復に基づく計算機援用証明
- 著者名/発表者名
  渡部善隆
- 雑誌名
  
  京都大学数理解析研究所別冊,掲載決定
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations
- 著者名/発表者名
  Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao
- 雑誌名
  
  Mathematics of Computation
  
  巻: (accepted)
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A Numerical Verification Method for a System of FitzHugh-Nagumo Type
- 著者名/発表者名
  Chuting Cai, Kaori Nagatou, and Yoshitaka Watanabe
- 雑誌名
  
  A Numerical Verification Method for a System of FitzHugh-Nagumo Type
- データソース
  KAKENHI-PROJECT-21540134
[雑誌論文] A numerical verification method for a system of FitzHugh-Nagumo type
- 著者名/発表者名
  S. Cai, K. Nagatou, Y. Watanabe
- 雑誌名
  
  Numerical Functional Analysis and Optimization
  
  巻: (to appear)
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- 著者名/発表者名
  Y. Watanabe, T. Kinoshita, M. T. Nakao
- 雑誌名
  
  Mathematics of Computation
  
  巻: (to appear)
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Benard problem
- 著者名/発表者名
  Watanabe, Y. and Nakao, M. T.
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics (to appear)
- NAID
  10028169295
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Benard problem
- 著者名/発表者名
  Yoshitaka Watanabe and Mitsuhiro T. Nakao
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics (採録決定)
- NAID
  10028169295
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[雑誌論文] A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- 著者名/発表者名
  Y.Watanabe
- 雑誌名
  
  to appear in Mathematics of Computation
- 査読あり
- データソース
  KAKENHI-PROJECT-20224001
[雑誌論文] A numerical verification method for two-coupled elliptic partial differential equations
- 著者名/発表者名
  Watanabe, Y.
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics (to appear)
- NAID
  10028168961
- 査読あり
- データソース
  KAKENHI-PROJECT-16104001
[雑誌論文] A numerical verification method for two-coupled elliptic partial differential equations
- 著者名/発表者名
  Yoshitaka Watanabe
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics (採録決定)
- NAID
  10028168961
- 査読あり
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算2024
- 著者名/発表者名
  寺尾剛史, 渡部善隆, 尾崎克久
- 学会等名
  日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日～6日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について2024
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176, 2024年3月17日～20日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations2024
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum, February 21-22, 2024, Institute for Analysis, Karlsruhe Institute of Technology, Karlsruhe, Germany.
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 近似楕円型線形作用素のノルムに関する収束性評価の改良2024
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日～6日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算2024
- 著者名/発表者名
  寺尾剛史, 渡部善隆, 尾崎克久
- 学会等名
  日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178, 2024年3月17日～20日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本応用数理学会2023年研究部会連合発表会, 岡山理科大学, 2023年3月8日～10日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価2023
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本数学会2023年年会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証2023
- 著者名/発表者名
  渡部善隆, 宮路智行
- 学会等名
  日本数学会2023年度秋季総合分科会応用数学分科会
- データソース
  KAKENHI-PROJECT-23K20810
[学会発表] A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations,2023
- 著者名/発表者名
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Birgit Scherkhuber, and Mitsuhiro T. Nakao
- 学会等名
  Minisymposia: Verified Numerical Computations and Applications, in the 10th International Congress on Industrial and Applied Mathematics (ICIAM), August 20-25, 2023, Waseda University, Tokyo, Japan.
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 非線形波動方程式の自己相似爆発解に対する精度保証付き数値計算2023
- 著者名/発表者名
  渡部善隆
- 学会等名
  RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 (Research on High-performance Scientific Computing in a New Era), 京都大学, 益川ホール, 京都市, 2023年10月18日～10月20日.
- 招待講演
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本応用数理学会2023年研究部会連合発表会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証2023
- 著者名/発表者名
  渡部善隆, 宮路智行
- 学会等名
  日本数学会2023年度秋季総合分科会応用数学分科会講演アブストラクト, pp.195-196, 東北大学, 仙台市, 2023年9月20日～9月23日.
- データソース
  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
[学会発表] 精度保証付き数値計算によるProudman Johnson 方程式の定常解の存在別証2022
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2022年度秋季総合分科会応用数学分科会講演アブストラクト, pp.79-80, 北海道大学, 札幌市, 2022年9月13日～9月16日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明2022
- 著者名/発表者名
  渡部善隆、長藤かおり、Michael Plum、木下武彦、中尾充宏
- 学会等名
  日本数学会2022年年会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] Proudman-Johnson方程式の定常解に対する精度保証付き数値計算～Miyaji-Okamoto定理の別証～2022
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2022年度年会講演予稿集, A3-1-1, 北海道大学(セミハイブリッド), 札幌市, 2022年9月8日～9月10日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2022年研究部会連合発表会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 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
[学会発表] 精度保証付き数値計算によるProudman Johnson 方程式の定常解の存在別証2022
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2022年度秋季総合分科会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 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)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] Proudman-Johnson方程式の定常解に対する精度保証付き数値計算～Miyaji-Okamoto定理の別証～2022
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2022年度年会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] ある三角行列の最小特異値に対するBuenger-Rump理論による精度保証付き数値計算2021
- 著者名/発表者名
  渡部善隆
- 学会等名
  第5回精度保証付き数値計算の実問題への応用研究集会(NVR 2021) ・JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会, オンライン開催, 2021年11月27日～11月28日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算2021
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2021年度年会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 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)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 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
[学会発表] Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用2021
- 著者名/発表者名
  小林健太, 渡部善隆
- 学会等名
  日本応用数理学会2021年研究部会連合発表会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 非線形微分方程式に対する精度保証付き数値計算2021
- 著者名/発表者名
  渡部善隆
- 学会等名
  CREST「現代の数理科学と連携するモデリング手法の構築」成果報告公開シンポジウム～DX, AI, これからの数理モデリング～, オンライン開催, 2021年9月21日～9月24日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明2021
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2021年度秋季総合分科会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 重調和方程式の近似解に対する構成的誤差評価の改良2021
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2021年年会, 慶應義塾大学(オンライン), 応用数学分科会講演アブストラクト, pp. 87-88, 2021年3月15日～18日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明2021
- 著者名/発表者名
  渡部善隆, Cai Shuting
- 学会等名
  日本数学会2021年度秋季総合分科会応用数学分科会講演アブストラクト, pp.123-124, 千葉大学(オンライン), 千葉市, 2021年9月14日～9月17日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用2021
- 著者名/発表者名
  小林健太, 渡部善隆
- 学会等名
  日本応用数理学会2021年研究部会連合発表会, (オンライン), 2021年3月4日～3月5日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 重調和方程式の近似解に対する構成的誤差評価の改良2021
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2021年年会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 非線形微分方程式に対する精度保証付き数値計算2021
- 著者名/発表者名
  渡部善隆
- 学会等名
  CREST「現代の数理科学と連携するモデリング手法の構築」成果報告公開シンポジウム
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] 定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算2021
- 著者名/発表者名
  渡部善隆, Cai Shuting
- 学会等名
  日本応用数理学会2021年度年会講演予稿集, pp.424-425, 芝浦工業大学(オンライン), さいたま市, 2021年9月7日～9月9日.
- データソース
  KAKENHI-PROJECT-23K20812
[学会発表] 有界作用素のレゾルベントに対するある近似作用素の強収束性について2020
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本数学会2020年年会, 日本大学, 応用数学分科会講演アブストラクト, pp. 117-118, 2020年3月16日～19日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Hilbert空間における線形作用素に対する可逆性検証の効率化2020
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2020年度年会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用2020
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏:
- 学会等名
  日本数学会2020年度秋季総合分科会応用数学分科会講演アブストラクト, pp.107-110, 熊本大学(オンライン), 熊本市, 2020年9月22日～9月25日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用2020
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2020年度秋季総合分科会
- データソース
  KAKENHI-PROJECT-20H01820
[学会発表] Hilbert空間における線形作用素に対する可逆性検証の効率化2020
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2020年度年会講演予稿集, pp.444-445, 愛媛大学(オンライン), 松山市, 2020年9月8日～9月10日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Banach空間における有界線形作用素の近似に対する収束性2020
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本応用数理学会2020年研究部会連合発表会, 中央大学, 2020年3月4日～5日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  応用数学合同研究集会
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] Computer-assisted proofs for the Orr-Sommerfeld equation2019
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Workshop: Rigorous Computational Dynamics in Infinite Dimensions
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] Poisson方程式に対する構成的高次誤差評価とその応用2019
- 著者名/発表者名
  渡部善隆, 木下武彦, 山本野人, 中尾充宏
- 学会等名
  日本数学会2019年年会, 東京工業大学, 応用数学分科会講演アブストラクト, pp. 55-56, 2019年3月17日～20日
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Numerical verification methods for nonlinear equations2019
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  ST Sakura Exchange Program in Science, 2019, August 25-September 1, 2019, Niigata University. 発表日: 2019.8.29.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Poisson方程式に対する構成的高次誤差評価2019
- 著者名/発表者名
  渡部善隆, 木下武彦, 山本野人, 中尾充宏
- 学会等名
  日本応用数理学会2019年研究部会連合発表会
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] Poisson方程式に対する構成的高次誤差評価2019
- 著者名/発表者名
  渡部善隆, 木下武彦, 山本野人, 中尾充宏
- 学会等名
  日本応用数理学会2019年研究部会連合発表会, 筑波大学, 2019年3月4日～5日
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation2019
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Congress on Industrial and Applied Mathematics (ICIAM2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] H10関数の直交多項式近似に対する2次の誤差評価の最良定数について2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 山本野人, 中尾充宏
- 学会等名
  日本数学会2019年度秋季総合分科会応用数学分科会講演アブストラクト, pp.43-44, 金沢大学, 金沢市, 2019年9月17日～9月20日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Computer-assisted proofs for the Orr-Sommerfeld equation2019
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Workshop: Rigorous Computational Dynamics in Infinite Dimensions, April 3-6, 2019, Centre de recherches mathematiques (CRM), Universite de Montreal, Montre Quebec, Canada.
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] H10射影誤差に対する2次の誤差評価の最良定数の包含方法について2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 山本野人, 中尾充宏
- 学会等名
  日本応用数理学会2019年度年会講演予稿集, pp.360-361, 東京大学駒場キャンパスI, 東京都, 2019年9月3日～9月5日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Nakao et al. (2005) 最後の謎2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019), サンポートホール高松 63会議室, 高松市, 2019年11月30日～12月1日
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] H10射影誤差に対する2次の誤差評価の最良定数の包含方法について2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 山本野人, 中尾充宏
- 学会等名
  日本応用数理学会2019年度年会
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  応用数学合同研究集会, 発表番号A14-2, 龍谷大学瀬田キャンパス, 大津市, 2019年12月12日～12月14日
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Poisson方程式に対する構成的高次誤差評価とその応用2019
- 著者名/発表者名
  渡部善隆, 木下武彦, 山本野人, 中尾充宏
- 学会等名
  日本数学会2019年年会
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] H10関数の直交多項式近似に対する2次の誤差評価の最良定数について2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 山本野人, 中尾充宏
- 学会等名
  日本数学会2019年度秋季総合分科会
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation,2019
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Numerical verification methods and their application to differential equations - Part 1, in the 9th International Congress on Industrial and Applied Mathematics, July 15-19, 2019, Valencia, Spain.
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Nakao et al. (2005) 最後の謎2019
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019)
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証2018
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本数学会2018年年会, 東京大学, 応用数学分科会講演アブストラクト, pp. 103-106, 2018年3月18日～21日,
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2018年研究部会連合発表会, 大阪大学, 2018年3月15日～16日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] The essence of numerical verification methods for PDEs2018
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  2018 Workshop on Recent views of Nonlinear Analysis, December 8-10, 2018, The Toba Chamber of Commerce and Industry, Toba, Japan
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2018年度秋季総合分科会応用数学分科会講演アブストラクト, 岡山大学, 岡山市, 2018年9月24日～9月27日
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 精度保証付き数値計算入門《応用編》2018
- 著者名/発表者名
  渡部善隆
- 学会等名
  平成30年度NIFS共同研究研究会「MHDシミュレーションにおける精度保証の可能性について」核融合科学研究所, 土岐市, 岐阜県, 2018年12月11日～12日
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Kolmogorov問題に対する計算機援用証明における最大値ノルムの改良2018
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会: 不連続Galerkin有限要素法の数学理論とその周辺, コンフォートホテル長崎会議室, 長崎市, 2018年2月14日～15日.
- データソース
  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
[学会発表] 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2018年度秋季総合分科会
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 2階楕円型作用素に対する逆作用素ノルム評価の改良2018
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2018年度年会
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] A higher order error estimation of the Poisson equation and its applications2018
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Methods for Partial Differential Equations
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 反復解法における誤差履歴2018
- 著者名/発表者名
  渡部善隆
- 学会等名
  第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018), 広島インテリジェントホテルスタジアム前, 広島市, 2018年12月1日～12月2日
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 反復解法における誤差履歴2018
- 著者名/発表者名
  渡部善隆
- 学会等名
  第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018)
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 2階楕円型作用素に対する逆作用素ノルム評価の改良2018
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏:
- 学会等名
  日本応用数理学会2018年度年会講演予稿集, 名古屋大学東山キャンパス, 名古屋市, 2018年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)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] A higher order error estimation of the Poisson equation and its applications2018
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Methods for Partial Differential Equations, Hong Kong, Chaina, March 26-28, 2018.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] The essence of numerical verification methods for PDEs2018
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  2018 Workshop on Recent views of Nonlinear Analysis
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018
- 著者名/発表者名
  渡部善隆、木下武彦、中尾充宏
- 学会等名
  日本応用数理学会2018年研究部会連合発表会
- データソース
  KAKENHI-PROJECT-15K05012
[学会発表] Verified computations of eigenvalue exclosures for linearized Kolmogorov problem2018
- 著者名/発表者名
  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)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] Verified computations of eigenvalue exclosures for linearized Kolmogorov problem2018
- 著者名/発表者名
  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), September 10-15, 2018, Waseda University, Japan
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces2017
- 著者名/発表者名
  Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
- 発表場所
  Hotel Breeze Bay Marina, Miyako Island, Okinawa
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] Some computer-assisted proofs for the Navier-Stokes equations2017
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), Banff, Canada, May 8-12, 2017.
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本数学会2017年度秋季総合分科会応用数学分科会講演アブストラクト, 山形大学, 山形市, 2017年9月11日～9月14日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Some computer-assisted proofs for the Navier-Stokes equations2017
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 値域が共役空間となる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
[学会発表] An alternative approach of invertibility verifications for linear operators in Hilbert spaces2017
- 著者名/発表者名
  Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
- 学会等名
  International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
- 発表場所
  Hotel Breeze Bay Marina, Miyako Island, Okinawa
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 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
[学会発表] あるコンパクト作用素のレゾルベントに対する下側評価について2017
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本数学会2017年度年会
- 発表場所
  首都大学東京南大沢キャンパス（東京都八王子市）
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] あるコンパクト作用素のレゾルベントに対する下側評価について2017
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本数学会2017年年会
- 発表場所
  首都大学東京
- 年月日
  2017-03-24
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017
- 著者名/発表者名
  木下武彦、渡部善隆、中尾充宏
- 学会等名
  日本数学会秋季総合分科会
- データソース
  KAKENHI-PROJECT-15K05012
[学会発表] Legendre多項式を用いた重調和問題の構成的誤差評価(といくつかの課題)2017
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  応用数学合同研究集会, 龍谷大学, 2017年12月14日～16日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 値域が共役空間となる2 階楕円型作用素に対する可逆性検証法の改良2017
- 著者名/発表者名
  木下武彦、渡部善隆、中尾充宏
- 学会等名
  日本応用数理学会2017年度年会
- データソース
  KAKENHI-PROJECT-15K05012
[学会発表] 重調和問題の解に対する構成的誤差評価2017
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  第1回精度保証付き数値計算の実問題への応用研究集会(NVR 2017), 西日本総合展示場, 北九州市, 2017年12月9日～10日.
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 精度保証付き数値計算による平行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 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年度年会
- 発表場所
  北九州国際会議場（福岡県北九州市）
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 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
[学会発表] コンパクト作用素のレゾルベントに対する下側評価2016
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  2016年度応用数学合同研究集会
- 発表場所
  龍谷大学瀬田キャンパス
- 年月日
  2016-12-16
- データソース
  KAKENHI-PROJECT-15K05012
[学会発表] Legendre多項式による重調和方程式の精度保証付き誤差評価2016
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2016年度年会
- 発表場所
  北九州国際会議場
- 年月日
  2016-09-12
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 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
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 重調和方程式の近似解に対する構成的誤差評価2016
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2016年度秋季総合分科会
- 発表場所
  関西大学千里山キャンパス（大阪府吹田市）
- データソース
  KAKENHI-PROJECT-16H03950
[学会発表] 精度保証付き数値計算による平行Poiseuille流れの高精度不安定性解析2016
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2016年度年会
- 発表場所
  筑波大学
- 年月日
  2016-03-16
- データソース
  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
[学会発表] 線形化、Kolmogorov 問題に対する固有値の除外について2015
- 著者名/発表者名
  渡部善隆、Nagatou Kaori、Plum Michael、中尾充宏
- 学会等名
  2015年度日本応用数理学会年会
- 発表場所
  金沢大学
- 年月日
  2015-09-09
- データソース
  KAKENHI-PROJECT-15K05012
[学会発表] Kolmogorov問題の精度保証付き数値計算に対するいくつかの考察2015
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2015年度秋季総合分科会
- 発表場所
  京都産業大学
- 年月日
  2015-09-13
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 線形化Kolmogorov問題に対する固有値の除外について2015
- 著者名/発表者名
  渡部善隆, Kaori Nagatou, Michael Plum, 中尾充宏
- 学会等名
  日本応用数理学会2015年度年会
- 発表場所
  金沢大学
- 年月日
  2015-09-09
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 楕円型線形逆作用素評価の収束性について2015
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会研究部会連合発表会
- 発表場所
  明治大学中野キャンパス
- 年月日
  2015-03-07
- データソース
  KAKENHI-PROJECT-24540151
[学会発表] 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
[学会発表] H3 正則性を持つ一般多角形領域上のPoisson 方程式の解について2015
- 著者名/発表者名
  木下武彦、渡部善隆、中尾充宏
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  京都産業大学
- 年月日
  2015-09-16
- データソース
  KAKENHI-PROJECT-15K05012
[学会発表] 線形楕円型作用素に対するLaplacian ノルムの構成的評価2015
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会年会
- 発表場所
  明治大学駿河台キャンパス
- 年月日
  2015-03-24
- データソース
  KAKENHI-PROJECT-24540151
[学会発表] A nonlinear PDE verification -- Fukuoka, Karlsruhe2015
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Nonlinear PDE Days
- 発表場所
  Karlsruhe Institute of Technology, Germany
- 年月日
  2015-07-14
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H03637
[学会発表] 2階楕円型作用素における構成的Laplacianノルム評価2014
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会年会
- 発表場所
  政策研究大学院大学
- 年月日
  2014-09-03
- データソース
  KAKENHI-PROJECT-24540151
[学会発表] 計算機援用証明によるOrr-Sommerfeld問題の安定性・不安定性解析2014
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2014年度年会
- 発表場所
  学習院大学
- 招待講演
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] An alternative approach of invertibility verifications and norm estimations for linear elliptic operators2014
- 著者名/発表者名
  Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
- 学会等名
  日本応用数理学会2014年研究部会連合発表会
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 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
[学会発表] A comparison of computer-assisted proofs for the Kolmogorov problem2014
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2014
- 発表場所
  早稲田大学
- 招待講演
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 無限次元非線形関数方程式に対するNewton反復型計算機援用証明2013
- 著者名/発表者名
  渡部善隆, 中尾充宏
- 学会等名
  日本数学会2013年度秋季総合分科会
- 発表場所
  愛媛大学
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 楕円型偏微分作用素に対する逆作用素評価の効率化2013
- 著者名/発表者名
  木下武彦, 渡部善隆, 中尾充宏
- 学会等名
  日本応用数理学会2013年度年会
- 発表場所
  アクロス福岡
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] exflibによる平行Poiseuille流れの不安定性解析の高精度化2013
- 著者名/発表者名
  渡部善隆, 藤原宏志, 中尾充宏
- 学会等名
  日本応用数理学会2013年度年会
- 発表場所
  アクロス福岡
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid2013
- 著者名/発表者名
  渡部善隆
- 学会等名
  RIMS研究集会・非圧縮性粘性流体の数理解析
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察2013
- 著者名/発表者名
  渡部善隆, 木下武彦, 木村拓馬, 山本野人, 中尾充宏
- 学会等名
  応用数学合同研究集会
- 発表場所
  龍谷大学
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 精度保証とHPC2013
- 著者名/発表者名
  渡部善隆
- 学会等名
  HPCS2013
- 発表場所
  東京工業大学(招待講演)
- 年月日
  2013-01-16
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow, Workshop on" Avoided? Crossing of Eigenvalue Curves2012
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Non-commutative Harmonic Oscillator, Special Functions and Number Theory-, Kyushu University
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 無限次元作用素に対する固有値の除外理論と精度保証付き数値計算,九州大学数値解析学セミナー2012
- 著者名/発表者名
  渡部善隆,長藤かおり, Michael Plum,中尾充宏
- 学会等名
  九州大学大学院数理学研究院
- 年月日
  2012-04-21
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] exflibにおける多倍長区間演算Fortranインターフェースとその応用2012
- 著者名/発表者名
  渡部善隆,藤原宏志
- 学会等名
  日本応用数理学会2012年研究部会連合発表会
- 発表場所
  九州大学
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] exflibにおける多倍長区間演算Fortranインターフェースとその応用2012
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2012年研究部会連合発表会
- 発表場所
  九州大学
- 年月日
  2012-03-08
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow2012
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Workshop on "Avoided? Crossing of Eigenvalue Curves"--Non-commutative Harmonic Oscillator, Special Functions and Number Theory--
- 発表場所
  Kyushu University
- 年月日
  2012-03-07
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] rr-Sommerfeld方程式に対する局所一意性付き計算機援用証明2011
- 著者名/発表者名
  渡部善隆,木下武彦,中尾充宏
- 学会等名
  日本数学会2011年度秋季総合分科会応用数学分科会講演アブストラクト
- 発表場所
  信州大学
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について2011
- 著者名/発表者名
  木下武彦,渡部善隆,中尾充宏
- 学会等名
  日本数学会2011年度秋季総合分科会応用数学分科会講演アブストラクト
- 発表場所
  信州大学
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] Computer-assisted proof for functional equations based on infinite dimensional sequential iteration2011
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods, Karlsruhe Institute of Technology, Germany
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 逐次反復に基づく関数方程式の計算機援用証明2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2011年度年会講演予稿集,pp.341-342
- 発表場所
  同志社大学
- 年月日
  2011-09-16
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Computer-assisted proof for functional equations based on infinite dimensional sequential iteration2011
- 著者名/発表者名
  Y.Watanabe
- 学会等名
  Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
- 発表場所
  Karlsruhe Institute of Technology, Germany
- 年月日
  2011-09-22
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 微分方程式の精度保証付き数値計算2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会:可積分系数理の進化
- 発表場所
  京都大学数理解析研究所
- 年月日
  2011-08-18
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] 無限次元作用素に対する固有値の計算機援用非存在証明2011
- 著者名/発表者名
  渡部善隆,長藤かおり, Michael Plum,中尾充宏
- 学会等名
  応用数学合同研究集会報告集
- 発表場所
  龍谷大学
- 年月日
  2011-12-16
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 逐次反復に基づく関数方程式の精度保証付き数値計算2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会:科学計算の信頼性とその周辺に関するワークショップ
- 発表場所
  西海国立公園九十九島ビジターセンター,佐世保市
- 年月日
  2011-11-24
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Computer-assisted proaf for functional equations based on infinite dimensional sequential iteration2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
- 発表場所
  Karlsruhe Institute of Technology, Germany
- 年月日
  2011-09-22
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] 無限次元作用素に対する固有値の計算機援用非存在証明2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  2011年度応用数学合同研究集会
- 発表場所
  龍谷大学理工学部
- 年月日
  2011-12-16
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について2011
- 著者名/発表者名
  木下武彦,渡部善隆,中尾充宏
- 学会等名
  日本応用数理学会2011年度年会講演予稿集
- 発表場所
  同志社大学
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 逐次反復に基づく関数方程式の計算機援用証明2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2011年度年会講演予稿集
- 発表場所
  同志社大学
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 微分方程式の精度保証付き数値計算,研究集会2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  可積分系数理の進化,京都大学数理解析研究所
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] Orr{Sommerfeld方程式に対する局所一意性付き計算機援用証明2011
- 著者名/発表者名
  渡部善隆
- 学会等名
  2011年度日本数学会秋期総合分科会
- 発表場所
  信州大学松本キャンパス
- 年月日
  2011-10-01
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開学際大規模情報基盤共同利用2010
- 著者名/発表者名
  山本野人、松田望、渡部善隆、藤原宏志
- 学会等名
  共同研究拠点第1回シンポジウム
- 発表場所
  東京大学
- 年月日
  2010-09-01
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Legendre多項式を用いた高精度品質保証-およびその課題2010
- 著者名/発表者名
  渡部善隆,木下武彦
- 学会等名
  日本応用数理学会2010年研究部会連合発表会
- 発表場所
  筑波大学
- 年月日
  2010-03-08
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] An enclosure method for solutions of FitzHugh-Nagumo equation2010
- 著者名/発表者名
  Shuting Cai, 長藤かおり, 渡部善隆
- 学会等名
  2010年度応用数学合同研究集会報告集pp.197-198
- 発表場所
  龍谷大学
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010
- 著者名/発表者名
  Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2010(LNVA2010)
- 発表場所
  Hachijyo-jima, Japan
- 年月日
  2010-03-11
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] 逐次反復に基づく関数方程式の精度保証付き数値計算2010
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会:「科学計算の信頼性とその周辺に関するワークショップ」,西海国立公園九十九島ビジターセンター
- 発表場所
  佐世保市
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] MATLABで偏微分方程式の精度保証プログラムを作ってみました2010
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学数値解析学セミナー
- 発表場所
  九州大学大学院数理学研究院
- 年月日
  2010-07-27
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2010(INVA2010)
- 発表場所
  Hotel Lido Azzurro, Hachijyo Island, Tokyo, Japan
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 無限次元固有値問題に対する固有値の除外法2010
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会:「数値解析と計算の信頼性評価」
- 発表場所
  ハウステンボス,ユトレヒト,佐世保市
- 年月日
  2010-11-23
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] A self-validating norm computation of inverse for infinite dimensional linear operators and its applications2010
- 著者名/発表者名
  Y.Watanabe
- 学会等名
  SCAN 2010
- 発表場所
  ENS de Lyon, France
- 年月日
  2010-09-30
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] A self-validating norm computation of inverse for infinite dimensional linear operators and its applications2010
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics(SCAN 2010)
- 発表場所
  ENS de Lyon, France
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2010(INVA2010)
- 発表場所
  Hotel Lido Azzurro, Tokyo, Japan
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Legendre多項式を用いた高精度品質保証-およびその課題-2010
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2010年研究部会連合発表会
- 発表場所
  筑波大学
- 年月日
  2010-03-08
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010
- 著者名/発表者名
  Y, Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2010
- 発表場所
  Hotel Lido Azzurro, Tokyo, Japan
- 年月日
  2010-03-11
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 非自己共役作用素に対する固有値の除外法2010
- 著者名/発表者名
  渡部善隆,長藤かおり,中尾充宏
- 学会等名
  日本応用数理学会2010年度年会
- 発表場所
  明治大学
- 年月日
  2010-09-08
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 非自己共役作用素に対する固有値の除外法2010
- 著者名/発表者名
  渡部善隆、長藤かおり、中尾充宏
- 学会等名
  日本応用数理学会2010年度年会
- 発表場所
  明治大学
- 年月日
  2010-09-08
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Legendre多項式を用いた高精度品質保証-およびその課題-2010
- 著者名/発表者名
  渡部善隆, 他
- 学会等名
  日本応用数理学会2010年研究部会連合発表会
- 発表場所
  筑波大学
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] An enclosure method for solutions of FitzHugh-Nagumo equation2010
- 著者名/発表者名
  Shuting Cai,長藤かおり,渡部善隆
- 学会等名
  応用数学合同研究集会報告集
- 発表場所
  龍谷大学
- 年月日
  2010-12-16
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 無限次元固有値問題に対する固有値の除外法2010
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会:「数値解析と計算の信頼性評価」,ハウステンボス,ユトレヒト
- 発表場所
  佐世保市
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] A self-validating norm computation of inverse for infinite dimensional linear operators and its applications2010
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010)
- 発表場所
  ENS de Lyon, France
- 年月日
  2010-09-30
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] MATLABで偏微分方程式の精度保証プログラムを作ってみました2010
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学数値解析学セミナー,九州大学大学院数理学研究院
- 年月日
  2010-07-27
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] Computer assisted proofs for partial differential equations2010
- 著者名/発表者名
  Kaori Nagatou and Yoshitaka Watanabe
- 学会等名
  Seminar at University of Kent, UK
- 年月日
  2010-03-31
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 楕円型作用素の逆作用素の作用素ノルムの評価の改良について2009
- 著者名/発表者名
  木下武彦,渡部善隆,中尾充宏
- 学会等名
  日本数学会2009年度秋季総合分科会
- 発表場所
  大阪大学
- 年月日
  2009-09-26
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] Orr-Sommerfbld方程式の複素固有値の除外に対する計算機援用証明2009
- 著者名/発表者名
  渡部善隆, 他
- 学会等名
  2009年度日本応用数理学会年会
- 発表場所
  大阪大学
- 年月日
  2009-09-30
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法II2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  応用数学合同研究集会
- 発表場所
  龍谷大学
- 年月日
  2009-12-17
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International workshop on verified computations and related topics, University of Karlsruhe (TH), Germany. COE Lecture Note
- 発表場所
  Faculty of Mathematics, Kyushu University(Vol.15)
- 年月日
  2009-03-08
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 計算機援用証明による並行Poiseuille流れの安定性・不安性解析2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学数値解析学セミナー
- 発表場所
  九州大学
- 年月日
  2009-04-28
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法II2009
- 著者名/発表者名
  渡部善隆, 他
- 学会等名
  応用数学合同研究集会
- 発表場所
  龍谷大学
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] An eigenvalue excluding method for the Orr-Sommerfeld problem2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Conference on Engineering and Computational Mathematics(ECM2009)
- 発表場所
  The Hong Kong Polytechnic University, HongKong, China
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  2009 International Workshop on Numerical Verification and its Applications
- 発表場所
  Miyakojima, Japan
- 年月日
  2009-03-24
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] An eigenvalue excluding method for the Orr-Sommerfeld problem2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Conference on Engineering and Computational Mathematics(ECM2009)
- 発表場所
  The Hong Kong Polytechnic University, Hong Kong, China
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 無限次元固有値問題に対する固有値の非存在証明2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  数値解析と数値計算アルゴリズムの最近の展開
- 発表場所
  京大会館
- 年月日
  2009-12-16
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International workshop on verified computations and related topics
- 発表場所
  Karlsruhe. Germany
- 年月日
  2009-03-08
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2009(INVA2009)
- 発表場所
  Hotel Breeze Bay Marina, Miyako Island, Japan
- 年月日
  2009-03-24
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会:「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信
- 発表場所
  公立はこだて未来大学
- 年月日
  2009-11-22
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 計算機援用証明による並行Poiseuille流れの安定性・不安性解析,九州大学数値解析学セミナー2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学大学院数理学研究院
- 年月日
  2009-04-28
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] Spectral problem for 3-D photonic crystals, Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2009(ICNAAM-2009)2009
- 著者名/発表者名
  Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe and Ian Wood
- 学会等名
  September 18-22, Rethymno, Crete, Greece. AIP Conference Proceedings
- 年月日
  2009-09-21
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 熱対流問題の精度保証-計算の品質評価-2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  産業技術数理研究センター第7回ワークショップ水素利用社会の実現に向けた数値解析からの貢献
- 発表場所
  九州大学
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] 計算機援用証明による並行Poiseuille流れの安定性・不安性解析2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学数値解析学セミナー
- 発表場所
  九州大学
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Orr-Sommerfeld方程式の複素固有値の除外に対する計算機援用証明2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2009年度年会
- 発表場所
  大阪大学
- 年月日
  2009-09-30
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法II2009
- 著者名/発表者名
  渡部善隆,中尾充宏, Michael Plum,長藤かおり
- 学会等名
  応用数学合同研究集会報告集
- 発表場所
  龍谷大学
- 年月日
  2009-12-17
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] 熱対流問題の精度保証-計算の品質評価2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学産業数理研究センター第7回ワークショップ
- 年月日
  2009-09-03
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] Orr-Sommerfeld問題の解に対する局所-意性付き数値的検証2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会 : 「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信-
- 発表場所
  公立はこだて未来大学
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信-
- 発表場所
  公立はこだて未来大学
- 年月日
  2009-11-22
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] 無限次元固有値問題に対する固有値の非存在証明2009
- 著者名/発表者名
  渡部善隆, 他
- 学会等名
  研究集会・数値解析と数値計算アルゴリズムの最近の展開
- 発表場所
  京大会館
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Orr-Sommerfeld方程式の複素固有値の除外に対する計算機援用証明2009
- 著者名/発表者名
  渡部善隆,中尾充宏, Michael Plum,長藤かおり
- 学会等名
  日本応用数理学会2009年度年会
- 発表場所
  大阪大学
- 年月日
  2009-09-30
- データソース
  KAKENHI-PROJECT-21540134
[学会発表] An eigenvalue excluding method for the Orr-Sommerfeld problem2009
- 著者名/発表者名
  Y. Watanabe
- 学会等名
  International Conference on Engineering and Computational Mathematics (ECM2009)
- 発表場所
  The Hong Kong Polytechnic University, Hong Kong, China
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] 熱対流問題の精度保証-計算の品質評価-2009
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学産業数理研究センター第7回ワークショップ
- 発表場所
  九州大学
- 年月日
  2009-09-03
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] An eigenvalue excluding method for the Orr-Sommerfeld problem2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Conference on Engineering and Computational Mathematics(ECM2009)
- 発表場所
  The Hong Kong Polytechnic University
- 年月日
  2009-05-27
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A verified eigenvalue exeluding method for the Orr-Sommerfeld problem with Poiseuille flow2009
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications 2009
- 発表場所
  沖縄県宮古市
- 年月日
  2009-03-24
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2008年度秋季総合分科会
- 発表場所
  東京工業大学
- 年月日
  2008-09-27
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
- 発表場所
  KKRホテル金沢
- 年月日
  2008-11-17
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
- 発表場所
  KKRホテル金沢
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008
- 著者名/発表者名
  渡部善隆, 長藤かおり, 山本成樹, 木下武彦
- 学会等名
  日本応用数理学会2008年度年会
- 発表場所
  東京大学
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008
- 著者名/発表者名
  渡部善隆, 中尾充宏, Michael Plum, 長藤かおり
- 学会等名
  2008年度応用数学合同研究集会
- 発表場所
  龍谷大学理工学部
- 年月日
  2008-12-16
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008
- 著者名/発表者名
  長藤かおり, 渡部善隆, 山本成樹, 木下武彦
- 学会等名
  日本数学会2008年度秋季総合分科会
- 発表場所
  東京工業大学
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 解けたらうれしい線形方程式2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  第13回計算工学講演会
- 発表場所
  仙台市仙台市民会館
- 年月日
  2008-05-20
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
- 発表場所
  KKRホテル金沢
- 年月日
  2008-11-17
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] Validated computations for elliptic systems of FitzHugh-Nagumo type2008
- 著者名/発表者名
  Kaori Nagatou, Yoshitaka Watanabe, Shigeki Yamamoto and Takehiko Kinoshita
- 学会等名
  13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics(SCAN 2008)
- 発表場所
  El Paso, USA
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2008年度秋季総合分科会
- 発表場所
  東京工業大学
- 年月日
  2008-09-27
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2008年度年会
- 発表場所
  東京大学柏キャンパス, 柏
- 年月日
  2008-09-18
- データソース
  KAKENHI-PROJECT-16104001
[学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008
- 著者名/発表者名
  渡部善隆, 中尾充宏, Michael Plum, 長藤かおり
- 学会等名
  応用数学合同研究集会報告集
- 発表場所
  龍谷大学(163-166)
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] Computer assisted proofs of solutions for nonlinear heat convection problems2008
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications(INVA2008)
- 発表場所
  Tokyo Dai-ichi Hotel Okinawa Grand Mer Resort
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 科学技術計算の品質保証2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  先駆的科学計算に関するフォーラム2008 -高精度・多倍長計算-
- 発表場所
  九州大学
- 年月日
  2008-08-08
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2008年度年会
- 発表場所
  東京大学柏キャンパス
- 年月日
  2008-09-18
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] 解けたらうれしい線形方程式2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  第13回計算工学講演会
- 発表場所
  仙台市公民館
- 年月日
  2008-05-20
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  2008年度応用数学合同研究集会
- 発表場所
  龍谷大学理工学部
- 年月日
  2008-12-16
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] 科学技術計算の品質保証2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  先駆的科学計算に関するフォーラム2008〜高精度・多倍長計算〜
- 発表場所
  九州大学
- 年月日
  2008-08-08
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] 解けたらうれしい線形方程式(Vol.13)2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  計算工学講演会論文集
- 発表場所
  仙台市民会館
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 無限次元非線形システムの精度保証付きパラメータ同定技法について2008
- 著者名/発表者名
  中尾充宏, 渡部善隆
- 学会等名
  産業技術数理研究センター第4回ワークショップ
- 発表場所
  九州大学
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] Computer assited proofs of solutions for nonlinear heat convection problems2008
- 著者名/発表者名
  Y. Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications
- 発表場所
  沖縄市
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2008年度年会
- 発表場所
  東京大学
- 年月日
  2008-09-18
- データソース
  KAKENHI-PROJECT-20224001
[学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2008年度秋季総合分科会
- 発表場所
  東京工業大学大岡山キャンパス, 東京
- 年月日
  2008-09-27
- データソース
  KAKENHI-PROJECT-16104001
[学会発表] 科学技術計算の品質保証2008
- 著者名/発表者名
  渡部善隆
- 学会等名
  先駆的科学計算に関するフォーラム2008~高精度・多倍長計算~
- 発表場所
  九州大学
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 並行Poiseuille流れの安定性に関する計算機援用解析2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会・流れ問題のための高品質数値解法と精度保証計算
- 発表場所
  島根県民会館, 松江市
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] ある反応拡散方程式系に対する精度保証付き数値計算, 日本数学会2007年度秋季総合分科会2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  応用数学分科会講演アブストラクト
- 発表場所
  東北大学
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] センター計算機群に対する実アプリケーションに即した性能評価2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  RIITフォーラム2007
- 発表場所
  九州大学
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A computer-assited proof of solutions for three dimensional nonlinear heat convection problem2007
- 著者名/発表者名
  Y. Watanabe
- 学会等名
  International Conference on Recent Developments of Numerical Schemes for Flow Problems
- 発表場所
  Kyushu University
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems2007
- 著者名/発表者名
  Y.Watanabe
- 学会等名
  International Conference on Recent Developments of Numerical Schemes for Flow Problems
- 発表場所
  Kyushu University Nishijin Plaza, Fukuoka
- 年月日
  2007-07-29
- データソース
  KAKENHI-PROJECT-16104001
[学会発表] 並行Poiseuille流れの安定性に関する計算機援用解析2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会・流れ問題のための高品質数値解法と精度保証計算
- 発表場所
  島根県松江市
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A computer-assisted instability proof for the plane Poiseuille flow2007
- 著者名/発表者名
  渡部善隆, Michael Plum, 長藤かおり, 中尾充宏
- 学会等名
  応用数学合同研究集会報告集
- 発表場所
  龍谷大学(198-199)
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 並行Poiseuille流れの不安定性に対する計算機援用証明2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  計算科学の基盤技術としての高速アルゴリズムとその周辺
- 発表場所
  京都大学数理解析研究所, 京都
- 年月日
  2007-11-14
- データソース
  KAKENHI-PROJECT-16104001
[学会発表] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会
- 発表場所
  北海道大学
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] ある反応拡散方程式系に対する精度保証付き数値計算2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2007年度秋季総合分科会
- 発表場所
  東北大学
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2007年度年会講演予稿集
- 発表場所
  北海道大学
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本応用数理学会2007年度年会
- 発表場所
  北海道大学工学部, 札幌
- 年月日
  2007-09-16
- データソース
  KAKENHI-PROJECT-16104001
[学会発表] 反応拡散方程式系の解に対する計算機援用証明法2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学数値解析学セミナー
- 発表場所
  九州大学
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A computer-assited proof of solutions for an eliptic system of reaction-diffusion equations2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  「精度保証付き数値計算とその周辺」ワークショップ
- 発表場所
  岐阜大学
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] センター計算機群に対する実アプリケーションに即した性能評価2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  RIITフォーラム2007(2007年度九州大学情報基盤研究開発センター研究発表会)
- 発表場所
  九州大学留学生センター国際ホール
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 反応拡散方程式系の解に対する計算機援用証明2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  九州大学数値解析学セミナー
- 発表場所
  九州大学大学院数理学研究院
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] A computer-assisted instability proof for the plane Poiseuille flow2007
- 著者名/発表者名
  渡部善隆, Michael Plum, 長藤かおり, 中尾充宏
- 学会等名
  応用数学合同研究集会報告集
- 発表場所
  龍谷大学
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] Some computer-assited Proofs for nonlinear heat convection Problem2007
- 著者名/発表者名
  Y. Watanabe
- 学会等名
  2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation
- 発表場所
  Taipei
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] 並行Poiseuille流れの不安定性に対する計算機援用証明2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-17002012
[学会発表] A computer-assited proof of solutions for an elliptic system of reaction-diffusion equations2007
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  「精度保証付き数値計算とその周辺」ワークショップ
- 発表場所
  岐阜大学地域科学部
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] ある反応拡散方程式系に対する精度保証付き数値計算2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  日本数学会2007年度秋季総合分科会
- 発表場所
  東北大学川内北キャンパス, 仙台
- 年月日
  2007-09-23
- データソース
  KAKENHI-PROJECT-16104001
[学会発表] 並行Poiseuille流れの不安定性に対する計算機援用証明2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺
- 発表場所
  京都大学数理解析研究所
- 年月日
  2007-11-14
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems2007
- 著者名/発表者名
  Yoshitaka Watanabe22 , Myoungnyoun Kim, Mitsuhiro T. Nakao and Takaaki Nishida
- 学会等名
  INSF2007: International Conference on Recent Developments of Numerical Schemes for Flow Problems, Book of Abstracts(159-162)
- 発表場所
  Kyushu University Nishijin Plaza
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] Some computer-assisted proofs for nonlinear heat convection problems.(Program and Abstracts)2007
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation
- 発表場所
  Institute of Mathematics, Academia Sinica, Nankang, Taipei, the Republic of China
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] A computer-assisted proof of the existence of Benard cells for the heat convection problems2007
- 著者名/発表者名
  Yoshitaka Watanabe
- 学会等名
  International Workshop on Numerical Verification and its Applications(INVA2007)
- 発表場所
  Waseda University
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 疎行列に対する線形方程式の直接解法を用いた固有値・特異値計算2007
- 著者名/発表者名
  渡部善隆
- 学会等名
  第2回計算科学研究ステーション研究集会
- 発表場所
  電気通信大学情報工学科
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 非対称疎行列に対する連立1次方程式の直接解法を用いた特異値計算(70-73)2006
- 著者名/発表者名
  渡部善隆
- 学会等名
  第10回環瀬戸内応用数理研究部会シンポジウム講演予稿集
- 発表場所
  沖縄県青年会館
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 計算機援用証明による熱対流問題の分岐点の存在検証2006
- 著者名/発表者名
  渡部善隆, 中尾充宏, 山本野人, 西田孝明
- 学会等名
  九州大学数値解析学セミナー
- 発表場所
  九州大学大学院数理学研究院
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 3次元熱対流問題に対する解の数値的検証について2006
- 著者名/発表者名
  渡部善隆, Myoungnyoun Kim, 西田孝明, 中尾充宏
- 学会等名
  研究集会・流れ問題の数値解析と精度保証付き数値計算
- 発表場所
  ブケ東海静岡(静岡市)
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems, 12th GAMM-IMACS International Symposion on Scientific Computing2006
- 著者名/発表者名
  Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida
- 学会等名
  Computer Arithmetic and Validated Numerics
- 発表場所
  Duisburg, Germany
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] 疎行列に対する連立1次方程式の直接解法を援用した固有値・特異値計算2006
- 著者名/発表者名
  渡部善隆
- 学会等名
  第11回情報・統計科学シンポジウム
- 発表場所
  九州大学留学生会館国際ホール
- データソース
  KAKENHI-PROJECT-18540127
[学会発表] Some computer assisted proofs on the bifurcation structure of solutions for heat convection problems2005
- 著者名/発表者名
  Nakao, M. T., Watanabe, Y., Yamamoto, N., Nishida, T. and Kim, M.-N.
- 学会等名
  International Symposium on Nonlinear Theory and its Applications 2005
- 発表場所
  Bruges, Belgium
- データソース
  KAKENHI-PROJECT-16104001
[学会発表] 無限次元非線形関数方程式に対するNewton反復型計算機援用証明
- 著者名/発表者名
  渡部善隆、中尾充宏
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  愛媛大学
- データソース
  KAKENHI-PROJECT-24540151
[学会発表] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察
- 著者名/発表者名
  渡部善隆，木下武彦, 木村拓馬，山本野人，中尾充宏
- 学会等名
  2013年度応用数学合同研究集会
- 発表場所
  龍谷大学理工学部
- データソース
  KAKENHI-PROJECT-24540151
[学会発表] Some remarks on the rigorous estimation of inverse linear elliptic operators
- 著者名/発表者名
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- 学会等名
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2014)
- 発表場所
  University of Wuerzburg, Germany
- 年月日
  2014-09-21 – 2014-09-26
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] A numerical verification method for the Orr-Sommerfeld problem
- 著者名/発表者名
  渡部善隆
- 学会等名
  研究集会: 流体方程式の構造と特異性に迫る数値解析・数値計算
- 発表場所
  名古屋大学
- 年月日
  2014-12-08 – 2014-12-09
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 2階楕円型作用素における構成的Laplacianノルム評価
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2014年度年会
- 発表場所
  政策研究大学院大学
- 年月日
  2014-09-03 – 2014-09-05
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(上
- 著者名/発表者名
  渡部善隆
- 学会等名
  応用数学合同研究集会
- 発表場所
  龍谷大学
- 年月日
  2014-12-18 – 2014-12-20
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 楕円型線形逆作用素評価の収束性について
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本応用数理学会2015年研究部会連合発表会
- 発表場所
  明治大学中野キャンパス
- 年月日
  2015-03-06 – 2015-03-07
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 楕円型線形逆作用素評価の収束性について
- 著者名/発表者名
  渡部善隆, 木下武彦, 中尾充宏
- 学会等名
  日本数学会2015年度年会
- 発表場所
  明治大学
- 年月日
  2015-03-21 – 2015-03-24
- データソース
  KAKENHI-PROJECT-24340018
[学会発表] 精度保証付き数値計算による楕円型作用素の逆作用素ノルム評価
- 著者名/発表者名
  渡部善隆
- 学会等名
  RIMS研究集会・新時代の科学技術を牽引する数値解析学, 京都大学数理解析研究所
- 発表場所
  京都大学数理解析研究所
- 年月日
  2014-10-08 – 2014-10-10
- データソース
  KAKENHI-PROJECT-24340018

1. 中尾充宏 (10136418)

共同の研究課題数: 9件

共同の研究成果数: 71件
2. 長藤かおり (40326426)

共同の研究課題数: 6件

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

共同の研究課題数: 6件

共同の研究成果数: 1件
4. 木下武彦 (30546429)

共同の研究課題数: 5件

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

共同の研究課題数: 5件

共同の研究成果数: 0件
6. 劉雪峰 (50571220)

共同の研究課題数: 4件

共同の研究成果数: 0件
7. 山本野人 (30210545)

共同の研究課題数: 3件

共同の研究成果数: 7件
8. 高安亮紀 (60707743)

共同の研究課題数: 3件

共同の研究成果数: 0件
9. 大石進一 (20139512)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 島崎眞昭 (60026242)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 佐藤周行 (20225999)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 田端正久 (30093272)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 西田孝明 (70026110)

共同の研究課題数: 2件

共同の研究成果数: 3件
14. 柴田良弘 (50114088)

共同の研究課題数: 2件

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

共同の研究課題数: 2件

共同の研究成果数: 1件
16. 石田慶樹 (20201030)

共同の研究課題数: 2件

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

共同の研究課題数: 2件

共同の研究成果数: 1件
18. MICHAEL Plum

共同の研究課題数: 2件

共同の研究成果数: 1件
19. 中木達幸 (50172284)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 木村正人 (70263358)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 鈴木厚 (60284155)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 栄伸一郎 (30201362)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 村重淳 (40302749)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 松延栄治 (30199830)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 天野浩文 (80231992)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 南里豪志 (70284578)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 藤井康雄 (60026094)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 吉川敦 (80001866)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 木實新一 (70234804)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 古川哲也 (00209165)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 荻田武史 (00339615)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 関根晃太 (80732239)

共同の研究課題数: 1件

共同の研究成果数: 0件

渡部 善隆 WATANABE Yoshitaka

渡辺 善隆 ワタナベ ヨシタカ

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

熱対流問題の解の大域構造に対する計算機援用証明研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

渡部善隆 WATANABE Yoshitaka

渡辺善隆ワタナベヨシタカ