円周率を62兆8000億桁まで計算して世界記録を更新したコンピューターのスペックとは?