# 第6回 TAPL-nagoya 勉強会
- 日時: 2012年6月16日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス　理1号館?階?号室
- [参加登録](http://partake.in/events/4b121562-7d59-47b3-bb49-e09ef8727791)
- 講師: 
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第5回 TAPL-nagoya 勉強会
- 日時: 2012年5月19日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス　理1号館3階309号室
- 参加登録: [TAPL-nagoya 勉強会 #5 PARTAKE](http://partake.in/events/9899ae14-f5ed-4de3-a442-de34456a8f48)
- 講師: 
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第4回 TAPL-nagoya 勉強会
- 日時: 2012年4月21日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス　理1号館3階309号室
- 参加登録: [TAPL-nagoya 勉強会 #4 PARTAKE](http://partake.in/events/79f0aa66-a953-44eb-8d70-c220612c0af1)
- 講師: [@yoshihiro503](http://twitter.com/yoshihiro503)
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第3回 TAPL-nagoya 勉強会
- 日時: 2012年3月17日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス　理1号館3階309号室
- 参加登録: [TAPL-nagoya 勉強会 #3 PARTAKE](http://partake.in/events/7b4c8be5-76ae-4dcf-9d9a-11aba5de9f61)
- 講師: [@t6s](http://twitter.com/t6s)
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)
- [TAPL-nagoya 読書会 - 名古屋大学多元数理科学研究科 研究カレンダー](http://www.math.nagoya-u.ac.jp/ja/research/calendar/data/1329969984-42.html)
- [スライド](/taplnagoya-3.pdf)

# 第2回 TAPL-nagoya 勉強会
- 日時: 2012年2月18日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス　理1号館4階409号室
- 参加登録: [TAPL-nagoya 勉強会 #2 PARTAKE](http://bit.ly/wkAn4l)
- 講師: [@keita44_f4](http://twitter.com/keita44_f4)
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)
- [TAPL-nagoya 読書会 - 名古屋大学多元数理科学研究科 研究カレンダー](http://www.math.nagoya-u.ac.jp/ja/research/calendar/data/1327276641-38.html)
- [スライド](http://www.slideshare.net/KeitaSaitou/tapl-chap2)

# 第1回 TAPL-nagoya 勉強会
- 日時: 2012年1月14日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 理1号館3階307号室
- 参加登録: [http://partake.in/events/b1fe9645-7827-4cff-817c-dc97152e22c0](http://partake.in/events/b1fe9645-7827-4cff-817c-dc97152e22c0)
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)
![TAPL](http://wms.assoc-amazon.jp/20070822/JP/img/noscript.gif?tag=proofcafe-22)

## 型とプログラミング言語を勉強しましょう
ScalaやF#などの静的型付け言語の基礎になっている型理論についての勉強会です。

英語ですが、説明が丁寧で例が豊富な[TAPL](http://www.amazon.co.jp/dp/0262162091)をみんなで読みます。

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

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

## 進め方
(検討中)

## 持ち物
- [TAPL本体](http://www.amazon.co.jp/gp/product/0262162091/ref=as_li_ss_tl?ie=UTF8&tag=proofcafe-22&linkCode=as2&camp=247&creative=7399&creativeASIN=0262162091)
- (好みに応じて)ノートPC
- (好みに応じて)紙と鉛筆