イベントの説明
第17回のTaPL読書会です.使用する本は,原著・邦訳どちらでも構いません.
よろしくお願いします.
<スケジュール>
21章 から読み始めます.
<担当予定>
21章 @wakamatz
22章 @fishiiiiiii
23章 @thayamizu
24章 @murase_syuka
25章 @decimalbloat
<参加費>
200~300円
(参加者数により変動します)
<対象>
型理論に興味のある方
<持ち物>
「Types and Programming Languages 」あるいは 「型システム入門」
ノート・筆記具・ノートパソコンなど
<Twitterハッシュタグ>
<お願い>
ノートPC持参も歓迎です(使える電源の数に限りはあります)
また読書会中、積極的にTwitterでハッシュタグをつけてつぶやいてもらえると
まとめに利用できるので、非常に助かります
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。