お知らせ 【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

このエントリーをはてなブックマークに追加

6月

25

TaPL読書会#27

主催 : @thayamizu

TaPL読書会#27
募集内容

参加者枠

無料、もしくは会場払い

先着順
4/12

申込者
murase_syuka
Wakamatz
fishii
decimalbloat
申込者一覧を見る
開催日時
2016/06/25(土) 13:00 ~ 17:00
募集期間

2016/06/24(金) 20:03 〜
2016/06/25(土) 17:00まで

会場

西淀川区民ホール

〒555-0012 大阪市西淀川区御幣島3-13-3

マップで見る 会場のサイトを見る

イベントの説明

 
 

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

よろしくお願いします.


<スケジュール>
 輪講開始:13:00~17:00

26章5節 有界存在型 から読み始めます.


    <担当予定>

26章 @decimalbloat さん
28章 @wakamatz さん
29章 @thayamizu
30章 @decimalbloat さん
31章 @fishiiiiiii さん



<参加費>

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


<対象>

  型理論に興味のある方

 


<持ち物>

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

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


<Twitterハッシュタグ>

   #tapl読書会


<お願い>  

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

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

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


 

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

くれすとさん

くれすとさん さんが TaPL読書会#27 を公開しました。

2016/06/24 20:07

TaPL読書会#27 を公開しました!

終了

2016/06/25(土)

13:00
17:00

募集期間
2016/06/24(金) 20:03 〜
2016/06/25(土) 17:00

会場

西淀川区民ホール

〒555-0012 大阪市西淀川区御幣島3-13-3

管理者

参加者(4人)

murase_syuka

murase_syuka

TaPL読書会#27 に参加を申し込みました!

Wakamatz

Wakamatz

TaPL読書会#27 に参加を申し込みました!

fishii

fishii

I joined TaPL読書会#27!

decimalbloat

decimalbloat

TaPL読書会#27 に参加を申し込みました!

参加者一覧(4人)