著名ねこみみエンジニア | CloudNative | Kubernetes | Haskell | Go | 形式手法 | モデル検査 | 定理証明 | AWS Community Builder (Security, 2023-) | 登壇スライド → https://t.co/H6dHoUqenJ