最近増えてる絶版本の無償ダウンロード（PostScript）．ちょっと難しそう． http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ Thompson, Type Theory and Functional Programming, Addison-Wesley 売り物では青っぽい表紙の変型判の本が評判いいようだが...…

前回の悲劇的なシャトル事故の再発を防ぐべく（？）宇宙飛行士がEVAでシャトル外壁の修理をやっているそうな．ロボット屋さんがんばれ！ こんなことは早いとこ「初期宇宙時代のエピソード」に変えてしまわねばならない．脆弱な人間が薄い宇宙服1枚で宇宙空間…

管制塔のシステムではwarningが常日頃から出ていたせいで，「停電！ 非常用電池に切り替わりました」というwarningを職員が「あ〜またかよ」のノリで切って，そのまま時間が経って電池が切れたとのこと（笑）．いや〜エンジニアには学ぶことの多い例ですな．…

最近，関数解析を学ぼうという意欲がだいぶ下がってしまった... Heine-BorelとかBolzano-WeierstrassとかHilbert-SchmidtとかRiesz-FisherとかHahn-Banachとか*1，空間の性質のわずかな違いから点列や作用素の振る舞いがどう制限されどう変わるかというのは…

今日，やっと直交曲線座標の扱い方が分かった... grad, div, rot, Laplacianの表示の導き方も分かった．まぁ極座標くらいしか使わないけどね．