このエントリーをはてなブックマークに追加

5月

18

第87回 ProofCafe

名古屋Coq勉強会

Registration info

参加枠1

Free

Attendees
5

Description

萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の2章を読んでいきます。

2.5 論理式の形式化

演習2.7、演習2.8

(時間があれば)2.4 自然数の和の形式化

の順番で進める予定です。演習問題を解いておく必要はありませんが、問題は読んでおいてください。

参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。 また、可能ならば、GitLab にアカウントを作成しておいてください。 インストール方法などについての質問も常に歓迎です。

会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください

以上

Feed

suharahiromichi

suharahiromichi さんが書き込みました。

2019/05/18 13:48

#ProofCafe 会場の建物と教室とも鍵は開いていますので、教室まで直接お越しください。

suharahiromichi

suharahiromichi さんが書き込みました。

2019/05/18 13:47

#ProofCafe 会場の建物と教室とも鍵は開いていますので、教室まで直接お越しください。

suharahiromichi

suharahiromichi さんが書き込みました。

2019/05/11 22:52

#ProofCafe こちらの地図 http://www.nagoya-u.ac.jp/access-map/ の D3(2) です。

suharahiromichi

suharahiromichi さんが書き込みました。

2019/05/11 22:50

#ProofCafe 教室のある建物は、connpass のグーグルマップの範囲から外れていますので、注意してください。

suharahiromichi

suharahiromichi さんが書き込みました。

2019/05/11 22:47

5/18 の #ProofCafe の会場の教室が変更になりました。地下鉄線路の東側(豊田講堂側)になります。

suharahiromichi

suharahiromichiさんが資料をアップしました。

05/11/2019 17:09

suharahiromichi

suharahiromichiさんが資料をアップしました。

05/11/2019 17:09

suharahiromichi

suharahiromichiさんが資料をアップしました。

05/11/2019 17:09

suharahiromichi

suharahiromichi published 第87回 ProofCafe.

04/20/2019 19:21

第87回 ProofCafe を公開しました!

Group

ProofCafe

Number of events 34

Members 33

Ended

2019/05/18(Sat)

14:30
17:30

Registration Period
2019/04/20(Sat) 19:21 〜
2019/05/18(Sat) 17:30

Location

名古屋大学理学部A館A-428教室

名古屋市千種区名古屋大学東山キャンパス

Attendees(5)

hitbit

hitbit

第87回 ProofCafeに参加を申し込みました!

7shi

7shi

第87回 ProofCafe に参加を申し込みました!

morita_hm

morita_hm

第87回 ProofCafe に参加を申し込みました!

wataru86

wataru86

第87回 ProofCafe に参加を申し込みました!

suharahiromichi

suharahiromichi

第87回 ProofCafe に参加を申し込みました!

Attendees (5)

Canceled (1)