アルゴリズムは何を圧縮しているのか ─ Haskell から育った「圧縮代数」というメンタルモデル 関数型まつり2026 の発表資料です #fp_matsuri はてなテクノロジー 2026年07月12日 11:34