Firefox, というか自分の場合だと Iceweasel だけど, これは, そのステータスバー*1に, 現在見てるページの Google のページランクを表示してくれる拡張機能. ただ単純にページランクだけが見たいときに便利. でも, 今気付いたんだけど, 動いてない. どのペ…

駄目元でこいつら消してみた. $ locate morisawa /etc/texmf/dvipsj/morisawa.map.dpkg-new /etc/texmf/vfontmap.d/30morisawa.map.dpkg-new /var/lib/dpkg/info/vfdata-morisawa5.conffiles /var/lib/dpkg/info/vfdata-morisawa5.list /var/lib/dpkg/info/v…

寒い 寒いよ. しかも, 何故に雨降る. 傘持っていってなかったよ. よりよって, 別キャンパスまで行くときに降らなくても. sicp SICP は, ちょっとお休みにします. 土曜日あたりには, 再開できるようにします. 銃乱射 こわいなあ・・・. 日本だと, まず無いか…