Description
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
ご注意:今回より、毎月 第 4 土曜日 に変更になります。
以上
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
ご注意:今回より、毎月 第 4 土曜日 に変更になります。
以上
2020/01/25(Sat)
14:30 〜 17:30
Registration Period
2019/12/21(Sat) 20:21
〜
2020/01/25(Sat)
17:30
オンライン(skype)