お知らせ 【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

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

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

5月

22

第111回 ProofCafe

名古屋Coq勉強会

第111回 ProofCafe
募集内容
開催日時
2021/05/22(土) 13:30 ~ 15:30
募集期間

2021/04/24(土) 16:28 〜
2021/05/22(土) 15:30まで

会場

オンライン(skype)

イベントの説明

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

参加をご希望のかたは、管理者までお問い合わせください。

可能ならば coq-mathcomp と Infotheo を事前にインストールしておいてください。

以上

フィード

SUHARA Hiromichi

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

2021/05/22 09:31

SUHARA Hiromichi

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

2021/04/24 16:28

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

グループ

ProofCafe

イベント数 92回

メンバー数 52人

終了

2021/05/22(土)

13:30
15:30

募集期間
2021/04/24(土) 16:28 〜
2021/05/22(土) 15:30

会場

オンライン(skype)

オンライン(skype)