ハール測度
The right Haar measure.