TaPL 読書会 #4 - connpass

新機能イベントの「参加者への情報」欄に Markdown をご利用いただけるようになりました。詳しくはこちらをご確認ください

Feb

14
TaPL 読書会 #4
証明中心でピアスの型システム入門を読む会

Hashtag ：#TaPLNagoya

Registration info	Sicss Society枠 Free FCFS 4/6 一般枠 Free FCFS 8/10

Description

内容

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

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

今回

今回は§3.3.3[|Consts(t)|<=size(t)の証明]から

持ち物

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

参加枠について

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

Media View all Media

動画

Feed

c0hamaさんが資料をアップしました。

02/14/2018 20:47

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

01/17/2018 20:49

TaPL 読書会 #4 has been published!

Group

Sicss Society Public Events

Sicss Society主催の勉強会等

Number of events 53

Members 73

Ended

2018/02/14(Wed)

18:45 〜 20:45

Google Calendar iCal

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2018/01/17(Wed) 20:48 〜
2018/02/14(Wed) 20:45

Event Organizer Contact

Location

来栖川電算

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

Organizer

Attendees（12）

Haochen Xie (謝昊辰)

I joined TaPL 読書会 #4!

TaPL 読書会 #4に参加を申し込みました！

TaPL 読書会 #4 に参加を申し込みました！

Kazuki Sugiyama

TaPL 読書会 #4に参加を申し込みました！

TaPL 読書会 #4に参加を申し込みました！

TaPL 読書会 #4に参加を申し込みました！

TaPL 読書会 #4に参加を申し込みました！

TaPL 読書会 #4に参加を申し込みました！

TaPL 読書会 #4 に参加を申し込みました！

TaPL 読書会 #4に参加を申し込みました！

Canceled (1)