スター・ウォーズの 7 を観た。地上波放送の録画だ。

この映画は映画館で観た (2016-02-13) 。はじめ、検索しても出てこない……と思ったら、ここ最近の記事で表記誤りをしていた。『スターウォーズ』→『スター・ウォーズ』。後者がおそらく正しい。あとで直す。

これで『スター・ウォーズ エピソード 8 最後のジェダイ』を観に行けそうだ。

型システム入門を第 28 章まで読んだ。有界量化。