お知らせ 利用規約及びプライバシーポリシーを改訂いたしました。こちらこちらから内容をご確認ください。

注意 2018年5月31日以降、connpassは、TLS 1.1以降でのみ、接続が可能となります。くわしくはこちらをご確認ください。

お知らせ FacebookAPIの仕様変更により、ユーザプロフィールのFacebookリンクが廃止されました。ご不便をおかけしますが、何卒ご了承下さい。

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

1月

17

TaPL 読書会 #3

証明中心でピアスの型システム入門を読む会

ハッシュタグ :#TaPLNagoya
募集内容

Sicss Society枠

無料

先着順
4/6

一般枠

無料

先着順
7/10

イベントの説明

内容

TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。

ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2

今回

今回は3章から

wow

持ち物

型システム入門 (無ければ隣の人に見せてもらえるかも)

参加枠について

"Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

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

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

フィード

keigoi

keigoi さんが書き込みました。

2018/01/17 13:48

参加コメントに書き損ねた…途中参加(20時ごろ?)になりそうです。よろしくおねがいします。

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) さんが TaPL 読書会 #3 を公開しました。

2017/12/21 11:41

TaPL 読書会 #3 has been published!

グループ

Sicss Society Public Events

Sicss Society主催の勉強会等

イベント数 16回

メンバー数 71人

終了

2018/01/17(水)

18:45
20:45

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2017/12/21(木) 11:40 〜
2018/01/17(水) 20:45

会場

来栖川電算

名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階

参加者(11人)

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined TaPL 読書会 #3!

HongoH

HongoH

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

mwtndmik

mwtndmik

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

HyunggyuJang

HyunggyuJang

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

shela

shela

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

c0hama

c0hama

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

きりん

きりん

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

ahuglajbclajep

ahuglajbclajep

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

yugapanda

yugapanda

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

n-kats

n-kats

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

参加者一覧(11人)

キャンセルした人(2人)