ダベンポート定数といくつかの非可換群のその変種 | Synapse