散在型有限単純群 共立講座 数学の輝き 16