お知らせ ビープラウド、機械学習・データ分析の問題をオンライン学習サービスPyQにて提供開始

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

11月

22

TaPL 読書会 #1

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

募集内容

Sicss Society枠

無料

先着順
6/8

一般枠

無料

先着順
8/8

イベントの説明

内容

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

今回

2章数学的準備から

持ち物

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

参加枠について

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

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

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

フィード

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) さんが TaPL 読書会 #1 を公開しました。

2017/11/07 11:29

TaPL 読書会 #1 has been published!

グループ

Sicss Society Public Seminars & Workshops

Sicss Society主催のセミナーやワークショップ

イベント数 7回

メンバー数 25人

開催前

2017/11/22(水)

18:45
20:45

イベントに申し込むには
ログインしてください

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

募集期間
2017/11/07(火) 11:28 〜
2017/11/22(水) 20:45

会場

来栖川電算

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

来栖川電算

参加者(14人)

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined TaPL 読書会 #1!

RyoHaruyama

RyoHaruyama

I joined TaPL 読書会 #1!

HongoH

HongoH

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

mwtndmik

mwtndmik

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

でふ

でふ

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

kawasaki-kazuyoshi

kawasaki-kazuyoshi

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

c0hama

c0hama

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

mogami

mogami

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

noob

noob

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

keita44_f4

keita44_f4

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

参加者一覧(14人)

キャンセルした人(1人)