No Such Blog or Diary
Dvorak配列
- 2006-04-14 (Fri)
- 一般
おもむろにキーボードの配列を Dvorak にしてみた.しかし,キー配置は覚えたけどタイピングスピードが 80keys/min しかでない.しばらくプログラムが書けないような…
- Comments: 0
- TrackBack (Close): -
ハイネ・ボレルの定理
- 2006-04-05 (Wed)
- 一般
マンガでわかるフーリエ解析 なるものがあると教えられ,内容を覗いたら「関数の直交」なる言葉が書かれていた.そこからの連想で,直交を扱うということは内積があるわけで,完備な内積空間はヒルベルト空間なわけで,さらにひとつ手前で完備なノルム空間はバナッハ空間だったな… と考え,そこで突然ハイネ・ボレルの定理って何だっけという疑問にぶつかった.定理自体は通常の位相を入れた R^n では有界閉区間であることとコンパクトであることが等価であることをいっているのだが,その証明を完璧に忘れていてとても気になったので調べてみたりした.
とりあえずコンパクトって何だっけとかいうとこから始め,開被服があったらそのうちの有限個で被服出来ることだったなと思い出しつつ,PlanetMath: proof of Heine-Borel theorem を追って証明を納得.さすがに3年以上もたってると結構忘れてるもんだなぁと再認識して終了.
- Comments: 0
- TrackBack (Close): -
涼宮ハルヒの憂鬱
- 2006-04-04 (Tue)
- 一般
これは何も知らずに視た人はどんな感想を持つのだろうか? 知ってる人間としてはOPからの丸々30分間のグダグダっぷりにころげ回らんと視てられんかった.とりあえずすばらしい出来になりそうな予感(京都アニメーションだし).
- Comments: 0
- TrackBack (Close): -