研究員紹介
寺本 央 / TERAMOTO Hiroshi
- 日本語
- ENGLISH
所属
システム理工学部（数学科）
研究室
計算科学研究室
研究の経緯
力学系理論の化学反応動力学への応用に端を発し、実特異点の分類の理論的枠組みの構築、計算代数と実限量化子消去法の計算アルゴリズムの開発とそれによる実特異点の自動分類および認識アルゴリズムの開発を行っている。また、それらのアルゴリズムをはじめとし、数理科学の応用にも力を入れている。
研究テーマ
① 法双曲的不変多様体崩壊の機構
② 実特異点の自動分類アルゴリズムの開発
③ 実限量化子消去アルゴリズムの改良とその実特異点認識問題への応用
研究分野
- ライフサイエンス
- 情報通信
- 環境・農学
- ナノテク・材料
- エネルギー
- ものづくり技術（機械・電気電子・化学工学）
- 社会基盤（土木・建築・防災）
- フロンティア（航空・船舶）
- 人文・社会
- 自然科学一般
- その他
キーワード
力学系理論、法双曲不変多様体、標準型理論、実特異点、計算代数、
実限量化子消去、トポロジー最適化、パーシステントホモロジー
応用技術分野
化学反応動力学、多目的最適化
Faculty, Department
Department of Mathematics,
Faculty of Engineering Science
Research Topics
① Breakdown mechanism of normally hyperbolic invariant manifold
② Algorithms for automatic real singularity classification
③ Improvement of real quantifier elimination algorithm and its application to
recognition problems of real singularities
Research Field
- Life Science
- Informatics
- Environmental Science/Agriculture Science
- Nanotechnology/Materials
- Energy Engineering
- Manufacturing Technology(Mechanical Engineering, Electrical and Electronic Engineering, Chemical Engineering)
- Social Infrastructure(Civil Engineering, Architecture, Disaster Prevention)
- Frontier Technology(Aerospace Engineering, Marine and Maritime Engineering)
- Humanities & Social Sciences
- Natural Science
- Other
Key Words
Dynamical system theory, Normally hyperbolic invariant manifold, Normal form theory, Real singularity, Computational algebra, Real quantifier elimination, Topological optimization, Persistent homology
Applications
Chemical reaction dynamics, Multi-objective optimiation