• 
• 
• 

• 荒井　迅
• 新井仁之
• 坂上貴之
• 水藤　寛
• 田中ダン
• 長藤かおり
• 中野　張
• 長山雅晴
• 西成活裕
• 蓮尾一郎
• 牧野和久
• 吉田朋広

荒井　迅

論文

著者・発表者	Zin Arai, Kazunori Hayashi and Yasuaki Hiraoka
表題	Mayer-Vietoris Sequences and Coverage Problems in Sensor Networks
発表先	Japan Journal of Industrial and Applied Mathematics, 28 (2011), 237-250 (2011/8/1)

著者・発表者	Zin Arai, Hiroshi Kokubu and Pawel Pilarczak
表題	Recent Development in Rigorous Computational Methids in Dynamical Systems
発表先	Japan Journal of Industrial and Applied Mathematics, 26 (2009), 393-417 (2009/7/20)

著者・発表者	荒井 迅、William Kalies、國府寛司、Konstantin Mischaikow、岡宏枝、Pawel Pilarczyk
表題	A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems（招待）
発表先	SIAM Journal on Applied Dynamical Systems, 8 (2009), 757-789 (2009/7/2)

口頭発表

著者・発表者	荒井迅
表題	Hyperbolicity, monodromy and pruning fronts
発表先	Various Aspects of Dynamical Systems (ICM 2010 Satellite Conference)(2010/8/29)

著者・発表者	荒井迅　北海道大学創成研究機構 / JST PRESTO
表題	Rigorous Verification of Global Properties of Dynamical Systems（招待）
発表先	8th AIMS Conference on Dynamical Systems, Differential Equations and Application(2010/5/28)

著者・発表者	荒井迅　北海道大学創成研究機構 / JST PRESTO
表題	Computational Homology and its Applicaions
発表先	湊ERATOセミナー(2010/5/14)

著者・発表者	荒井迅　北海道大学創成研究機構 / JST PRESTO
表題	Interval Krawczyk Method and its Application to Dynamcal Systems
発表先	天体力学Ｎ体力学研究会(2010/3/19)

著者・発表者	荒井迅　北海道大学創成研究機構 / JST PRESTO
表題	Monodromy and the pruning front: the gyration number
発表先	2009年度冬の力学系研究集会(2010/1/9)

著者・発表者	荒井迅　北海道大学創成研究機構 / JST PRESTO
表題	カオスの骨格
発表先	日本数学会・北海道支部総会(2009/12/4)

著者・発表者	荒井 迅、William Kalies、國府寛司、Konstantin Mischaikow、岡宏枝、Pawel Pilarczyk
表題	センサーネットワークの被覆問題とホモロジーの分散計算について
発表先	Global COE Seminar第8回 離散幾何解析セミナー（2009/11/6）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Rigorous verification of uniform hyperbolicity, subshifts of finite type and the pruning front（招待）
発表先	Workshop on Computational Differential Geometry, Topology, and Dynamics（2009/11/1）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Rigorous Computation of the Monodromy and the Pruning Front of Dynamical Systems
発表先	2009 International Symposium on Nonlinear Theory and its Applications（2009/10/19）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	A Database Schema for the Analysis of Global Dynamics
発表先	7th International Conference of Numerical Analysis and Applied Mathematics（2009/9/21）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Hyperbolicity, Stability and Monodromy of Dynamical Systems
発表先	トポロジーとコンピュータ2009（2009/9/2）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Development and Applications of an Algorithm for Proving Structural Stability（招待）
発表先	Dynamics, Topology and Computations（2009/6/6）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Rigorous Monodromy Computation and its Appli- cation to the Pruning Front Theory
発表先	SIAM Conference on Applications of Dynamical Systems（2009/5/17）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Towards the verification of qualitative properties of dynamical systems
発表先	International Workshop on Numerical Verification and its Applications 2009（2009/3/28）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Monodromy and Pruning Front Theory
発表先	2008年度冬の力学系研究集会（2009/1/10）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	精度保証とカオス
発表先	第3回 岐阜非線形ワークショップ（2008/10/27）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	Rigorous Verification of the Hyperbolicity and its Applications
発表先	RIMS Workshop 2008: New development in the Study of Dynamical Systems beyond Uniform-Hyperbolicity（2008/10/2）

著者・発表者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	On rigorous computational methods for proving uniform hyperbolicity（招待）
発表先	Computational Topology and Dynamics Workshop（2008/8/11）

著者・発表者	荒井迅　京都大学大学院理学研究科/JST PRESTO
表題	Rigorous Verification of the hyperbolicity of dynamical systems and its applications
発表先	Foundations of Computational Mathematics "FoCM08"（2008/6/17）

著者・発表者	荒井迅　京都大学大学院理学研究科/JST PRESTO
表題	Uniform Hyperbolicity in real Henon family（招待）
発表先	Computer-assisted proofs in hyperbolic dyanmics (candy 08)（2008/3/17）

著者・発表者	荒井迅　京都大学大学院理学研究科/JST PRESTO
表題	On Rigorous Verification of Stability and Bifurcation of Dynamical Systems
発表先	2008 International Workshop on Numerical Verification and its Applications（2008/3/1）

著者・発表者	荒井迅　京都大学大学院理学研究科/JST PRESTO
表題	Hyperbolicity and Monodromy of real and complex Hénon maps（招待）
発表先	International Conference on Topology and its Applications 2007（2007/12/7）

著者・発表者	荒井 迅 京都大学 大学院理学研究科 / JST PRESTO
表題	Rigorous Verification of Structural Stability in Dynamical Systems
発表先	精度保証付き数値計算とその周辺（2007/10/13）

出版物

著者	荒井 迅 北海道大学創成科学共同研究機構 / JST PRESTO
表題	精度保証付き数値計算の応用： カオス/渾沌を殺さず七竅を鑿つために
誌名／発行元	数学セミナー 2008年11月号（2008/10/1）

受賞