2016SS043村上 智輝形式論理を用いた高等学校数学の解法 2016SS064瀬口 可奈スマリヤンの究極の論理パズルの解法 2016SS084田中 広大教科書の行間埋めによる授業構想 − 高等学校数学「確率」を中心として − 2016SS095安田 匡慶正規様相論理とクリプキ・フレーム 2016SS096芳野 美奈教科書の行間埋めによる授業構想 − 高等学校数学「2次関数」を中心として −