スタート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
コメントを投稿するにはログインしてください。