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

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

6月

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

ハッシュタグ：#readcoq

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

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

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

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

テキスト

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

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

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

隔週木曜日開催です。

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