研究発表
公開件数:41件
No. 研究発表種別 タイトル 会議名/掲載誌名 巻号頁
または発表番号
査読の有無 講演者 開催年月日 URL
1 学会口頭発表
LyapunovTracing による常微分方程式の精度保証法について
日本応用数理学会2013年度年会
0/ 0

樋脇 知広, 渡辺 真伊智, 山本 野人, 松江 要
2013/09/10

2 学会口頭発表
リミットサイクルの吸引域に含まれる領域の精度保証法による同定
2012 年度日本数学会秋季総合分科会
0/ 0

樋脇知広、山本野人
2012/09/21

3 学会口頭発表
Saddle-saddle connection の精度保証付き数値検証
日本応用数理学会 2012 年度年会
0/ 0

松江要、山本野人
2012/08/31

4 学会口頭発表
Interval Multiple-Precision Arithmetic with center-radius form
SCAN2010, 14th GAMM-IMACS, International Symposium on Scientific Comput- ing, Computer Arithmetic and Validated Numerics,
0/ 0

N. Yamamoto, N. Matsuda
2010/09/27

5 学会口頭発表
常微分方程式の数値解に関する精度保証の技法について
日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会,日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会
*

小森喬、山本野人
2008/03

6 学会口頭発表
Numerical verification on existence of periodic solutions to ODEs''
International Workshop on Numerical verification and its App
*

K.Shioda, N.Yamamoto
2008/03

7 学会口頭発表
A numerical verification method for ODEs based on the Nakao Theory
DMHF2007,DMHF2007
*

N.Yamamoto, T.Komori
2007/10

8 学会口頭発表
高次補間に基づく常微分方程式の精度保証法について
日本数学会2007年度秋期総合分科会,日本数学会2007年度秋期総合分科会


小森喬、山本野人
2007/09

9 学会口頭発表
A theorem for numerical verification of local uniquness
ICIAM 07, Zurich,Switzerland
*/ *

Nobito Yamamoto
2007/07

10 学会口頭発表
高次補間に基づく常微分方程式の精度保証法について
第36回数値解析シンポジウム,第36回数値解析シンポジウム
*/ *

山本野人、小森喬
2007/06

11 学会口頭発表
時系列パタンに対するラベリングを行なう神経回路モデルについて
2007年日本応用数理学会連合発表会
*

田中 一穂, 矢野 慎一郎, 山本 野人
2007/03

12 学会口頭発表
常微分方程式初期値問題に対する精度保証付き計算の新手法
2007年日本応用数理学会連合発表会
*

山本 野人,小森 喬
2007/03

13 学会口頭発表
時系列パタンに対するラベリングを行なう神経回路モデルについて
応用数学合同研究集会
*

田中一穂・矢野慎一郎・山本野人
2006/12

14 学会口頭発表
常微分方程式の精度保証法に関する新しい計算技法について
応用数学合同研究集会
*

山本野人・小森喬・足立英輔
2006/12

15 学会口頭発表
A numerical verification method for ODEs with narrow error
bounds
SCAN2006, Duisburg,Germany
*

N.Yamamoto
2006/09

16 学会口頭発表
A numerical verification method for nonlinear two-point boundary value problems
ICNAAM2006,Crete,Greece
*

N.Yamamoto
2006/09

17 学会口頭発表
A Numerical Verification Method for ODEs based on Nakao's Theory
NOLTA2006, Bologna,Italy
*

N.Yamamoto
2006/09

18 学会口頭発表
常微分方程式初期値問題の精度保証付き計算について
日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会


小森喬・山本野人
2006/03

19 学会口頭発表
Validated Computation of Bessel Functions
NOLTA2005


N. Yamamoto, N. Matsuda
2005/09

20 学会口頭発表
熱対流問題の分岐点に対する計算機援用証明
日本数学会秋季総合分科会,日本数学会秋季総合分科会


渡部善隆・中尾充宏・山本野人・西田孝明
2005/09

21 学会口頭発表
常微分方程式の精度保証に関する話題
第54回理論応用力学講演会 NCTAM2005


山本野人
2005/01

22 学会口頭発表
Bessel関数の精度保証ライブラリ
応用数理合同研究集会


山本野人,松田望
2004/12

23 学会口頭発表
非凸領域におけるPoisson方程式に対するFEM近似の誤差評価に
ついて
応用数理合同研究集会


山本野人, 弦間健太
2004/12

24 学会口頭発表
常微分方程式(初期値問題)の精度保証付き計算について
日本応用数理学会年会


山本 野人, 小森喬
2004/09

25 学会口頭発表
有限要素法の誤差評価定数に関する考察 -- 精度保証法のための
定数評価--
日本応用数理学会年会


山本 野人, 弦間健太
2004/09

26 学会口頭発表
自己随伴でない楕円型微分作用素の固有値の非存在範囲に対する精度保証付き計算、
日本数学会年会


山本 野人,小森 喬,内田 貴紀
2003/03

27 学会口頭発表
円環領域における楕円型偏微分方程式の精度保証法
応用数学合同研究集会


山本 野人, 佐久間 祐幸
2002/12

28 学会口頭発表
Bessel関数の境界条件への適合に関する精度保証付き計算
研究集会「微分方程式の数値解法と線形計算」、 京都大学数理解析研究所


山本 野人
2002/11

29 学会口頭発表
On verified computation of PDE using Spectral methods with Bessel functions
SCAN2002, Universite Pierre et Marie Curie


Yamamoto,N.
2002/09

30 学会口頭発表
Numerical Enclosures for Nontrivial Solutions of the Heat Convection Problems
SCAN2002, Universite Pierre et Marie Curie


Watanabe,Y., Yamamoto,N., Nakao,M.T., Nishida,T.
2002/09

31 学会口頭発表
積分方程式の解の一意性の数値的検証法について
日本応用数理学会2002年度年会


小森喬, 山本野人
2002/09

32 学会口頭発表
Rigorous calculation for error estimation of FEM-solutions to Poisson equation
GENERAL INFORMATION FOR ICFS 2002,Waseda Univ.


Yamamoto,N.
2002/03

33 シンポジウム
A theorem for numerical verification of uniqueness



Yamamoto,N.
2005/09

34 ワークショップ
Validated computation of Bessel functions using multiple-precisi on arithmetic



Yamamoto,N.
2005/11

35 国際会議基調講演
Numerical Error Estomation with Guaranteed Accuracy for
Finite Element Method



Yamamoto,N
2004/10

36 国際会議基調講演
Calculation with guaranteed accuracy of the constants
in the error estimation of FEM



Yamammoto, N.
2002/08

37 国際会議招待講演
Numerical verification methods for limit cycles in dynamical systems
International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)


Nobito Yamamoto and Tomohiro Hiwaki
2014/03/16

38 国際会議招待講演
Numerical verification methods for limit cycles in dynamical systems
The International Workshop on Numerical Verification and its Applications 2014


Nobito Yamamoto, Tomohiro Hiwaki
2014/03/15

39 国際会議招待講演
Validated Computation of Global Solutions to ODEs,
the Japan-German Workshop on Computer-Assisted proofs and Verification Methods,


N. Yamamoto, M. Harikae,
2011/09/18

40 国内会議基調講演
精度保証付き数値計算の基盤と応用 -- 有限要素法の射影誤差限界に対する定量的見積もり ---



山本 野人
2003/03

41 国内会議招待講演
常微分方程式の精度保証付き計算の技法と利用法
ちばN体2010


山本野人
2010/03