No Such Blog or Diary

メインのアイデアから来るメインの結果を打ち込み終わったので一段落．そいつを使いやすい形にする部分は後回しでいいや．とりあえず何が起きているかを理解できそうな人間にここまでのドラフトを送って意見待ち．

閑話休題．何かが見えない人からの頭使ってない繰り返し質問は頭に来る．もう少し考えてからモノを言え．質問入れたら答えが返ってくる便利な機械ではないのだよ．

予想通りの物凄くきれいな結果になったので眠れない．だいぶ前から考えていた事がすっきりと説明できたし，既存の手法が何をやっているのかの推測を確かめられた．

ということで引き続きTeX化中．ノートの上や頭の中にあったことを整理して吐き出すだけとはいえ表記法とか考えながらなので大夫疲れてきた…

まだまだだね，紅葉は．

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

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

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

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

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

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

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

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