2023年7月 International perspectives on proof: Recent results and future directions The 46th Conference of the International Group for the Psychology of Mathematics Education Sommerhoff, D, Komatsu, K