お勉強

『マルレク第七回テーマ:「型の理論」と証明支援システム -- COQの世界 』に行ってきました

ひさしぶりに頭がグルグルする講演(勉強会)に行ってきました。講演の概要はここ の講演概要を読んで下さい。資料は ここ からダウンロードできます。 感想 万年Haskell弱者である私には、なぜHaskellerが 型 型 型 型 いうのかが理解出来なかったのですが、…