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

5月

16
『Coq/SSReflect/MathCompによる定理証明』読書会(3)

ハッシュタグ：#readcoq

募集内容	参加枠1 500円（会場払い）先着順 13/25人
申込者	申込者一覧を見る
開催日時	2019/05/16(木) 20:00 ～ 22:00 Googleカレンダー icsファイル
募集期間	2019/04/20(土) 01:48 〜 2019/05/16(木) 22:00まで
会場	MS&BB 池袋西武横店 8号室東京都豊島区南池袋1-16-20 (ぬかりやビル2階) マップで見る会場のサイトを見る

イベントの説明

主に数学的な側面から定理証明支援系を勉強します。

お気軽にご参加ください。

【注】 一読者が私的に開催する会です。著者へのお問い合わせはご遠慮願います。また、主催者は定理証明支援系の専門家ではありません。あまり凄いことは期待しないでください。

テキスト

Coq/SSReflect/MathCompによる定理証明

参加費

有料の会議室を借りるため、参加費にて分担をお願いします。

進め方

本文を読みながら、出て来たトピックスについて議論します。

事前にスライド等は用意しません。

開催履歴

隔週木曜日開催です。

※ 事情により前後することがあります。

回	日	ページ	章	タイトル
今回	2019.05.16	12	1.2.2	カリー-ハワード同型対応の例（途中）
2	2019.04.18	9	1.2.1	（補足の次）
1	2019.04.04	i		まえがき

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

資料が投稿されると、最新の3件が表示されます。

フィード

ymorii47 さんが書き込みました。

2019/05/16 19:48

20分ぐらい遅れて参加します

7shi さんが『Coq/SSReflect/MathCompによる定理証明』読書会(3) を公開しました。

2019/04/20 01:48

5/16（木）『Coq/SSReflect/MathCompによる定理証明』読書会(3) を公開しました！

グループ

イベント数 12回

メンバー数 35人

終了

2019/05/16(木)

20:00 〜 22:00

Googleカレンダー icsファイル

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2019/04/20(土) 01:48 〜
2019/05/16(木) 22:00

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

会場

MS&BB 池袋西武横店 8号室

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

管理者

7shi

参加者（13人）

I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(3)!

『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！

『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！

『Coq/SSReflect/MathCompによる定理証明』読書会(3) に参加を申し込みました！

『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！

『Coq/SSReflect/MathCompによる定理証明』読書会(3) に参加を申し込みました！

I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(3)!

『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！

今日はこちらのアカウントから参加

I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(3)!

参加者一覧（13人）

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