住所が入力されていません
日時を 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
掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。
http://chouseisan.com/schedule/List?h=3761f8fda7a1cd290a6c4ec58372e722
ご協力おねがいします。
みなさまよろしくお願いします。pirapiraくんには申し訳ない。
論文書きのあいまの息抜きにでも覗いてやって下さい。
コメントを投稿するには、ログインしてください。