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

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

7月

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

ハッシュタグ：#readcoq

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

イベントの説明

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

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

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

テキスト

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

参加費

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

進め方

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

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

開催履歴

隔週木曜日開催です。

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

回	日	ページ	章	タイトル
今回	2019.07.11	44	2.4.1	自然数の形式化（途中）
6	2019.06.27	38	2.3.2	別証明その1
5	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		まえがき