ANAI HIROKAZU
Organization
Institute of Mathematics for Industry (TBC)Advanced Optimization and Quantum Mathematical Research Division Professor
Title
Professor
Tel
0926424201
Profile
My research interest lies in computational algebra, so called ``computer algebra", i.e., the theory and application of algebraic and symbolic computation. We investigate efficient algorithms of computer algebra in order to develop new methodologies to resolve various kinds of issues in science, engineering, and industry. Our research results have been implemented as some tools for practical engineering and industrial applications, where the applications range from system and control theory to physics and biology. In particular, our current focus is on "Monozukuri (manufacturing)". We have been developing new simulation techniques based on algebraic computations (including the joint use of numerical computations) and moreover advanced Monozukuri methodologies (e.g., systematic design and verification methods) utilizing these simulation techniques. Our aim is to establish a new paradigm of Monozukuri through building a new system and control theory based on mathematics.
As an effective and promising method, we focus on constraint solving/optimization problems based on symbolic and algebraic computation, and we are trying to develop efficient computational algorithms. Specifically, our research includes methods using Quantifier Elimination (QE) and Groebner Bases (GB), which are algebraic algorithms based on theories of algebraic geometry and real algebraic geometry. However, to realize a practically effective method using the QE algorithm, the method must be sped up. For the purpose, we have been developing innovative optimization methods based on symbolic-numeric computation by combining it with numerical optimization methods.
We strive to discover mathematical principles in these activities, including practical applications, such as Monozukuri, so that we can find their synergy to applied (computational) mathematics. Then we also aim at creating new mathematical principles necessary for practical applications and conducting research which generates innovative mathematical concepts and theoretical development.
Degree
-
Doctor of Information Physics and Computing
Research History
-
(株)富士通研究所
Awards
-
シミュレーション学会2007年度論文賞
2007.6 シミュレーション学会 数式処理を用いた多項式のロバスト根配置とその制御系設計への応用 穴井宏和，原辰次， 『シミュレーション』Vol.25,No.3 (p.28～35),2006
-
Honorable Mention Paper Award
2005.9 BIOINFO 2005 (International Joint Conference of InCoB, AASBi and KSBI) "Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination", S. Orii, H. Anai, K. Horimoto, In Proceedings of the 2005 International Joint Conference of InCoB, AASBi and KSBI, 272-277, 2005
Papers
-
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem Reviewed International journal
H. Anai, S. Hara, M. Kanno, and K. Yokoyama
Journal of Symbolic Computation 2009.4
-
Symbolic optimization of algebraic functions
M. Kanno, K. Yokoyama, H. Anai, S. Hara:
Symbolic and algebraic computation 2008.4
-
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination International journal
N. Hyodo, M. Hong, H. Yanami, S. Hara, H. Anai
Applicable Algebra in Engineering, Communication and Computing 2007.12
-
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks
H. Yoshida, K. Nakagawa, H. Anai, K. Horimoto
Lecture Notes in Computer Science 2007.9
-
The Maple package SyNRAC and its application to robust control design
H. Yanami, H. Anai
Future Generation Computer Systems 2007.6
Books
-
技術を支える数学―研究開発の現場から
若山正人、宮田健治、鈴川一巳、大竹暁、佐藤尚宜、川原仁志、炭谷圭二、桑原輝隆、中山季之、穴井宏和、古川勝彦、高木剛、岡本正宏、西井龍映、川崎英文、村上敬宜（Role：Joint author）
日本評論社 2008.8
Presentations
-
数値・数式ハイブリッド最適化とその応用
穴井宏和
第4 回九州大学産業技術数理研究センター, ワークショップモデル ベース統合化システム設計を支える数理: 数値・数式ハイブリッド計算・最適化の新展開 2008.9
-
Symbolic Optimization of Algebraic Functions International conference
M. Kanno, K. Yokoyama, H. Anai, and S. Hara
International Symposium on Symbolic and Algebraic Computation (ISSAC) 2008 2008.7
-
産業技術のための数式処理- 実代数幾何に基づくパラメトリック設計
穴井宏和
Maple 12 バージョンアップセミナー 2008.7
-
代数的手法を用いた制御系解析・設計手法 International conference
穴井宏和
2008.3
-
Symbolic simulation and reachability study of Hybrid systems via first-order logic”
穴井宏和
SICE-SSI2007 オーガナイズド・セッション ハイブリッド／リアルタイムシステムの検証と制御のための計算手法 2007.11
-
計算機代数を活用したシミュレーション技術とその展開 ～ものづくり支援から生体系解析まで～
穴井 宏和
第55 回人工知能セミナー「数理工学の最前線に学ぶ」 2007.7
-
ものづくりと計算技術-数式処理による最適設
穴井 宏和
九州大学産業技術数理研究センターキックオフミーティング 2007.5
MISC
-
数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォーム-ものづくりを支える新しいシミュレーション技術を目指して-
穴井宏和
情報処理学会会誌「情報処理」特集「次世代統合シミュレーション技術」Vol.48 No.10, pp1096-1102 2007.11
-
計算実代数幾何入門（１）～（５）
穴井宏和、横山和弘
数学セミナー 2007.11
-
数式処理によるロバスト制御系設計
穴井宏和, 原辰次
計測自動制御学会学会誌 計測と制御Vol.44 No.8, 552-557, 2005. 2005.10
Works
-
SyNRAC (Symbolic-Numeric toolbox for solving Real Algebraic Constraints ) --- (Maple上のツール）
-
Parametric Robust Control Toolbox --- (ＭＡＴＬＡＢのツールボックス)
Professional Memberships
-
日本数式処理学会
Committee Memberships
-
日本数式処理学会 Executive Domestic
2008.4 - 2010.3
-
電子情報通信学会信号処理(SIP) 研究専門委員会 Steering committee member Domestic
2008.1 - Present
-
計測制御自動学会MBD 調査委員会 Steering committee member Domestic
2008.1 - Present
Academic Activities
-
Program Committee International contribution
International Symposium on Symbolic and Algebraic Computation 2008 （ Linz Austria ） 2008.7
-
Session organizer International contribution
IMACS Conference on Applications of Computer Algebra (IMACS-ACA) 2008 （ RISC-Linz Austria ） 2008.7
-
General Chair International contribution
2nd International Conference on Algebraic Biology 2007 （ Linz Austria ） 2007.7
-
座長（Chairmanship） International contribution
IMACS Conference on Applications of Computer Algebra (IMACS-ACA) 2008 （ RISC-Linz Austria ）
Research Projects
-
計算代数統計学の展開
2006 - 2009
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A)
Authorship：Coinvestigator(s) Grant type：Scientific research funding
-
科学技術振興機構 CREST 『数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築』
2003.10 - 2008.9
科学技術振興機構 CREST
Authorship：Principal investigator
Simulation is an indispensable technology for improving efficiency in manufacturing and for raising the qualities of products. This project aims at constructing a symbolic-numeric hybrid computation platform for robust optimization by integrating algebraic algorithms based on symbolic computation with numerical methods/computation. It enables us to resolve nonlinear/nonconvex optimization problems precisely and efficiently. This project is expected to be an innovative attempt to establish a new practical paradigm for scientific computing.
-
数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築
2003 - 2008
JST Strategic Basic Research Program (Ministry of Education, Culture, Sports, Science and Technology)
Authorship：Principal investigator Grant type：Contract research
Visiting, concurrent, or part-time lecturers at other universities, institutions, etc.
-
1999 Fakultät für Informatik und Mathematik, Universität Passau (Germany), Classification:Affiliate faculty Domestic/International Classification:Overseas
Semester, Day Time or Duration：1999年10月～2000年11月まで
Travel Abroad
-
1999.10 - 2000.11
Staying countory name 1：Germany Staying institution name 1：Fakultät für Informatik und Mathematik,Universität Passau