Apr
4
『Coq/SSReflect/MathCompによる定理証明』読書会(1)
Registration info |
参加枠1 ¥500(Pay at the door)
FCFS
|
---|
Description
主に数学的な側面から定理証明支援系を勉強します。
お気軽にご参加ください。
【注】 一読者が私的に開催する会です。 著者へのお問い合わせはご遠慮願います。 また、主催者は定理証明支援系の専門家ではありません。 あまり凄いことは期待しないでください。
テキスト
参加費
有料の会議室を借りるため、参加費にて分担をお願いします。
進め方
本文を読みながら、出て来たトピックスについて議論します。
事前にスライド等は用意しません。
対象箇所
最初から読みます。
Media View all Media
If you add event media, up to 3 items will be shown here.