Accuracy improvement of the atmospheric neutrino flux prediction using observed muon spectra at mountain altitude. (February 2020)