>>585
p進体上のHarr測度の構成がどうとか特殊な話をしない限り
「普通は」semiringがどうとか必要無い