評価の基本概念と離散評価環