成史 "集合・位相入門 (松坂和夫　..." 2026年3月29日