備忘のためメモ。Bengt Nordstrom教授特別連続講義@産総研。構成的Type理論について。

Amazonの古本で先週末に到着したミステリ本。半分を京都往復の車内で読み、残りをこの2日で読む。繰り返し要素が少なかったので、「神学校の死」よりも良かった。･･･でも、最後のオチが･･･ビックリ。

起床は8時。晴れた冬の朝。午前は某書類。昼休みに郵便局に発送に行く。午後は雑用、年度末に向けて加速中。19時に帰宅。Cは私が帰宅するまで、録画した「ケロロ軍曹」をみているそうだ。夕食はトマトシチューと目玉焼きのパイ。