# 対象とする聴衆のレベル - Intermediate: 分野の基礎知識を持っている # セッションのテーマ - 導入事例 - 理論 # セッションの概要 本セッションでは、AWS によって定理証明支援系 Lean を用いて開発されたポリシー記述言語 Cedar について、定理証明の役割や実サービスとの接続に焦点を当てて解説します。…