数値的半群環