Revision eb6c4e5e25b1cdc9b321c694637bb60ecb679a2b

Front Page

Changes from eb6c4e5e25b1cdc9b321c694637bb60ecb679a2b to 306afab6ec1e6c7121e10e471ef86d1fda469740

# 第3回 TAPL-nagoya 勉強会
- 日時: 2012年3月17日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 理1号館3階307号室
- 場所: 名古屋大学 東山キャンパス 理1号館3階309号室
- 参加登録: [TAPL-nagoya 勉強会 #3 PARTAKE](http://partake.in/events/7b4c8be5-76ae-4dcf-9d9a-11aba5de9f61)
- 講師: [@yoshihiro503](http://twitter.com/yoshihiro503)
- ハッシュタグ: [#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
- (好みに応じて)紙と鉛筆