このスピーカーのログ一覧 7件

経験・勘ではなくロジックを使ってネットワークをテストする　MonoSATによる回答の仕組みと探索の効率化
Amazon Web Service Japan
事前に問題を検出できる仕組み　SATソルバとSMTソルバによる充足可能性判定
Amazon Web Service Japan
ネットワークのトラブルを全自動で検査　人間の判断を機械化するVPC Reachability Analyzerの機能
Amazon Web Service Japan
AWSセキュリティは「論理」に訊け！　Automated Reasoning の理論と実践
JULY TECH FESTA
「何をテストしたいか」から考える戦略とツール　あなたのInfrastructure as Codeも予測可能な状態に
DevOpsDaysTokyo
「再現性」「純粋性」「モジュール性」が構成要素　AWS上で予測可能性を担保するための4段階の仕組み
DevOpsDaysTokyo
Infrastructure as Codeのつらみの原因を探れ　恐怖症による負のサイクルを断ち切る“予測可能性”
DevOpsDaysTokyo

このスピーカーの人気ログ

1
事前に問題を検出できる仕組み　SATソルバとSMTソルバによる充足可能性判定
2
Infrastructure as Codeのつらみの原因を探れ　恐怖症による負のサイクルを断ち切る“予測可能性”
3
「再現性」「純粋性」「モジュール性」が構成要素　AWS上で予測可能性を担保するための4段階の仕組み
4
AWSセキュリティは「論理」に訊け！　Automated Reasoning の理論と実践
5
「何をテストしたいか」から考える戦略とツール　あなたのInfrastructure as Codeも予測可能な状態に
6
ネットワークのトラブルを全自動で検査　人間の判断を機械化するVPC Reachability Analyzerの機能
7
経験・勘ではなくロジックを使ってネットワークをテストする　MonoSATによる回答の仕組みと探索の効率化

このスピーカーが参加したコミュニティ

JULY TECH FESTA
DevOpsDaysTokyo
Amazon Web Service Japan