2017SS006 権田 凱亜 様相論理とクリプキ意味論 2017SS010 日沖 明音 身の回りの事象を用いた数学科の授業構想 − 中学校数学を中心として − 2017SS017 稲見 悠花 教科書の行間埋めによる授業構想 − 高等学校数学「三角関数」を中心として − 2017SS025 神川 留奈 形式体系を用いた証明法の比較 2017SS031 加藤 舞羽 形式体系を用いた証明の分析 − 数学的帰納法を中心として − 2017SS046 長坂 大介 学習意義を意識した数学の授業構想 2017SS068 杉浦 大貴 高等学校数学における思考力・判断力を育成する指導法