![yoshihiro503](data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" width="48" height="48"><rect fill-opacity="0"/></svg>){kind=small}
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
掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。
コメントを投稿するには、ログインしてください。