チョウスウガク
Chosugaku
ショウメイロン
Shomeiron
証明論入門 / 竹内外史, 八杉満利子 共著