BEGIN:VCALENDAR
METHOD:PUBLISH
X-WR-CALDESC:型レベルプログラミングの会 : ATND
X-WR-CALNAME:型レベルプログラミングの会 : ATND
X-WR-TIMEZONE:Asia/Tokyo
CALSCALE:GREGORIAN
PRODID:atnd.org/events/451
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZNAME:JST
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;TZID=Asia/Tokyo:20090316T142410
DESCRIPTION:<p>C++のテンプレートメタプログラミングやHaskellの型クラスメタプログラミングに代表される、「型の上で計算する」手法
 について語り合いましょうという趣旨の集まりです。型レベルプログラマーの間で言語の垣根を越えた技術交流ができればいいなーと思っています。それぞれの言語で
 の型レベルプログラミングの基本について簡単に誰かが解説したあと、好き勝手にテクニックやライブラリ紹介などしゃべりたい人がしゃべります。</p>\n<u
 l><li><a href="http://www.kmonos.net/wlog/95.html#tapl_plan">http://www.kmo
 nos.net/wlog/95.html#tapl_plan</a>\n<li><a href="http://d.hatena.ne.jp/keig
 oi/20090314/1236984445">http://d.hatena.ne.jp/keigoi/20090314/1236984445</a
 ></ul>\n<p>当日は ustream で中継する予定です。</p>\n<ul><li><a href="http://www.ustream.
 tv/channel/typelevel">予定地 : http://www.ustream.tv/channel/typelevel</a></ul
 >\n\n\n<p><b>演目</b>:</p>\n<ol>\n  <li>12:15頃～ : <a href="http://d.hatena.ne
 .jp/kmizushima/20090418/1240072077">Scala で型レベルプログラミング (kmizushima)</a>\n  
 <li>13:00頃～ : <a href="http://d.hatena.ne.jp/faith_and_brave/20090417/12399
 59706">C++\, 可変引数テンプレートでの型リスト (faith_and_brave)</a>\n  <br>(休憩)\n  <li>14:0
 0頃～ <a href="http://d.hatena.ne.jp/keigoi/20090418/1240060720">Haskell FunD
 eps による型レベルプログラミング (keigoi)</a>\n  <li>14:45頃～ <a href="http://page.freett.
 com/shelarcy/log/2009/diary_04.html#type_level_programming_meeting"\n>Haske
 ll\, Type Function 派 (shelarcy)</a>\n  <br>(休憩)\n  <li>15:45頃～ <a href="htt
 p://www.kmonos.net/pub/Presen/tlp/">typeLevel!(D).programming (kinaba)</a>\
 n  <li>16:30頃～ <a href="http://madscientist.jp/~ikegami/diary/20090418.html
 #p03">依存型プログラミング (ikegami)</a>\n  <li>17:15頃～ <a href="http://panathenaia.h
 alfmoon.jp/alang/typelevel/">G'Caml で (ytqwerty)</a>\n</ol>\n<p>\n発表時間や休憩の入
 れ方はおおよその目安です。適当に前後にずれることがあります。\n</p>\n\n<p><b>現地情報：</b></p>\n<ul>\n<li>日＆時：
 4/18(土) 12:00 ～ 18:00\n<li>懇親会：同 18:45～20:45 （場所: <a href="http://r.gnavi.c
 o.jp/a321500/">http://r.gnavi.co.jp/a321500/</a> http://atnd.org/events/512
 ）\n<li>場所：サイボウズ・ラボ (<a href="http://labs.cybozu.co.jp/access.html">http://l
 abs.cybozu.co.jp/access.html</a>)<br>\n　<big><b>・土曜はビル空いてるとのことでした(^^\; 15Fサ
 イボウズラボ前まで各自でいらしてください<br>\n　・ラボは 11:45 頃から空いています<br>\n　・お昼ご飯は各自(持参||済ませてきて)く
 ださい<br>\n　・当日、遅れる/遅れそう/欠席などの連絡は kinaba (inabanana8236.at.docomo.dot.ne.dot.
 jp || 090ごーはちにーにーよんぜろきゅーよん || twitter.com/kinabaに@で) までよろしくお願いします。<br>\n</b
 ></big></ul>
DTEND;TZID=Asia/Tokyo:20090418T180000
DTSTAMP;TZID=Asia/Tokyo:20090316T142410
DTSTART;TZID=Asia/Tokyo:20090418T120000
CLASS:PUBLIC
LAST-MODIFIED;TZID=Asia/Tokyo:20090420T123150
SEQUENCE:0
SUMMARY:型レベルプログラミングの会
UID:atnd-451
URL:http://atnd.org/events/451
END:VEVENT
END:VCALENDAR