新機能 connpass の「IT勉強会カレンダー」画面において、以前からご要望の多かった、都道府県の絞り込みが可能になりました。詳しくは こちら をご覧ください

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

3月

14

TaPL 読書会 #5

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

ハッシュタグ :#TaPLNagoya
募集内容

Sicss Society枠

無料

先着順
3/6

一般枠

無料

先着順
6/10

イベントの説明

内容

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

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

今回

今回は§3.5 評価

持ち物

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

参加枠について

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

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

c0hama

c0hama さんが TaPL 読書会 #5 を公開しました。

2018/03/13 17:36

TaPL 読書会 #5 を公開しました! (公開するのを忘れてました。明日開催です)

グループ

Sicss Society Public Events

Sicss Society主催の勉強会等

イベント数 18回

メンバー数 72人

終了

2018/03/14(水)

18:45
20:45

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

募集期間
2018/03/13(火) 17:36 〜
2018/03/14(水) 20:45

会場

来栖川電算

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

参加者(9人)

mwtndmik

mwtndmik

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

HongoH

HongoH

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

Aoi Yu

Aoi Yu

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

shela

shela

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

noob

noob

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

ShoHashikawa

ShoHashikawa

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

mkoga_

mkoga_

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

yugapanda

yugapanda

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

PDE_MTH_SU83225

PDE_MTH_SU83225

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

参加者一覧(9人)