window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

UMINのサーバが新しいものに変わったためか、以前入れたemacs-24.5が使えなくなっていた。仕方がないので25.1をインストール。そこまで苦労しなかったが、久しぶりにvimを使って苦しんだ。インストールの仕方は前回と同じで、ここを参照した。

本日は少しだけだが早起きして某翻訳の作業。髭剃り、朝食、朝刊。朝から娘がせがむのでマリオ。朝は娘を保育園に送る。それから大学へ。今日はほとんど外出せず、研究室にこもってひたすら某申請書の作成作業。すっかり忘れていたのだが、大型科研の一部門…