TOP

TaPL 読書会 #3

イベント内容

内容

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

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

今回

今回は3章から

wow

持ち物

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

参加枠について

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

参加者
11人 /定員16人
申込先
会場
来栖川電算
名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階

注目のイベント

タグに関連するイベント

2018/06/23(土) 13:00 〜 18:30
東京都 東銀座
2018/06/17(日) 09:30 〜 11:30
埼玉県

コラム

ノウハウ New

「離脱率」とは?~間違えやすいGoogle アナリティクス用語

「離脱率」とは?~間違えやすいGoogle アナリティクス用語 離脱率とは「そのページで閲覧を終えたセッシ...
25 views
ノウハウ New

「Elasticsearchって何?」

Elasticsearchとは Javaで記述された全文検索ソフトウェアである! ※引用 「Lucene」(ルシー...
331 views
イベント

エンジニアが創造するITオペレーションにおける未来と現実(イマ)~ Accenture Tech Summit ~

2018年1月27日(土)13:00より、「Accenture Tech Summit ~エンジニアが創造する未来と現実(イマ)~」が...
234 views