No Such Blog or Diary

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

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

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

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

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

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

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

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

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

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

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

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

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

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

去年見逃したので今年は早めに行ってみようかと．足も手に入れた事だし．本日の旅の記録：246km，10時間．

最初に桜山公園．国道254を北上して本庄市で国道462に入って西に進むと案内板が出てる（神流湖に出る前に県道177へ右折）．間違って日の出時刻の１時間前とかに着くとどこもかしこも真っ暗で第一駐車場の自販機と電話ボックスしか明かりがない．後で気づいたけど駐車場の利用は８時半からとか書かれてた．んで，山の上の公園なので山頂まで登る．

でも，５部咲きのうえに花が小さいので目立たない．少々残念．

目的だった朝日と紅葉とかバックにして冬桜撮る，は微妙な結果．

山頂から降りてきたら交通整理に駆り出される人達のミーティングをやっていたのでさっさと次の目的地に移動することにした．この時期はやっぱり混むようで，これから１ヶ月の土日は公園へ至る道に一方通行縛りが発動されるとのこと．

次の目的地は城峯公園だけどそのまえに三波石峡によった．下久保ダムの下，（無駄に）広い駐車場がある．石（岩？）的には面白いけれど水が濁っているので微妙．でかいダムが邪魔．

そして城峯公園，桜山公園から神流湖を挟んで南にあるもうひとつの冬桜の名所．三波石峡の駐車場から登仙橋まで戻るとそこからずっと案内の幟が出ていた．が，例によってここも一方通行縛りなので，登仙橋側から来ると一度神流湖に出て西側から回りこまないと公園に入れない．それはともかく，こちらの方が開花が進んでる気がした．

以下，紅葉シリーズ．赤くなりきっていない半端に紅葉した椛が一番面白い．冬桜は早すぎたけど紅葉にはちょうど良いタイミングだったっぽい．

で，例によって昼前には東京まで帰ってきたわけだけど，９時１０時位の関越道下りは渋滞がひどい．やはり東京からの脱出は未明から早朝に限る．この時間帯なら下道でも割合スムーズに動けるし．