Revision c7bb6cfbd5b7ec4e5f1cb6985fe065245493a6a5

Front Page

Changes from c7bb6cfbd5b7ec4e5f1cb6985fe065245493a6a5 to 67fd4a05f5ad6c5075a2553c6a5195b29548ede2

# 第1回 TAPL-nagoya 勉強会
- 日時: 2012年1月14日 14:00 -
- 場所: 名古屋大学 理学部1号館?(未定)
- 参加登録: [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/dp/0262162091)
- [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
- (好みに応じて)紙と鉛筆