お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

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

10月

10

TaPL 読書会 #13

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

TaPL 読書会 #13
ハッシュタグ :#TaPLNagoya
募集内容

Sicss Society枠

無料

先着順
1/6

一般枠

無料

先着順
2/10

申込者
Haochen Kotoi-Xie (謝昊辰)
mkoga_
shela
申込者一覧を見る
開催日時
2018/10/10(水) 18:45 ~ 20:45
募集期間

2018/09/26(水) 17:04 〜
2018/10/10(水) 20:45まで

会場

来栖川電算

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

マップで見る 会場のサイトを見る

イベントの説明

内容

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

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

今回

第11章 単純な拡張

持ち物

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

参加枠について

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

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

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

フィード

c0hama

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

2018/09/26 17:04

TaPL 読書会 #13 を公開しました!

グループ

Sicss Society Public Events

Sicss Society主催の勉強会等

イベント数 53回

メンバー数 70人

終了

2018/10/10(水)

18:45
20:45

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

募集期間
2018/09/26(水) 17:04 〜
2018/10/10(水) 20:45

会場

来栖川電算

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

参加者(3人)

Haochen Kotoi-Xie (謝昊辰)

Haochen Kotoi-Xie (謝昊辰)

I joined TaPL 読書会 #13!

mkoga_

mkoga_

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

shela

shela

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

参加者一覧(3人)