数理科学II（第3回）

今回から多項式の最大公約子 (GCD) の話です。

今日のところは、とりあえずEuclid整域の定義をして、素朴なEuclidの互除法をやり、Euclidの互除法の正当性を示すGCD recursion theoremをやりました。

次回は、連休明けで、拡張Euclidの互除法の話に入ります。