『Coq/SSReflect/MathCompによる定理証明』読書会(7)
2019/07/11(木)20:00
〜
22:00
開催
ブックマーク
イベント内容
主に数学的な側面から定理証明支援系を勉強します。
お気軽にご参加ください。
【注】 一読者が私的に開催する会です。 著者へのお問い合わせはご遠慮願います。 また、主催者は定理証明支援系の専門家ではありません。 あまり凄いことは期待しないでください。
テキスト
参加費
有料の会議室を借りるため、参加費にて分担をお願いします。
進め方
本文を読みながら、出て来たトピックスについて議論します。
事前にスライド等は用意しません。
開催履歴
隔週木曜日開催です。
※ 事情により前後することがあります。
回 | 日 | ページ | 章 | タイトル |
---|---|---|---|---|
今回 | 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 | まえがき |
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。