blog.bouzuya.net

2017-12-20 スター・ウォーズの 7 を観た

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

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

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


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