Revision ee72fe0acdb6a562cb65edd0281b056adde2d1d7

Front Page

Changes from ee72fe0acdb6a562cb65edd0281b056adde2d1d7 to current

# 第16回 TAPL-nagoya 勉強会
- 日時: 2013年8月17日 14:00 - 17:00
- 場所: 名古屋大学(の予定)
- [参加登録](http://partake.in/events/7e3a8332-e9a3-4214-93dc-afa6a4461ab2)
- 概要:10章
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第15回 TAPL-nagoya 勉強会
- 日時: 2013年7月20日 18:00 - 20:00
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟 1階109号室
- [参加登録](http://partake.in/events/b5a3aa7d-d3ff-45b1-b820-90357ee4dfea)
- 概要:5, 6, 7章の理論部分流し読み
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第14回 TAPL-nagoya 勉強会
- 日時: 2013年6月16日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟(旧理1号館)3階309号室
- [参加登録](http://partake.in/events/1a2e75aa-5144-415a-8a4a-6bee37ad6f69)
- 概要:5, 6, 7章の予定
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)
- 7章の実装
  [OCaml](https://gist.github.com/cohama/5792290)
  [Ruby](https://gist.github.com/risgk/6040821)
  [prolog](https://github.com/suharahiromichi/prolog/tree/master/tapl)
  [coq](http://codepad.org/zgJrrbND)

# 第13回 TAPL-nagoya 勉強会
- 日時: 2013年5月18日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟(旧理1号館)3階309号室
- [参加登録](http://partake.in/events/5caeaf86-da4c-4432-835e-f35e7aea095e)
- 概要:3, 4, 7章の予定
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)
- 3.15.17
  [Scalaでの回答例](https://gist.github.com/maedaunderscore/5603672)
  [Rubyでの回答例](https://gist.github.com/risgk/5606466)
  [OCamlでの回答例](https://gist.github.com/cohama/5607863)

# 第12回 TAPL-nagoya 勉強会
- 日時: 2013年4月20日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟(旧理1号館)3階309号室
- [参加登録](http://partake.in/events/1f049014-8e93-4da3-a97d-23eb7243d6a1)
- 概要:2章おさらいと、今後の進め方相談
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第11回 TAPL-nagoya 勉強会
- 日時: 2013年3月16日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟(旧理1号館)3階309号室
- [参加登録](http://partake.in/events/b8902d78-7d05-4a83-bb3f-d576a8fff858)
- 講師:[@t6s](http://twitter.com/t6s), [@maeda_ ](http://twitter.com/maeda_ )
- 概要:9章, 12章解説
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第10回 TAPL-nagoya 勉強会
- 日時: 2013年2月16日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟(旧理1号館)3階309号室
- [参加登録](http://partake.in/events/bae66325-b093-4fe2-841c-f064646388d1)
- 講師:[@t6s](http://twitter.com/t6s), [@akuraru](http://twitter.com/akuraru)
- 概要:9章解説
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第9回 TAPL-nagoya 勉強会
- 日時: 2013年1月26日 10:30 - 12:30
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟(旧理1号館)3階309号室
- [参加登録](http://partake.in/events/baa43580-d1c1-4862-9781-0d5ef8e3272c)
- 講師:[@t6s](http://twitter.com/t6s)
- 概要:8章解説
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第8回 TAPL-nagoya 勉強会
- 日時: 2012年10月20日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 理1号館3階309号室
- [参加登録](http://partake.in/events/31bdf75e-83ea-47ba-9d04-0fa162b2aaa2)
- 講師未定
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第7回 TAPL-nagoya 勉強会
- 日時: 2012年7月21日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 理1号館4階409号室 (いつもの部屋の真上)
- [参加登録](http://partake.in/events/3380f08b-e9b1-413c-9ba1-5e001add2bee)
- 講師: [@bleis](http://twitter.com/bleis)さん?
- ハッシュタグ: [#taplnagoya](http://twitter.com/search/%23taplnagoya)

# 第6回 TAPL-nagoya 勉強会
- 日時: 2012年6月16日 14:00 - 17:00
- 場所: 名古屋大学 東山キャンパス 理1号館3階309号室
- [参加登録](http://partake.in/events/4b121562-7d59-47b3-bb49-e09ef8727791)
- 講師: [@maeda_ ](http://twitter.com/maeda_)
- ハッシュタグ: [#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)をみんなで読みます。

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

![TAPLのある弦楽四重奏](https://p.twimg.com/Aq_lqOxCEAAFud3.jpg)

## 場所・時間 
- 毎月 第二土曜日 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
- (好みに応じて)紙と鉛筆