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

2019/04/18(木)20:00 〜 22:00 開催
ブックマーク
#読書会

イベント内容

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

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

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

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

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

テキスト

進め方

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

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

開催履歴

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

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

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ（connpass）へ

新規会員登録

このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。

※ ソーシャルアカウントで登録するとログインが簡単に行えます。

※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。