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

12月

20

TaPL 読書会 #2

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

Registration info

Sicss Society枠

Free

FCFS
5/7

一般枠

Free

FCFS
8/9

Description

内容

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

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

今回

今回は§§2.2.6から

持ち物

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

*NEW* ギフト交換用のプレゼントを持ってきましょう〜

wow

参加枠について

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) さんが書き込みました。

2017/12/17 12:44

来栖川のメードさんがクリスマスギフト交換のブラックボード絵を描いて来れましたので、ギフト交換しましょう〜〜 皆んな千円以下のギフトを持ってきましょう〜〜

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) published TaPL 読書会 #2.

11/22/2017 21:07

TaPL 読書会 #2 has been published!

Group

Sicss Society Public Events

Sicss Society主催の勉強会等

Number of events 35

Members 73

Ended

2017/12/20(Wed)

18:45
20:45

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

Registration Period
2017/11/22(Wed) 21:07 〜
2017/12/20(Wed) 20:45

Location

来栖川電算

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

Attendees(13)

(退会ユーザー)

(退会ユーザー)

I joined TaPL 読書会 #2!

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined TaPL 読書会 #2!

HongoH

HongoH

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

Kazuki Sugiyama

Kazuki Sugiyama

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

kawasaki-kazuyoshi

kawasaki-kazuyoshi

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

c0hama

c0hama

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

shela

shela

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

noob

noob

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

きりん

きりん

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

ahuglajbclajep

ahuglajbclajep

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

Attendees (13)

Canceled (2)