@inproceedings{oai:soar-ir.repo.nii.ac.jp:00018711, author = {Komatsu, Kotaro}, book = {Proceedings of the 12th International Congress on Mathematical Education (ICME-12)}, month = {}, note = {Article, Proceedings of the 12th International Congress on Mathematical Education (ICME-12). COEX, Seoul, Korea, 2012-7-8/15, ICME. 2838-2847 (2012)}, pages = {2838--2847}, publisher = {ICME}, title = {Lakatos’ heuristic rules as a framework for proofs and refutations in mathematical learning: Local-counterexample and modification of proof}, year = {2012} }