新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Apr

18

TaPL 読書会 #6

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

Hashtag :#TaPLNagoya
Registration info

Sicss Society枠

Free

FCFS
1/6

一般枠

Free

FCFS
4/10

Description

Blackboard

内容

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

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

今回

今回は§3.5.12 評価の停止性より

持ち物

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

参加枠について

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

Media View all Media

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

Feed

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) wrote a comment.

2018/04/16 09:37

TAPL #6は今週水曜日開催です! 今回は§3.5.12 評価の停止性よりとなっています!

Haochen Xie (謝昊辰)

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

03/14/2018 21:19

TaPL 読書会 #6 has been published!

Group

Sicss Society Public Events

Sicss Society主催の勉強会等

Number of events 53

Members 75

Ended

2018/04/18(Wed)

18:45
20:45

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

Registration Period
2018/03/14(Wed) 21:04 〜
2018/04/18(Wed) 20:45

Location

来栖川電算

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

Attendees(5)

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined TaPL 読書会 #6!

mkoga_

mkoga_

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

shela

shela

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

ahuglajbclajep

ahuglajbclajep

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

tzskp1

tzskp1

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

Attendees (5)

Canceled (1)

  • (退会ユーザー)