自宅鯖は気を抜くと落ちていたりして油断ならないので、さくらに移転しました。sshもつかえるし。 http://osak.sakura.ne.jp/

lennyだとvimが7.1しか使えず、autocomplpopが動いてくれないのでsidに移行しました。 アップグレードは、/etc/apt/sources.listのlennyを全部sidに書き換えて % aptitude full-upgradeとするだけ。簡単！ しかし、アップグレード後に2つ問題が・・・。一つ…

最近、数学の定理について「証明できなくても使えればいいや」なスタンスに変わりつつある。いや、この思想自体は割と前からあったんだけど最近になって拍車がかかって来たと言うか。 別に証明に関するモチベーションが皆無という訳ではなくて、証明が難しそ…