ディオファントス近似理論