質より、りょーや "現代数学序説　──集合と代数..." 2026年6月16日