TaPL 読書会 #8 - connpass

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

6月

13
TaPL 読書会 #8
証明中心でピアスの型システム入門を読む会

ハッシュタグ：#TaPLNagoya

募集内容	Sicss Society枠無料先着順 2/6人一般枠無料先着順 3/10人
申込者	申込者一覧を見る
開催日時	2018/06/13(水) 18:45 ～ 20:45 Googleカレンダー icsファイル
募集期間	2018/05/23(水) 21:15 〜 2018/06/13(水) 20:45まで
会場	来栖川電算名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階マップで見る会場のサイトを見る

イベントの説明

内容

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

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

今回

今回は演習5.2.8 名無しラムダ計算におけるリスト表現について

持ち物

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

参加枠について

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

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

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

フィード

Haochen Kotoi-Xie (謝昊辰) さんが書き込みました。

2018/05/30 22:29

TaPL読書会#8は会場の都合により、6/13(水)に変更しました。

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

2018/05/23 21:16

TaPL 読書会 #8 has been published!

グループ

Sicss Society Public Events

Sicss Society主催の勉強会等

イベント数 53回

メンバー数 70人

終了

2018/06/13(水)

18:45 〜 20:45

Googleカレンダー icsファイル

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

募集期間
2018/05/23(水) 21:15 〜
2018/06/13(水) 20:45

イベントへのお問い合わせ

会場

来栖川電算

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

管理者

参加者（5人）

Haochen Kotoi-Xie (謝昊辰)

I joined TaPL 読書会 #8!

(退会ユーザー)

I joined TaPL 読書会 #8!

TaPL 読書会 #8に参加を申し込みました！

TaPL 読書会 #8 に参加を申し込みました！

TaPL 読書会 #8に参加を申し込みました！

参加者一覧（5人）