No Such Blog or Diary
引き続き
- 2010-11-19 (Fri)
- 一般
予想通りの物凄くきれいな結果になったので眠れない.だいぶ前から考えていた事がすっきりと説明できたし,既存の手法が何をやっているのかの推測を確かめられた.
ということで引き続きTeX化中.ノートの上や頭の中にあったことを整理して吐き出すだけとはいえ表記法とか考えながらなので大夫疲れてきた…
- Comments: 0
- TrackBack (Close): -
六義園の紅葉ライトアップ初日に行った
そして今日も無駄なフラッシュがあちこちで焚かれまくっていた… 強力・巨大なフラッシュ積んだコンパクトデジカメとかあるわけないよな.
- Comments: 0
- TrackBack (Close): -
一段落
- 2010-11-18 (Thu)
- 一般
メイン定理の打ち込みまでやっと辿りついた.細かい証明の詰めをTeX化しながらやっているので作業が遅い.3歩進んでは2歩戻って補題の補強とかなので進まない.
あー,メイン部分の拡張版の証明に手前の補題を拡張しなければならない罠.ノート及び脳内では自明だけど… 明日処理することにする.
- Comments: 0
- TrackBack (Close): -
本棚整理
- 2010-11-16 (Tue)
- 一般
また無駄な書籍ダンボール一箱分が生成された.完結してないけれど怠くなってきたのを処理しようかと.のいぢ絵のヤツらとか.止まってたりダラダラしてたり.
そして専門書といわれそうな連中は解体してデジタル化中.The art of programming (中国で買った英語版)とかどうしようか悩むところ.
それえでもまだまだ本棚が重い…
- Comments: 0
- TrackBack (Close): -
メール見てもいいけど余計なことしないでほしいなぁ
- 2010-11-15 (Mon)
- 一般
ESET NOD32 Antivirus のバージョンアップしたら受信メールのサーチ能力が上がったのか設定が変わったのか,これまでチェックされなかったメールまでチェック&結果を本文に貼り付けしてくれるようになった.
チェックまではいいけどメール本体に余計な文字列追加してくれる機能は余計だと思うのだけど.世の中の人々的にはどうなのだろうか?
とりあえず設定項目弄るか…
- Comments: 0
- TrackBack (Close): -