ハール測度
Haar measure in locally compact abelian (LCA) groups.