イベント内容

前回とは隣の部屋のためご注意ください。

• 同じ場所で予約が取れるとは限らないため、毎回会場をご確認ください。
• 有料の会議室を借りるため、参加費にて分担をお願いします。

---

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

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

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

テキスト

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

進め方

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

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

開催履歴

隔週木曜日開催です。
※ 事情により前後することがあります。

回	日	ページ	章	タイトル
今回	2019.04.18	9	1.2.1	（補足の次）
1	2019.04.04	i		まえがき

注意事項