これからのトラブルシューティングの話をしよう by チェシャ猫

せっかく作ったアプリがデプロイしても動かない、許可しているはずの通信がなぜか通らない、逆に許可していないはずの通信がなぜか通ってしまう、インターネットに出られない、そしてこの種のデバッグはかなり辛い…！

多数のコンポーネントが組み合わさって動作するクラウドの世界において、設定不備を発見したり修正したりする作業は、どうしてもエンジニア個人の経験と勘に依存しがちです。では、誰でも手軽に扱えて、かつ「マネジメントコンソールを目 grep」以上に体系的なトラブルシューティングは不可能なのでしょうか？

本講演では「正確だが柔軟性の低い数理論理学ベースの検査」と「柔軟だが正確性の低い生成 AI」の両方を利用することで、より確実で効率的なトラブルシューティングを実現する方法をお話しします。背景となる数学的な理論や論文にも触れながら、AWS 環境におけるデモを交えて解説したいと思います。