お知らせ 本日 2月17日(月) 15:00 から30分ほど、サーバーのメンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

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

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

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

Jul

20

第89回 ProofCafe

名古屋Coq勉強会

Registration info

参加枠1

Free

Attendees
3

Description

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

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

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

以上

Feed

morita_hm

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

07/20/2019 17:47

morita_hm

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

07/20/2019 16:47

morita_hm

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

07/20/2019 15:36

morita_hm

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

07/20/2019 15:10

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/07/20 12:36

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

SUHARA Hiromichi

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

07/15/2019 23:33

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/07/14 09:18

#ProofCafe 演習問題の解答を含まず、支障のない資料については、公開の場所に移動しました。

SUHARA Hiromichi

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

07/14/2019 09:15

SUHARA Hiromichi

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

07/14/2019 09:14

SUHARA Hiromichi

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

07/13/2019 23:15

SUHARA Hiromichi

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

07/05/2019 23:42

SUHARA Hiromichi

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

06/16/2019 09:10

SUHARA Hiromichi

SUHARA Hiromichi published 第89回 ProofCafe.

06/15/2019 17:44

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

Group

ProofCafe

Number of events 41

Members 39

Ended

2019/07/20(Sat)

14:30
17:30

Registration Period
2019/06/15(Sat) 17:44 〜
2019/07/20(Sat) 17:30

Location

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

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

Attendees(3)

morita_hm

morita_hm

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

hitbit

hitbit

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

SUHARA Hiromichi

SUHARA Hiromichi

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

Attendees (3)

Canceled (1)