AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025 DRANK 関数型まつり 2025 で使用したスライドです。 speakerdeck.com 10 days ago Related Topics: Amazon Web Services arrow_back open_in_new Open page https://speakerdeck.com/ytaka23/fp-matsuri-2025
