ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

Coq Party

日時 :
2010/11/27 (土) 13:00 ~ 18:00
定員 :
20人
会場 :
株式会社ニューキャスト - セミナールーム(愛知県名古屋市東区葵3丁目22−8)
URL :
http://coq.g.hatena.ne.jp/keyword/ProofCafe
主催者 :

Coq Party:

タイムテーブル

時間 発表者 タイトル
13:10 – 13:40 wof_moriguchiさん エンジニア・ミーツ・Coq
13:40 – 14:10 maeda_さん ProofCafeで学んだこと
20分休憩
14:30 – 15:00 pirapiraさん HaskellのData.Mapのバグを見たらCoqを12,000行書いてしまった話
15:00 – 15:30 tmiya_さん FM勉強会の話とCoqをDSLに使う話
20分休憩
15:50 – 16:20 yoshihiro503(ITプランニング) Coq extraction機構の概要
16:20 – 16:50 mzpさん From Coq to Ruby Coq から Ruby へ
16:50 – 17:20 dico_lequeさん Coq2Cojure

場所

株式会社ニューキャスト – セミナールーム
住所: 愛知県名古屋市東区 葵3丁目22-8ニューザックビル6F

  • このコメントは全員が閲覧、すべてのログインユーザが投稿することができます
wof_moriguchi
wof_moriguchi - (2010/11/18 (木) 23:19)
『エンジニア・ミーツ・Coq』と題してお話させていただきます

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

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