7shi (@7shi)


参加する勉強会

6/15 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
名古屋Coq勉強会
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の2章を読んでいきます。 2.4 自然数の和の形式化 を読みます。そのあと、omega や ring などの自動化タクティクについても勉強する予定です。 参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。 また、可能ならば、GitLab にアカウントを作成しておいてください。 インストール方法などについての質問も常に歓迎です。 会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください 以上


過去の勉強会

5/18 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
名古屋Coq勉強会
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の2章を読んでいきます。 2.5 論理式の形式化 演習2.7、演習2.8 (時間があれば)2.4 自然数の和の形式化 の順番で進める予定です。演習問題を解いておく必要はありませんが、問題は読んでおいてください。 参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。 また、可能ならば、GitLab にアカウントを作成しておいてください。 インストール方法などについての質問も常に歓迎です。 会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください 以上

3/16 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
名古屋COQ勉強会
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 を最初から読んでいきます。 進め方は当日話し合って決めます。参加者は上記の本を持参してください。 また可能ならば、SSReflect/Mathcomp をインストールしたPCを用意してください。 インストール方法などについての質問も常に歓迎です。 会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください。 以上