TOP

TAPL読書会@名古屋 #1

イベント内容

僕と一緒に型推論しませんか?

ScalaやF#やSML#などの静的型付き関数型言語の基礎になっている型理論についての勉強会です。

説明が丁寧で例が豊富な 型システム入門 をみんなで読みます。

型に興味のある人は誰でも歓迎です。

今回の内容

  • 1章 はじめに(さらっと)
  • 2章 数学的準備(もっとさらっと)
  • 3章 型無し算術式(マジメに読む)

持ち物

参加者
10人 /定員10人
申込先
会場
名古屋市 短歌会館 1階 集会室
名古屋市中区錦2-13-22

注目のイベント

タグに関連するイベント

2017/12/02(土) 13:00 〜 15:00
島根県
2017/11/21(火) 20:00 〜 21:30
大阪府 南方

コラム

イベント

【レポート】データ活用ビジネスの始め方:デジタルマーケティング[第2部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
184 views
イベント

【レポート】デジタルマーケティングから紐解き、マーケティングをもういちど考える:デジタルマーケティング[第1部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
335 views
イベント

11月(後半)に開催される注目のITイベント・勉強会まとめ

11月後半に開催される注目のITイベント・勉強会をまとめました! 気になるイベントがあれば是非ご参加...
637 views