@inproceedings{oai:soar-ir.repo.nii.ac.jp:00018686,
 author = {Miyazaki,  Mikio and Fujita,  Taro and Jones,  Keith},
 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):225-232. Vancouver, Canada: PME.},
 pages = {225--232},
 publisher = {PME},
 title = {Functions of Open Flow-chart Proving in introductory lessons of formal proving},
 volume = {4},
 year = {2014}
}