@inproceedings{oai:soar-ir.repo.nii.ac.jp:00018685, author = {Miyazaki, Mikio and Fujita, Taro and Jones, Keith}, 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, 2012, 2858-2867.}, pages = {2858--2867}, publisher = {ICME}, title = {Introducing the structure of proof in lower secondary school geometry: a learning progression based on flow-chart proving}, year = {2012} }