@inproceedings{oai:soar-ir.repo.nii.ac.jp:00018634,
 author = {Komatsu,  Kotaro and Sakamaki,  Aruta},
 book = {Proceedings of the Joint Meeting of PME 38 and PME-NA 36},
 month = {},
 note = {Article, Liljedahl, P., Oesterle, S., Nicol, C., & Allan, D. (Eds.). (2014). Proceedings of the Joint Meeting of PME 38 and PME-NA 36 (Vol. 4):17-24 . Vancouver, Canada: PME.},
 pages = {17--24},
 publisher = {PME},
 title = {Invention of new statements for counterexamples},
 volume = {4},
 year = {2014}
}