09se076 伊勢田祥平 真理値表とロジカル・ラビリンス 11se128 木村雄一郎 嘘つきパズルの真理値表を用いた解法 11se302 山野井信之助 教科書の行間埋めによる授業構想 ～中学校数学「図形」を中心として～ 12se017 藤吉章 シークエントを用いた決定問題の発見的解法 12se050 一ノ瀬智仁 「方程式をたてること」に対するポリアの問題解決法の具体例への適用 12se058 稲垣 元哉 実例を用いた数学の問題づくり 12se131 倉橋眞浩 人狼パズルの数理的考察 12se175 中野陽 ゲーデル・パズルの数理的考察 12se181 庭野元来 魔術師の論理的魔術のパズル 12se238 鈴木和也 質問を求める論理パズル 12se242 鈴村郁弥 第一不完全性定理における再帰的表現の考察 12se264 上嶋彩音 数学的帰納法を用いた証明のシークエントによる理解