関数型まつり2026

Leanで学ぼう等式推論（証明もあるよ！）

井山梃子歴史館@__pandaman64__Track A50 分

Leanで等式推論を機械検証しながら、素朴なプログラムを正しさを保って効率的な実装へ導く方法と、証明付き最適化機能、モナドへの応用が分かる。

スライド

github.com でスライドを開く

同じ技術の発表を探す

発表概要の全文は fortee の発表ページ で読めます。