一年前のものを見直すとひどいな。InductiveとDefinitonの区別が明らかについてないのとか。というか、なんで今区別つくようになってんだ。自分。

夏休みに「software foundation」を読み返している。もう読み始めて何年たってるのか。前読んでた時から半年とか空くと全部忘れてるのでまた読み直しが発生して、とかの悪循環。どんどん後退している。年も食ってるし。以前の自分の解答で諦めてたらしい(諦…