こんにちは、チェシャ猫です。 先日開催された関数型まつりで、AWS によって開発されたポリシー言語 Cedar と、その開発に使用された定理証明支援系 Lean について登壇してきました。公募 CFP 枠です。 fortee.jp （TODO: 録画が公開されたら貼る） 前回登壇…

こんにちは、チェシャ猫です。 先日開催された PHPerKaigi 2025 で、AWS によって開発されたポリシー言語 Cedar およびそのマネージドサービス版である Amazon Verified Permissions について登壇してきました。公募 CFP 枠です。 fortee.jp www.youtube.com…