デデキント環と離散値環の関係