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

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

9月

21

第91回 ProofCafe

名古屋COQ勉強会

Registration info

参加枠1

Free

Attendees
3

Description

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

  • 3.9 コマンド Definition, Lemma ... の Defined の例
  • 3.15 コマンド Record, Canonical の magmaの例
  • 3.8 〜 3.16

の予定です。前回までの内容については、リンクからたどってください。

参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。

インストール方法などについての質問も常に歓迎です。

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

以上

Feed

morita_hm

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

09/21/2019 16:09

morita_hm

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

09/21/2019 15:05

morita_hm

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

09/21/2019 14:55

SUHARA Hiromichi

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

2019/09/21 12:27

#ProofCafe 加減積と不等号を MathComp の定義から バニラCoqの定義に書き換えるという意味では、前前前回紹介した内容と同じです。

SUHARA Hiromichi

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

2019/09/21 12:23

#ProofCafe lia を MathComp から使えるようにする https://github.com/amahboubi/lia4mathcomp

SUHARA Hiromichi

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

2019/09/21 12:21

#ProofCafe Omega に代わる自動タクティク lia など https://coq.inria.fr/refman/addendum/micromega.html

SUHARA Hiromichi

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

2019/09/16 16:07

#ProofCafe 第3章演習問題の追加問題をおきました。

SUHARA Hiromichi

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

09/16/2019 16:06

SUHARA Hiromichi

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

2019/08/31 23:56

#ProofCafe 3.15 Magma の例のファイルを差し替えました。コアーションを併用するようにしました。テキストの説明から外れますが、このほうがMathCompの「型システム」の理解に繋がり易いと考えました。

SUHARA Hiromichi

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

08/31/2019 23:54

SUHARA Hiromichi

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

08/31/2019 00:26

SUHARA Hiromichi

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

08/31/2019 00:25

SUHARA Hiromichi

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

08/17/2019 18:42

SUHARA Hiromichi

SUHARA Hiromichi published 第91回 ProofCafe.

08/17/2019 18:38

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

Group

ProofCafe

Number of events 39

Members 38

Ended

2019/09/21(Sat)

13:30
16:30

Registration Period
2019/08/17(Sat) 18:38 〜
2019/09/21(Sat) 16:30

Location

名古屋市 南生涯学習センター

南区東又兵ヱ町5-1-10

Attendees(3)

morita_hm

morita_hm

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

hitbit

hitbit

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

SUHARA Hiromichi

SUHARA Hiromichi

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

Attendees (3)