 |
REPORT |
研究業績 雑誌論文
1. Nakao, M.T. and Hashimoto, K., A numerical verification method for solutions of nonlinear parabolic problems, Journal of Math-for-Industry, JMI2009A-9 (2009), 69-72.
2. Nakao, M.T., Kinoshita, T., On very accurate verification of solutions for boundary value problems by using spectral methods, JSIAM Letters 1(2009), 21-24
3. Watanabe, Y., Nakao, M.T., Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Be'nard Problem, Japan Journal of Industrial and Applied Mathematics, 26 (2009), 443-463.
4. M.T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M.-N. Kim, Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems, Journal of Scientific Computing, Proc. International Conference on Recent Developments of Numerical Schemes for Flow Problems(INSF2007, Fukuoka, Japan), (2009) DOI 10.1007/s10915-009-9303-3
5. T. Kinoshita, M. T. Nakao, On very accurate enclosure of the optimal constant in the a priori error estimates for H-2-0-projection, to appear in Journal of Computational and Applied Mathematics
6. Yoshitaka Watanabe:
A Numerical Verification Method for Two-Coupled Elliptic Partial
Differential Equations,
Japan Journal of Industrial and Applied Mathematics,
Vol. 26, No. 2-3 (October 2009) pp. 233-247
7. M..Tabata and Y.Ueda.
A set of variant Hermite tetrahedral elements for three-dimensional problems.
Journal of Mathematics for Industry, Vol.1, pp. 131--138, 2009
8. Y.Mizuyama, T.Shinde, M.Tabata, and D.Tagami. Finite element computation for scattering problems of micro-hologram using DtN map, To appear in JSIAM Letters, 2010
9. H. Rui and M. Tabata,. A mass-conservative characteristic finite element scheme for convection-diffusion problems. To appear in Journal of Scientific Computing, 2010.
10. Nobito Yamamoto & Takashi Komori,An Application of Taylor Models to the Nakao Method on ODEs, , JJIAM. vol.26, No.2-3, pp.365-392,Oct. 2009
11. Xinfu Chen, S.-I. Ei and M. Mimura, SELF--MOTION OF CAMPHOR DISCS -MODEL AND ANALYSIS-, NETWORKS AND HETEROGENEOUS MEDIA Volume 4, Number 1 (2009), 1-18.
12. Shin-Ichiro Ei, Yasumasa Nishiura, Kei-Ichi Ueda, Pulse dynamics for reaction-diffusion systems in the neighborhood of codimension two singularity, J. of Math. for Industry Vol.1(2009), 91-95.
13. S.-I. Ei and T. Tsujikawa, The dynamics of weakly interacting fronts in an adsorbateinduced phase transition model, KYBERNETIKA vol.40 (2008).
14. K. Nagatou Numerical verification method for infinite dimensional eigenvalue problems, Japan Journal of Industrial and Applied Mathematics 26-2/3 (2009), pp. 477-491.
15. Nakao, M.T., et al., A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems, GAKUTO International Series, Mathematical Sciences and Applications, Vol.28, pp.139-148, 2008
16. Nakao, M.T., et al., Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications , Journal of Computational and Applied Mathematics , Vol.218, pp.106-115, 2008
17. Nakao, M.T., et al., Some remarks on the behaviour of the finite element solution in nonsmooth domains , Applied Mathematics Letters, Vol.21, pp.1310-1314, 2008
18. Kim, M.-N., et al., A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems , Numerische Mathematik, Vol.111, pp.389-406, 2009
19. Kinoshita, T., et al., On the L-2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator , Numerical Functional Analysis and Optimization
20. Watanabe, Y., A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow, Z. Angew. Math. Mech, Vol.89 (No.1), pp.5-18, 2009
21. Watanabe, Y., A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid, Journal of Computational and Applied Mathematics, Vol.223, pp.953-966, 2009
22. Murashige, S., Boundary conditions for numerical stability analysis of periodic solutions of ordinary differential equations, IEICE Trans. Fundamentals, Vol.E91-A(No.4), pp.1162-1168, 2008
23. Nureki, Y., et al., Computation of Floquet multipliers using an iterative method for variational equations, IEICE Trans. Fundamentals, 2009
24. Ei, S.-I., et al., Dynamics of front solutions in a specific reaction-diffusion system in one dimension, Japan J. Ind. Appl. Math., Vol.25, pp.117-147, 2008
25. Ohgane, K., Neuron phase shift adaptive to time delay in locomotor control, Appl. Math. Modelling, Vol.33, pp.797-811, 2009
26. Ei, S.-I., et al., Eigenfunctions of the adjoint operator associated with a pulse solution of some reaction-diffusion systems , Bull. Inst. Math. Academia Sinica, Vol.3, pp.603-666, 2008
27. S.-I. Ei and H. Matsuzawa, The motion of a transition layer for a bistable reaction diffusion equation with heterogeneous environment, DCDS vol. 26, number 3, March 2010, 901-921.
28. 小森喬 et al., 常微分方程式境界値問題の精度保証法の初期値問題への適用, 日本応用数理学会論文誌, Vol.18 (No.3), pp.303-319, 2008
29. Nagatou, K., Validated computations for fundamental solutions of linear ordinary differential equations, International Series of Numerical Mathematics, Vol.157, pp.43-50, 2008
30. 野津裕史 et al., Navier-Stokes方程式のための圧力安定化・特性曲線法結合有限要素スキーム, 日本応用数理学会論文誌, Vol.18 (No.3), pp.427-445, 2008
31. Notsu, H., et al., A single-step characteristic-curve finite element scheme of second order in time for the incompressible {Navier-Stokes} equations, Journal of Scientific Computing, Vol.38 (No.1), pp.1-14, 2009
32. S. Oishi, T. Ogita and S. M. Rump, Iterative Refinement for Ill-Conditioned Linear Systems, Japan J. Indust. Appl. Math., 26 (2009), 465-476
33. T. Ogita and S. Oishi, Fast Verified Solutions of Linear Systems, Japan J. Indust. Appl. Math., 26 (2009), 169-190
34.Y. Nakaya, T. Nishi, S. Oishi and M. Claus, Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations, Japan J. Indust. Appl. Math., 26 (2009),
pp. 327-336.
35. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Adaptive and Efficient Algorithm for 2D Orientation Problem, Japan J. Indust. Appl. Math., 26 (2009), pp. 215-231.
36. S. Oishi, K. Tanabe, Numerical Inclusion of Optimum Point for Linear Programming, JSIAM Letter, Vol.1 (2009), 5-8.
37. T. Ogita, S. Oishi, Tight Enclosures of Solutions of Linear Systems, International Series of Numerical Mathematics, 157(2009), 167-178 , (Inequalities and Applications, C. Bandle, A. Gilanyi, L. Losonczi, Z. Pales, M. Plum eds., Birkhauser Verlag).
研究業績 学会発表
1. M.T. Nakao, On the numerical verification method of solutions for evolutional equations, International Workshop on Verified Computations and Related Topics, University of Karlsruhe (TH), Karlsruhe, Germany, March 9, 2009.
2. M.T. Nakao, Some remarks on norm estimates for linearized inverse operators and their appplications to verification of nonlinear elliptic problems, International Workshop on Numerical Verification and its Applications 2009, Hotel Breeze Bay Marina, Miyako Island, Japan, March 24, 2009.
3. 橋本弘治、中尾充宏：放物型問題に対する解の数値的検証法、2009年度日本数学会年会、東京大学（2009年3月29日）
4. T. Kinoshita and M.T. Nakao, On the constants of a priori error estimates for the H-0-2-projection in Ritz-Galerkin methods, International Conference on Engineering and Computational Mathematics (ECM2009), Hong Kong, May 27, 2009.
5. Kouji Hashimoto, Mitsuhiro T. Nakao, A numerical verification method for solutions of nonlinear parabolic problems,International Conference on Engineering and Computational Mathematics (ECM2009), Hong Kong, May 28 2009
6. M.T. Nakao, Verified computation of a periodic solution of the Roessler system by using delayed feedback control, INDAM Meeting : Theoretical and computational methods in nonlinear differential equations, “Centro Residenziale Universitario di Bertinoro”, Forli, Italy, September 16, 2009.
7. M.T. Nakao and T. Kinoshita On verified computations of the optimal constant in the a priori error estimates for H-2-0-projection, 7th International Conference of Numerical Analysis and Applied Mathematics(ICNAAM2009), Crete, Greece, September 21, 2009.
8. 木下武彦、渡部善隆、中尾充宏、楕円型作用素の逆作用素の作用素ノルムの評価の改良について、2009年度日本数学会秋期総合分科会、大阪大学(2009年9月26日)
9. 皆本晃弥、中尾充宏、レスラー方程式の不安定周期軌道に対する数値的検証法、2009年度日本数学会秋期総合分科会、大阪大学(2009年9月27日)
10. 木下武彦、中尾充宏、H-0-2-projection の誤差評価における最良定数の包含について、2009年度日本応用数理学会年会、大阪大学(2009年9月30日)
11. 渡部善隆, 中尾充宏, Plum Michael, 長藤かおり、Orr-Sommerfeld 方程式の複素固有値の除外に対する計算機援用証明、2009年度日本応用数理学会年会、大阪大学(2009年9月30日)
12. Nakao, M.T., Some remarks on the a priori L-2 error estimates of a finite element H-1-0-projection on nonconvex domains, Dagstuhl seminar 09471, Schloss Dagstuhl, Germany, November 18, 2009.
13. 中尾 充宏、非凸領域における有限要素解のL2誤差評価に関する注意、
研究集会: 「数値解析の現状と展望」、公立はこだて未来大学（2009年11月23日）
14. Yoshitaka Watanabe, Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem, International Workshop on Numerical Verification and its Applications 2010 (INVA2010), March 10-15, 2010, Hotel Lido Azzurro, Tokyo, Japan.
15. 渡部 善隆, 木下 武彦, Legendre多項式を用いた高精度品質保証─およびその課題─, 日本応用数理学会2010年研究部会連合発表会, 筑波大学, 2010年3月.
16. 渡部 善隆, 中尾 充宏, Michael Plum, 長藤 かおり, ある非自己共役作用素の複素固有値の除外に対する数値的検証法 II, 応用数学合同研究集会報告集, pp.133-134, 龍谷大学, 2009年12月.
17. 渡部 善隆, 長藤 かおり, Michael Plum, 中尾 充宏, 無限次元固有値問題に対する
固有値の非存在証明, 研究集会・数値解析と数値計算アルゴリズムの最近の展開,
京大会館, 2009年12月.
18. 渡部 善隆, Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証,
研究集会:「数値解析の現状と展望」─九州大学数値解析セミナーとその協力
者からの発信─, 公立はこだて未来大学, 2009年11月.
19. 渡部 善隆，中尾 充宏，Michael Plum, 長藤 かおり, Orr-Sommerfeld 方程式の複素固有値の除外に対する計算機援用証明, 日本応用数理学会2009年度年会, 大阪大学,
2009年9月.
20. 木下 武彦，渡部 善隆，中尾 充宏, 楕円型作用素の逆作用素の作用素ノルムの評価の改良について, 日本数学会2009年度秋季総合分科会, 大阪大学，2009年9月.
21. 渡部 善隆,
熱対流問題の精度保証−計算の品質評価−,
九州大学産業数理研究センター 第7回ワークショップ, 2009年9月.
22. Yoshitaka Watanabe, An eigenvalue excluding method for the Orr-Sommerfeld problem,
International Conference on Engineering and Computational Mathematics
(ECM2009) May 27-29, 2009, The Hong Kong Polytechnic University, Hong
Kong, China. 2009.5.
23. 渡部 善隆,
計算機援用証明による並行Poiseuille流れの安定性・不安性解析,
九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 2009年4月.
24. M..Tabata, Some recent results on finite element characteristic methods for flow
problems,15th International Conference on Finite Elements in Flow Problems.
, Chuo University, Surugadai Memorial Hall, Tokyo (2009.4.3)招待講演.
25. 田端正久.
流れ問題の数値解法-スキームと解析とシミュレーション,
数値シミュレーションの理論と実践,.
西新プラザ，福岡 (2010.2.16)
26. 田端正久.
混相流の数値シミュレーションとその解析,
数値解析と数値計算アルゴリズムの最近の展開,
京大会館, 京都 (2009.12.15).
27. 田端正久,
流れ現象の数値シミュレーションとその解析-移流拡散方程式から混相流まで.
北陸M倶楽部セミナー,
富山大学，五福キャンパス，富山 (2009.11.27).
28. 田端正久,
特性曲線有限要素法と混相流,
数値解析の現状と展望, はこだて未来大学，函館 (2009.11.23).
29. 野津裕史, 田端正久, Reza Miresmaeili, Nicolas Saintier, Jean-Marc Olive,
金山寛, 保存型特性曲線有限要素法を用いた多結晶金属内の水素拡散解析.
日本応用数理学会2009年度年会,
大阪大学 豊中キャンパス, 大阪 (2009.9.28).
30. 上田裕喜, 田端正久,
エルミート要素近似の誤差解析のための拡張クレマン補間.
日本応用数理学会2009年度年会, 大阪大学 豊中キャンパス, 大阪 (2009.9.28).
31. 田端正久, Hongxing Rui,
質量保存性と特性有限要素近似,
日本応用数理学会2009年度年会,
大阪大学 豊中キャンパス, 大阪 (2009.9.28).
32. 田端正久, Hongxing Rui. 質量保存特性有限要素法の開発. 日本数学会2009年度秋季総合分科会. 大阪大学 豊中キャンパス, 大阪 (2009.9.27).
33. 上田裕喜, 田端正久.
クレマン作用素のエルミート要素への拡張と応用.
日本数学会2009年度秋季総合分科会.
大阪大学 豊中キャンパス, 大阪 (2009.9.26).
34. 田端正久
質量保存特性曲線有限要素スキームの原理と応用.
水素利用社会の実現に向けた数値解析からの貢献，産業技術数理研究センター第７回
ワークショップ.
九州大学伊都キャンパス，福岡 (2009.9.3).
35. M.Tabata and H.Rui.
A mass-conservative characteristic finite element scheme of second
order in time for convection-diffusion problems.
The eighth European Conference on Numerical Mathematics and Advanced
Applications.
Uppsala University, Uppsala, Sweden (2009.6.30).
36. M..Tabata and H.Rui.
A high-order mass-conservative characteristic finite element scheme
for convection-diffusion problems.
International Conference on Spectral and High Order Methods.
Norwegian University of Science and Technology, Trondheim, Norway
(2009.6.22).
37. M..Tabata.
A numerical convergence study of an energy stable finite element
scheme for two-fluid flow problems.
International Conference on Engineering and Computational
Mathematics.
The Hong Kong Polytechnic University, Hong Kong (2009.5.28).
38. M..Tabata.
Numerical convergence study for two-fluid flow problems by
manufactured solutions.
Numerical Analysis and Scientific Computing with Applications.
Le Tivoli Hotel, Agadir, Morocco (2009.5.18).
39. 上田裕喜, 田端正久.
一般形状領域ストークス問題の高精度有限要素解析.
第14回計算工学講演会, 2009.
東京大学生産技術研究所, 東京 (2009.5.13).
40. H.Notsu and M.Tabata.
A pressure-stabilized characteristic-curve finite element scheme for
the {Navier-Stokes} equations.
15th International Conference on Finite Elements in Flow Problems.
Chuo University, Surugadai Memorial Hall, Tokyo (2009.4.3).
41. 村重 淳，「2次元自由表面問題における特異点の数値的推定」,科研費研究集会「数値解析の現状と展望」, 2009．
42. 山本 野人,「微分方程式に対する精度保証付き数値計算」 芝浦工業大学 （招待）（2009.5.8）
43. N. Yamamoto, Ryuji Ukawa & Nozomu Matsuda 'An application of the Lohner method for boundary value problems of ODEs',（2009.5.26） , ECM2009（香港）
44. 山本 野人, 「精度保証付き数値計算と多倍長演算」デジタル解析学セミナー（招待）早稲田大学（2009.10.9）
45. 山本 野人,' On Validated Computation with Multipleprecision Arithmetic', Taiwan-Japan Joint Seminar,台湾大学（200911.7）
46. 山本 野人,「精度保証付き多倍長演算の実装について」山本野人・松田望、函館研究集会（拡大QN−A）、はこだて未来大学（2009.11.20）
47. 山本 野人, ' Construction of an automatic validated computation for boundary value problems of ODEs',
Nobito Yamamoto, Ryuji Ukawa, and Nozomu Matsuda, ASCM-MACIS2009, 九州大学（2009.12.15）
48. 山本 野人, 「多倍長演算の精度保証について」 松田望・山本野人、応用数学合同研究集会、龍谷大学 （2009.12.17）
49. S.-I. Ei,The effect of boundary conditions to the pulse dynamics,
Reaction-Diffusion Systems: Modeling and Analysis
ReaDiLab Conference in Orsay (France), 2009/6/2-5,
50. S.-I. Ei,自己複製ダイナミクスの数理,
RIMS研究集会, 散逸系の数理 -パターンを表現する漸近解の構成-,
京都大学数理解析研究所（2009.6.24-26）
51. S.-I. Ei, The dynamics of boundary spikes for
reaction-diffusion systems in 2D,
2nd International conference on
Reaction-diffusion systems and viscosity solutions,
Department of
applied mathematics, Providence University, Taiwan,13-18, July, 2009,
52. S.-I. Ei,The effect of boundary conditions to the dynamics of pulse
solutions for reaction-diffusion systems,
第３４回偏微分方程式論札幌シンポジウム,
北海道大学理学部（2009.8.24-29）
53. S.-I. Ei,The effect of boundary conditions to the pulse dynamics,
研究集会「第五回 非線型の諸問題」,長崎商工会議所（2009.9.16-18）
2009年9月16日（水）14:00〜9月18日（金）11:50
54. S.-I. Ei,Effect of boundary conditions on the dynamics of a pulse solution
for reaction-diffusion systems, 研究集会「微分方程式の総合的研究」,
東京大学大学院数理科学研究科 （2009-12.18-19）
55. S.-I. Ei,The effect of boundary conditions to the dynamics of pulse
solutions
for reaction-diffusion systems,
数学教室 彰化師範大学 (Changua University)
台湾, 27th Dec. 2009.
56. S.-I. Ei,The effect of boundary conditions to the pulse dynamics,
ミニワークショップ「反応拡散系をめぐる最近の話題」,
京都産業大学（2010.2.20）
57. K. Nagatou,Orbital stability investigation for travelling waves in a nonlinearly supported beam,International Conference on Engineering and Computational Mathematics 2009, The Hong Kong Polytechnic University, Hong Kong.（2009.5.27-29）
58. K. Nagatou,Computer Assisted Proofs for Nonlinear Partial Differential Equations, INDAM Meeting: Theoretical and computational methods in nonlinear differential equations, Centro Residenziale Universitario di Bertinoro, Forli, Italy. （招待講演）（2009.9.13-18）
59. K. Nagatou,A Spectral Problem for 3-D Photonic Crystals,
7th International Conference of Numerical Analysis and Applied Mathematics,
Aquila Rithymna Beach, Rethymno, Crete, Greece.（2009.9.18-22）
60. Orbital stability investigation for travelling waves in a nonlinearly supported beam,
Dagstuhl seminar 09471:
Computer-assisted proofs - tools, methods and applications,
Schloss Dagstuhl, International Conference and Research Center for Computer Science, Germany.（2009.11.15-20）
61. 木下武彦, 木村友紀, 戸村健作, 中尾充宏, スペクトル法による境界値問題の解に対する高精度数値検証について, 日本応用数理学会, 首都大学東京, 2008年3月9日
62. Nakao, M.T., Kinoshita T., Hashimoto, K., A numerical approach to guaranteed a priori L2 error estimates in the FEM for elliptic problems with singular adjoint operator, International Workshop on Numerical Verification and its Applications (INVA2008), Okinawa, Japan, March 2, 2008
63. Nakao, M.T., Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator, 6th International Conference on Scientific Computing and Applications(SCA2008), Pusan National University, Busan, Korea, June 3, 2008
64. Nakao, M.T., Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method, Gregynog Workshop 2008, Cardiff, UK, July 16, 2008
65. Nakao, M.T., On very accurate computation of solutions with guaranteed error bounds for nonlinear elliptic problems by using a spectral Galerkin method, Institute Seminar for Scientific Computing and Mathematical Modelling, University of Karlsruhe, Karlsruhe, Geramany, July 18, 2008
66. Nakao, M.T., On very accurate computation for solutions of elliptic problems with result verification by spectral method, The 2nd China-Japan-Korea Joint Seminar on Numerical Mathematics , Weihai, China, August 26, 2008
67. 橋本弘治, 中尾充宏, 重調和方程式に対する構成的事前誤差評価について, 2008年度日本数学会秋期総合分科会, 東京工業大学 大岡山キャンパス, 東京 , 2008年9月27日
68. Hashimoto, K., Nakao, M.T., Constructive a priori and a posteriori error estimates for bi-harmonic problems, The 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN 2008), The University of Texas, El Paso, USA, September 30, 2008
69. Nakao, M.T., On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs , The NIMS 2008 Conference & The 4th East Asia SIAM Conference, Hotel Riviera, Daejeon, Korea, October 11, 2008
70. 中尾充宏, スペクトル法による境界値問題の高精度数値検証, 2008年度基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」, KKRホテル金沢, 2008年11月17日
71. 渡部善隆, 中尾充宏, Michael Plum, 長藤かおり, ある非自己共役作用素の複素固有値の除外に対する数値的検証法, 2008年度応用数学合同研究集会, 龍谷大学理工学部, 2008年12月16日
72. 渡部 善隆, ある非自己共役作用素の複素固有値の除外に対する数値的検証法, 応用数学合同研究集会報告集, 2008年12月, 龍谷大学
73. 渡部 善隆, Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明, 基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」, KKRホテル金沢, 2008年11月
74. 渡部 善隆, 並行Poiseuille流れの不安定性に対する計算機援用証明, 計算科学の基盤技術としての高速アルゴリズムとその周辺, 京都大学数理解析研究所講究録 Vol.1614, 京都大学, 2008年10月
75. Nagatou, K., Validated computations for elliptic systems of FitzHugh-Nagumo type, 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008) , El Paso, USA, 2008年9月
76. 渡部 善隆, FitzHugh-Nagumo 型反応拡散方程式系に対する数値的検証法, 日本数学会2008年度秋季総合分科会, 東京工業大学, 2008年9月
77. 渡部 善隆, FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算, 日本応用数理学会2008年度年会, 東京大学, 2008年9月
78. 中尾 充宏, 無限次元非線形システムの精度保証付きパラメータ同定技法について, 産業技術数理研究センター第4回ワークショップ, 九州大学, 2008年9月
79. 渡部 善隆, 科学技術計算の品質保証, 先駆的科学計算に関するフォーラム2008〜高精度・ 多倍長計算〜 , 九州大学, 2008年8月
80. 渡部 善隆, 解けたらうれしい線形方程式, 計算工学講演会論文集 Vol.13, pp.697-700, 仙台市, 2008年5月
81. Nureki, Y. and Murashige, S., Improvement of the multiple shooting method for stability analysis of periodic orbits of ordinary differential equations, 2008 International Symposium on Nonlinear Theory and its Applications (NOLTA2008), Budapest, Republic of Hungary, September 7-10, 2008
82. 濡木 融，村重 淳, 周期解の Floquet 乗数の数値計算法, 応用数理学会 2008年度年会, 東京大学柏キャンパス, 2008年9月17日
83. 栄伸一郎, Dynamics of Pulses Constructed by Front Interaction, NSCセミナー, 北海道大学電子科学研究所, 2008年8月11日
84. 栄伸一郎, The motion of a transition layer for a bistable reaction diffusion equation in one dimensional space with heterogeneous environment, Mathematical Understanding of Complex Systems arising in Biology and Medicine, CNRS Japan-France LIA ReaDiLab, 明治大学紫紺館, 神田 - お茶の水, 中央区, 東京, October 27-29, 2008
85. 栄伸一郎, Motion of a transition layer in heterogeneous environment, 九州大学数値解析セミナー (Q-NA), KKRホテル金沢, 2008年11月17日-11月19日
86. 栄伸一郎, 不均一拡散場におけるフロント解のダイナミクスについて, 友枝先生還暦記念研究集会, 神戸インスティチュート, 2008年11月27日-11月29日
87. 栄伸一郎, Interaction of deformed pulses in two dimensional spaces, 研究集会「非線形問題に現れる特異性の解析 (SNP2008) , 関西セミナーハウス, 京都市左京区 一乗寺竹ノ内町23., 2008年12月1 -12月3日
88. 小森喬, 山本野人, 常微分方程式の数値解に関する精度保証の技法について, 日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会, 首都大学東京, 2008年3月8日
89. 山本野人, 常微分方程式の精度保証法について, 日本応用数理学会2008年度年会, 東京大学柏キャンパス, 2008年9月19日
90. 山本野人, 小森喬, 常微分方程式の精度保証法について, 日本数学会2008年度秋季総合分科会, 東京工業大学, 2008年9月27日
91. 山本野人, 常微分方程式の精度保証：Taylor Model法の中尾理論への導入, RIMS研究集会「数値解析における理論・手法・応用」, 京都大学, 2008年11月14日
92. Yamamoto, N., Validated Computation of Closed Orbits of Dynamical Systems, International workshop on verified computation and related topics, University of Karlsruhe (TH), Germany, March 7-10,2009
93. Nagatou, K., Computer Assisted Proofs for Partial Differential Equations, Numbers, Functions, Equations '08, Noszvaj, Hungary, June 15-21, 2008
94. Nagatou, K., Eigenvalue excluding on 1-D Schroedinger operators, The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory, University of Wales, Gregynog Hall, Newtown(Powys), United Kingdom , July 12-18, 2008
95. 長藤かおり, 固有値問題に対する数値的検証法とその応用, 日本応用数理学会2008年度年会 オーガナイズドセッション特別講演 , 東京大学柏キャンパス, 2008年9月17日
96. Nagatou, K., Validated computations for elliptic systems of FitzHugh-Nagumo type, 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008), The University of Texas at El Paso , USA, September 29 - October 3, 2008
97. 長藤かおり, 3次元Maxwell方程式に関するスペクトル問題について, 流れ問題のための高品質数値解法と計算機援用解析学, KKRホテル金沢, 2008年11月17-19日
98. 長藤かおり, 非線形微分方程式系の周期境界値問題に対する数値的検証法, 応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2008年12月15-17日
99. Nagatou, K., Computer assisted proofs for differential equations, The 26th Kyushu Symposium on Partial Differential Equations, Kyushu University (Hakozaki Campus) International Hall, January 26-28, 2009
100. 新出孝政，田上大助, 田端正久, 光波の散乱現象の有限要素計算, 応用数理学会研究部会連合発表会, 京都大学理学部, 京都, 2009年3月8日
101. 野津裕史, 田端正久, P1/P1要素を用いた特性曲線有限要素スキームによる{Navier-Stokes}方程式の３次元計算, 第22回数値流体力学シンポジウム, 国立オリンピック記念青少年総合センター, 東京, 2008年12月18日
102. 田端正久, 二流体問題のためのベンチマーク問題とスキームの収束精度, 第22回数値流体力学シンポジウム, 国立オリンピック記念青少年総合センター, 東京, 2008年12月17日
103. Tabata, M., A numerical convergence study for two-fluid flow problems, International Conference on Partial Differential Equations and Applications, City University of Hong Kong, Hong Kong, 2008年12月7日
104. 野津裕史, 上田裕喜, 田端正久, ヘルムホルツ・ストークス方程式に対する反復法の丸め誤差の影響について, 日本数学会2008年度秋季総合分科会, 東京工業大学 大岡山キャンパス, 東京, 2008年9月27日
105. 上田裕喜, 田端正久, 3次元問題におけるエルミート3次要素の境界条件簡易化と アイソパラメトリック手法 , 日本数学会2008年度秋季総合分科会, 東京工業大学 大岡山キャンパス, 東京 , 2008年9月27日
106. 上田裕喜, 野津裕史, 田端正久, ５次までの要素を用いたヘルムホルツ方程式の有限要素計算, 日本応用数理学会2008年度年会, 東京大学 柏キャンパス 総合研究棟, 柏 , 2008年9月19日
107. Tabata, M., Numerical simulations of multi-phase flow problems by an energy-stable finite element scheme, Fifth International Conference on Computational Fluid Dynamics, 2008, Seoul National University, Seoul, Korea, July 8, 2008
108. Tabata, M., Finte element characteristic methods for flow problems, 6th International Conference on Scientific Computing and Applications, 2008., Pusan National University, Busan, Korea, June 6, 2008
研究業績 図書
1. A.Suzuki and M.Tabata. Finite element matrices in congruent subdomains and some techniques for practical problems. In F.Magoules, editor, {\em to appear in Domain Decomposition Methods: Algorithms and Practice}. Civil-Comp Press, Edinburgh, 2010. （１章を分担執筆）
2. M.T. Nakao, et al, Japan Journal of Industrial, and Applied Mathematics Special Issue: State of the Art for Self-Validating Numerical Computations,411pages（2009）
3. 田端正久, 中尾充宏, 偏微分方程式から数値シミュレーションへ／計算の信頼性評価, 現代技術への数学入門,講談社, 2008
4. 栄伸一郎, 山田光太郎, パターン形成の数理, 講談社, 2008