円周率100兆桁目は？　クラウドリソースのチューニングと自動化で挑んだ世界一の挑戦（関連情報）：編集部コラム