Description
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の3章を読んでいきます。
- 3.6 rewrite
- 3.7 view
の予定です。前回までの内容については、リンクからたどってください。
参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。
インストール方法などについての質問も常に歓迎です。
会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください。
以上
Feed
08/17/2019 19:52
08/17/2019 15:55
08/17/2019 15:54
08/17/2019 15:49
08/17/2019 14:45
08/17/2019 14:43
08/17/2019 13:31
2019/08/17 13:23
#ProofCafe 開場しました。参加されるかたは直接会場におこしください。2階の第二集会室です。
2019/08/17 12:35
#ProofCafe 名古屋 南 生涯学習センターが会場ですから、間違えないでください。開始時間も早まります。
08/12/2019 17:07
08/12/2019 16:56
2019/08/10 21:59
#ProofCafe connpassのページのgoogle mapはエントランスの位置を正確に表示しています。
2019/08/10 21:53
#ProofCafe 先月から場所と時間が変更になりますから、注意してください。JR東海道本線 笠寺駅下車です。
07/24/2019 23:23
07/21/2019 17:33
07/21/2019 17:33
07/21/2019 15:33
07/21/2019 10:53
07/21/2019 10:52
07/21/2019 09:37
07/21/2019 09:35
第90回 ProofCafe を公開しました！ --- 夏休みのため、会場と開始時刻が変わります。ご注意ください。
yoshihiro503
iitaka1142
morita_hm
lion
SUHARA Hiromichi
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan