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

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

6月

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

ハッシュタグ：#readcoq

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

イベントの説明

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

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

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

テキスト

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

参加費

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

進め方

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

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

開催履歴

隔週木曜日開催です。

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

回	日	ページ	章	タイトル
今回	2019.06.13	35	2.3.1	ヒルベルトの公理S
4	2019.05.30	27	2.2	モーダスポネンスの形式化
3	2019.05.16	12	1.2.2	カリー-ハワード同型対応の例（途中）
2	2019.04.18	9	1.2.1	（補足の次）
1	2019.04.04	i		まえがき

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

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

フィード

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

2019/05/31 01:22

6/13(木)『Coq/SSReflect/MathCompによる定理証明』読書会(5) を公開しました！Coqでのヒルベルトの公理Sの証明を見ます。ご参加をお待ちしております。

グループ

イベント数 12回

メンバー数 35人

終了

2019/06/13(木)

20:00 〜 22:00

Googleカレンダー icsファイル

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

募集期間
2019/05/31(金) 01:22 〜
2019/06/13(木) 22:00

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

会場

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

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

管理者

7shi

参加者（11人）

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

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

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

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

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

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

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

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

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

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

参加者一覧（11人）