TOP

クリップ
2014/08/02(土) 14:00 開催
愛知県 伏見

TAPL読書会@名古屋 #1

基本情報

日 時: 2014/08/02(土) 14:00 〜 17:00
会 場: 名古屋市 短歌会館 1階 集会室
住 所: 名古屋市中区錦2-13-22
定員数: 申込 10人/定員 10人
申込先: Doorkeeper

イベント内容

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

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

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

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

今回の内容

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

持ち物

  • Twitterでシェア
  • 0
    Facebookでシェア
  • 0
    Google+でシェア
  • 0
    はてなブックマークに追加

タグに関連するイベント

2017/08/19(土) 16:00 〜 18:00
東京都 三ノ輪
2017/08/18(金) 19:00 〜 21:00
神奈川県 平沼橋
2017/09/01(金) 19:00 〜 21:00
東京都 新富町

コラム

イベント New

8月(前半)に開催される注目のイベントまとめ

8月前半に開催される注目のイベントをまとめました! 気になるイベントがあれば是非ご参加ください! A...
イベント

「ロジカルシンキング入門!『演繹法』基礎講座」を開催しました★

本日7月20日、「ロジカルシンキング入門『演繹法』基礎講座」を実施しました! 講座には「ロジカルシン...
143 views
イベント

注目のVR勉強会・イベントまとめ

注目のVR勉強会・イベントをまとめました! 気になるイベントがあれば是非ご参加ください! オリンピッ...
623 views

Facebookページ

TECH PLAYで申込可能なイベント