新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

新機能 オンラインイベントが検索できるようになりました。オンラインイベントとして検索できるようにするには こちら をご確認ください

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

Nov

16

第93回 ProofCafe

名古屋Coq勉強会

Registration info

参加枠1

Free

Attendees
4

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.

追加の問題の 問3.9 からです。

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

morita_hm

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

11/18/2019 22:31

morita_hm

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

11/18/2019 22:30

morita_hm

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

11/16/2019 16:21

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/11/16 16:07

#ProofCafe Brainfuck / Brainf*ck のプログラムの証明 https://github.com/suharahiromichi/coq/blob/master/bf/ssr_bf_2_loop_invarinat.v

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/11/16 14:08

#ProofCafe Coq/SSReflect/MathCompのインストール https://sites.google.com/site/suharahiromichi/coq-ssreflect-mathcompnoinsutoru

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/11/16 13:48

#ProofCafe 会場の教室はあいていますから、直接起こしください。

SUHARA Hiromichi

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

10/20/2019 10:46

SUHARA Hiromichi

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

10/20/2019 10:45

SUHARA Hiromichi

SUHARA Hiromichi published 第93回 ProofCafe.

10/19/2019 22:00

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

Group

ProofCafe

Number of events 46

Members 42

Ended

2019/11/16(Sat)

14:30
17:30

Registration Period
2019/10/19(Sat) 21:42 〜
2019/11/16(Sat) 17:30

Location

オンライン

詳細調整中

Attendees(4)

hitbit

hitbit

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

morita_hm

morita_hm

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

SUHARA Hiromichi

SUHARA Hiromichi

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

ayu_mushi

ayu_mushi

I joined 第93回 ProofCafe!

Attendees (4)