深作 亮也
フカサク リョウヤ (Ryoya Fukasaku)
更新日: 2022/08/28
論文
17
表示件数
-
Mathematics in Computer Science 13(1-2) 79-93 2019年6月 査読有り
-
Proceedings of the 23nd Asian Technology Conference in Mathematics 176-185 2018年11月 査読有り
-
Communications of Japan Society for Symbolic and Algebraic Computation 3 19-29 2018年10月 査読有り
-
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) 359-365 2018年7月 査読有り
-
AI Commun. 31(3) 251-266 2018年 査読有り
-
Proceedings of the 22nd Asian Technology Conference in Mathematics (ATCM 2017) 198-207 2017年12月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10693 258-263 2017年 査読有り
-
Proceedings of the 21st Asian Technology Conference in Mathematics (ATCM 2016) 190-199 2016年12月 査読有り
-
ACM Communications in Computer Algebra 50(3) 101-104 2016年9月1日 査読有り
-
Proceedings of the International Joint Conference on Automated Reasoning 2016, Lecture Notes in Computer Science 9706 213-227 2016年 査読有り
-
MATHEMATICAL SOFTWARE, ICMS 2016 9725 165-172 2016年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9582 231-235 2016年 査読有り
-
Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015) 316-325 2015年12月 査読有り
-
Mathematics in Computer Science 9(3) 267-281 2015年9月 査読有り
-
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015) 173-180 2015年7月 査読有り
-
Proceedings of the 5th International Congress on Mathematical Software (ICMS 2014), Lecture Notes in Computer Science 8592 512-517 2014年 査読有り
-
Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences(MACIS 2013) 21-24 2013年12月 査読有り