, Curriculum guideline for high school, 2018.
Defining informatics across Bun-kei and Ri-kei, Journal of Information Processing, vol.23, issue.4, pp.525-530, 2015. ,
Current situation of teachers of informatics at high schools in Japan, Olympiads in Informatics, pp.177-185, 2018. ,
, Research and Development of Assessment Methods in Selection of Applicants to Universities in the subject, Informatics" from Approach Based on Informatics
Characterization of thinking, judging and expressing in the rubrics of common subject "Information, The 10th Congress of National High School Informatics Education Study Group, 2017. ,
Automatic on-line generation of student's exercises in teaching programming, Central European Conference on Information and Intelligent Systems, CECIIS 2010, 7 pages, 2010. ,
Evaluation of software education using auto-generated exercises, IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, pp.732-735, 2016. ,
Automatic test-based assessment of programming: A review, Journal on Educational Resources in Computing, vol.5, issue.3, 2005. ,
Deconstructing Dynamic Symbolic Execution, Proceedings of the 2014 Marktober Summer School on Dependable Software Systems Engineering, 2015. ,
Pex -White box test generation for, TAP 2008: Tests and Proofs, vol.4966, pp.134-153, 2008. ,
Z3: An efficient SMT solver, TACAS 2008: Tools and Algorithms for the Construction and Analysis of Systems, vol.4963, pp.337-340, 2008. ,
,