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

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

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

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

Oct

19

第92回 ProofCafe

名古屋Coq勉強会

Registration info

参加枠1

Free

Attendees
5

Description

萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の3章を読んでいきます。
We will read Chapter 3 of “The Theorem Proof by Coq / SSReflect / MathComp” written by Hagiwara, Affedt.

このページの「資料」からリンクされた演習問題を解いて、議論したいと思います。
We will solve and discuss the exercises linked from “資料” on this page.

SSReflect/Mathcomp をインストールしたPCを用意してください。 インストール方法などについての質問も常に歓迎です。
Prepare a PC with SSReflect / Mathcomp installed.

また、可能ならば、GitLab にアカウントを作成しておいてください。解答を掲載します。
If possible, create an account with GitLab. The answer will be posted.

会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください。
The venue (or classroom) is subject to change immediately before. If you are registered, please attention to this day's page and Twitter hashtag #ProofCafe.

以上

Feed

SUHARA Hiromichi

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

10/19/2019 22:00

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/10/19 21:37

#ProofCafe 議論を反映して、解答例を修正しました。

morita_hm

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

10/19/2019 18:22

morita_hm

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

10/19/2019 18:06

morita_hm

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

10/19/2019 18:05

morita_hm

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

10/19/2019 15:40

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/10/19 13:43

#ProofCafe 今日は大学の催事がありますが、通常とおり教室に入れます。直接、会場の教室にお越しください。

SUHARA Hiromichi

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

10/12/2019 06:56

SUHARA Hiromichi

SUHARA Hiromichi published 第92回 ProofCafe.

09/21/2019 18:18

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

Group

ProofCafe

Number of events 41

Members 39

Ended

2019/10/19(Sat)

14:30
17:30

Registration Period
2019/09/21(Sat) 18:17 〜
2019/10/19(Sat) 17:30

Location

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

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

Attendees(5)

hitbit

hitbit

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

Frédéric Bour

Frédéric Bour

I joined 第92回 ProofCafe!

morita_hm

morita_hm

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

SUHARA Hiromichi

SUHARA Hiromichi

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

ayu_mushi

ayu_mushi

I joined 第92回 ProofCafe!

Attendees (5)