お知らせ 【グループ管理者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催するグループを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

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

12月

21

第94回 ProofCafe

名古屋Coq勉強会

Registration info

参加枠1

Free

Attendees
1

Description

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

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

第3章の演習問題を eqType を使って解いてみます。問題は以下にあります: https://github.com/suharahiromichi/coq/blob/master/csm/csm_ex_3_no_answer.v

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さんが資料をアップしました。

11/17/2019 23:14

SUHARA Hiromichi

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

11/17/2019 12:56

SUHARA Hiromichi

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

11/16/2019 19:49

SUHARA Hiromichi

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

11/16/2019 19:48

SUHARA Hiromichi

SUHARA Hiromichi published 第94回 ProofCafe.

11/16/2019 19:47

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

Group

ProofCafe

Number of events 39

Members 38

Public

2019/12/21(Sat)

14:30
17:30

Please login to register

Registration Period
2019/11/16(Sat) 19:46 〜
2019/12/21(Sat) 17:30

Location

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

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

Attendees(1)

hitbit

hitbit

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

Attendees (1)