Research field (5):
Control and systems engineering
, Intelligent informatics
, Applied mathematics and statistics
, Basic mathematics
, Mathematical informatics
Research keywords (6):
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
2002 - 2003 記号・代数計算による最適化問題解法と定理自動証明の研究
Show all
Papers (109):
Masaru Fuji, Hajime Morita, Keisuke Goto, Koji Maruhashi, Hirokazu Anai, Nobuyuki Igata. Explainable AI through combination of deep tensor and knowledge graph. Fujitsu Scientific and Technical Journal. 2019. 55. 2. 58-64
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