20日、土曜。

#日々の出来事

メーリングリストでデネットの訃報がまわってくる。

RIP。

某原稿の続きを書こうとするのだが進まず。