Cloud Spanner と CAP 定理 | Google Cloud 公式ブログ