第95回 ProofCafe

機能改善【受付票発行機能仕様変更のお知らせ】「受付票発行機能」の仕様変更を行ない、受付票を常に発行することになりました。詳しくはこちらをご覧ください。

お知らせ【ATNDイベントデータ取り込み機能のお知らせ】 connpass に ATND で公開されているイベントデータの取り込み機能があることをご存知でしたか？是非 connpass に取り込んで、運営コミュニティの歴史を消さないようにしましょう！詳しい内容・取り込み手順はこちら

Jan

25
第95回 ProofCafe
名古屋Coq勉強会

Registration info	参加枠1 Free Attendees 3

Description

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

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

以上

Media View all Media

Feed

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

01/25/2020 17:19

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

01/25/2020 16:00

SUHARA Hiromichi wrote a comment.

2020/01/25 13:54

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

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

01/18/2020 12:10

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

01/18/2020 12:10

SUHARA Hiromichi published 第95回 ProofCafe.

12/21/2019 20:22

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

Group

ProofCafe

Number of events 41

Members 39

Public 第96回 ProofCafe

Ended

2020/01/25(Sat)

14:30 〜 17:30

Google Calendar iCal

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

Event Organizer Contact

Location

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

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

Organizer

Attendees（3）

hitbit

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

morita_hm

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

SUHARA Hiromichi