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

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

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

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

Sep

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 wrote a comment.

2019/09/21 12:27

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

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/09/21 12:23

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

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/09/21 12:21

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

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2019/09/16 16:07

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

SUHARA Hiromichi

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

09/16/2019 16:06

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

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 41

Members 39

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)