アナイ ヒロカズ
穴井 宏和
ANAI HIROKAZU
所属
マス・フォア・インダストリ研究所 先端最適化・量子数理研究部門 教授
職名
教授
電話番号
0926424201
プロフィール
計算機代数（いわゆる数式処理）の理論とその応用の研究を行っています。特に、理工学におけるいろいろな問題に対して、数式処理の制約問題・最適化のアルゴリズムに基づいた新しい方法論を開発し、その成果をツールとして実装しながら実際の工学や産業上の問題への適用を推進しています。実用的に使える方法を実現するため、数値計算と数式処理を融合した数値・数式ハイブリッド計算に基づく計算技法の研究にも力を入れています。
実応用への展開の中に数理を見出し、数学へフィードバックして、応用に必要な新しい数理を創り出すことができるような研究を目指しています。
学位
-
博士（情報理工学）
経歴
-
(株)富士通研究所
受賞
-
シミュレーション学会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
論文
-
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem 査読 国際誌
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 国際誌
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月
書籍等出版物
-
技術を支える数学―研究開発の現場から
若山正人、宮田健治、鈴川一巳、大竹暁、佐藤尚宜、川原仁志、炭谷圭二、桑原輝隆、中山季之、穴井宏和、古川勝彦、高木剛、岡本正宏、西井龍映、川崎英文、村上敬宜（担当：共著）
日本評論社 2008年8月
講演・口頭発表等
-
数値・数式ハイブリッド最適化とその応用
穴井宏和
第4 回九州大学産業技術数理研究センター, ワークショップモデル ベース統合化システム設計を支える数理: 数値・数式ハイブリッド計算・最適化の新展開 2008年9月
-
Symbolic Optimization of Algebraic Functions 国際会議
M. Kanno, K. Yokoyama, H. Anai, and S. Hara
International Symposium on Symbolic and Algebraic Computation (ISSAC) 2008 2008年7月
-
産業技術のための数式処理- 実代数幾何に基づくパラメトリック設計
穴井宏和
Maple 12 バージョンアップセミナー 2008年7月
-
代数的手法を用いた制御系解析・設計手法 国際会議
穴井宏和
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 --- (ＭＡＴＬＡＢのツールボックス)
所属学協会
-
日本数式処理学会
委員歴
-
日本数式処理学会 理事 国内
2008年4月 - 2010年3月
-
電子情報通信学会信号処理(SIP) 研究専門委員会 運営委員 国内
2008年1月 - 現在
-
計測制御自動学会MBD 調査委員会 運営委員 国内
2008年1月 - 現在
学術貢献活動
-
Program Committee 国際学術貢献
International Symposium on Symbolic and Algebraic Computation 2008 （ Linz Austria ） 2008年7月
-
Session organizer 国際学術貢献
IMACS Conference on Applications of Computer Algebra (IMACS-ACA) 2008 （ RISC-Linz Austria ） 2008年7月
-
General Chair 国際学術貢献
2nd International Conference on Algebraic Biology 2007 （ Linz Austria ） 2007年7月
-
座長（Chairmanship） 国際学術貢献
IMACS Conference on Applications of Computer Algebra (IMACS-ACA) 2008 （ RISC-Linz Austria ）
共同研究・競争的資金等の研究課題
-
計算代数統計学の展開
2006年 - 2009年
日本学術振興会 科学研究費助成事業 基盤研究(A)
担当区分：研究分担者 資金種別：科研費
-
科学技術振興機構 CREST 『数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築』
2003年10月 - 2008年9月
科学技術振興機構 CREST
担当区分：研究代表者
様々なものづくりにおいて、シミュレーション技術は設計・製造の効率化、高品質化、高付加価値化実現に不可欠な技術です。本研究では、計算機パワーを活用した記号・代数計算技術を基盤として、今まで行われてきた数値的計算技術を融合したハイブリッド計算技術の構築を目指します。本研究により、非線形・非凸問題などの制約・最適化問題を正確に解くことができ、新しい実用的な計算技術パラダイムの創設のための革新的な第一歩になると期待されます。
-
数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築
2003年 - 2008年
戦略的創造研究推進事業 (文部科学省)
担当区分：研究代表者 資金種別：受託研究
他大学・他機関等の客員・兼任・非常勤講師等
-
1999年 Fakultät für Informatik und Mathematik, Universität Passau (Germany), 区分:客員教員 国内外の区分:国外
学期、曜日時限または期間：1999年10月～2000年11月まで
その他部局等における各種委員・役職等
-
2008年7月 - 現在 学府 グローバルＣＯＥ マス･フォア・インダストリ 事業推進担当者
海外渡航歴
-
1999年10月 - 2000年11月
滞在国名1：ドイツ連邦共和国 滞在機関名1：Fakultät für Informatik und Mathematik,Universität Passau