証明の切り貼り

最近、複数の論文を並行して読んでいるが、少し困っているのは、どの論文も細かい誤りが含まれているようで、その誤っているところを別の論文で補正しながら読み進めている。
やはり、間違いのない証明の形にするだけでも、もう少しかかってしまいそうである。
（本来にしたいのは、それをベースに別のことを示す必要があるのだが。）


短期目標：もう一つの証明の方を読み込む
今日の作業内容：証明読み 3h
今日のランチ：シッダルータ チキンカレー
明日の予測作業時間：2h