Lehmer_のアルゴリズム