募集内容 |
参加枠1 無料
参加者数
|
---|---|
申込者 | 申込者一覧を見る |
開催日時 |
2020/01/25(土) 14:30 ~ 17:30
|
募集期間 |
2019/12/21(土) 20:21
〜 |
会場 |
オンライン(skype) |
イベントの説明
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
ご注意:今回より、毎月 第 4 土曜日 に変更になります。
以上