2006-04-18から1日間の記事一覧

proof.sty

先日、証明図をがんばってarray環境で書いていたら、先生にバカにされたので、proof.styをインストールする。これは…便利すぎて鼻血がでそうである。僕はなんて幸せなんだろうか。

make-backup-files

.emacsに (setq make-backup-files nil)と書き足した。私はauto-save-buffersを使っているので、Emacsのバックアップファイルは完全に意味がない(0.3秒入力がないと保存するようにしているので)。make cleanでrm -rf *~するようにしているくらいであったが、…

久々にBSOD

どうもW-ZERO3のモデムドライバがわりといまいちのような気がする。結構しょっちゅう接続が突然切れるし。なんとも不幸である。