κeenです。ICFPに参加するために奈良に来ています。これはICFP本体の3日目のレポートです。 会場付近は鹿のアレで臭いです。 A Functional Programmer’s Guide to Homotopy Type Theory Talker: Dan Licata 3日目のキーノートはHoTT本の著者のダニエルさんから、関数型プログラマ向けのHoTTの紹介。 ダニエルさんの個人ページからスライドにアクセス出来ます。 A Functional Programmer’s Guide to Homotopy Type Theory 私が説明するよりスライドを見た方が分かりやすいと思うのでそちらに譲ります。ゆっくりしたペースで聞き取りやすく喋っていたので非英語ネイティブには非常に有難い講演でした。 因みにHoTTに詳しそうな人を捕まえてHoTTって何が嬉しいの?って聞いてみたら「色
![ICFP及び関連イベント参加レポート – ICFP 3日目 – | AI tech studio](https://cdn-ak-scissors.b.st-hatena.com/image/square/a5a4b4fccf6419658e95f270b8994063b96bfc70/height=288;version=1;width=512/https%3A%2F%2Fcyberagent.ai%2Fwp-content%2Fuploads%2F2016%2F09%2FCAM00971_2-1024x576.jpg)