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

8月

17

第90回 ProofCafe

名古屋COQ勉強会

Registration info

参加枠1

Free

Attendees
4

Description

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

  • 3.6 rewrite
  • 3.7 view

の予定です。前回までの内容については、リンクからたどってください。

参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。

インストール方法などについての質問も常に歓迎です。

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

以上

Feed

morita_hm

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

08/17/2019 19:52

morita_hm

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

08/17/2019 15:55

morita_hm

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

08/17/2019 15:54

morita_hm

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

08/17/2019 15:49

morita_hm

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

08/17/2019 14:45

morita_hm

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

08/17/2019 14:43

SUHARA Hiromichi

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

08/17/2019 13:31

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2019/08/17 13:23

#ProofCafe 開場しました。参加されるかたは直接会場におこしください。2階の第二集会室です。

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2019/08/17 12:35

#ProofCafe 名古屋 南 生涯学習センターが会場ですから、間違えないでください。開始時間も早まります。

SUHARA Hiromichi

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

08/12/2019 17:07

SUHARA Hiromichi

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

08/12/2019 16:56

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2019/08/10 21:59

#ProofCafe connpassのページのgoogle mapはエントランスの位置を正確に表示しています。

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2019/08/10 21:53

#ProofCafe 先月から場所と時間が変更になりますから、注意してください。JR東海道本線 笠寺駅下車です。

SUHARA Hiromichi

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

07/24/2019 23:23

SUHARA Hiromichi

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

07/21/2019 17:33

SUHARA Hiromichi

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

07/21/2019 17:33

SUHARA Hiromichi

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

07/21/2019 15:33

SUHARA Hiromichi

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

07/21/2019 10:53

SUHARA Hiromichi

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

07/21/2019 10:52

SUHARA Hiromichi

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

07/21/2019 09:37

SUHARA Hiromichi

SUHARA Hiromichi published 第90回 ProofCafe.

07/21/2019 09:35

第90回 ProofCafe を公開しました! --- 夏休みのため、会場と開始時刻が変わります。ご注意ください。

Group

ProofCafe

Number of events 36

Members 33

Ended

2019/08/17(Sat)

13:30
16:30

Registration Period
2019/07/21(Sun) 09:34 〜
2019/08/17(Sat) 16:30

Location

名古屋市 南生涯学習センター

南区東又兵ヱ町5-1-10

Attendees(4)

morita_hm

morita_hm

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

hitbit

hitbit

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

murakami_motokazu_1213

murakami_motokazu_1213

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

SUHARA Hiromichi

SUHARA Hiromichi

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

Attendees (4)