ディオファントス解析