ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

Coqで圏論の会

Coqを使って圏論と戯れる one-day proofathon

日時 :
2011/05/04 (水) 10:00 ~ 19:00
定員 :
14人
会場 :
喫茶室ルノアール新宿3丁目ビックスビル店マイスペース 5号室(東京都新宿区新宿2-19-1 ビックスビル地下2階)
主催者 :
ハッシュタグ :
#concat

概要

各自、圏論の問題を持ち込んで、Coqを使って証明する one-day proofathon です。

当日共有するライブラリとして、 ConCaT を考えています。
http://coq.inria.fr/pylons/contribs/view/ConCaT/v8.3

  • こいつを写経するもよし、
  • 自分で圏論の定義書いてこいつで答え合わせするもよし、
  • これを使って適当な問題を証明していくもよし、
  • まったく無視して独自路線に走ってもよし

Coq初心者も圏論初心者も歓迎。周りの人に聞きまくってください。
(主催者も、Coqは一日触っただけの素人です。)

タイムテーブル

10:00-10:30 始めの時間(準備、自己紹介や意気込みなど)
10:30-18:00 ひたすら証明を書く時間
18:00-19:00 成果を披露する時間

注意事項

  • 各自、自分で証明したいお題、やりたいことを自分で持ち込んでください。こちらからは特に用意しません。
  • Coqが実行出来る環境を各自用意してください。また、上記のConCATライブラリも、各自ダウンロードしておいてください。
  • 当日の部屋は「CLTT読書会」名義で借りています。お間違えなきよう。
  • ネットワーク環境は、準備できるか不明なのでこれも各自で。
  • お昼はどうするか、始めの時間で考えます。

2次会

  • このコメントは全員が閲覧、すべてのログインユーザが投稿することができます
tmiya_
tmiya_ - (2011/04/18 (月) 23:41)
調整さんへのリンクが壊れてる?
bonotake
bonotake - (2011/04/18 (月) 23:44)
リンク修正しました。
bonotake
bonotake - (2011/04/25 (月) 12:21)
部屋を変えて、定員を14名まで増やしました。
bonotake
bonotake - (2011/05/03 (火) 10:11)
2次会 http://atnd.org/events/15402

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

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