円周率の新記録を樹立したと「円周率の日」に発表、達成したのは日本出身のGoogleエンジニア