ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

"CFG⊆PEG?" Proofathon

略して CPon

日時 :
2009/10/17 (土) 09:00 ~ 21:00
定員 :
2147483647人
会場 :
インターネット上
URL :
http://lingr.com/room/cpon
主催者 :
住所が入力されていません

日時を 10/17 AM9時~PM9時 に決定しました。

ひたすらコードを書くお祭りがあるならば、ひたすら証明を考えるお祭りもあってよいのではないでしょうか!

では表現できて、

では表現できないような、そんな言語は存在するや否や?



…という(たぶん)未解決の問題を、12時間耐久でみんなで頭をつきあわせて解いてやろうと挑戦するイベントです。

オンラインイベントです。メイン会場は、http://lingr.com/room/cpon このチャットルームです。

(※ lingr.com/user/signup?letmein=cpon でアカウントを作ってsign inしてご参加下さい)

参加者は、時間いっぱい一人黙々と考えるもよし、
考えたアイデアや方向性をチャットに投げて議論開始するもよし、
関係ありそうな文献をググって投下しまくるbotと化すもよし、
とつぜんustreamでプレゼンを始めるもよし、
Coqで形式的証明を書き始めるもよし、
そもそもPEGって何か知らないしよくわからないけどとりあえずウォッチするのもよし、
飛び入り参加自由、途中退場自由、
もうとにかく好き勝手に “CFG⊆PEG?” に挑んでください。

※ チュートリアル的に、「"この言語はこの種の文法では決して表現できない" 系の証明によくあるパターン」の解説を垂れ流すくらいはしようかなーと思っています。興味はあるけどそんな証明なんてしたことないので全然わからないけど興味ある、という人もwelcome

  • このコメントは全員が閲覧、すべてのログインユーザが投稿することができます
kinaba
kinaba - (2009/10/10 (土) 20:43)
日時はとりあえず17日にしてますが、参加したいという方の都合次第でてきとうな所に動かします
kmizushima
kmizushima - (2009/10/10 (土) 21:01)
17日は特に予定無いので大丈夫だと思います。
ikegami__
ikegami__ - (2009/10/14 (水) 08:46)
人生の岐路[A][B][C]を選んだので、いつでも参加できるようになりました。BADEND 1779: - PEG に人生を捧げることになる - でもいいや、おれ。
kinaba
kinaba - (2009/10/14 (水) 09:28)
「調整さん」に日程調整アンケート作りました

http://chouseisan.com/schedule/List?h=3761f8fda7a1cd290a6c4ec58372e722

ご協力おねがいします。
kinaba
kinaba - (2009/10/16 (金) 08:20)
結局、最初に書いたとおりの 10/17 09:00~21:00 にします。
みなさまよろしくお願いします。pirapiraくんには申し訳ない。
論文書きのあいまの息抜きにでも覗いてやって下さい。

コメントを投稿するには、ログインしてください。

掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートホールディングスは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。