お知らせ 【重要なお知らせ】iOSアプリの運用および提供を2024年6月3日(月)を以て終了いたします。詳細は お知らせをご覧ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より 「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用申請及び審査がございます。詳細はヘルプページをご確認ください。

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

Feb

14

TaPL 読書会 #4

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

TaPL 読書会 #4
Hashtag :#TaPLNagoya
Registration info

Sicss Society枠

Free

FCFS
4/6

一般枠

Free

FCFS
8/10

Attendees
Haochen Kotoi-Xie (謝昊辰)
でふ
HongoH
Kazuki Sugiyama
shela
yugapanda
ahuglajbclajep
c0hama
ShoHashikawa
きりん
View Attendee List
Start Date
2018/02/14(Wed) 18:45 ~ 20:45
Registration Period

2018/01/17(Wed) 20:48 〜
2018/02/14(Wed) 20:45まで

Location

来栖川電算

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

View Map Venue Homepage

Description

内容

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

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

今回

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

持ち物

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

参加枠について

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

Feed

c0hama

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

02/14/2018 20:47

Haochen Kotoi-Xie (謝昊辰)

Haochen Kotoi-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 70

Ended

2018/02/14(Wed)

18:45
20:45

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

Location

来栖川電算

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

Attendees(12)

Haochen Kotoi-Xie (謝昊辰)

Haochen Kotoi-Xie (謝昊辰)

I joined TaPL 読書会 #4!

でふ

でふ

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

HongoH

HongoH

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

Kazuki Sugiyama

Kazuki Sugiyama

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

shela

shela

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

yugapanda

yugapanda

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

ahuglajbclajep

ahuglajbclajep

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

c0hama

c0hama

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

ShoHashikawa

ShoHashikawa

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

きりん

きりん

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

Attendees (12)

Canceled (1)