M2020SS003長瀬 隼大中学校の幾何問題の発展的考察 ―「図形と相似」を中心として― M2020SS006田中 優祐証明図による日本語証明の分析 M2020SS007安田 匡慶様相論理K5の標準形とイグザクトモデル M2020SS008芳野 美奈2変数の非直接推論の標準形