@misc{oai:tsukuba.repo.nii.ac.jp:00027776,
 author = {小松, 孝太郎},
 month = {},
 note = {2011, 【要旨】},
 title = {数学的探究における操作的証明の活用の促進に関する研究},
 year = {2012}
}