これといって悲しいことはないのだけれど、冬の夕方は少しだけ感傷的になってしまう。
秋に買った(正確には、ラボのある出来事で保証として買ってもらった)パソコンのWindowsアップデートがずっと失敗し続けているのに気づき、それを直す。KB2647753というのがネックになっていたらしく、それをマニュアルでインストールすると大抵の失敗は直った。
インストールしている時に、Bing Desktopというものをはじめて知った。今年の初めからあったらしい。Google Desktopと似たようなものだが、使わないかなあ。
大学は先週末からクリスマス休暇。ボスも先週末から休暇をとっているので、ラボには私しかいない。お隣のラボには数人来ているようだ。今年の夏にプリンストンから引っ越してきたラボだけれど、ここのラボにはよく働く人が2-3人いる。秋には新しい研究棟に移る予定だったらしいが、延び延びになってまだお隣さん。よく働くラボが隣にあるのは、時々刺激になるので、良いことだと思う。週末や休暇の時にラボに来て仕事をするのは賛否両論あるけれど、自発的に働ける時に働いておこうというのは悪くない。いくら働いても結果が出ないこともあるのだから、納得するまで働けばいいと思う。