• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

中尾 充宏  NAKAO Mitsuhiro

ORCIDORCID連携する *注記
… 別表記

中尾 充弘  ナカオ ミツヒロ

中尾 充広  NAKAO Mitsuhiro

中尾 光宏  ナカオ ミツヒロ

隠す
研究者番号 10136418
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2024年度: 早稲田大学, 理工学術院, その他(招聘研究員)
2016年度 – 2017年度: 九州大学, マス・フォア・インダストリ研究所, 学術研究者
2015年度: 佐世保工業高等専門学校, その他部局等, 校長
2015年度: 佐世保工業高等専門学校, 校長
2014年度: 佐世保工業高等専門学校, その他部局等, その他 … もっと見る
2010年度 – 2013年度: 佐世保工業高等専門学校, 校長
2009年度: 九州大学, 数理学研究院, 教授
2007年度 – 2009年度: 九州大学, 大学院・数理学研究院, 教授
2005年度 – 2006年度: 九州大学, 大学院数理学研究院, 教授
2005年度: 九州大学, 数理学研究院, 教授
2000年度 – 2005年度: 九州大学, 大学院・数理学研究院, 教授
2001年度: 九州大学, 大学院・数理研究院, 教授
1995年度 – 2001年度: 九州大学, 大学院・数理学研究科, 教授
2000年度: 九州大学, 大学院数理学研究院, 教授
1997年度 – 2000年度: 九州大学, 数理学研究科, 教授
1998年度 – 1999年度: 九州大学, 大学院数理学研究科, 教授
1996年度: 九州大学, 数理学研究所, 教授
1996年度: 九州大学大学院, 数理学研究科, 教授
1994年度 – 1995年度: 九州大学, 大学院数理学研究科, 教授
1988年度 – 1993年度: 九州大学, 理学部, 助教授
1986年度 – 1987年度: 九州工業大学, 工学部, 助教授 隠す
審査区分/研究分野
研究代表者
数学一般 / 数学一般(含確率論・統計数学) / 小区分12040:応用数学および統計数学関連 / 数学基礎・応用数学
研究代表者以外
数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 解析学 / 小区分12040:応用数学および統計数学関連 / 大域解析学 / 代数学・幾何学 / 工学 / 理工系 / 基礎解析学
キーワード
研究代表者
計算機援用証明 / 数値解析 / 精度保証付き数値計算法 / 解の数値的検証 / 精度保証付き数値計算 / 有限要素法 / 数値的検証法 / Numerical analysis / 解の事後誤差評価 / Computer assisted proof … もっと見る / Validated computation / 解の数値的検証法 / 有限要素法の構成的誤差評価 / Numerical verification / 非線形発展方程式 / 非線形現象 / 誤差評価 / 楕円型境界値問題 / 誤差解析 / 数値的検証 / 非線形楕円型方程式 / 構成的高精度事前誤差評価 / 非線形偏微分方程式 / Numerical verification method / Validated numerical computation / Mathematical analysis for nonlinear phenomena / Numerical solution of PDEs / 非線形問題 / 科学計算 / 非線形現象の数理解析 / 偏微分方程式の数値解法 / 楕円型方程式 / 計算機上での解析学 / 数式処理 / 計算可能性構造 / 計算機支援解析学 / 数式処理と数値処理 / 楕円型偏微分方程式 / 放物型初期境界値問題 / 精度保証付き計算法 / 数値解法 / 境界値問題 … もっと見る
研究代表者以外
有限要素法 / 精度保証付き数値計算 / 熱対流問題 / 並列計算 / 非線形偏微分方程式 / 数値解析 / 計算機援用証明法 / 地球マントル対流 / Navier-Stokes方程式 / 誤差評価 / 自由境界問題 / 計算機援用証明 / 精度保証付き計算 / Heat convection problems / Computer assisted proof / 解空間の大域的構造 / 力学系 / 精度保証 / 精度保証付き数値計算法 / 微分方程式 / finite element method / 領域分割法 / ナヴィエ・ストークス方程式 / 数理モデリング / 安定性 / 温度依存粘性 / 数値的検証法 / 変分問題 / Global structure of solution space / 非線形波動 / 数値シミュレーション / 一様可解性 / Finite element method / ヘルムホルツ方程式 / クリロフ部分空間法 / Domain decomposition method / PVM / Navier-Stokes equation / 分岐問題 / validated computation / マントル対流 / 安定化有限要素法 / 固有値問題 / 非線形モデル / ブートストラップ法 / 情報量規準 / 計算数理科学 / 離散化 / 数値解法 / drag and lift / modular interpretation / twisted (co) homology / Newton method / 丸め誤差 / 反応拡散方程式系 / 応用数学 / アルゴリズム / 非線形方程式 / 数値計算 / 特性有限要素法 / 精度保証計算 / 移動境界問題 / 非線形反応 / Hypercircle法 / Divergence-free条件 / 鞍点型の固有値問題 / ナビエ・ストークス方程式の定常解 / 軸対称解 / 非自己共役作用素 / 厳密計算ライブラリ / 固有値問題の厳密評価 / ナビエ・ストークス方程式 / 固有値解析 / 非線形解析 / 関数方程式論 / 不動点定理 / 無限次元固有値問題 / 関数解析 / 偏微分方程式 / Free surface problems / Dynamical Systems / Nonlinear Partial Differential Equation / 自由表面問題 / Bifurcation problems / Nonlinear waves / Dynamical systems / Nonlinear partial differential equations / 外部問題 / 粘性衝撃波 / Nedelec's edge elements / moving boundary problems / heat convection problems / parallel computation / numerical simulation / error estimate / 円外帰着波動問題の基本解近似解法 / 自由境界 / ライスナー・ミンドリン型要素 / 多孔質媒体流に対する差分法 / 特異極限法 / 非線形拡散 / 板曲げ要素 / 無限精度数値計算 / Nedelecの辺要素 / Accuracy guaranteed computation / Error estimation constant / Temperature dependent viscosity / Melting glass convection / Earth's mantle convection / Parallel computation / 精度保証付き固有値問題 / 硝子溶融問題 / 地球マントル対流問題 / 渦輪 / 部分領域分割 / 渦輪の速度 / 硝子溶解問題 / 誤差評価定数 / 溶融硝子対流 / Validated computation / Neutral net computation / Earth mantle current / Fundamental solution method / Drichlet to Neumann mapping / Radiation and scattering problem / 混合法 / 多層流 / 放射境界条件 / 構造音場連成問題 / 外部放射問題 / 特異行列 / 四面体一次要素 / 亀裂進展問題 / ディリクレ・ノイマン写像 / ニューロ計算 / 地球マントル流 / 基本解近似解法 / デイリクレ・ノイマン写像 / 放射散乱問題 / 保存系 / Optimization algorithm / Mathem atical modeling / Free surface problem / Multi-phase flow / Ecosystem / Numerical analysis / Complex systems / 数学的モデル / 複雑形状 / 最適化 / ニューラルネットワーク / 反復解法 / 大規模連立一次方程式 / 沿岸生態系 / 油濁 / 最適化アルゴリズム / 数理モデル / 多相流 / 生態系 / 複雑系 / infinite / arbitrary / verification / spectral method / simulation / parallel computing / multiple precision / 高精度 / 無限精度 / 任意精度 / 計算機支援 / 無限 / 任意 / スペクトル法 / シミュレーション / 多倍長 / Taylor-Couette problem / Heat convection problem / Dynamical system / Bifurcation from degenerate singular points / Global bifurcation structure / Nonlinear PDE / 特異摂動的力学系 / Reynolds数,Rayleigh数 / roll,六角形cell / 退化特異点の摂動 / 大域的な分岐構造 / 燃焼合成反応 / 粘性的衝撃波 / 縮約系の大域的解析 / Taylor問題 / 退化特異点からの分岐 / 大域的分岐構造 / moving boundary problem / mantle convection / external domain problems / error analysis / domain decomposition / 計算機支援証明 / 数値シュミレーション / 糖度保証付き数値計算 / 渦電流問題 / 放射・散乱問題 / 多倍長計算 / 抗力・揚力 / 任意精度数値計算 / 抗力と揚力 / 無限領域問題 / 部分領域法 / eigenvalue problem / numerical analysis / numerical verification / computation with guaranteed accuracy / 誤差解析 / 精度保証付き計算法 / Newton法 / Nonlinear multivariate analysis / Resampling methods / Motion and expansion of a vortex ring / Finite element analysis / Numerical verification / Information-theoretic criteria / Chaotic time series / Nonlinear modeling / 情報量・エントロピー / 特異摂動法 / 多次元離散データ / 非線形時系列 / 完全不積文系 / 地球環境シミュレーション / 並列数値計算 / スプライン / 表面張力 / ブーストラップ法 / 楕円型固有値問題の精度保証 / 共鳴不安定性 / 地球マントル対流有限要素近似 / 識別・判別問題 / 渦糸 / 多変量離散データ / 観測カオス / 非線形モデリング / モデル評価規準 / Nonparametric Tests / Object-Intensive Language / Numerical Solution with Guaranteed Error Bounds / Elliptic Boundary Value Problems / Equivalence tests / Nonlinear Models / Bootstrap Methods / Information Criteria / ノンパラメトリック検定 / オブジェクト指向型言語 / 楕円型境界値問題 / 同等性検定 / Computational mathematical sciences / Stability / Discretization / Numerical solutions / Differential equations / Evolution systems / Mathematical modelling / 時間発展系 / computation with guaranteed error bounds / Navier-Stokes equations / parallel computation algorithm / domain decomposition method / leak boundary condition / vortex method and vortex sheet / SOR-ニュートン法 / 数値流体力学 / 数値解の誤差評価 / 差分微分方程式 / 漏洩・透過境界条件 / 並列計算アルゴリズム / 渦法と渦層 / 揚力・抗力の数値計算 / configuration space / intersection theory / hypergeometric / Hasse不変量 / pfaffian / 量子群 / Capelli恒等式 / Selberg型積分 / 交叉理論 / twisted cohomology / twisted cycles / twisted(co)homology / 配置空間 / 交点理論 / 超幾何 / mathematical modelling / interval arithmetic / free boundary-value problem / linear system of equations / numerical solution of differential equations / numerical algorithm / 精度保証付きアルゴリズム / スーパーコンピューテイング / 大規模方程式系 / 数値的安定性 / 常微分方程式系 / 発展方程式 / 区間演算 / 流体力学的方程式 / 連立線型方程式 / 微分方程式数値解法 / 数値アルゴリズム / Generating function of chaotic mapping / Double exponential transformation / Reaction Diffusion system / Dimension reduction method / Finete element method / Free surface waves of fluid / Validated numerical analysis / Taylor渦 / 自動微分法 / 塑性振動解析 / 区間演算ソフトウェア- / 界面の運動 / 逆問題 / 準周期解 / 脳高次機能のモデル / 流体の自由表面問題 / 区間演算ソフトウェアー / 精度保証つき数値計算 / ニュートン法 / カオカ写像の母関数 / 二重指数型変換 / 低次元逓減法 / 流体の自由表面波 / 検証つき数値解析 / Nonstandard Analysis / Concurrency / Axiomatic Set Theory / Formal Methods / Complex Systems / 述語論理 / 並行プロセス / 超準解析 / 並行性 / 公理的集合論 / 形式的方法 / 複雑システム / Semi linear elliptic partial differential equations / Super parallel high speed computation / Numerical computation with result verification / Mathematical model for phytoplankton and marine plants / Finite element approximation of electro-magnetic field problem / Steklov operator / Convection diffusion difference scheme. / Non-stationary Iinear water wave problem / 静電場・静磁場の有限要素数値解析 / 自動数値積分法 / 線形化磁気流体系 / 三次精度有限要素移流スキ-ム / 界面における反応機構の数理モデル / 数値積分法 / 植物性プランクトンと栄養塩の数理モデル / 外部領域問題の有限要素近似 / 移流拡散差分スキ-ム / 水の波固有値問題 / 半線形楕円型偏徴分方程式 / 植物性プランクトン藻類等の数理モデル / スチエクロフ作用素 / 半線形楕円型偏微分方程式 / 超並列高速計算 / 植物性プランクトンと藻類等の数理モデル / 電磁場問題の有限要素近似 / スチェクロフ作用素 / 移流拡散差分スキーム / 水の波線形非定常問題 / 予測確率 / 二階線型楕円型境界値問題 / 一意化微分方程式 / ヒルベルトモジュラー多様体 / 調和的ケーラー葉層構造 / ピンチング問題 / 分岐 / 拡大写像 / CAR代数 / CCR代数 / 縮小作用素 / 無限次元リー代数 / ガレルキン法 / 力学的対称性 / グロタンディェックの不等式 / 作用素イデアル / C^*-代数 / 数値実験 / 収束性 / ガレルキン近似 / 有限要素近似 / 放射冷却問題 / 逆Laplace変換 / 高精度シミュレーション / 非適切問題解析 / 逆問題解析 / 応用解析学 / 多倍長数値計算 / 情報数理 / 事前事後誤差評価 / 特性曲線法 / ナヴィエ・ストークス問題 / 本質的スペクトル / 渦群緩和振動 / エネルギー安定性 / 混相流 / 多孔質媒体流 / 創生解 / 二流体問題 / 特性曲線有限要素法 / 非圧縮粘性流体 / 数値数式融合計算 / 不等式制約 / 限定子除去法 / 最適化問題 / 多項式イデアル分解 / パラメトリックシステム / 不等式制約解法 / Groebner基底 / 代数制約解法 / 記号・代数計算 / 精度保証付数値計算法 / 補間空間論 / 数式処理 / 計算解析学 / Muirhead平均 / 定値形式 / 階段関数 / 実解析 / 数式処理ソフト / 不等式 / 補間関手 / 計算機解析学 / 統計的推測理論 / 多次元離散型データ解析 / 微値的検証法 / 微分不可能計画 / 不等式相条件 / 包絡線 / 動節点 / 最適性条件 / 最良近似 / 双曲型偏微分方程式 / 折れ線近似 / 微分不可能最適化 / 二値データ / 総計数字 / スプライン関数 / ルジャンドル条件 / 非線形楕円型方程式 / 最良近似問題 / 最適制御問題 / 非線形計画法 / スタンダードモノミアル理論 / 帯球函数 / 量子一般線形群GL_-q(n+1) / 大久保理論 / 超幾何函数 / ヤン-バクスター方程式 / q-差分系 / q-セルバーグ積分 / カメロン・マルチン空間 / 確率移動 / 徑比不等式 / 大域密度定理 / O-1法則 / ループ群上のウイーナー測度 / 作用群 / 測度の連続性 隠す
  • 研究課題

    (51件)
  • 研究成果

    (319件)
  • 共同研究者

    (120人)
  •  3次元領域におけるレイノルズ数の大きい流れの計算機援用証明

    • 研究代表者
      劉 雪峰
    • 研究期間 (年度)
      2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      東京女子大学
      新潟大学
  •  偏微分方程式の解に対する数値的検証法の新たな高度化の研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      早稲田大学
  •  無限次元精度保証付き数値計算の新展開に向けての基礎的研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      早稲田大学
  •  無限次元非線形数理モデルに対する高精度数値的検証理論の構築研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      九州大学
      佐世保工業高等専門学校
  •  非線形発展方程式の解に対する精度保証付き数値計算法研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      佐世保工業高等専門学校
  •  精度保証付き数値計算による無限次元逆作用素の最適評価とその応用

    • 研究代表者
      渡部 善隆
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  非線形現象解明に向けた計算機援用解析学の構築研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(S)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      佐世保工業高等専門学校
      九州大学
  •  無限多倍長数値計算環境における高精度数値計算法の確立とその逆問題解析への適用

    • 研究代表者
      磯 祐介
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      京都大学
  •  精度保証付き数値計算学の確立

    • 研究代表者
      大石 進一
    • 研究期間 (年度)
      2005 – 2009
    • 研究種目
      特別推進研究
    • 審査区分
      理工系
      工学
    • 研究機関
      早稲田大学
  •  数値処理と数式処理の融合による計算機援用解析学の可能性に関する基礎的研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      萌芽研究
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  非線形系の大域理論に向けての応用解析学的研究

    • 研究代表者
      西田 孝明
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      早稲田大学
  •  流れ問題のための高品質数値解法の開発と解析とシミュレーション

    • 研究代表者
      田端 正久
    • 研究期間 (年度)
      2004 – 2008
    • 研究種目
      基盤研究(S)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  数値的検証法から計算機援用解析学の構築へ向けての総合的研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2003 – 2006
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  記号・代数計算による最適化問題解法と定理自動証明の研究

    • 研究代表者
      横山 和弘
    • 研究期間 (年度)
      2002 – 2003
    • 研究種目
      萌芽研究
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  非線形系の応用解析学的研究

    • 研究代表者
      西田 孝明
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      京都大学
  •  計算機による解析学創設の可能性に関する基礎的研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      萌芽研究
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  高性能大規模計算に即した数値解析の構築

    • 研究代表者
      田端 正久
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  精度保証付き数値計算法の新展開を目ざしての総合的研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  保存系の計算数理の総合的研究

    • 研究代表者
      三井 斌友
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  偏微分方程式に対する非標準的な有限要素近似解法の研究

    • 研究代表者
      加古 孝
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  遅い流れの熱対流問題を解く実用的計算コードの作成

    • 研究代表者
      田端 正久
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  計算機環境での理論的解析学遂行のための基礎研究

    • 研究代表者
      吉川 敦
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      萌芽的研究
    • 研究分野
      基礎解析学
    • 研究機関
      九州大学
  •  流れ問題の新しい計算手法とその数値シミュレーション

    • 研究代表者
      田端 正久
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  非線形偏微分方程式系の大域理論をめざしての総合的研究

    • 研究代表者
      西田 孝明
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(A)
    • 研究分野
      大域解析学
    • 研究機関
      京都大学
  •  偏微分方程式の無限精度数値シミュレーションに関する研究

    • 研究代表者
      今井 仁司
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      徳島大学
  •  「複雑系の数値解析と最適制御の研究」

    • 研究代表者
      河原田 秀夫
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      千葉大学
  •  精度保証付き数値計算とその計算理工学への応用に関する総合的研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  非線形モデルに基づく統計解析とモデル評価法の研究

    • 研究代表者
      小西 貞則
    • 研究期間 (年度)
      1997 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  精度保証付き計算法の開発と実用化

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      1997 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
      九州大学
  •  最適制御問題と最良近似問題の研究

    • 研究代表者
      川崎 英文
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  発展系の数値解析の総合的研究

    • 研究代表者
      三井 斌友
    • 研究期間 (年度)
      1996 – 1998
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  新しい科学計算技法と応用解析の総合的研究研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  情報量・エントロピーに基づく予測モデル評価法の研究

    • 研究代表者
      小西 貞則
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  最適化と最良近似

    • 研究代表者
      川崎 英文
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  科学技術分野における数値解法の総合的研究

    • 研究代表者
      田端 正久
    • 研究期間 (年度)
      1995 – 1996
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      広島大学
  •  多次元離散型データ解析のための正規直交化多次元スコア検定

    • 研究代表者
      柳川 尭
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  関数方程式の解に対する精度保証付き数値計算法研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  解析的線型微分方程式の幾何的研究

    • 研究代表者
      吉田 正章
    • 研究期間 (年度)
      1994 – 1995
    • 研究種目
      一般研究(B)
    • 研究分野
      解析学
    • 研究機関
      九州大学
  •  量子群・共形場・可解格子模型・ホロノミック q-差分系の相互理解

    • 研究代表者
      三町 勝久
    • 研究期間 (年度)
      1993
    • 研究種目
      一般研究(C)
    • 研究分野
      解析学
    • 研究機関
      九州大学
  •  非線形最適化の基礎理論とその応用

    • 研究代表者
      川崎 英文
    • 研究期間 (年度)
      1993
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  確率測度の無限次元級数解析と距離解析

    • 研究代表者
      佐藤 坦
    • 研究期間 (年度)
      1992
    • 研究種目
      一般研究(C)
    • 研究分野
      解析学
    • 研究機関
      九州大学
  •  微分方程式に対する精度保証付き数値計算法研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1992
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      九州大学
  •  基礎的及び応用的数値アルゴリズムの総合的研究

    • 研究代表者
      三井 斌友
    • 研究期間 (年度)
      1992 – 1994
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      名古屋大学
  •  応用解析と計算数学の総合的研究

    • 研究代表者
      西田 孝明
    • 研究期間 (年度)
      1991 – 1992
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      京都大学
  •  関数方程式に対する自己検証的数値計算法研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1990
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      九州大学
  •  科学技術における数値的手法の総合的研究

    • 研究代表者
      牛島 照夫
    • 研究期間 (年度)
      1990 – 1992
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      電気通信大学
  •  計算科学と複雑システム

    • 研究代表者
      田中 俊一
    • 研究期間 (年度)
      1990 – 1991
    • 研究種目
      一般研究(B)
    • 研究分野
      数学一般
    • 研究機関
      九州大学
  •  無限次元の問題に対する数値計算法研究代表者

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1989
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      九州大学
  •  力学系とその分岐の大域的、位相幾何学的研究

    • 研究代表者
      矢野 公一
    • 研究期間 (年度)
      1988
    • 研究種目
      一般研究(C)
    • 研究分野
      代数学・幾何学
    • 研究機関
      九州大学
  •  無限自由度の系における数理解析的研究

    • 研究代表者
      加藤 幹雄
    • 研究期間 (年度)
      1987
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      九州工業大学
  •  数理物理にあらわれる非線形偏微分方程式の数値解析的研究

    • 研究代表者
      石原 和夫
    • 研究期間 (年度)
      1986
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      九州工業大学

すべて 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表 図書

  • [図書] Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations2019

    • 著者名/発表者名
      Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
    • 総ページ数
      467
    • 出版者
      Springer Nature Singapore
    • ISBN
      9789811376689
    • データソース
      KAKENHI-PROJECT-18K03434
  • [図書] 実例で学ぶ精度保証付き数値計算-理論と実装-2011

    • 著者名/発表者名
      中尾充宏・渡部善隆
    • 総ページ数
      216
    • 出版者
      サイエンス社
    • データソース
      KAKENHI-PROJECT-20224001
  • [図書] 実例で学ぶ精度保証付き数値計算---理論と実装---2011

    • 著者名/発表者名
      中尾充宏・渡部善隆
    • 総ページ数
      216
    • 出版者
      サイエンス社
    • データソース
      KAKENHI-PROJECT-20224001
  • [図書] Special Issue : State of the Art for Self-Validating Numerical Computations2009

    • 著者名/発表者名
      M.T.Nakao, et al
    • 総ページ数
      411
    • 出版者
      Japan Journal of Industrial and Applied Mathematics
    • データソース
      KAKENHI-PROJECT-20224001
  • [図書] State of the Art for Self-Validating Numerical Computations, Japan Journal of Industrial and Applied Mathematics2009

    • 著者名/発表者名
      Nakao, M. T., and Oishi, S.
    • 総ページ数
      411
    • データソース
      KAKENHI-PROJECT-20224001
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • 著者名/発表者名
      田端正久, 中尾充宏
    • 総ページ数
      120
    • 出版者
      講談社
    • データソース
      KAKENHI-PROJECT-16104001
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • 著者名/発表者名
      田端 正久, 中尾 充宏
    • 出版者
      講談社
    • データソース
      KAKENHI-PROJECT-16104001
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価現代技術への数学入門シリーズ2008

    • 著者名/発表者名
      田端正久,中尾充宏
    • 出版者
      講談社
    • データソース
      KAKENHI-PROJECT-20224001
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • 著者名/発表者名
      田端正久, 中尾充宏
    • 総ページ数
      126
    • 出版者
      講談社
    • データソース
      KAKENHI-PROJECT-20224001
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価,現代技術への数学入門シリーズ2008

    • 著者名/発表者名
      田端正久・中尾充宏
    • 出版者
      講談社
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Constructive error estimates for a full-discretized periodic solution of heat equation by spatial finite-element and time spectral method2025

    • 著者名/発表者名
      Kimura Takuma, Minamoto Teruya, Nakao Mitsuhiro T.
    • 雑誌名

      Computers Mathematics with Applications

      巻: 181 ページ: 248-258

    • DOI

      10.1016/j.camwa.2025.01.008

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K20810, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-22K03417, KAKENHI-PROJECT-23K03232
  • [雑誌論文] Error estimates for the fully-discrete Petrov-Galerkin method of a linear parabolic problem2025

    • 著者名/発表者名
      Mizuguchi Makoto, Nakao Mitsuhiro T., Hashimoto Kouji, Sekine Kouta, Oishi Shin’ichi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 42 号: 2 ページ: 831-852

    • DOI

      10.1007/s13160-025-00696-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K20810, KAKENHI-PROJECT-21K03378
  • [雑誌論文] 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
  • [雑誌論文] Rigorous numerical inclusion of the blow-up time for the Fujita-type equation2022

    • 著者名/発表者名
      Mizuguchi Makoto, Sekine Kouta, Hashimoto Kouji, Nakao Mitsuhiro T., Oishi Shin’ichi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 40 号: 1 ページ: 665-689

    • DOI

      10.1007/s13160-022-00545-8

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K13462
  • [雑誌論文] 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
  • [雑誌論文] Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation2022

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 雑誌名

      Computational Methods in Applied Mathematics

      巻: 22 号: 3 ページ: 631-647

    • DOI

      10.1515/cmam-2022-0015

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K03752, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-22K03417, KAKENHI-PROJECT-19K03623
  • [雑誌論文] Computer-assisted proof for the stationary solution existence of the Navier?Stokes equation over 3D domains2022

    • 著者名/発表者名
      Liu Xuefeng、Nakao Mitsuhiro T.、Oishi Shin’ichi
    • 雑誌名

      Communications in Nonlinear Science and Numerical Simulation

      巻: 108 ページ: 106223-106223

    • DOI

      10.1016/j.cnsns.2021.106223

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-23K20810, KAKENHI-PROJECT-20H01820
  • [雑誌論文] Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation2021

    • 著者名/発表者名
      M. Mizuguchi, M. T. Nakao, K. Sekine, S. Oishi
    • 雑誌名

      Journal of Scientific Computing

      巻: 89 号: 2

    • DOI

      10.1007/s10915-021-01636-3

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K13462, KAKENHI-PROJECT-18K03434
  • [雑誌論文] Numerical verification methods for a system of elliptic PDEs, and their software library2021

    • 著者名/発表者名
      K. Sekine, M. T. Nakao, S. Oishi
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 12 号: 1 ページ: 41-74

    • DOI

      10.1587/nolta.12.41

    • NAID

      130007965490

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K03434
  • [雑誌論文] A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems2021

    • 著者名/発表者名
      K. Sekine, M. T. Nakao, S. Oishi, M. Kashiwagi
    • 雑誌名

      Applied Numerical Mathematics

      巻: 169 ページ: 87-107

    • DOI

      10.1016/j.apnum.2021.06.011

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K03434
  • [雑誌論文] Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations2021

    • 著者名/発表者名
      Liu Xuefeng, Nakao Mitsuhiro T., You Chun’guang, Oishi Shin’ichi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 未定 号: 2 ページ: 545-559

    • DOI

      10.1007/s13160-020-00449-5

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-18K03434
  • [雑誌論文] Numerical Verification of Solutions for Nonlinear Parabolic Problems2020

    • 著者名/発表者名
      Hashimoto Kouji、Kinoshita Takehiko、Nakao Mitsuhiro T.
    • 雑誌名

      Numerical Functional Analysis and Optimization

      巻: 41 号: 12 ページ: 1495-1514

    • DOI

      10.1080/01630563.2020.1777159

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K03434
  • [雑誌論文] 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
  • [雑誌論文] A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator2020

    • 著者名/発表者名
      Sekine Kouta、Nakao Mitsuhiro T.、Oishi Shin’ichi
    • 雑誌名

      Numerische Mathematik

      巻: 146 号: 4 ページ: 907-926

    • DOI

      10.1007/s00211-020-01155-7

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K03434
  • [雑誌論文] Constructive error estimates for full discrete approximation of periodic solution for heat equation2020

    • 著者名/発表者名
      Kimura Takuma、Minamoto Teruya、Nakao Mitsuhiro T.
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 368 ページ: 112510-112510

    • DOI

      10.1016/j.cam.2019.112510

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
  • [雑誌論文] 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
  • [雑誌論文] Constructive error analysis of a fulldiscrete finite element method for the heat equations2019

    • 著者名/発表者名
      Hashimoto, K., Kimura, T., Minamoto, T., Nakao, M.T.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 36 号: 3 ページ: 777-790

    • DOI

      10.1007/s13160-019-00362-6

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-18K03440, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
  • [雑誌論文] An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space2019

    • 著者名/発表者名
      Watanabe Yoshitaka、Kinoshita Takehiko、Nakao Mitsuhiro T.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 印刷中 号: 2 ページ: 407-420

    • DOI

      10.1007/s13160-019-00344-8

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15H03637
  • [雑誌論文] Validated Constructive Error Estimations for Biharmonic Problems,2017

    • 著者名/発表者名
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 168-177

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K05012
  • [雑誌論文] 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
  • [雑誌論文] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017

    • 著者名/発表者名
      T. Kimura, T. Minamoto, M. T. Nakao
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 201-212

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K05012
  • [雑誌論文] 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
  • [雑誌論文] 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 a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016

    • 著者名/発表者名
      T. Kinoshita, Y. Watanabe, N. Yamamoto, M. T. Nakao
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 33 ページ: 629-636

    • NAID

      210000183342

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K05012
  • [雑誌論文] Recurrence relations of orthogonal polynomials in <I>H</I><sub>0</sub><sup>1</sup> and <I>H</I><sub>0</sub><sup>2</sup>2015

    • 著者名/発表者名
      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
  • [雑誌論文] On verified computations of solutions for nonlinear parabolic problems2014

    • 著者名/発表者名
      M.T. Nakao
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 5 号: 3 ページ: 320-338

    • DOI

      10.1587/nolta.5.320

    • NAID

      130004555685

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24540151
  • [雑誌論文] On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems2014

    • 著者名/発表者名
      Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
    • 雑誌名

      Numerische Mathematik

      巻: 126 号: 4 ページ: 679-701

    • DOI

      10.1007/s00211-013-0575-z

    • NAID

      120005434971

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24540151
  • [雑誌論文] An improvement of the theorem of a posteriori estimates for inverse elliptic operators2014

    • 著者名/発表者名
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 5 号: 1 ページ: 47-52

    • DOI

      10.1587/nolta.5.47

    • NAID

      130003386652

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
  • [雑誌論文] Numerical verification method of solutions for nonlinear elliptic and evolutional problems2014

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 雑誌名

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

      巻: 1905 ページ: 112-131

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-24540151
  • [雑誌論文] Some remarks on the instability of approximate solutions for ODEs2013

    • 著者名/発表者名
      T. Kimura, T. Kinoshita, M.T. Nakao
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 4 ページ: 80-87

    • NAID

      130003375413

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540151
  • [雑誌論文] Constructive a priori error estimates for a full discrete approximation of the heat equation2013

    • 著者名/発表者名
      M. T. Nakao
    • 雑誌名

      SIAM Journal on Numerial Analysis

      巻: 未定

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540151
  • [雑誌論文] A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations2013

    • 著者名/発表者名
      Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
    • 雑誌名

      Mathematics of Computation

      巻: 82 号: 283 ページ: 1543-1557

    • DOI

      10.1090/s0025-5718-2013-02676-2

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
  • [雑誌論文] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2012

    • 著者名/発表者名
      M. T. Nakao
    • 雑誌名

      Computing

      巻: 94 ページ: 151-162

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540151
  • [雑誌論文] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2012

    • 著者名/発表者名
      M. T. Nakao, T. Kinoshita, T. Kimura
    • 巻
      94
    • ページ
      151-162
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Eigenvalue excluding for perturbed-periodic one-dimensional Schrodinger operators2012

    • 著者名/発表者名
      K. Nagatou, M. Plum, M. T. Nakao
    • 雑誌名

      Proceedings of the Royal Society A

      巻: 468 号: 2138 ページ: 545-562

    • DOI

      10.1098/rspa.2011.0159

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001, KAKENHI-PROJECT-24540151
  • [雑誌論文] 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
  • [雑誌論文] 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
  • [雑誌論文] A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations2011

    • 著者名/発表者名
      T. Kinoshita, T. Kimura, M. T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 236 ページ: 1622-1636

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2011

    • 著者名/発表者名
      M.T.Nakao
    • 雑誌名

      Computing

      巻: 94 ページ: 151-162

    • 査読あり
    • データソース
      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
  • [雑誌論文] A numerical verification method for a periodic solution of a delay differential equation2010

    • 著者名/発表者名
      T. Minamoto, M. T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 235 ページ: 870-878

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] 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
  • [雑誌論文] On very accurate enclosure of the optimal constant in the a priori error estimates for $H^2_0$-projection2010

    • 著者名/発表者名
      T.Kinoshita, M.T.Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 234 ページ: 526-537

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] On very accurate enclosure of the optimal constant in the a priori error estimates for$ H^2_0$-projection2010

    • 著者名/発表者名
      T. Kinoshita, M. T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 234 ページ: 526-537

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] 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
  • [雑誌論文] 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 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 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
  • [雑誌論文] On very accurate verification of solutions for boundary value problems by using spectral methods2009

    • 著者名/発表者名
      Nakao, M. T. and Kinoshita, T.
    • 雑誌名

      JSIAM Letters 1

      ページ: 21-24

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] 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
  • [雑誌論文] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator2009

    • 著者名/発表者名
      T. Kinoshita, K. Hashimoto, M.T. Nakao
    • 雑誌名

      Numerical Functional Analysis and Optimization 30

      ページ: 289-305

    • 査読あり
    • データソース
      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 numerical verification method for solutions of nonlinear parabolic problems2009

    • 著者名/発表者名
      Nakao, M. T. and Hashimoto, K.
    • 雑誌名

      Journal of Math-for-Industry

      ページ: 69-72

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] On the$ L^2$ a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator2009

    • 著者名/発表者名
      Kinoshita, T., Hashimoto, K. and Nakao, M. T.
    • 雑誌名

      Numerical Functional Analysis and Optimization

      巻: 30 ページ: 289-305

    • 査読あり
    • データソース
      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
  • [雑誌論文] 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
  • [雑誌論文] On very accurate verification of solutions for boundary value problems by using spectral methods2009

    • 著者名/発表者名
      M.T.Nakao, et al
    • 雑誌名

      JSIAM Letters 1

      ページ: 21-24

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] A numerical verification method for solutions of nonlinear parabolic problems2009

    • 著者名/発表者名
      M.T.Nakao, et al
    • 雑誌名

      Journal of Math-for-Industry, JMI2009A-9

      ページ: 69-72

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-B{\' e}nard problems2009

    • 著者名/発表者名
      M.Kim, M.T.Nakao, Y.Watanabe, T.Nishida
    • 雑誌名

      Numerische Mathematik Vol.111

      ページ: 389-406

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19340022
  • [雑誌論文] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Applied Mathematics Letters (掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17654026
  • [雑誌論文] On guaranteed error bounds of finite element approximations for non-coercive elliptic problems and its applications2008

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Journal of Computational and Applied Mathematics (掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17654026
  • [雑誌論文] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      M.T.Nakao and T.Kinoshita
    • 雑誌名

      Applied Mathematics Letters to appear(印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 218

      ページ: 106-115

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A computational approach to constructive a priori and a posteriori errorestimates for finite element approximations of bi-harmonic problems2008

    • 著者名/発表者名
      M. T. Nakao, et al.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications 28

      ページ: 139-148

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of Bi-Harmonic problems2008

    • 著者名/発表者名
      Nakao, M. T., Hashimoto, K. and Nagatou, K.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications 28

      ページ: 139-148

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      M. T. Nakao, K. Hashimoto
    • 雑誌名

      Journal of Computational and Applied Mathematics 218

      ページ: 106-115

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Some remarks on the behavior of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      Nakao, M. T., et al
    • 雑誌名

      Applied Mathematics Letters 21

      ページ: 1310-1314

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      Nakao, M. T. and Kinoshita, T.
    • 雑誌名

      Applied Mathematics Letters 21

      ページ: 1310-1314

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      Nakao, M. T. and Hashimoto, K.
    • 雑誌名

      Journal of Computational and Applied Mathematics 218

      ページ: 106-115

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      Nakao, M. T., et al
    • 雑誌名

      Journal of Computational and Applied Mathematics 218

      ページ: 106-115

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] 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 remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      Nakao, M. T., Kinoshita, T.
    • 雑誌名

      Applied Mathematics Letters

      巻: 21 ページ: 1310-1314

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Some remarks on the behavior of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      M. T. Nakao, et al.
    • 雑誌名

      Applied Mathematics Letters 21

      ページ: 1310-1314

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Guaranteed error bounds of finite element approximations for non-coercive elliptic problems and its applications2008

    • 著者名/発表者名
      M.T. Nakao, K. Hashimoto
    • 雑誌名

      Journal of Computational and Applied Mathematics 218:1

      ページ: 106-115

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2008

    • 著者名/発表者名
      Nakao, M. T., et al
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications 28

      ページ: 139-148

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      Nakao, M. T., Hashimoto, K.
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 218 ページ: 106-115

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] A computational approach to constructive a priori and aposteriori error estimates for finite element approximations of bi-harmonic problems2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications 28

      ページ: 139-148

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Some remarks on the behaviour of'the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 雑誌名

      Applied Mathematics Letters 21

      ページ: 1310-1314

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical verification ofstationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      K.Nagatou, K.Hashimoto and M.T.Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 424-431

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      Nagatou, K., Hashimoto, K. and Nakao, M. T.
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 445-451

    • NAID

      120000981497

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains2007

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 777-799

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17654026
  • [雑誌論文] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • 著者名/発表者名
      T.Minamoto and M.T.Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 1

      ページ: 177-185

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Verified numerical computation of solutions for the stationary Navier-Stokesequation in nonconvex polygonal domains2007

    • 著者名/発表者名
      M.T.Nakao, et. al.
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 777-799

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] On guaranteed error bounds of finite element approximations for non-coerciveelliptic problems and its applications2007

    • 著者名/発表者名
      M.T.Nakao and K.Hashimoto
    • 雑誌名

      Journal of Computational and Applied Mathematics to appear(印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Verified numerical computation of solutions for Navier-Stokes equation2007

    • 著者名/発表者名
      K.Nagatou, M.T.Nakao, et. al.
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 777-799

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      K.Nagatou, K.Hashimoto, M.T.Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 445-451

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • 著者名/発表者名
      Minamoto, T. and Nakao, M. T.
    • 雑誌名

      Journal of Computational and Applied Mathematics 202

      ページ: 177-185

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains2007

    • 著者名/発表者名
      Hashimoto, K., Kobayashi, K. and Nakao, M. T.
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 777-799

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems, to appear in.2007

    • 著者名/発表者名
      Nakao, M. T.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications, Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics, May 26-28, 2005, Hayama, Japan (To appear)

    • データソース
      KAKENHI-PROJECT-17654026
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2007

    • 著者名/発表者名
      M.T.Nakao, et al.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications to appear(印刷中)

    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      K. Nagatou, K. Hashimoto, M.T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 424-431

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical verification of stationary solutions for Navier Stokes problems2007

    • 著者名/発表者名
      M. T. Nakao, et. al.
    • 雑誌名

      J. of Computational and Applied Mathematics vol.19

      ページ: 424-431

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problem2007

    • 著者名/発表者名
      M.T.Nakao, et. al.
    • 雑誌名

      J.of Computational and Applied Mathematics 199

      ページ: 424-431

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • 著者名/発表者名
      T. Minamoto, M.T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 202

      ページ: 177-185

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A numerical verification of bifurcation points for nonlinear heat convection problems2006

    • 著者名/発表者名
      M.T.Nakao, Y.Watanabe, N.Yamamoto, T.Nishida
    • 雑誌名

      Proc. 2nd Intern. Conf. on From Scientific computing to Computational Engineering, Athen, July 5-8, 2006 2

      ページ: 1-8

    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] A numerical verification of bifurcation points for nonlinear heat convection problems2006

    • 著者名/発表者名
      M.T.Nakao
    • 雑誌名

      Proceedings of 2nd International Conference "From Scientific Computing to Computational Engineering", Athen, 5-8 July, 2006

      ページ: 8-8

    • データソース
      KAKENHI-PROJECT-17654026
  • [雑誌論文] A numerical verification of bifurcation points for heat convection2006

    • 著者名/発表者名
      M.T.Nakao, T.Nishida, et. al.
    • 雑誌名

      Proc.Conf.on Scientific Computing, Athen 2nd Proc.

      ページ: 8-8

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] Some computer assisted proofs on 3-D heat convection problems2006

    • 著者名/発表者名
      M.T.Nakao, T.Nishida, et. al.
    • 雑誌名

      Proc.of Nonlinear Theory and its Appl.NOLTA NOLTA'06

      ページ: 427-430

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] A numerical verification of bifurcation points for nonlinear heat convection problems2006

    • 著者名/発表者名
      M.T.Nakao
    • 雑誌名

      the Proceedings of 2nd International Conference "From Scientific Computing to Computational Engineering", 2006

      ページ: 8-8

    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] 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
  • [雑誌論文] A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains2006

    • 著者名/発表者名
      Hashimoto, K., Nagatou, K. and Nakao, M. T.
    • 雑誌名

      Information 9

      ページ: 573-580

    • NAID

      120000981499

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Numerical Verification Methods of Solutions for the Free Boundary Problems2005

    • 著者名/発表者名
      K.Hashimoto, K.Kobayashi, M.T.Nakao
    • 雑誌名

      Numerical Functional Analysis and Optimization Vol.26, No.4-5

      ページ: 523-542

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical verification methods for solutions for the free boundary problems2005

    • 著者名/発表者名
      Hashimoto, K., Kobayashi, K. and Nakao, M. T.
    • 雑誌名

      Numerical Functional Analysis and Optimization 26

      ページ: 523-542

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] 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
  • [雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Computing 75

      ページ: 1-14

    • NAID

      120000981466

    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] 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
  • [雑誌論文] A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems2005

    • 著者名/発表者名
      M.T.Nakao, K.Hashimoto, Y.Watanabe
    • 雑誌名

      Computing 75

      ページ: 1-14

    • NAID

      120000981466

    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化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
  • [雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applicationsto nonlinear problems2005

    • 著者名/発表者名
      Nakao, M. T.
    • 雑誌名

      Computing 75

      ページ: 1-14

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] A numerical method to verify the inevitability of linear elliptic operators with applications to nonlinear problems2005

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Computing 75

      ページ: 1-14

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2005

    • 著者名/発表者名
      M.T.Nakao, K.Hashimoto, K.Nagatou
    • 雑誌名

      Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applicationsto nonlinear problems2005

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Computing 75

      ページ: 1-14

    • データソース
      KAKENHI-PROJECT-17654026
  • [雑誌論文] A computational approach to constructive a priori and a posteriori est2005

    • 著者名/発表者名
      M.T.Nakao, K.Hashimoto, et
    • 雑誌名

      Proc.of the 4th JSIAM-SIMAI Seminar Gakuto J.

      ページ: 5-5

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17340027
  • [雑誌論文] 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
  • [雑誌論文] Numerical verification methods for solutions of the free boundary problems2005

    • 著者名/発表者名
      Hashimoto, K., Kobayashi, K., Nakao, M.T.
    • 雑誌名

      Numerical Functional Analysis and Optimization 26・4-5

      ページ: 523-542

    • データソース
      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
  • [雑誌論文] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Numerical Algorithms 37

      ページ: 311-323

    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] Numerical enclosure of solutions for two dimensional driven cavity problems2004

    • 著者名/発表者名
      Mitsuhiro T.Nakao, K.Nagatou, K.Hashimoto
    • 雑誌名

      Proceedings of 4th European Congress on Computational Methods in Applied Science and Engineering (ECCOMAS 2004)

      ページ: 10-10

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14340035
  • [雑誌論文] Numerical enclosure of solutions for two dimensional driven cavity problems2004

    • 著者名/発表者名
      Mitsuhiro T.Nakao, K.Nagatou, K.Hashimoto
    • 雑誌名

      Proceedings of 4th European Congress on Computational Methods in Applied Science and Engineering (ECCOMAS 2004) 10

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14340035
  • [雑誌論文] 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
  • [雑誌論文] Numerical enclosure of solutions for two dimensional driven cavity problems, in Proceedings of 4th European Congress on Computational Methods2004

    • 著者名/発表者名
      Nakao, Mitsuhiro T., Nagatou, K., Hashimoto, K.
    • 雑誌名

      Applied Science and Engineering(ECCOMAS 2004) 1

      ページ: 10-31

    • データソース
      KAKENHI-PROJECT-14340035
  • [雑誌論文] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • 著者名/発表者名
      Nakao, M.T., Y.
    • 雑誌名

      Numerical Algorithms 37, Special issue for Proceedings of SCAN2002

      ページ: 311-323

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • 著者名/発表者名
      Nakao, M. T.
    • 雑誌名

      Numerical Algorithms 37

      ページ: 311-323

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] Some computer assisted proofs for solutions of the heat convection problems2003

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Reliable Computing 9

      ページ: 359-372

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] Some computer assisted proofs for solutions of the heat convection problems2003

    • 著者名/発表者名
      Nakao, M. T.
    • 雑誌名

      Reliable Computing 9

      ページ: 359-372

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] A numerical method to verify the invertibility of liner elliptic operators with applications to nonlinear problems

    • 著者名/発表者名
      Nakao, M.T.et al.
    • 雑誌名

      Computing 発表予定

    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      Computing (掲載予定)

    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] 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
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems

    • 著者名/発表者名
      Nakao, M.T.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications, Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics, May 26-28,2005,Hayama, Japan (to appear)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15204007
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems

    • 著者名/発表者名
      Nagatou, K., Hashimoto, K., Nakao, M.T.
    • 雑誌名

      Journal of Computational and Applied Mathematics (to appear)

    • NAID

      120000981497

    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator

    • 著者名/発表者名
      Kinoshita, T., Hashimoto, K. and Nakao, M. T.
    • 雑誌名

      Numerical Functional Analysis and Optimization (to appear)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16104001
  • [雑誌論文] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

    • 著者名/発表者名
      M.T.Nakao, et al
    • 雑誌名

      Journal of Scientific Computing, Proc. International Conference on Recent Develop ments of Numerical Schemes for Flow Problems DOI 10.1007/s10915-009-9303-3 (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] レゾルベントのノルムに対する定量的な下界評価とその応用2025

    • 著者名/発表者名
      木下武彦、渡部善隆、中尾充宏
    • 学会等名
      2025年 日本数学会年会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] レゾルベントのノルムに対する定量的な下界評価とその応用2025

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      2025年日本数学会年会
    • データソース
      KAKENHI-PROJECT-23K20810
  • [学会発表] 発展作用素を用いた初期値問題の精度保証付き数値計算~変則的位相を用いた大域解検証への適用について~2024

    • 著者名/発表者名
      橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏
    • 学会等名
      日本応用数理学会第20回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2024

    • 著者名/発表者名
      木下 武彦, 渡部 善隆, 中尾 充宏
    • 学会等名
      日本応用数理学会第20回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] Improvement of numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems2024

    • 著者名/発表者名
      Satoshi Shimizu, Kouta Sekine and Mitsuhiro T. Nakao
    • 学会等名
      The 43rd JSST Annual International Conference on Simulation Technology & The 23rd Asia Simulation Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 熱方程式のPetrov型全離散ガレルキン近似の事前誤差評価2024

    • 著者名/発表者名
      水口 信、中尾 充宏、 橋本 弘治、 関根 晃太、大石 進一
    • 学会等名
      日本応用数理学会2024年度年会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 発展作用素を用いた初期値問題の精度保証付き数値計算~単調性を用いた爆発解検証への適用について~2024

    • 著者名/発表者名
      橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏
    • 学会等名
      日本応用数理学会第20回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-23K20810
  • [学会発表] 近似レゾルベントの作用素ノルムに対する2 次収束する事後誤差評価について2024

    • 著者名/発表者名
      木下武彦、渡部善隆、中尾充宏
    • 学会等名
      2024年応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 発展作用素を用いた初期値問題の精度保証付き数値計算~単調性を用いた爆発解検証への適用について~2024

    • 著者名/発表者名
      橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏
    • 学会等名
      日本応用数理学会第20回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] Improvement of numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems2024

    • 著者名/発表者名
      Satoshi Shimizu, Kouta Sekine and Mitsuhiro T. Nakao
    • 学会等名
      The 43rd JSST Annual International Conference on Simulation Technology & The 23rd Asia Simulation Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20810
  • [学会発表] On some convergence properties for the nite dimensional approximation of linearized inverse elliptic operator2024

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      Workshop of Computational Science and Information Engineering 2024
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 近似レゾルベントの作用素ノルムに対する2次収束する事後誤差評価について2024

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      2024年応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-23K20810
  • [学会発表] 熱方程式のPetrov型全離散ガレルキン近似の事前誤差評価2024

    • 著者名/発表者名
      水口 信,中尾 充宏, 橋本 弘治,関根 晃太,大石 進一
    • 学会等名
      日本応用数理学会2024年度年会
    • データソース
      KAKENHI-PROJECT-23K20810
  • [学会発表] Constructive error estimates for a full-discretized periodic solution of heat equation2023

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 学会等名
      ICIAM 2023 Tokyo, Minisymposium No.02448
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 2 階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価2023

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      2023年 日本数学会 年会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] Constructive error estimates for a full-discretized periodic solution of heat equation2023

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 学会等名
      ICIAM 2023 Tokyo
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20810
  • [学会発表] 放物型方程式の全離散近似解に対する定量的な誤差評価2023

    • 著者名/発表者名
      水口 信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
    • 学会等名
      日本数学会 秋季総合分科会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 精度保証の観点から見た有限要素法の誤差評価について2023

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      隠岐島応用数学研究会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 楕円型作用素の可逆性検証の効率化に関する一考察2023

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      環瀬戸内ワークショップ
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      日本応用数理学会 第19回(2022年度)研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 放物型方程式の全離散近似解に対する定量的な誤差評価2023

    • 著者名/発表者名
      水口 信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
    • 学会等名
      日本数学会 秋季総合分科会
    • データソース
      KAKENHI-PROJECT-23K20810
  • [学会発表] 有限要素法による楕円型近似逆作用素ノルムの収束オーダーについて2023

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      科学計算・計測工学連携ワークショップ
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 放物型方程式の全離散近似 に対する誤差評価について2022

    • 著者名/発表者名
      水口信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
    • 学会等名
      日本応用数理学会 2022年度 年会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] On some convergence properties of approximate inverse operator norm in FEM2022

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] Orr-Sommerfeld 方程式の臨界Reynolds数に対する計算機援用証明2022

    • 著者名/発表者名
      渡部善隆, 長藤かおり, M. Plum, 木下武彦, 中尾充宏
    • 学会等名
      日本数学会2022年度年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本応用数理学会 第18回(2021年度)研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 無限次元線形作用素に対する逆作用素ノルム評価の収束性評価と効率的検証法2022

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      精度保証付き数値計算理論に関する研究打合せ(京都研究会)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本応用数理学会 第18回(2021年度)研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] Orr-Sommerfeld 方程式の臨界Reynolds数に対する計算機援用証明2022

    • 著者名/発表者名
      渡部善隆, 長藤かおり, M. Plum, 木下武彦, 中尾充宏
    • 学会等名
      日本数学会2022年度年会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] On some convergence properties of approximate inverse operator norm in FEM2022

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 重調和方程式の近似解に対する構成的誤差評価の改良2021

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本数学会2021年度年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について2021

    • 著者名/発表者名
      水口 信, 中尾充宏, 関根晃太, 大石進一
    • 学会等名
      日本応用数理学会 2021年度 年会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021

    • 著者名/発表者名
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • 学会等名
      SCAN'2020
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021

    • 著者名/発表者名
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • 学会等名
      SCAN'2020
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について2021

    • 著者名/発表者名
      水口 信, 中尾充宏, 関根晃太, 大石進一
    • 学会等名
      日本応用数理学会 2021年度 年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 重調和方程式の近似解に対する構成的誤差評価の改良2021

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本数学会2021年度年会
    • データソース
      KAKENHI-PROJECT-21K03378
  • [学会発表] 重調和方程式に対するLegendre多項式を用いた構成的誤差評価2020

    • 著者名/発表者名
      渡部善隆、木下武彦、中尾充宏
    • 学会等名
      第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 半線形楕円型偏微分方程式の線形化作用素L:D(Δ)→L2に対するSchur補元を用いた逆作用素の表現方法2020

    • 著者名/発表者名
      関根晃太、中尾充宏、 大石 進一
    • 学会等名
      第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 藤田型方程式の解の爆発時間に対する計算機を用いた数値的包含方法について2020

    • 著者名/発表者名
      水口信、関根晃太、橋 本弘治、中尾充宏、大石 進一
    • 学会等名
      2020年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 半線形楕円型偏微分方程式の解の局所非存在証明法2020

    • 著者名/発表者名
      関根晃太、中尾充宏、大石進一
    • 学会等名
      日本応用数理学会2020年度年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] Hilbert空間における線形作用素に対する可逆性検証の効率化2020

    • 著者名/発表者名
      渡部善隆、木下 武彦、中尾 充宏
    • 学会等名
      日本応用数理学会2020年度年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 有界作用素のレゾルベントに対するある近似作用素の強収束性について2020

    • 著者名/発表者名
      木下武彦、渡部善隆、 中尾充宏
    • 学会等名
      日本数学会年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] A priori error estimates for Poisson’s equation with discontinuous coefficients2020

    • 著者名/発表者名
      Kazuaki Tanaka, Mitsuhiro T. Nakao
    • 学会等名
      日本応用数理学会 2020年 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      2019 年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] Constructive error analysis of a full-discrete finite element method for the heat equation2019

    • 著者名/発表者名
      Kouji Hashimoto, Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 学会等名
      9th International Congress on Industrial and Applied Mathematics-ICIAM
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 線形熱方程式の解と半離散近似解との誤差評価の改善2019

    • 著者名/発表者名
      水口 信, 中尾 充宏, 関根 晃太, 大石 進一
    • 学会等名
      日本応用数理学会 2019年度 年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] H^1_0 関数の直交多項式近似に対する2 次の誤差評価の最良定数について2019

    • 著者名/発表者名
      木下武彦, 渡部善隆, 山本野人, 中尾充宏
    • 学会等名
      日本数学会秋季総合分科会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 非線形発展方程式の初期値問題に対する数値的検証法2019

    • 著者名/発表者名
      橋本弘治, 中尾充宏
    • 学会等名
      第24回 情報・統計科学(BIC)シンポジウム
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 3次元領域におけるNavier-Stokes方程式の定常解の検証2018

    • 著者名/発表者名
      劉 雪峰, 中尾 充宏, 大石 進一
    • 学会等名
      日本応用数理学会年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] On the a priori error estimates of finite dimensional projections for applications to numerical verification of PDEs2018

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      he 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations(SCAN2018)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] On the constructive error estimates of a full-discrete approximation for time-periodic solution of the heat equations2018

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 学会等名
      The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations(SCAN2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 3 次元領域におけるStokes 方程式の有限要素解の事前誤差評価2018

    • 著者名/発表者名
      劉 雪峰、中尾充宏、遊 春光、大石進一
    • 学会等名
      日本数学会年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 2 階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018

    • 著者名/発表者名
      渡部善隆 木下武彦 中尾充宏
    • 学会等名
      日本数学会秋季総合分科会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 2階楕円型作用素に対する逆作用素ノルム評価の改良2018

    • 著者名/発表者名
      渡部 善隆, 木下 武彦, 中尾 充宏
    • 学会等名
      日本応用数理学会年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証2018

    • 著者名/発表者名
      木下武彦、渡部善隆、中尾充宏
    • 学会等名
      日本数学会年会
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] 近似理論から計算機援用証明への道---偏微分問題の精度保証---2018

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      第18回早稲田大学 数学・応用数理談話会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K03434
  • [学会発表] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018

    • 著者名/発表者名
      渡部善隆、木下武彦、中尾充宏
    • 学会等名
      日本応用数理学会2018年 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] On the guaranteed error bounds of a new approximation scheme for parabolic problems2017

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      BIRS Workshop, Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] 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
  • [学会発表] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017

    • 著者名/発表者名
      木下武彦、渡部善隆、中尾充宏
    • 学会等名
      日本数学会秋季総合分科会
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] 値域が共役空間となる2 階楕円型作用素に対する可逆性検証法の改良2017

    • 著者名/発表者名
      木下武彦、渡部善隆、中尾充宏
    • 学会等名
      日本応用数理学会2017年度年会
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] On the numerical norm estimation of the inverse operator in Hilbert space2017

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      Dagstuhl Seminar, Reliable Computation and Complexity on the Reals
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] 精度保証付き数値計算による平行Poiseuille 流れの高精度不安定性解析2016

    • 著者名/発表者名
      渡部善隆、木下武彦、中尾充宏
    • 学会等名
      日本数学会年会
    • 発表場所
      筑波大学
    • 年月日
      2016-03-19
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] On the refinement of constructive a priori error estimates of the finite element methods with applications to verified computation for PDEs2016

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      The Sixth China-Japan-Korea Joint Conference on Numerical Mathematics
    • 発表場所
      NIMS, Daejeon, Korea
    • 年月日
      2016-08-22
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] Validated constructive error estimatations for bi-harmonic problems2016

    • 著者名/発表者名
      Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
    • 学会等名
      17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN 2016)
    • 発表場所
      Uppsala University, Uppsala, Sweden
    • 年月日
      2016-09-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] コンパクト作用素のレゾルベントに対する下側評価2016

    • 著者名/発表者名
      木下武彦, 渡部 善隆, 中尾 充宏
    • 学会等名
      2016年度応用数学合同研究集会
    • 発表場所
      龍谷大学瀬田キャンパス
    • 年月日
      2016-12-16
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] 有限要素法の構成的誤差評価とその計算機援用証明への応用2016

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      RIMS研究集会:現象解明に向けた数値解析学の新展開II
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2016-10-20
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] 線形化、Kolmogorov 問題に対する固有値の除外について2015

    • 著者名/発表者名
      渡部善隆、Nagatou Kaori、Plum Michael、中尾充宏
    • 学会等名
      2015年度日本応用数理学会年会
    • 発表場所
      金沢大学
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] On constructive higher order a priori error estimates of the finite element methods with applications to validated computation for PDEs2015

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      Workshop, Nonlinear PDE days
    • 発表場所
      Karlsruhe Institute of Technology, Germany
    • 年月日
      2015-07-14
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K05012
  • [学会発表] 楕円型線形逆作用素評価の収束性について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
  • [学会発表] 2階楕円型作用素における構成的Laplacianノルム評価2014

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本応用数理学会年会
    • 発表場所
      政策研究大学院大学
    • 年月日
      2014-09-03
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] An alternative approach of invertibility verifications and norm estimations for linear elliptic operators2014

    • 著者名/発表者名
      Takehiko Kinoshita, Yoshitaka Watanabe, 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
  • [学会発表] PDEの周期解の精度保証の現状について2014

    • 著者名/発表者名
      木下武彦、木村拓馬、中尾充宏
    • 学会等名
      第1回山梨精度保証研究会
    • 発表場所
      山梨県甲州市勝沼「ぶどうの丘」
    • 年月日
      2014-09-16
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] 無限次元非線形関数方程式に対するNewton反復型計算機援用証明2013

    • 著者名/発表者名
      渡部 善隆, 中尾 充宏
    • 学会等名
      日本数学会2013年度秋季総合分科会
    • 発表場所
      愛媛大学
    • データソース
      KAKENHI-PROJECT-24340018
  • [学会発表] 楕円型偏微分作用素に対する逆作用素評価の効率化2013

    • 著者名/発表者名
      木下 武彦, 渡部 善隆, 中尾 充宏
    • 学会等名
      日本応用数理学会2013年度年会
    • 発表場所
      アクロス福岡
    • データソース
      KAKENHI-PROJECT-24340018
  • [学会発表] exflibによる平行Poiseuille流れの不安定性解析の高精度化2013

    • 著者名/発表者名
      渡部 善隆, 藤原 宏志, 中尾 充宏
    • 学会等名
      日本応用数理学会2013年度年会
    • 発表場所
      アクロス福岡
    • データソース
      KAKENHI-PROJECT-24340018
  • [学会発表] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察2013

    • 著者名/発表者名
      渡部善隆, 木下 武彦, 木村 拓馬, 山本 野人, 中尾 充宏
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • データソース
      KAKENHI-PROJECT-24340018
  • [学会発表] 発展方程式の解に対する数値的検証法2012

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      ワークショップ「偏微分方程式の最近の話題2012 in別府」
    • 発表場所
      別府国際コンベンションセンター(招待講演)
    • 年月日
      2012-03-18
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the numerical computation of solutions with guaranteed error bounds for nonlinear parabolic problems2012

    • 著者名/発表者名
      Nakao, M.T
    • 学会等名
      International Workshop on Computational Science and Numerical Analysis
    • 発表場所
      The University of Electro-Communications, Tokyo, JAPAN(招待講演)
    • 年月日
      2012-03-24
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 線形化逆作用素ノルムの評価に関する計算上の注意2011

    • 著者名/発表者名
      木村拓馬、木下武彦、中尾充宏
    • 学会等名
      日本応用数理学会2011年研究部会連合発表会
    • 発表場所
      電気通信大学
    • 年月日
      2011-03-08
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 放物型初期境界値問題の数値解に対する精度保証について2011

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      2011年度RIMS研究集会「科学技術計算における理論と応用の新展開」特別講演
    • 発表場所
      京都大学数理解析研究所(招待講演)
    • 年月日
      2011-10-26
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the verified computation of solutions for parabolic initial-boundary value problems2011

    • 著者名/発表者名
      Nakao, M. T
    • 学会等名
      Japanese-German Workshop on Computer Assisted Proofs and Verification Methods
    • 発表場所
      Karlsruhe Institute of Technology, Karlsruhe, Germany
    • 年月日
      2011-09-20
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On a posteriori estimates of inverse operators for linear parabolic initialboundary value problems2011

    • 著者名/発表者名
      Nakao, M.T.
    • 学会等名
      EPSRC Gregynog Workshop 2011 on Analytic and Computational Techniques in Spectral Theory and Related Topics
    • 発表場所
      Gregynog Hall, Newtown, Powy, UK(招待講演)
    • 年月日
      2011-06-20
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 放物型初期境界値問題の数値解に対する精度保証について2011

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      2011年度RIMS研究集会「科学技術計算における理論と応用の新展開」特別講演
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2011-10-26
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the rigorous error estimation in the numerical methods and its applications for computer assisted proofs2011

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      Workshop on Computational Dynamics, Foundations of Computational Mathematics Foundations of Computational Mathematics Conference 2011(FoCM' 11)
    • 発表場所
      Budapest, Hungary
    • 年月日
      2011-07-12
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the verified computation of solutions for parabolic initial-boundary value problems2011

    • 著者名/発表者名
      Nakao, M.T.
    • 学会等名
      Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
    • 発表場所
      Karlsruhe Institute of Technology, Karlsruhe, Germany(招待講演)
    • 年月日
      2011-09-20
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the rigorous error estimation in the numerical methods and its applications for computer assisted proofs2011

    • 著者名/発表者名
      Nakao, M.T.
    • 学会等名
      Workshop on Computational Dynamics, Foundations of Computational Mathematics Conference 2011 (FoCM'11)
    • 発表場所
      Budapest, Hungary(招待講演)
    • 年月日
      2011-07-12
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the method of the inverse norm estimation for linear parabolic operators and its applications2010

    • 著者名/発表者名
      Nakao, M.T., Kinoshita, T., Kimura
    • 学会等名
      China-Japan-Korea Joiny Conference on Numerical Mathematics (CJK2010)
    • 発表場所
      Gangneung University, Gangneung, Korea
    • 年月日
      2010-08-19
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] A numerical verification method of solutions for parabolic initial-boundary value problems using a linearized inverse operator2010

    • 著者名/発表者名
      Mitsuhiro T.Nakao, Takehiko Kinoshita, Takuma Kimura
    • 学会等名
      14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010)
    • 発表場所
      ENS de Lyon, France
    • 年月日
      2010-09-29
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 線形化逆作用素を用いた非線形放物型偏微分方程式の計算機援用証明について2010

    • 著者名/発表者名
      木村拓馬、中尾充宏
    • 学会等名
      研究集会:「数値解析と計算の信頼性評価」
    • 発表場所
      ハウステンボス ユトレヒト第5会議室
    • 年月日
      2010-11-23
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 数値計算の信頼性評価---コンピュータを使った新しい解析学---2010

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      日本応用数理学会2010年度年会総合講演
    • 発表場所
      明治大学駿河台キャンパス
    • 年月日
      2010-09-07
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] An efficient norm estimation for linearized inverse operators with appplications to numerical verification of solutions for nonlinear problems2010

    • 著者名/発表者名
      Nakao, M.T
    • 学会等名
      7th International Conference on Scientific Computing and Applications (ICSCA'10)
    • 発表場所
      Dalian University of Technology, Dalian, China
    • 年月日
      2010-06-14
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 数値計算の信頼性評価-コンピュータを使った新しい解析学-2010

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      日本応用数理学会2010年度年会総合講演
    • 発表場所
      明治大学駿河台キャンパス
    • 年月日
      2010-09-07
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 非自己共役作用素に対する固有値の除外法2010

    • 著者名/発表者名
      渡部善隆、長藤かおり、中尾充宏
    • 学会等名
      日本応用数理学会2010年度年会
    • 発表場所
      明治大学
    • 年月日
      2010-09-08
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 線形化逆作用素を用いた非線形放物型方程式に対する計算機援用証明2010

    • 著者名/発表者名
      中尾充宏, 木下武彦, 木村拓馬
    • 学会等名
      2010年度応用数学合同研究集会
    • 発表場所
      龍谷大学理工学部
    • 年月日
      2010-12-16
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 非凸領域における有限要素解のL2誤差評価に関する注意2009

    • 著者名/発表者名
      中尾充宏, 他
    • 学会等名
      研究集会 : 「数値解析の現状と展望」
    • 発表場所
      公立はこだて未来大学
    • 年月日
      2009-11-23
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Verified computation of a periodic solution of the Roessler system by using delayed feedback control2009

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      INDAM Meeting : Theoretical and computational methods in nonlinear differential equations
    • 発表場所
      Centro Residenziale Universitario di Bertinoro" ,Forli, Italy
    • 年月日
      2009-09-16
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the numerical verification method of solutions for evolutional equations2009

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      International Workshop on Verified Computations and Related Topics
    • 発表場所
      University of Karlsruhe(TH), Karlsruhe, Germany
    • 年月日
      2009-03-09
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the numerical verification method of solutions for evolutional equations2009

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      International Workshop on Verified Computations and Related Topics
    • 発表場所
      University of Karlsruhe, Karlsruhe, Germany
    • 年月日
      2009-03-09
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] On verified computations of the optimal constant in the a priori error estimates for H-2-O-projection2009

    • 著者名/発表者名
      M.T.Nakao, et al
    • 学会等名
      7th International Conference of Numerical Analys is and Applied Mathematics(ICNAAM2009)
    • 発表場所
      Crete, Greece
    • 年月日
      2009-09-21
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the numerical verification method of solutions for evolutional equations2009

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      International Workshop on Verified Computations and Related Topics
    • 発表場所
      Karlsruhe. Germany
    • 年月日
      2009-03-09
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Verified computation of a periodic solution of the Roessler system by using delayed feedback control2009

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      INDAM Meeting : Theoretical and computational methods in nonlinear differential equations,"Centro Residenziale Universitario di Bertinoro"
    • 発表場所
      Forli, Italy
    • 年月日
      2009-09-16
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Some remarks on the a priori L-2 error estimates of a finite element H-1-0-projection on nonconvex domains2009

    • 著者名/発表者名
      Nakao, M.T.
    • 学会等名
      Dagstuhl seminar 09471
    • 発表場所
      Schloss Dagstuhl, Germany
    • 年月日
      2009-11-18
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 年月日
      2008-10-11
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] On very accurate computation for solutions of elliptic problems with result verification by spectral method2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      The 2nd China-Japan-Korea Joint Seminar on Numerical Mathematics
    • 発表場所
      Weihai. China
    • 年月日
      2008-08-26
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      M.T. Nakao
    • 学会等名
      6th International Conference on Scientific Computing and Applications(SCA2008), Pusan National University
    • 発表場所
      Busan, Korea
    • 年月日
      2008-06-03
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Busan, Korea
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      6th International Conference on Scientific Computing and Applications(SCA2008)
    • 発表場所
      Pusan National University, Busan, Korea
    • 年月日
      2008-06-03
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Hotel Riviera, Daejeon, Korea
    • 年月日
      2008-10-11
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      Gregynog Workshop 2008
    • 発表場所
      Cardiff, UK
    • 年月日
      2008-07-16
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 無限次元非線形システムの精度保証付きパラメータ同定技法について2008

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      産業技術数理研究センター第4回ワークショップ
    • 発表場所
      九州大学
    • 年月日
      2008-09-03
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] On very accurate computation of solutions with guaranteed error bounds for nonlinear elliptic problems by using a spectral Galerkin method2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      Institute Seminar for Scientific Computing and Mathematical Modeling
    • 発表場所
      Karlsruhe. Germany
    • 年月日
      2008-07-18
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • 発表場所
      Cardiff, United Kingdom
    • 年月日
      2008-07-16
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008

    • 著者名/発表者名
      渡部善隆, 中尾充宏, Michael Plum, 長藤かおり
    • 学会等名
      2008年度応用数学合同研究集会
    • 発表場所
      龍谷大学理工学部
    • 年月日
      2008-12-16
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Pusan National University, Busan, Korea
    • 年月日
      2008-06-03
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      Gregynog Workshop 2008
    • 発表場所
      Cardiff, UK
    • 年月日
      2008-07-16
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for ellipticproblems with singular adjoint operator2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      6th International Conference on Scientific Computing and Applications(SCA2008)
    • 発表場所
      Pusan National University, Busan, Korea
    • 年月日
      2008-06-03
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On very accurate computation of solutions with guaranteed error bounds for nonlinear elliptic problems by using a spectral Galerkin method2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      Institute Seminar for Scientific Computing and Mathematical Modelling
    • 発表場所
      University of Karlsruhe, Karlsruhe, Geramany
    • 年月日
      2008-07-18
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] A numerical approach to guaranteed a priori L2 error estimates in the FEM for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      Nakao, M. T., Kinoshita T., Hashimoto, K.
    • 学会等名
      International Workshop on Numerical Verification and its Applications (INVA2008)
    • 発表場所
      Okinawa, Japan
    • 年月日
      2008-03-02
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] スペクトル法による境界値問題の高精度数値検証2008

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • 発表場所
      KKRホテル金沢
    • 年月日
      2008-11-17
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 無限次元非線形システムの精度保証付きパラメータ同定技法について2008

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      産業技術数理研究センター第4回ワークショップ
    • 発表場所
      九州大学
    • 年月日
      2008-09-03
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] スペクトル法による境界値問題の高精度数値検証2008

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      2008年度基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • 発表場所
      KKRホテル金沢
    • 年月日
      2008-11-17
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • 発表場所
      Cardiff, UK
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Constructive a priori and a posteriori error estimates for bi-harmonic problems2008

    • 著者名/発表者名
      Hashimoto, K., Nakao, M. T.
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations(SCAN 2008)
    • 発表場所
      The University of Texas, El Paso, USA
    • 年月日
      2008-09-30
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] スペクトル法による境界値問題の解に対する高精度数値検証について2008

    • 著者名/発表者名
      木下武彦, 木村友紀, 戸村健作, 中尾充宏
    • 学会等名
      日本応用数理学会
    • 発表場所
      首都大学東京
    • 年月日
      2008-03-09
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Busan. Korea
    • 年月日
      2008-06-03
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 重調和方程式に対する構成的事前誤差評価について2008

    • 著者名/発表者名
      橋本弘治, 中尾充宏
    • 学会等名
      2008年度日本数学会秋期総合分科会
    • 発表場所
      東京工業大学大岡山キャンパス, 東京
    • 年月日
      2008-09-27
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On very accurate computation for solutions of elliptic problems with result verification by spectral method2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The 2nd China-Japan-Korea Joint Seminar on Numerical Mathematics
    • 発表場所
      Weihai, China
    • 年月日
      2008-08-26
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      International Conference on SCIentific Compution And Differential Equations
    • 発表場所
      Le Palms du Grand Large Saint-Malo, France
    • 年月日
      2007-06-10
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verfication of bifurcating Solutions for 3-dimensional Rayleigh-Benard convection2007

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      NOLTA2007, Intern. Sympo. On Nonliner Teory and its Appl.
    • 発表場所
      Vancouver, Canada
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [学会発表] The guaranteed a priori error estimates in the finite element method and the spectral method with applications to nonlinear PDEs2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      Conference on Inequalities and Applications '07
    • 発表場所
      De La Motte Castle, Noszvaj, Hungary
    • 年月日
      2007-09-13
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verification of bifurcating solutions for 3-D Rayleigh-Benard2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      NOLTA2007, Intern. Sympo.Nonlinear Theory
    • 発表場所
      Vancouver,Canada
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [学会発表] Numerical verification methods for solutions of partial differential equations2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      Zurich, Switzerland
    • 年月日
      2007-06-17
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verification method of solutions for nonlinear PDEs and its applications2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      Taiwan-Japan Joint Workshop on Numerical Analysis and Scientific Computation
    • 発表場所
      Institute of Mathematics, Academia Sinica, Taipei, Taiwan
    • 年月日
      2007-12-02
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verification of bifurcating solutions with multipeaks for 3-dimensional Rayleigh-Benard convection2007

    • 著者名/発表者名
      M.T.Nakao, T.Nishida, et. al.
    • 学会等名
      NOLTA 2007
    • 発表場所
      Vancouver, Canada
    • 年月日
      2007-09-16
    • データソース
      KAKENHI-PROJECT-17340027
  • [学会発表] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      SciCADE 2007, International Conference on SCIentific Computation and Differential Equations
    • 発表場所
      Saint Malo, France
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] On constructive a priori and a posteriori error estimates for the finite element approximations of noncoercive elliptic problems2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      Zurich, Switzerland
    • 年月日
      2007-06-16
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verification methods for solutions of partial differential equations2007

    • 著者名/発表者名
      M.T. Nakao
    • 学会等名
      iciam O7, 6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      Zurich, Switzerland
    • 年月日
      2007-07-17
    • データソース
      KAKENHI-PROJECT-17654026
  • [学会発表] On guaranteed error bounds of the finite element method with applications to stationary Navier-Stokes equations2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      International Conference on Rencent Developments of Numerical Schemes for Flow Problems
    • 発表場所
      Kyushu University Nishijin Plaza, Fukuoka
    • 年月日
      2007-07-28
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verification methods of bifurcating solutions for two-and three-dimensional Rayleigh-Benard problems2006

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The First China-Japan-Korea Joint Conference on Numerical Mathematics
    • 発表場所
      Sapporo
    • データソース
      KAKENHI-PROJECT-16104001
  • [学会発表] Numerical verification of solutions for heat convection problems2006

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      Czech-Japanese Seminar in Applied Math.
    • 発表場所
      Prague,Czech
    • 年月日
      2006-09-01
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [学会発表] Constructive error estimates in finite element method of nonlin.PDE2006

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      Finite Element Method TEC 2006
    • 発表場所
      El Paso,Texas,USA
    • 年月日
      2006-12-01
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [学会発表] 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
  • [学会発表] On numerical verification of solutions for 3-D heat convection problems2005

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      Dagstuhl Seminar on Numerical Algorithms
    • 発表場所
      Dagstuhl,Germany
    • 年月日
      2005-09-26
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17340027
  • [学会発表] 無限次元非線形関数方程式に対するNewton反復型計算機援用証明

    • 著者名/発表者名
      渡部善隆、中尾充宏
    • 学会等名
      日本数学会秋季総合分科会
    • 発表場所
      愛媛大学
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察

    • 著者名/発表者名
      渡部善隆,木下武彦, 木村拓馬,山本野人,中尾充宏
    • 学会等名
      2013年度応用数学合同研究集会
    • 発表場所
      龍谷大学理工学部
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] Some remarks on the optimal error estimates for the finite element method on the L-shaped domain

    • 著者名/発表者名
      Takehiko Kinoshita, Mitsuhiro T. Nakao
    • 学会等名
      10th International Conference on Information Technology : New Generations(ITNG 2013)
    • 発表場所
      Las Vegas, USA
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] 「精度保証」---その過去から未来へ---

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      精度保証付き数値計算ワークショップ
    • 発表場所
      アクロス福岡、福岡市
    • 招待講演
    • データソース
      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
  • [学会発表] Numerical verification method of solutions for nonlinear elliptic and parabolic problems

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      RIMS 研究集会「非圧縮性粘性流体の数理解析」
    • 発表場所
      京都大学数理解析研究所
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] 2階楕円型作用素における構成的Laplacianノルム評価

    • 著者名/発表者名
      渡部 善隆, 木下 武彦, 中尾 充宏
    • 学会等名
      日本応用数理学会2014年度年会
    • 発表場所
      政策研究大学院大学
    • 年月日
      2014-09-03 – 2014-09-05
    • データソース
      KAKENHI-PROJECT-24340018
  • [学会発表] 偏微分方程式の解に対する数値的存在検証---コンピュータによる厳密な解析学の展開---

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      日本数学会秋期総合分科会総合講演
    • 発表場所
      九州大学伊都キャンパス
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] 楕円型線形逆作用素評価の収束性について

    • 著者名/発表者名
      渡部 善隆, 木下 武彦, 中尾 充宏
    • 学会等名
      日本応用数理学会2015年研究部会連合発表会
    • 発表場所
      明治大学中野キャンパス
    • 年月日
      2015-03-06 – 2015-03-07
    • データソース
      KAKENHI-PROJECT-24340018
  • [学会発表] 偏微分方程式の解に対する数値的検証の現状と動向

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      東京大学数理科学研究科談話会
    • 発表場所
      東京大学駒場キャンパス
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] 楕円型線形逆作用素評価の収束性について

    • 著者名/発表者名
      渡部 善隆, 木下 武彦, 中尾 充宏
    • 学会等名
      日本数学会2015年度年会
    • 発表場所
      明治大学
    • 年月日
      2015-03-21 – 2015-03-24
    • データソース
      KAKENHI-PROJECT-24340018
  • [学会発表] On guaranteed a posteriori error estimates for numerical solutions of nonlinear parabolic problems

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      6th European Congress on Computational Methods in Applied Sciences and Engineering(ECCOMAS 2012)
    • 発表場所
      Wien, Austria
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] 流体の方程式に対する精度保証付き数値計算

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      早稲田大学流体数学セミナー
    • 発表場所
      早稲田大学西早稲田キャンパス
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540151
  • 1.  山本 野人 (30210545)
    共同の研究課題数: 13件
    共同の研究成果数: 6件
  • 2.  西田 孝明 (70026110)
    共同の研究課題数: 13件
    共同の研究成果数: 8件
  • 3.  田端 正久 (30093272)
    共同の研究課題数: 11件
    共同の研究成果数: 5件
  • 4.  川崎 英文 (90161306)
    共同の研究課題数: 9件
    共同の研究成果数: 0件
  • 5.  渡部 善隆 (90243972)
    共同の研究課題数: 9件
    共同の研究成果数: 70件
  • 6.  柳川 堯 (80029488)
    共同の研究課題数: 7件
    共同の研究成果数: 0件
  • 7.  今井 仁司 (80203298)
    共同の研究課題数: 7件
    共同の研究成果数: 0件
  • 8.  山本 哲朗 (80034560)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 9.  岡本 久 (40143359)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 10.  牛島 照夫 (10012410)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 11.  河原田 秀夫 (90010793)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 12.  田中 俊一 (00028127)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 13.  大石 進一 (20139512)
    共同の研究課題数: 5件
    共同の研究成果数: 1件
  • 14.  森 正武 (20010936)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 15.  大塚 寛 (30203839)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 16.  笛田 薫 (50253399)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 17.  友枝 謙二 (60033916)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 18.  加古 孝 (30012488)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 19.  池田 勉 (50151296)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 20.  三井 斌友 (50027380)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 21.  小西 貞則 (40090550)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 22.  菊地 文雄 (40013734)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 23.  篠原 能材 (40035803)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 24.  室田 一雄 (50134466)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 25.  吉川 敦 (80001866)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 26.  国府 寛司 (50202057)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 27.  古川 長太 (50037165)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 28.  長藤 かおり (40326426)
    共同の研究課題数: 3件
    共同の研究成果数: 10件
  • 29.  鈴木 厚 (60284155)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 30.  磯 祐介 (70203065)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 31.  小園 英雄 (00195728)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 32.  松村 昭孝 (60115938)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 33.  川中子 正 (20214661)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 34.  三町 勝久 (40211594)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 35.  柴田 良弘 (50114088)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 36.  木村 拓馬 (60581618)
    共同の研究課題数: 2件
    共同の研究成果数: 5件
  • 37.  木下 武彦 (30546429)
    共同の研究課題数: 2件
    共同の研究成果数: 25件
  • 38.  吉田 正章 (30030787)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 39.  藤田 宏 (80011427)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 40.  中島 正治 (40041230)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 41.  小藤 俊幸 (30234793)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 42.  福本 康秀 (30192727)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 43.  金山 寛 (90294884)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 44.  増田 久弥 (10090523)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 45.  堤 正義 (70063774)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 46.  大塚 厚二 (30141683)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 47.  藤野 精一 (20037146)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 48.  河原 康雄 (90091181)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 49.  佐藤 坦 (30037254)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 50.  塩濱 勝博 (20016059)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 51.  横山 和弘 (30333454)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 52.  石原 和夫 (90090563)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 53.  加藤 幹雄 (50090551)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 54.  三村 文武 (30039119)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 55.  宮崎 虔一 (50039062)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 56.  伊理 正夫 (40010722)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 57.  三好 哲彦 (60040101)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 58.  MICHAEL Plum
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 59.  中木 達幸 (50172284)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 60.  木村 正人 (70263358)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 61.  西村 直志 (90127118)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 62.  山本 裕 (70115963)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 63.  杉本 直三 (20196752)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 64.  藤原 宏志 (00362583)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 65.  東森 信就 (10397573)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 66.  大西 和榮 (20078554)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 67.  山本 昌宏 (50182647)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 68.  西田 詩 (10274838)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 69.  松田 哲也 (00209561)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 70.  坂上 貴之 (10303603)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 71.  中村 玄 (50118535)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 72.  田沼 一実 (60217156)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 73.  代田 健二 (90302322)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 74.  栄 伸一郎 (30201362)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 75.  村重 淳 (40302749)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 76.  四ッ谷 晶二 (60128361)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 77.  細野 雄三 (50008877)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 78.  山口 昌哉 (30025796)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 79.  三村 昌泰 (50068128)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 80.  田辺 國士 (50000203)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 81.  梶原 壤二 (90037169)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 82.  趙 康治 (10197634)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 83.  前園 宜彦 (30173701)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 84.  張 紹良 (20252273)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 85.  本多 了 (00219239)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 86.  土屋 卓也 (00163832)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 87.  陳 小君 (70304251)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 88.  田中 和永 (20188288)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 89.  劉 雪峰 (50571220)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 90.  工藤 昭夫 (00037144)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 91.  田中 輝雄 (80227149)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 92.  末吉 豊 (80128040)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 93.  横田 佳之 (40240197)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 94.  坂内 悦子 (00253394)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 95.  田中 靖子 (00271099)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 96.  鈴木 昌和 (20112302)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 97.  久保 富士男 (80112168)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 98.  伊藤 茂 (50016185)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 99.  矢野 公一 (60114691)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 100.  野間口 謙太郎 (60124806)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 101.  西川 青季 (60004488)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 102.  鳥居 達生 (10029069)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 103.  西浦 康政 (00131277)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 104.  鈴木 貴 (40114516)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 105.  藤井 宏 (90065839)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 106.  名取 亮 (70013745)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 107.  白谷 克巳 (80037168)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 108.  若山 正人 (40201149)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 109.  松葉 育雄 (30251177)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 110.  中村 正彰 (00017419)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 111.  杉原 正顯 (80154483)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 112.  小澤 一文 (20100753)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 113.  吉田 春夫 (70220663)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 114.  前田 茂 (20115934)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 115.  伊藤 利明 (60201927)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 116.  竹田 辰興 (60272746)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 117.  荻田 武史 (00339615)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 118.  小林 健太 (60432902)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 119.  関根 晃太 (80732239)
    共同の研究課題数: 1件
    共同の研究成果数: 5件
  • 120.  穴井 宏和
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi