tapl-nagoya - Front Page第16回 TAPL-nagoya 勉強会 日時: 2013年8月17日 14:00 - 17:00 場所: 名古屋大学（の予定） 参加登録 概要：10章 ハッシュタグ: #taplnagoya 第15回 TAPL-nagoya 勉強会 日時: 2013年7月20日 18:00 - 20:00 場所: 名古屋大学 東山キャンパス 多元数理科学棟 1階109号室 参加登録 概要：5, 6, 7章の理論部分流し読み ハッシュタグ: #taplnagoya 第14回 TAPL-nagoya 勉強会 日時: 2013年6月16日 14:00 - 17:00 場所: 名古屋大学 東山キャンパス 多元数理科学棟（旧理1号館）3階309号室 参加登録 概要：5, 6, 7章の予定 ハッシュタグ: #taplnagoya 7章の実装 OCaml Ruby prolog coq 第13回 TAPL-nagoy
