『AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 by チェシャ猫 | プロポーザル | 関数型まつり2025 #fp_matsuri - fortee.jp』2025/3/3 2:21:00 https://fortee.jp/2025fp-matsuri/proposal/8bb407b5-5df3-48bb-a934-0ca6ca628c9a
