BEGIN:VCALENDAR
METHOD:PUBLISH
X-WR-CALDESC:"CFG⊆PEG?" Proofathon : ATND
X-WR-CALNAME:"CFG⊆PEG?" Proofathon : ATND
X-WR-TIMEZONE:Asia/Tokyo
CALSCALE:GREGORIAN
PRODID:atnd.org/events/1779
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:20091010T203210
DESCRIPTION:<p>\n日時を <big><b>10/17 AM9時～PM9時</b></big> に決定しました。\n</p>\n<p>\
 nひたすらコードを書くお祭りがあるならば、ひたすら証明を考えるお祭りもあってよいのではないでしょうか！\n<ul>\n<li><a href="htt
 p://ja.wikipedia.org/wiki/%E6%96%87%E8%84%88%E8%87%AA%E7%94%B1%E6%96%87%E6%
 B3%95">http://ja.wikipedia.org/wiki/文脈自由文法</a></li>\n<li><a href="http://en
 .wikipedia.org/wiki/Context-free_grammar">http://en.wikipedia.org/wiki/Cont
 ext-free_grammar</a></li>\n</ul>\nでは表現できて、\n<ul>\n<li><a href="http://ja.wi
 kipedia.org/wiki/%E8%A7%A3%E6%9E%90%E8%A1%A8%E7%8F%BE%E6%96%87%E6%B3%95">ht
 tp://ja.wikipedia.org/wiki/解析表現文法</a></li>\n<li><a href="http://en.wikipedi
 a.org/wiki/Parsing_expression_grammar">http://en.wikipedia.org/wiki/Parsing
 _expression_grammar</a></li>\n</ul>\nでは表現できないような、そんな言語は存在するや否や？\n</p>\n\n\n
 \n\n<p>\n<br/><br/>\n…という（たぶん）未解決の問題を、12時間耐久でみんなで頭をつきあわせて解いてやろうと挑戦するイベントです。
 \n</p>\n<p>\nオンラインイベントです。メイン会場は、<big><b><a href="http://lingr.com/room/cpon
 ">http://lingr.com/room/cpon</a></b></big> このチャットルームです。\n<br/>\n（※ lingr.co
 m/user/signup?letmein=cpon でアカウントを作ってsign inしてご参加下さい）\n</p>\n\n\n\n\n<p>\n参
 加者は、時間いっぱい一人黙々と考えるもよし、\n考えたアイデアや方向性をチャットに投げて議論開始するもよし、\n関係ありそうな文献をググって投下しまく
 るbotと化すもよし、\nとつぜんustreamでプレゼンを始めるもよし、\nCoqで形式的証明を書き始めるもよし、\nそもそもPEGって何か知らない
 しよくわからないけどとりあえずウォッチするのもよし、\n飛び入り参加自由、途中退場自由、\nもうとにかく好き勝手に "CFG⊆PEG?" に挑んでくだ
 さい。\n</p>\n<p>\n※ チュートリアル的に、「"この言語はこの種の文法では決して表現できない" 系の証明によくあるパターン」の解説を垂れ流
 すくらいはしようかなーと思っています。興味はあるけどそんな証明なんてしたことないので全然わからないけど興味ある、という人もwelcome\n</p>
DTEND;TZID=Asia/Tokyo:20091017T210000
DTSTAMP;TZID=Asia/Tokyo:20091010T203210
DTSTART;TZID=Asia/Tokyo:20091017T090000
CLASS:PUBLIC
LAST-MODIFIED;TZID=Asia/Tokyo:20091016T160239
SEQUENCE:0
SUMMARY:"CFG⊆PEG?" Proofathon
UID:atnd-1779
URL:http://atnd.org/events/1779
END:VEVENT
END:VCALENDAR