小林宗広

コバヤシムネヒロ | Kobayashi Munehiro

所属機関・部署：

研究分野 (1件)：応用数学、統計数学

研究キーワード (3件)：機械学習 , 数式処理 , 数理論理学

論文 (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, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai. Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016). 2016. 213-227
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
Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai. Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. Sixth International Conference on Mathematical Aspects of Computer and Information Sciences. 2015. 236-251

MISC (5件)：

小林宗広, 岩根秀直. 実閉体上の非冠頭標準形論理式に対する限量記号消去における部分論理式の処理順序と計算効率 (数式処理研究の新たな発展). 数理解析研究所講究録. 2015. 1976. 31-44
小林宗広, 岩根秀直. 実閉体限量記号消去における機械学習を用いたヒューリスティクス. 数式処理研究の新たな発展. 2015
小林宗広. A generalization of the PAC learning in product probability spaces (Model theoretic aspects of the notion of independence and dimension). 数理解析研究所講究録. 2015. 1938. 33-37
小林宗広. 機械学習の数式処理への応用について (数式処理研究の新たな発展). 数理解析研究所講究録. 2014. 1927. 10-16
小林宗広. A proof of the existence of indiscernible trees without Erdös-Rado theorem. 数理解析研究所講究録. 2014. 1888. 9-16

講演・口頭発表等 (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)

学歴 (2件)：

学位 (1件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

小林 宗広