昔は高校で群論をちょっとやってたらしいんですがどのくらいのことまでやってたんですか？