およそ一年前、プレイングマネージャーをやめてプロダクトマネージャー（以下、PdM）に専念することにしました。PdMとしての仕事が大きくなってきて、自分が開発に関わっているとそこがボトルネックになりそうだったのが理由でした。自分のキャリア上の転換…

本記事は、形式検証 / 形式手法 Advent Calendar 2021 の 19 日目の記事です。 Amazon S3が形式手法を採用した論文 "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" を読みました。 論文全体については、yohei-aさん…