新機能 オンラインイベントが検索できるようになりました。オンラインイベントとして検索できるようにするには こちら をご確認ください

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

Jan

25

第95回 ProofCafe

名古屋Coq勉強会

Registration info

参加枠1

Free

Attendees
3

Description

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

ご注意:今回より、毎月 第 4 土曜日 に変更になります。

以上

Feed

morita_hm

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

01/25/2020 17:19

morita_hm

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

01/25/2020 16:00

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2020/01/25 13:54

#ProofCafe 教室は開いていますので、直接会お越しください。

SUHARA Hiromichi

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

01/18/2020 12:10

SUHARA Hiromichi

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

01/18/2020 12:10

SUHARA Hiromichi

SUHARA Hiromichi published 第95回 ProofCafe.

12/21/2019 20:22

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

Group

ProofCafe

Number of events 43

Members 38

Ended

2020/01/25(Sat)

14:30
17:30

Registration Period
2019/12/21(Sat) 20:21 〜
2020/01/25(Sat) 17:30

Location

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

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

Attendees(3)

hitbit

hitbit

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

morita_hm

morita_hm

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

SUHARA Hiromichi

SUHARA Hiromichi

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

Attendees (3)