TaPL読書会#27
イベント内容
第27回のTaPL読書会です.使用する本は,原著・邦訳どちらでも構いません.
よろしくお願いします.
<スケジュール>
26章5節 有界存在型 から読み始めます.
<担当予定>
26章 @decimalbloat さん
28章 @wakamatz さん
29章 @thayamizu
30章 @decimalbloat さん
31章 @fishiiiiiii さん
<参加費>
200~300円
(参加者数により変動します)
<対象>
型理論に興味のある方
<持ち物>
「Types and Programming Languages 」あるいは 「型システム入門」
ノート・筆記具・ノートパソコンなど
<Twitterハッシュタグ>
<お願い>
ノートPC持参も歓迎です(使える電源の数に限りはあります)
また読書会中、積極的にTwitterでハッシュタグをつけてつぶやいてもらえると
まとめに利用できるので、非常に助かります
注意事項
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。