はじめに S3 の論文 "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" に目を通したので内容を箇条書きでメモしていきます。 まだ 「Introduction」までしか見てないので随時記載していきます。

はじめに MySQL 5.7 から 8.0 への変更点の1つとして、文字セット(charset)が latin1 から utf8mb4 になり、utf8mb4 の場合の照合順序(collation)が utf8mb4_0900_ai_ci になる、というのがあります。 この文字セットと照合順序について調べたことをメモして…