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

6月

15

第88回 ProofCafe

名古屋Coq勉強会

Registration info

参加枠1

Free

Attendees
4

Description

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

2.4 自然数の和の形式化

を読みます。そのあと、omega や ring などの自動化タクティクについても勉強する予定です。

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

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

以上

Feed

SUHARA Hiromichi

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

2019/06/15 13:54

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

SUHARA Hiromichi

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

05/22/2019 20:27

SUHARA Hiromichi

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

2019/05/19 23:39

#ProofCafe Prop と bool の違いについての説明。たとえばCPDTの4.2節。https://fluiddynamics.github.io/cautious-octo-chainsaw/cpdt.pdf

SUHARA Hiromichi

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

05/19/2019 20:16

SUHARA Hiromichi

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

2019/05/19 07:23

次回2019/6/15 の #ProofCafe は、大学祭の日程と重なりますが、通常とおり教室で実施予定です。ただし、事前の連絡に注意してください。

SUHARA Hiromichi

SUHARA Hiromichi published 第88回 ProofCafe.

05/18/2019 20:52

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

Group

ProofCafe

Number of events 36

Members 33

Ended

2019/06/15(Sat)

14:30
17:30

Registration Period
2019/05/18(Sat) 20:52 〜
2019/06/15(Sat) 17:30

Location

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

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

Attendees(4)

hitbit

hitbit

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

morita_hm

morita_hm

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

murakami_motokazu_1213

murakami_motokazu_1213

初心者です。よろしくお願いします。

SUHARA Hiromichi

SUHARA Hiromichi

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

Attendees (4)

Canceled (1)