Leaching behavior of heavy metals in excavated rocks: －Data analysis by in-situ permeability test and numerical calculation－