Revision 5f87de0bc1cdc53438a21d9684bd5f280dea41ac

Front Page

第7回 TAPL-nagoya 勉強会

  • 日時: 2012年7月21日 14:00 - 17:00
  • 場所: 名古屋大学 東山キャンパス 理1号館4階409号室 (いつもの部屋の真上)
  • 参加登録
  • 講師: [@bleis](http://twitter.com/bleis)さん?
  • ハッシュタグ: #taplnagoya

第6回 TAPL-nagoya 勉強会

  • 日時: 2012年6月16日 14:00 - 17:00
  • 場所: 名古屋大学 東山キャンパス 理1号館3階309号室
  • 参加登録
  • 講師: [@maeda_](http://twitter.com/maeda_)
  • ハッシュタグ: #taplnagoya

第5回 TAPL-nagoya 勉強会

  • 日時: 2012年5月19日 14:00 - 17:00
  • 場所: 名古屋大学 東山キャンパス 理1号館3階309号室
  • 参加登録: TAPL-nagoya 勉強会 #5 PARTAKE
  • 講師: (* 演習問題まつり *)
  • ハッシュタグ: #taplnagoya

第4回 TAPL-nagoya 勉強会

  • 日時: 2012年4月21日 14:00 - 17:00
  • 場所: 名古屋大学 東山キャンパス 理1号館3階309号室
  • 参加登録: TAPL-nagoya 勉強会 #4 PARTAKE
  • 講師: [@yoshihiro503](http://twitter.com/yoshihiro503)
  • ハッシュタグ: #taplnagoya

第3回 TAPL-nagoya 勉強会

第2回 TAPL-nagoya 勉強会

第1回 TAPL-nagoya 勉強会

型とプログラミング言語を勉強しましょう

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

英語ですが、説明が丁寧で例が豊富なTAPLをみんなで読みます。

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

場所・時間

  • 毎月 第二土曜日 14:00〜17:00
  • 場所は検討中(名古屋市内の予定)

進め方

(検討中)

持ち物

  • TAPL本体
  • (好みに応じて)ノートPC
  • (好みに応じて)紙と鉛筆