特性2のリー型の単純群の二項作用 | Synapse