13se132名倉 隆浩シークエントによる証明の理解と表現 − クリプキ・モデルの性質を利用して − 14ss003青山 直樹高等学校数学における数理計画問題 14ss004新井 美智子「使える性質―導く性質」の表を用いた証明の書き方 14ss033川村 宏彰論理パズルと決定不能性 − ゲーデルの不完全性定理 − 14ss095横山 将大タブロー法の完全性 14ss100座間 智貴論理パズルの解法の比較