ハール測度
↑ モジュラー函数というと、重みが 0 のモジュラー形式を指すことが多いが、それとは異なる。