2006年04月

世の中平和だなぁ．

200keys/min にとどかない．間違いを無くす方向で練習しないとダメなきがする．はぁ

とりあえず注文しといたのが届いたのでそのうち慣らしで遠出してみるか．サスペンションにもさっさと慣れないと危ないかも知れない…　変にはねまくるから．

Dvorak でも英単語はそれなりに打ててきたけどプログラムを書くのはまだまだ遅かった．くだらない探索問題を書くのに一時間半もかかるとは…　特にデバッグ出力を吐くコードの埋めこみが遅くてこまる．もう少しプログラムを書いて練習せねば．

しようとしたけど薄い15mmのスパナ（ハブスパナ）が無くて無理だった．別の厚さはあるのだが…　ロックリングをまわすやつと併せて買っておこうかなぁと思わなくない．

朝通学中に自転車の後輪に何か違和感があると思っていたら昼に乗ったとき軸が壊れた．５年間乗ってきたがさすがに寿命なのだろう．まあ，乗り方結構荒かったからなぁ…　とりあえず新調せねば．

Dvorak にして一週間ちょっと経ったけど一向に速度は上がらず…　まあ，ほとんど練習してないから早くなる理由は無いのだけど．

秋葉へ出向く．毎週行かなきゃならないのは少々面倒な気がしてきた．まあ，今までと違う内容が聞ける輪講は悪くないのだが…

クレジットカードの手続きをしにいったら予想通り迷ってみたり．とりあえず駅でかすぎ．

130くらい…　とりあえずプログラムを書くのにものすごくストレスを感じる．コードを打つ練習をしないと話しにならん．

110程度で．速く打とうとすると qwerty になってしまうためここから伸びない…　あと，o と e，t と n，c と r がよく逆さまになってしまう（混線してるらしい）

９４まで記録更新．ほんの少しずつ速くなってるような．

おもむろにキーボードの配列を Dvorak にしてみた．しかし，キー配置は覚えたけどタイピングスピードが 80keys/min しかでない．しばらくプログラムが書けないような…

とりあえず飲めん．マリブミルクにして一杯飲んだが私には合わん．ということでダウン．

マンガでわかるフーリエ解析 なるものがあると教えられ，内容を覗いたら「関数の直交」なる言葉が書かれていた．そこからの連想で，直交を扱うということは内積があるわけで，完備な内積空間はヒルベルト空間なわけで，さらにひとつ手前で完備なノルム空間はバナッハ空間だったな…　と考え，そこで突然ハイネ・ボレルの定理って何だっけという疑問にぶつかった．定理自体は通常の位相を入れた R^n では有界閉区間であることとコンパクトであることが等価であることをいっているのだが，その証明を完璧に忘れていてとても気になったので調べてみたりした．

とりあえずコンパクトって何だっけとかいうとこから始め，開被服があったらそのうちの有限個で被服出来ることだったなと思い出しつつ，PlanetMath: proof of Heine-Borel theorem を追って証明を納得．さすがに３年以上もたってると結構忘れてるもんだなぁと再認識して終了．

これは何も知らずに視た人はどんな感想を持つのだろうか？　知ってる人間としてはOPからの丸々３０分間のグダグダっぷりにころげ回らんと視てられんかった．とりあえずすばらしい出来になりそうな予感（京都アニメーションだし）．

沼津の銘菓となっているのかなっていないのかよくわからないが，とりあえずここのところとか東海地方で売っている栗せんはおいしい．茶せんより栗せんのほうがよく売れたのでもう少し栗せんを増やしたほうがよかったか？

新幹線で東京にかえる．箱根さえ越えてしまえば雨のせいで東海道本線が止まることも無いけど前に箱根の手前で止められたからなぁ．とりあえず明日の資料というかコメント入れの続きをやらねば．

綺麗な富士山を見れた気がする．静岡側を約半周したけどやはり裾野からの眺めが一番よいと思う．