第89回 ProofCafe - connpass

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

7月

20
第89回 ProofCafe
名古屋Coq勉強会

募集内容	参加枠1 無料参加者数 3人
申込者	申込者一覧を見る
開催日時	2019/07/20(土) 14:30 ～ 17:30 Googleカレンダー icsファイル
募集期間	2019/06/15(土) 17:44 〜 2019/07/20(土) 17:30まで
会場	オンライン(skype)

イベントの説明

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

参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。また、可能ならば、GitLab にアカウントを作成しておいてください。インストール方法などについての質問も常に歓迎です。

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

以上

資料資料をもっと見る／編集する

フィード

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

2019/07/20 17:47

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

2019/07/20 16:47

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

2019/07/20 15:36

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

2019/07/20 15:10

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

2019/07/20 12:36

#ProofCafe 教室は開いていますから、直接お越しください。

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

2019/07/15 23:33

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

2019/07/14 09:18

#ProofCafe 演習問題の解答を含まず、支障のない資料については、公開の場所に移動しました。

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

2019/07/14 09:15

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

2019/07/14 09:14

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

2019/07/13 23:15

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

2019/07/05 23:42

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

2019/06/16 09:10

SUHARA Hiromichi さんが第89回 ProofCafe を公開しました。

2019/06/15 17:44

第89回 ProofCafe を公開しました！

グループ

イベント数 92回

メンバー数 52人

終了

2019/07/20(土)

14:30 〜 17:30

Googleカレンダー icsファイル

募集期間
2019/06/15(土) 17:44 〜
2019/07/20(土) 17:30

イベントへのお問い合わせ

会場

オンライン(skype)

オンライン(skype)

管理者

参加者（3人）

第89回 ProofCafe に参加を申し込みました！

第89回 ProofCafeに参加を申し込みました！

SUHARA Hiromichi

第89回 ProofCafe に参加を申し込みました！

参加者一覧（3人）

キャンセルした人（1人）