チェシャ猫の消滅定理

数学にプログラミング、素敵なもの何もかも。

2021-09-01から1ヶ月間の記事一覧

VPC Reachability Analyzer と形式手法

こんにちは、チェシャ猫です。 先日開催された AWS Dev Day Online Japan 2021 で、AWS の VPC Reachability Analyzer とそのバックエンドである Tiros について発表してきました。公募 CFP 枠です。 www.youtube.com 講演概要 このプレゼンの大きな目標は、…

CI/CD Conference 2021 で Zelkova の論文について話してきました

こんにちは、チェシャ猫です。 先日開催された CI/CD Conference 2021 で、AWS の IAM Access Anazlyer のバックエンドとして使用されている検査エンジン Zelkova、およびその元となった論文について発表してきました。公募 CFP 枠です。 発表の大筋は、少し…