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