5月
18
第87回 ProofCafe
名古屋Coq勉強会
| 募集内容 |
参加枠1 無料
参加者数
|
|---|---|
| 申込者 |
|
| 開催日時 |
2019/05/18(土) 14:30 ～ 17:30
|
| 募集期間 |
2019/04/20(土) 19:21
〜 |
| 会場 |
オンライン(skype) |
イベントの説明
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の2章を読んでいきます。
2.5 論理式の形式化
演習2.7、演習2.8
(時間があれば）2.4 自然数の和の形式化
の順番で進める予定です。演習問題を解いておく必要はありませんが、問題は読んでおいてください。
参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。 また、可能ならば、GitLab にアカウントを作成しておいてください。 インストール方法などについての質問も常に歓迎です。
会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください
以上
フィード
2019/05/18 13:48
#ProofCafe 会場の建物と教室とも鍵は開いていますので、教室まで直接お越しください。
2019/05/18 13:47
#ProofCafe 会場の建物と教室とも鍵は開いていますので、教室まで直接お越しください。
2019/05/11 22:50
#ProofCafe 教室のある建物は、connpass のグーグルマップの範囲から外れていますので、注意してください。
2019/05/11 22:47
5/18 の #ProofCafe の会場の教室が変更になりました。地下鉄線路の東側（豊田講堂側）になります。
2019/05/11 17:09
2019/05/11 17:09
2019/05/11 17:09
2019/04/20 19:21
第87回 ProofCafe を公開しました！
yoshihiro503
iitaka1142
morita_hm
lion
SUHARA Hiromichi
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています