そういやどっかの大学で、計算方法ちゃんとしたら10桁くらいで円周率割り切れたって記事あったが、あれって本当だったのか嘘だったのか???? ま、プチコンとは関係無い話だが。