4月
18
『Coq/SSReflect/MathCompによる定理証明』読書会(2)
イベントの説明
前回とは隣の部屋のためご注意ください。
- 同じ場所で予約が取れるとは限らないため、毎回会場をご確認ください。
- 有料の会議室を借りるため、参加費にて分担をお願いします。
主に数学的な側面から定理証明支援系を勉強します。
お気軽にご参加ください。
【注】 一読者が私的に開催する会です。 著者へのお問い合わせはご遠慮願います。 また、主催者は定理証明支援系の専門家ではありません。 あまり凄いことは期待しないでください。
テキスト
進め方
本文を読みながら、出て来たトピックスについて議論します。
事前にスライド等は用意しません。
開催履歴
隔週木曜日開催です。
※ 事情により前後することがあります。
回 | 日 | ページ | 章 | タイトル |
---|---|---|---|---|
今回 | 2019.04.18 | 9 | 1.2.1 | (補足の次) |
1 | 2019.04.04 | i | まえがき |
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。