2006-04-18から1日間の記事一覧
先日、証明図をがんばってarray環境で書いていたら、先生にバカにされたので、proof.styをインストールする。これは…便利すぎて鼻血がでそうである。僕はなんて幸せなんだろうか。
.emacsに (setq make-backup-files nil)と書き足した。私はauto-save-buffersを使っているので、Emacsのバックアップファイルは完全に意味がない(0.3秒入力がないと保存するようにしているので)。make cleanでrm -rf *~するようにしているくらいであったが、…
どうもW-ZERO3のモデムドライバがわりといまいちのような気がする。結構しょっちゅう接続が突然切れるし。なんとも不幸である。