小林 宗広
コバヤシ ムネヒロ (Munehiro Kobayashi)
更新日: 2022/08/13
基本情報
研究分野
1学歴
2-
2012年4月 - 2017年3月
-
2008年4月 - 2012年3月
論文
6-
International Congress on Mathematical Software 2018 2018年7月 査読有り
-
AI Communications 31(3) 251-266 2018年 査読有り
-
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016) 213-227 2016年 査読有り
-
Proceedings of the 38th Annual Cognitive Science Society Meeting (COGSCI 2016) 2297-2302 2016年 査読有り
-
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences 236-251 2015年 査読有り
-
Congressus Numerantium 223 227-236 2015年 査読有り
MISC
5-
数理解析研究所講究録 1976 31-44 2015年12月
-
数式処理研究の新たな発展 2015年8月
-
数理解析研究所講究録 1927 10-16 2014年12月
-
数理解析研究所講究録 1888 9-16 2014年4月
講演・口頭発表等
2-
Sixth International Congress on Mathematical Software (ICMS 2018) 2018年7月26日
-
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) 2015年11月13日