TAPL

アニメ見たり,音楽聞いたりで週末が終わってしまう今日この頃,さすがにこれじゃまずいということで,今週末は久しぶりにTAPL (Types and Programming Languages) を読んでみた。というよりページをめくってみたという感じ。。。ぜんぜん読めない。
学生時代はもっと読めたはずだという思いもあるが,過ぎ去った日というのは美化されるものなので,学生のときもたいして読めていなかったのだろう。ただ,当時は今とは違い目的意識があった分,集中して読んでいたのだろう。