Research presentations
Number of published data : 41
No. Classification Title Conference Volume/issue/page Or an announcement number Refereed paper Author Date URL
1 Oral presentation for an academic conference
LyapunovTracing による常微分方程式の精度保証法について
日本応用数理学会2013年度年会
0/ 0
No
樋脇 知広, 渡辺 真伊智, 山本 野人, 松江 要
2013/09/10

2 Oral presentation for an academic conference
リミットサイクルの吸引域に含まれる領域の精度保証法による同定
2012 年度日本数学会秋季総合分科会
0/ 0
No
樋脇知広、山本野人
2012/09/21

3 Oral presentation for an academic conference
Saddle-saddle connection の精度保証付き数値検証
日本応用数理学会 2012 年度年会
0/ 0
No
松江要、山本野人
2012/08/31

4 Oral presentation for an academic conference
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
No
N. Yamamoto, N. Matsuda
2010/09/27

5 Oral presentation for an academic conference
常微分方程式の数値解に関する精度保証の技法について
日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会,日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会
*
No
小森喬、山本野人
2008/03

6 Oral presentation for an academic conference
Numerical verification on existence of periodic solutions to ODEs''
International Workshop on Numerical verification and its App
*
No
K.Shioda, N.Yamamoto
2008/03

7 Oral presentation for an academic conference
A numerical verification method for ODEs based on the Nakao Theory
DMHF2007,DMHF2007
*
No
N.Yamamoto, T.Komori
2007/10

8 Oral presentation for an academic conference
高次補間に基づく常微分方程式の精度保証法について
日本数学会2007年度秋期総合分科会,日本数学会2007年度秋期総合分科会

No
小森喬、山本野人
2007/09

9 Oral presentation for an academic conference
A theorem for numerical verification of local uniquness
ICIAM 07, Zurich,Switzerland
*/ *
No
Nobito Yamamoto
2007/07

10 Oral presentation for an academic conference
高次補間に基づく常微分方程式の精度保証法について
第36回数値解析シンポジウム,第36回数値解析シンポジウム
*/ *
No
山本野人、小森喬
2007/06

11 Oral presentation for an academic conference
時系列パタンに対するラベリングを行なう神経回路モデルについて
2007年日本応用数理学会連合発表会
*
No
田中 一穂, 矢野 慎一郎, 山本 野人
2007/03

12 Oral presentation for an academic conference
常微分方程式初期値問題に対する精度保証付き計算の新手法
2007年日本応用数理学会連合発表会
*
No
山本 野人,小森 喬
2007/03

13 Oral presentation for an academic conference
時系列パタンに対するラベリングを行なう神経回路モデルについて
応用数学合同研究集会
*
No
田中一穂・矢野慎一郎・山本野人
2006/12

14 Oral presentation for an academic conference
常微分方程式の精度保証法に関する新しい計算技法について
応用数学合同研究集会
*
No
山本野人・小森喬・足立英輔
2006/12

15 Oral presentation for an academic conference
A numerical verification method for ODEs with narrow error
bounds
SCAN2006, Duisburg,Germany
*
Yes
N.Yamamoto
2006/09

16 Oral presentation for an academic conference
A numerical verification method for nonlinear two-point boundary value problems
ICNAAM2006,Crete,Greece
*
Yes
N.Yamamoto
2006/09

17 Oral presentation for an academic conference
A Numerical Verification Method for ODEs based on Nakao's Theory
NOLTA2006, Bologna,Italy
*
Yes
N.Yamamoto
2006/09

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

No
小森喬・山本野人
2006/03

19 Oral presentation for an academic conference
Validated Computation of Bessel Functions
NOLTA2005

No
N. Yamamoto, N. Matsuda
2005/09

20 Oral presentation for an academic conference
熱対流問題の分岐点に対する計算機援用証明
日本数学会秋季総合分科会,日本数学会秋季総合分科会

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

21 Oral presentation for an academic conference
常微分方程式の精度保証に関する話題
第54回理論応用力学講演会 NCTAM2005

No
山本野人
2005/01

22 Oral presentation for an academic conference
Bessel関数の精度保証ライブラリ
応用数理合同研究集会

No
山本野人,松田望
2004/12

23 Oral presentation for an academic conference
非凸領域におけるPoisson方程式に対するFEM近似の誤差評価に
ついて
応用数理合同研究集会

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

24 Oral presentation for an academic conference
常微分方程式(初期値問題)の精度保証付き計算について
日本応用数理学会年会

No
山本 野人, 小森喬
2004/09

25 Oral presentation for an academic conference
有限要素法の誤差評価定数に関する考察 -- 精度保証法のための
定数評価--
日本応用数理学会年会

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

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

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

27 Oral presentation for an academic conference
円環領域における楕円型偏微分方程式の精度保証法
応用数学合同研究集会

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

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

No
山本 野人
2002/11

29 Oral presentation for an academic conference
On verified computation of PDE using Spectral methods with Bessel functions
SCAN2002, Universite Pierre et Marie Curie

No
Yamamoto,N.
2002/09

30 Oral presentation for an academic conference
Numerical Enclosures for Nontrivial Solutions of the Heat Convection Problems
SCAN2002, Universite Pierre et Marie Curie

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

31 Oral presentation for an academic conference
積分方程式の解の一意性の数値的検証法について
日本応用数理学会2002年度年会

No
小森喬, 山本野人
2002/09

32 Oral presentation for an academic conference
Rigorous calculation for error estimation of FEM-solutions to Poisson equation
GENERAL INFORMATION FOR ICFS 2002,Waseda Univ.

No
Yamamoto,N.
2002/03

33 Symposium
A theorem for numerical verification of uniqueness


No
Yamamoto,N.
2005/09

34 Workshop
Validated computation of Bessel functions using multiple-precisi on arithmetic


No
Yamamoto,N.
2005/11

35 Keynote speech for an international conference
Numerical Error Estomation with Guaranteed Accuracy for
Finite Element Method


No
Yamamoto,N
2004/10

36 Keynote speech for an international conference
Calculation with guaranteed accuracy of the constants
in the error estimation of FEM


No
Yamammoto, N.
2002/08

37 Invited lecture for an international conference
Numerical verification methods for limit cycles in dynamical systems
International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)

No
Nobito Yamamoto and Tomohiro Hiwaki
2014/03/16

38 Invited lecture for an international conference
Numerical verification methods for limit cycles in dynamical systems
The International Workshop on Numerical Verification and its Applications 2014

No
Nobito Yamamoto, Tomohiro Hiwaki
2014/03/15

39 Invited lecture for an international conference
Validated Computation of Global Solutions to ODEs,
the Japan-German Workshop on Computer-Assisted proofs and Verification Methods,

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

40 Keynote speech for a domestic conference
精度保証付き数値計算の基盤と応用 -- 有限要素法の射影誤差限界に対する定量的見積もり ---


No
山本 野人
2003/03

41 Invited lecture for a domestic conference
常微分方程式の精度保証付き計算の技法と利用法
ちばN体2010

No
山本野人
2010/03