スタートSsreflect #proofcafe #StartSsreflect
この春 証明を始めよう!
コンピューター
主催者
編集者
開催日時
2014年4月26日(土) 13:30
開催場所
会場: 名古屋大学 多元数理科学棟 309
住所: 多元数理科学棟
URL
http://proofcafe.org/wiki/Schedule
ハッシュタグ
自由席
参加者 | 26 人 (仮参加者 0 人) |
---|---|
補欠 | 0 人 (仮参加者 0 人) |
キャンセル | 1 人 |
参加者
- yoshihiro503 : よろしくお願いします。
- mzp : スタートしたいです。
- kaizen_nagoya : よろしくお願いします。
- momocus : 証明始めたいです!
- suharahiromichi : よろしくお願いします。
- morita_hm : よろしくお願いします。
- smogami : よろしくお願いします。
- keita44_f4 : ssrefrectとは!wktk
- tmiya_ : よろしくお願いします。頑張って参加するつもり
- crossquare : よろしくお願いします!
- athos0220 : よろしくお願いしますー
- dico_leque : よろしくお願いします。
- shimomura1004 : よろしくお願いします。
- khibino : よろしくお願いします。
- Dominion525 : 初めて参加してみることにします。
- ganmacs : よろしくお願いします。
- notogawa : よろしくお願いします。
- maeda_ : よろしくお願いします。
- adacola : よろしくお願いします。
- nemotz : よろしくお願いします。
- koropicot : よろしくお願いします。春は証明を始める季節[要出典]らしいので
- c0hama : よろしくお願いします。
- sunotora : 春なので!よろしくお願いします。
- nabe256 : よろしくお願いします。
- cho_tekitou : よろしくお願いします。
- terurou : 参加する流れっぽい
詳細情報
概要
ssreflectは証明支援器Coqを便利に使うための拡張です。
Coq + ssreflect による証明を私たちと一緒に始めましょう。
- 日時 4/26 (土) 13:30 開始
- 場所 名古屋大学 多元数理科学棟 309
- 座席表 (部屋についたら 各自入力してください)
- インストール報告場所
タイムスケジュール(予定)
- 13:00 開場
- 13:30 Coqの紹介 (なぜCoqは重要か @yoshihiro503)
- 14:00 Ssreflectの紹介 (@mzp)
- 14:30 ハンズオン: インストール
- 15:30 ハンズオン: 演習
- 17:30くらい? ベルギービールを飲みに栄へ ベルギービールウィークエンド名古屋
準備
インストール
- Coqの入手: http://coq.inria.fr/download
- ssreflectの入手: https://gforge.inria.fr/frs/?group_id=401 または 最新 ssreflect-1.5.tar.gz
(Windowsの方: https://twitter.com/qnighy/status/454981287145512960)
参考: Ssrefectのインストール
Coqを学ぶ
Coq初学者はビデオを見て予習しておきましょう。
http://www.youtube.com/watch?v=f9XOdpmeJ0o
コメントを投稿するにはログインしてください。