ぱらぱらめくるシリーズ 写像類群 写像 類 商 群 商群 トポロジー ホモロジー 準同型 曲面 曲線 離散微分幾何 シンプレクティック群 超楕円曲線