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

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

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

2月

22

第96回 ProofCafe

名古屋COQ勉強会

第96回 ProofCafe
募集内容

参加枠1

無料

参加者数
3

申込者
morita_hm
hitbit
SUHARA Hiromichi
申込者一覧を見る
開催日時
2020/02/22(土) 13:30 ~ 16:30
募集期間

2020/01/25(土) 18:39 〜
2020/02/22(土) 16:30まで

会場

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

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

マップで見る 会場のサイトを見る

イベントの説明

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

ご注意:会場は変更になる場合があります。

以上

フィード

morita_hm

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

2020/02/23 14:02

morita_hm

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

2020/02/22 23:31

morita_hm

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

2020/02/22 21:20

SUHARA Hiromichi

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

2020/02/09 19:02

SUHARA Hiromichi

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

2020/01/25 18:40

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

グループ

ProofCafe

イベント数 92回

メンバー数 52人

終了

2020/02/22(土)

13:30
16:30

募集期間
2020/01/25(土) 18:39 〜
2020/02/22(土) 16:30

会場

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

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

参加者(3人)

morita_hm

morita_hm

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

hitbit

hitbit

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

SUHARA Hiromichi

SUHARA Hiromichi

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

参加者一覧(3人)