2012/07/27

その例えはどうか

本論ではなく枝葉の部分なんだけど。

ビジネスマインデッドな行政官について(内田樹の研究室)

国会で「アメリカの州になります」と議決すればいいのである。

ハワイもテキサスもそうやって州になった。

日本が米国の51番目の州になるには、って話だけど、いや、国会で議決したってなるとは限らんでしょ。

ハワイが州になるかどうか決めた時には、既にハワイは米国自治領だったんで、州になるかどうかはその時点では国内問題。難しいのは州になるかどうかよりも、米国の一部になるかどうかという話の方。

で、もともとハワイが米国自治領になったのは、米国人地主がサトウキビの米国本土への輸出で他国との競争を有利にするために関税を避けたかったから (もちろん他にも色々な要素があるけど、関税の問題が大きなきっかけだった)。それでクーデターまで起こしてハワイ王朝を転覆させハワイ共和国にして、「さあ米国に併合してください」と言ったんだけど、連邦議会は承認しなかった (併合には2/3の賛成が必要だがそれに至らず。何度か提出しては否決されてる)。

数年後、米西戦争が勃発して、ハワイが太平洋でのスペイン植民地に対する戦略的拠点として重要になった時にどさくさにまぎれて併合が承認され、ハワイは自治領になる。

とうわけで確かにハワイが州になったのには経済的理由があるけれど、クーデターも戦争も忘れて「経済的合理性を追求したら州になるのがよい」という論にハワイを持ち出すのは、あまり筋の良い例えじゃないだろう、と思ったのだった。

Tag: Hawaii

2012/07/27

Milwaukee protocol

最近まで、狂犬病は、感染後ワクチンを打たずに発症したら例外なく助からなかった。 2004年、コウモリに噛まれて狂犬病を発症した15歳の少女が Children's Hospital of Wisconsin の医療チームによって救われ、 記録に残るうえで最初の生還者となった。その詳しい記事。

• Down to a prayer
• Buying time against rabies
• 'This is a miracle'

生還者が出たということは当時ニュースで読んでいたけど、 詳しい話は知らなかったのでついつい読みふけってしまった。 キリスト教系のサイトのようで若干神学的な言及もあるけど、 ドキュメンタリーとしても読み応えがある。

Milwaukee Protocolはこの時使われた治療手法。 狂犬病で死ぬのは、ウィルス自体が脳を破壊するわけじゃなくて、 ウィルスによって生じた炎症によって脳の機能がおかしくなるため。 そこで患者を人為的に昏睡状態におき、本人の免疫力がウィルスに勝てるまで強くなるのを待つ。 と、こう説明されるとナルホドと感心してしまうけれど、 前例が無い状態でこれをどうやって思いつき、どうやって決断したかっていうあたりを 前から知りたいと思っていたので、記事中できちんと触れられていて良かった。

この記事は2005年なので回復途上で終わってるけど、確か本人はその後大学も卒業したはず。

同様の治療法で(ワクチンを打たずに発症した段階から)回復したのは2011年の段階で5人 (US内で3人) らしい。助からなかった人の方がまだずっと多い。狂犬病クリーンな地域(日本とハワイは そうだけど、世界的には珍しい)以外で野生動物に噛まれたらワクチンは必須ですな。

• UC Davis Children's Hospital patient becomes third person in U.S. to survive rabies

Tag: Science

2012/07/25

ビート

ふとネットワークモニタを見たらちょっと面白い波形が出てた。 横軸、サンプル周期は1秒で、縦の破線は10秒ごと。

最初は2つのプロセスが少しずれた周期でアクセスしてビートが出てるのかと思ったけど、 この時LAN内でネットを定常的に使ってたのは動画ストリーミングしている1プロセスだけだ。

ビートの周期はおおざっぱに見て6秒くらい=0.17Hz。ナイキスト周波数が0.5Hzだから、 0.83Hzくらいの周期でバースト的に通信と休みを繰り返している、とかかな。 このLAN内のマシンにはtcで帯域制限をかけているので、帯域のクオータをオーバー→しばらく停止、 の繰り返しで振動しているのかもしれん。

Tag: Computer

2012/07/22

New programming jargon

yomoyomoさんとこ経由で知った Coding Horror: New Programming Jargonが面白かった。かなり「あるある」度が高い。

Right on! だと思ったのをいくつか。

Higgs-Bugson

イベントログやユーザの報告にわずかに散見される手がかりから、存在すると予想されているが、 再現するのが非常に困難なバグ。

Hindenbug

名前から予想されるとおり。データベースの下位層とかいじってるとこれは恐い。

Bloombug

「偶然に金を産み出したバグ」ああこういうバグに当たってみたいものだ。

Hydra code

直しても直しても新たな問題が出てくる。
だが安心して欲しい。 ヘラクレスは必ずヒドラに勝てることが証明されている (どんな手法を取っても、いずれヒドラの頭の数は0に収束する)。 但し、途中のヒドラの頭の数は膨大になるが。

Mad girlfriend bug

「なんでもないわ、平気よ」とテストもログも言うけれど、明らかに様子がおかしい。

Jenga code

これも聞いただけでどんなコードかぱっとわかる。できれば近寄りたくないものだ。

並べてみたらバグとひどいコードに関するものばかりになってしまった。

★ ★ ★

Higgs-Bugsonは最近まさしくこいつに当たったばかりなので個人的にツボ。

• かなり重い負荷テストの時にごくたまに見られるエラーログAとB (両者は別々のテストで、一見無関係のコンポーネントから出てる)。
• Aは気になるだけだがBはシステムをハングさせる。だが再現条件がわからない。
• エラーログから、複数プロセスがかかわる ファイルの作成と削除に関係するものであることが疑われるのだが コードを調べてもハザードは見当たらない。と、ここまでは当初私は知らなかったこと。
• 私が担当するコンポーネントで、ある負荷テスト時にたくさんエラーログCが出てくるという 報告があがった。こちらも開発環境で再現する小さなテストセットは作れなかったのだが、 理屈の上でハザードが生じる可能性を見つけた (あるプロセスから別プロセスに非同期で メッセージを送ってて、その処理される順序が入れ替わる可能性があった。入れ替わり自体は 仕様の範囲内なのだが、ある使い方と組み合わさると問題が生じる)。
• その理論を報告したら、上記AとBの事例を示され、「これももしかしてこのバグ?」
• そのつもりでコードを調べると、確かに理論上同じことが起き得る。
• 順序の入れ替わりを無くすパッチを作成、問題の負荷テストを流す→エラー見られず。
• だが「元のコードで確実に再現されるバグが、このパッチで治る」ことは示せてないので、 「バグの存在はほぼ間違いないが確定してはいない」←いまここ

Tag: Programming

2012/07/20

ピアノレッスン55回目

• Janáček: 1.X.1905
  • M=52。このくらいの速さの方がメロディの表現はしやすいが、主題提示部の6連符がきつい。 第一主題提示の後fffに向かって盛り上がるところ、最初は右手旋律が単音なので旋律だけでクレシェンドをかけるのはきついから、左手で補助する。
• Kapustin: Op40-8
  • 家ではM=132までいったんだけど、ピアノのタッチの違いで崩壊。M=120まで戻して仕切り直し。 タッチが変わると崩壊するのは、まだ手の記憶に頼ってるからだな。
• Kapustin: Op40-7
  • 今のところまだこれが一番弾きやすい。

Tag: Piano