Research field (1):
Applied mathematics and statistics
Research keywords (3):
機械学習
, 数式処理
, 数理論理学
Papers (6):
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
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai. Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Communications. 2018. 31. 3. 251-266
Takuya Matsuzaki, Munehiro Kobayashi, Noriko H. Arai. An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans. Proceedings of the 38th Annual Cognitive Science Society Meeting (COGSCI 2016). 2016. 2297-2302
An application of machine learning to heuristics for quantifier elimination over real closed fields. Developments in Computer Algebra Research. 2015
Munehiro Kobayashi. A generalization of the PAC learning in product probability spaces (Model theoretic aspects of the notion of independence and dimension). RIMS Kôkyûroku. 2015. 1938. 33-37
Munehiro Kobayashi. A proof of the existence of indiscernible trees without Erdös-Rado theorem. RIMS Kôkyûroku. 2014. 1888. 9-16
Lectures and oral presentations (2):
Ordering of Subformulas for Efficient Quantifier Elimination over Real Closed Field
(Sixth International Congress on Mathematical Software (ICMS 2018) 2018)
Efficient subformula orders for real quantier elimination of non-prenex formulas
(Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) 2015)
Education (2):
2012 - 2017 University of Tsukuba Graduate School of Pure and Applied Sciences Doctoral Program in Mathematics
2008 - 2012 Tokyo University of Science Faculty of Science Division I Department of Mathematics