@article{oai:soar-ir.repo.nii.ac.jp:00019010,
 author = {Komatsu, Kotaro and Ishikawa, Tomoyuki and Narazaki, Akito},
 journal = {Proceedings of the 13th International Congress on Mathematical Education (ICME-13)},
 month = {},
 note = {Article, Proceedings of the 13th International Congress on Mathematical Education (ICME-13). Hamburg, Germany, 2016-7-24/31, ICME. (2016)},
 pages = {1-1--1-8},
 title = {Proof validation and modification by example generation: A classroom-based intervention in secondary school geometry},
 year = {2016}
}