TOP

TaPL読書会#12

イベント内容

 
 

第12回のTaPL読書会です.使用する本は,原著・邦訳どちらでも構いません.

よろしくお願いします.


<スケジュール>
 13:00~17:00

   第15章 の途中から読み始めます.


  <担当予定>

15章 @murase_syuka @wakamatz

16章 @decimalbloat

18章 @fishiiiiiii

19章 @thayamizu

20章 @wakamatz

21章 @wakamatz



<参加費>

 200~300円
  (参加者数により変動します)


<対象>

  型理論に興味のある方

 


<持ち物>

「Types and Programming Languages 」あるいは 「型システム入門」

ノート・筆記具・ノートパソコンなど


<Twitterハッシュタグ>

   #tapl読書会


<お願い>  

 ノートPC持参も歓迎です(使える電源の数に限りはあります)

 また読書会中、積極的にTwitterでハッシュタグをつけてつぶやいてもらえると

 まとめに利用できるので、非常に助かります


<開催まとめサイト>

    TaPL読書会

 

  →読書会の開催模様をまとめるサイトです!メーリングリストに登録した人はだれでも編集できます.


<読書会メーリングリスト>

TaPL読書会

  →メーリングリストです!何かご意見のある方はお気軽にこちらへ

 
参加者
3人 /定員12人
申込先
会場
クレオ大阪北
大阪市東淀川区東淡路1-4-21

注目のイベント

タグに関連するイベント

コラム

イベント

地域経済の活性化にもハッカー精神を。仙台がIT都市に変わる3つの兆し

近年日本では、IT産業を活性化させることで雇用を創出し、地域経済の活性化につなげようとしている地方自治...
280 views
イベント

エンタープライズシステム開発に「エコシステム」を導入した事例秘話 - Accenture Meetup -

2017年11月10日(金)19時30分より、「エンジニア向け/デジタル・エコシステムをつくり出す技術勉強会 - 大...
131 views
イベント

デジタルトランスフォーメーション時代の最新データベース技術勉強会 - DB進化論 -

2017年12月21日(木)19時10分より、「【エンジニア向け勉強会】デジタルトランスフォーメーション時代の最...
457 views