機能改善 【受付票発行機能 仕様変更のお知らせ】 「受付票発行機能」の仕様変更を行ない、受付票を常に発行することになりました。 詳しくはこちらをご覧ください。

お知らせ 【ATNDイベントデータ取り込み機能のお知らせ】 connpass に ATND で公開されているイベントデータの取り込み機能があることをご存知でしたか? 是非 connpass に取り込んで、運営コミュニティの歴史を消さないようにしましょう!詳しい内容・取り込み手順はこちら

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

Nov

22

TaPL 読書会 #1

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

Registration info

Sicss Society枠

Free

FCFS
6/7

一般枠

Free

FCFS
9/9

Description

内容

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

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

今回

2章数学的準備から

持ち物

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

参加枠について

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

Media View all Media

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

Feed

Haochen Xie (謝昊辰)

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

11/07/2017 11:29

TaPL 読書会 #1 has been published!

Group

Sicss Society Public Events

Sicss Society主催の勉強会等

Number of events 53

Members 75

Ended

2017/11/22(Wed)

18:45
20:45

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

Registration Period
2017/11/07(Tue) 11:28 〜
2017/11/22(Wed) 20:45

Location

来栖川電算

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

Attendees(15)

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined TaPL 読書会 #1!

(退会ユーザー)

(退会ユーザー)

I joined TaPL 読書会 #1!

HongoH

HongoH

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

Kazuki Sugiyama

Kazuki Sugiyama

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

でふ

でふ

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

kawasaki-kazuyoshi

kawasaki-kazuyoshi

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

c0hama

c0hama

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

exoego

exoego

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

noob

noob

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

keita44_f4

keita44_f4

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

Attendees (15)

Canceled (1)

  • (退会ユーザー)