数理科学II（第6回）

今日は、先週やったGCD recursion theoremの証明にちょっと不備があったので、その補足説明を行い、引き続いて、拡張Euclidの互除法の証明の残りをやりました。拡張Euclidの互除法のアルゴリズムを書き下すのは、今学期のレポート課題に含めたいと思います。

それから、計算量について、計算量の標記の半分くらいまでやりました。残り半分は次回行いたいと思います。

今日は久々にすがすがしい陽気... と思ったのですが、授業が終わる頃には雲で薄暗くなり、雨がポツポツ... いつものこの時期は蒸し暑いくらいだと思いますが、もう少しは天気が安定してくれれば、と思います。