素数のコンピューターアルゴリズムとか色々あるらしい円周率もそうですが