ハール測度
Construction of Haar measure.