数理科学IIA（第6回）

今回から、1変数多項式の最大公約子 (GCD) の話題に入りました。今年度の授業の残りの時間はこの話題が中心になると思います。

今回は、Euclid の互除法のアルゴリズムと、Euclid の互除法の理論的根拠を与える "GCD recursion theorem" を紹介し、同定理の証明の前半を説明して終わりました。

授業時間の残り5分程度で、最初の時間に配った MathLibre 2013 DVD のデモンストレーションを行おうとしましたが、DVD がうまく起動しませんでしたので、授業はそのまま終わりとしました。授業終了後、パソコンの電源を切ってもう一度電源を投入すると DVD が起動しましたが、デモンストレーションは次回行いたいと思います。

次回はMathLibre 2013 DVD のデモンストレーションを行うとともに、今日の定理の証明の続きを行い、 拡張 Euclid の互除法に進みたいと思います。