No Such Blog or Diary

まだまだだね，紅葉は．

そして今年はミスト！　だんだんやることが凝ってきていて中の人のやる気が伺えてよろしい感じ．

そして今日も無駄なフラッシュがあちこちで焚かれまくっていた…　強力・巨大なフラッシュ積んだコンパクトデジカメとかあるわけないよな．

メイン定理の打ち込みまでやっと辿りついた．細かい証明の詰めをTeX化しながらやっているので作業が遅い．3歩進んでは2歩戻って補題の補強とかなので進まない．

あー，メイン部分の拡張版の証明に手前の補題を拡張しなければならない罠．ノート及び脳内では自明だけど…　明日処理することにする．

何かが降ってきているもよう．止まらない．

また無駄な書籍ダンボール一箱分が生成された．完結してないけれど怠くなってきたのを処理しようかと．のいぢ絵のヤツらとか．止まってたりダラダラしてたり．

そして専門書といわれそうな連中は解体してデジタル化中．The art of programming (中国で買った英語版)とかどうしようか悩むところ．

それえでもまだまだ本棚が重い…　

ESET NOD32 Antivirus のバージョンアップしたら受信メールのサーチ能力が上がったのか設定が変わったのか，これまでチェックされなかったメールまでチェック＆結果を本文に貼り付けしてくれるようになった．

チェックまではいいけどメール本体に余計な文字列追加してくれる機能は余計だと思うのだけど．世の中の人々的にはどうなのだろうか？

とりあえず設定項目弄るか…

タクティクスオウガ運命の輪が出てたんだっけ．まともなリメイクらしいので買いたいところだけど…　PSP本体持ってないのでこっちも買わんとならんのが痛い．PCゲームとして出してくれれば楽なのに…

まあ，タクティクスオウガの為だけにPSP買ってもいいか．

なにやら面白い色の本体が１８日に出るらしいのでそれまでまとう．

ダウンロード販売とUMDとどちらが良いのだろうか？

あー，PSPとか全然良く分からん．