「型の理論」と証明支援システム

12月16日　マルレク第七回

テーマ：「 「型の理論」と証明支援システム 」

概要：http://kokucheese.com/event/index/130554/
資料：http://docs.google.com/file/d/0B04ol8GVySUuSWJJUUEwRXJPM0E/