Description
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
ご注意:会場および開始時刻は変更になる場合があります。参加登録後も #ProofCafe によるツイートに注意してください。
問題:有理数を係数とする任意の多項式 a と b において、(- a) * (- b) = a * b であることを証明してください。 * は普通の掛け算です。
以上
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
ご注意:会場および開始時刻は変更になる場合があります。参加登録後も #ProofCafe によるツイートに注意してください。
問題:有理数を係数とする任意の多項式 a と b において、(- a) * (- b) = a * b であることを証明してください。 * は普通の掛け算です。
以上
2020/04/25(Sat)
14:30 〜 17:30
Registration Period
2020/03/01(Sun) 13:40
〜
2020/04/25(Sat)
17:30
オンライン skype
オンライン skype