Anai Hirokazu

アナイヒロカズ | Anai Hirokazu

Affiliation and department：
Job title： Professor
Other affiliations (2)：

Kyushu University Visiting Professor
Tokyo Institute of Technology

Homepage URL (1)： https://www.linkedin.com/in/hirokazu-anai/

Research field (5)： Control and systems engineering , Intelligent informatics , Applied mathematics and statistics , Basic mathematics , Mathematical informatics

Research keywords (13)： Topological Data Analysis , Mathematical Optimization , Social Mathematics , 人工知能 , 制御理論 , Computer Algebra , 最適化 , グレブナー基底 , 実代数幾何 , パラメトリック最適化 , 限量記号消去 , 記号的最適化手法 , 記号・代数計算

Research theme for competitive and other funds (6)：

2014 - 2017 Developing a theory of mechanism design for electricity markets based on optimization
2009 - 2012 Developments ofcomputational theory of real algebraic geometry for optimization problem
2003 - 2009 Construction of a Platform for Robust Optimization based on Symbolic-numeric Hybrid Computation
2007 - 2009 Development of method for evaluating the consistency between network model in the cell and the molecular measured data
2006 - 2009 Developments of computational algebraic statistics

Show all

Papers (105)：

Akifumi Kira, Naoyuki Kamiyama, Hirokazu Anai, Hiroaki Iwashita, Kotaro Ohori. On dynamic patrolling security games. Journal of the Operations Research Society of Japan. 2019. 62. 4. 152-168
Shohei Yamane, Hiroaki Yamada, Kotaro Ohori, Hirokazu Anai, Shuntaro Sakai, Kugo Takahashi, Jumpei Ouchi, Shingo Takahashi. Systematic Analysis of Micro Dynamics in Agent Based Simulation. Proceedings of the 2018 Winter Simulation Conference. 2018
Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai. Ordering of Subformulas for Efficient Quantifier Elimination over Real Closed Field. International Congress on Mathematical Software 2018. 2018
Koji Maruhashi, Masaru Todoriki, Takuya Ohwa, Keisuke Goto, Yu Hasegawa, Hiroya Inakoshi, Hirokazu Anai. Learning Multi-Way Relations via Tensor Decomposition With Neural Networks. AAAI 2018. 2018. 3770-3777
Hirokazu Anai, Frédéric Chazal, Marc Glisse, Yuichi Ike, Hiroya Inakoshi, Raphaël Tinarrage, Yuhei Umeda. DTM-based filtrations. CoRR abs/1811.04757. 2018

ｍore...

MISC (123)：

中尾悠里, 大堀耕太郎, 穴井宏和. インタラクティブなマッチングAIで実現するトランスペアレントな人の意思決定支援. 富士通テクニカルレビュー特集号(Web). 2020. 2020. 1
Wide Learning Technology to Provide Trust Through Knowledge Discovery. Fujitsu. 2019. 70. 4. 48-54
岩根秀直, 穴井宏和. 実閉体上の限量子消去のための幾何的等価性を利用した論理式の簡単化. Computer Algebra - Theory and its Applications. 2018
Hirokazu Anai. Symbolic and algebraic algorithms for solving algebraic constraints and their applications in industry. 2018
穴井宏和. AIは受験問題を解けるのか. 数学セミナー特集:人工知能は数学者になれるのか. 2018. 60-65

ｍore...

Books (5)：

今日から使える!組合せ最適化離散問題ガイドブック (KS理工学専門書)
講談社 2015 ISBN:4061565443
Handbook of Applied Mathematics
2013 ISBN:425411141X
数理最適化の実践ガイド (KS理工学専門書)
講談社 2013 ISBN:4061565109
QEの計算アルゴリズムとその応用-数式処理による最適化
東京大学出版会 2011 ISBN:4130614061
技術を支える数学-研究開発の現場から
日本評論社 2008 ISBN:4535786097

Lectures and oral presentations (36)：

人工知能の最新動向と今後の目指す姿
(2019 年秋季全国研究発表大会特別セミナー「実現場への導入を加速する新たな AI」 2019)
先端数理で迫る人工知能の新展開とその実践
(マス・フォア・イノベーションシンポジウム(九州大学) 2019)
経営に資する人工知能技術とその活用事例
(第35回経営に貢献するCAEセミナー(CAESEKI.com) 2018)
ソーシャル数理のアプローチ:大学と企業そして現場との協働
(数学アドバンストイノベーションプラットホーム事業(略称AIMaP)ワークショップ「異分野連携のノウハウ共有と水平展開を目指すワークショップ」 2017)
Automatic Natural Language Mathematical Problem Solving by Real Quantifier Elimination
(JARCS SYDNEY 2017 (Australian-Japanese Workshop on Real and Complex Singularities) 2017)

ｍore...

Professional career (1)：

博士(情報理工学) (東京大学)

Work history (9)：

2024/04 - 現在科学技術振興機構 CREST, 予測・制御のための数理科学的基盤の創出[予測数学基盤], 領域アドバイザー
2022/03 - 現在科学技術振興機構 ACT-X 「次世代AI」領域アドバイザー
2021/04 - 現在富士通株式会社富士通株式会社人工知能研究所所長
2019/04 - 現在科学技術振興機構 ACT-X 「数理・情報のフロンティア」領域アドバイザー
2019/04 - 現在科学技術振興機構 CREST 「数学・数理科学と情報科学の連携・融合による情報活用基盤の創出と社会課題解決に向けた展開」領域アドバイザー

Show all

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page