制度的な欠陥によるのかも知れない。仮釈放という制度(さらにさかのぼれば、法治を徹底することがなく、権力が代替わりによって移動する、恩赦という制度、おそらく中国あたりから持ち込まれた)に由来して、終身刑が事実上、完全なる自由の剥奪とは限らないから、その選択が成り立たない。この国(中国や北朝鮮も死刑があるから東アジアと言うべきか(韓国については知らない)。中央と西アジアについては知らない)においては、自由のほうが生命より価値がない。不正なものだというコンセンサスがあるため、殺されてはおしまい、生きていれば正義がなされる可能性がある、ということから、死刑のほうが極刑ということなのかも知れない。いずれの仮定においても、アジア的専制を根底に見ることができる。ウィットフォーゲルの慧眼には恐れ入る。しても、自由が安いのが理由だとしても制度的な不正が理由だとしても、いやなことだな。捜査、裁判に不正が入る余地をなくし、自由の価値を教育し、そして極刑を終身刑とすることで、仮に不正ではない誤りにより冤罪が行われた場合の復権を確保することが、肝要だろう。同僚の子供が4月から高校だというので、その話をしていたら、いやぁ最近の子供にはついてけないなぁとか言い出した。聞いたら、いきなり入学式の後から友達同士で遊びに行くんだよ、とか言い出す。友達を作れるのか、すげぇな、とか言ったら、そこじゃないと返された。入学が決まった時点(ってことはまだ中学生のときってことだな)で、ミクシィで同じ学校に入学する子を探して連絡を取り合っていたらしくて、いきなり入学式がオフ会なんだよ。枯れた(というかそれほど新しくないというか)技術をうまく使っているんだなぁと思ったが、そういえば、こっちの子供もteacup(一体、いつの時代だ)を使ってチャットしたりしてるな、と思い出した。最初に始めた子の親が、自分達が使ったツールを教えて、その子が回りに勧めるという順に使われるのかも知れない。あれ、ということはファッションの20年サイクルとかも、実は親の好みが単に次々(もう1個「々」が付くかも)世代に伝わって復活するということなのかな、とか考えた。ファッションのサイクルよりも、テクノロジーサイクルのほうが短いのは、古び方が早いからかも知れないな。うちの姪も4月から高校生ですが、すでに情弱組の予感が。[うちも情弱っぽいんだよね、これが。いうタイプなのがちょっとおもしろい。ミクシィの規約いやぁ、やべーこと書いたかと一瞬クラクラしてしまったが(おれも18歳以上という規約だったように思い出したからだが)、あらためてミクシィの利用規約読んだら、満15歳ってなってた。いうわけで、中学3年生が高校デビュー前にミクシィで段取りってのは規約的にも問題ないようだ。シーナはパンクロッカーネトレプコがやってくるというので、土曜日に子供とチケットぴあとeplusの2段構えでチケット獲得競争に参加した。/ネトレプコ(アンナ)/ビリャソン(ローランド))おれはeplus、子供はぴあだ。狙いは当然、Dといきたいところだが、さすがに数が少ないだろうからCということで始めた。だいたい、来日オペラの場合、ほとんどの席がS、そしてAで、これがクソミソ一緒になってほぼすべてだ。細部はオペラグラスで観ることになるわけだし、値段は数万円以上違うのに見易さに差はなかったりするので、CとかDとかを普通のオペラ好きは狙うことになる。SとかAは、基本的に寄付のようなもので、10年に一度オペラというすなるものでも観てみようという人用なのだ。したがって、自分で席を買う人はCやDを狙うし、もともと数がないのであっという間に売り切れる。一瞬、おれが先行してCを2枚確保できそうになったが、子供と確認とかしていたら、コミット後にかすめられていた。楽観ロックはすばらしい。いうまにCはなくなってしまい(というか、Dは最初に受付画面が表示できた時点からなかったわけで)、Bか、子供のぴあかに明日がかかってきた。子供の担当のほうをみると、混雑メッセージが表示されていて、一生懸命リロード攻撃をしているが、状況がまったく変わらない。ぴあ、スレッド数が少ねぇな、しょうがないので清水の舞台から墜落してeplusでBを確保して、今後のいろいろな予算がふっとんでしまった。それにしても、子供がいくらリロードしても変わらないのはおかしいな、と思い、よくみるとアドレスバーには、....../punk.htmlと出ている。あれ、punkってpunctureのことか、とかの指摘より前に、そのURLはどうみてもグローバルな静的リソースをさしているとしか読めない(ぴあは素直なURLなので動的ページはjspになっているし)。そこでリロードしても、すでにリダイレクトされた後だからまったく意味がないんじゃないか。「おい、ちょっと、前に戻るボタンを押してみろ」とかやってページを戻して受付ボタンを押して、瞬時にpunk、前に戻ってから受付ボタンを押して瞬時にpunk、前に戻って受付ボタンを押してしばらく考えてチケット選択画面——そこにはさすがにDはなかったが、まだCが残っていて、数万円の衝撃を受けた。ぴあ、やってくれるな。いうか、eplusが素直な実装過ぎなのかも。いうか、担当を逆にしておけばよかったが後の祭りだ。陽平)というわけで、リダイレクトされた先でしつこくリロードというのは、どういう意味なのか、どうしてかくもURLが、つまりアドレスバーの視認が重要なのか、Webのアーキテクチャを子供にレクチャしようかと思ったが、数万円の衝撃で頭がくらむぼんだったのでまた今度。いうデバイスが欲しいが、それがiPadかな?おれはオペラが好きだ。トゥランドットのDVDだけで3枚あるし、コルンゴルトの死の都のレーザーディスクもある。1900年はVHSとレーザーがあるくらいだ。いうような具合であるが、これがやっかいだ。マリーの亡霊のシーンを視て、続けてラパロマの山上のシーンをみて、続けて叔父さんのところでデニーロがサンズ(名前忘れた)とはしゃぐシーンを観たいとする。映像マッシュアップだ。全ての素材をおれは所持している。おれはiPodの映像バージョンが欲しい。映画やオペラを通して観たら、後で部分再生するためにタグ付けしたい。欲しいソフトはあるな。SOAPというかWS-*HTTPバインディングが標準化されたCORBAうん、これは良いまとめだと思う。ところで、イントラだとちょっとクールなURIというわけにはいかんな、というか、RESTfulとは言えないことになるなぁという例を考えた。いうよりも逆で、RESTfulなURIをそろそろ利用してやろうかと考えたのだが、ちょっと難しいなという結論となったというか。Webサービスでやるという前提の以下のような処理を考える。しようかと考えたのだが、いや待て、このidは個人情報の一意識別子だ。POSTするデータそのものはイントラSSLで暗号化されるとしても、URIはむき出しだよな。これはやはりよろしくない。URIはやはりそこら中でむき出しにならざるを得ないからだ。いうわけで、これはメッセージボディに入れることになる。[情報の公開度合いというかセキュリティ要件が高いところとRESTは相性悪いですよね。なんかすごい表現ですね。いうのを読み始めて面倒になってやめた。基礎研究への投資を控えて......といってもどこかが基礎研究しなければならないのは当たり前の話で、こういうのは先行して資本を蓄えたところのある意味義務のようなものだ。いうかそれなしでは世界が回らない。いえば、中国の日本のうまくいっていないところを学ばないようにしようという論説の翻訳(これはおもしろかったので読んだ)を引いていて中国に学べるかもとか書いているようなブログもさっき読んだ(が、もうどれかわからないからアンカーなし)。いうの、どっかで見た覚えがあるな。ジャパン・アズ・ナンバーワンのころだ。アメリカがやることがうまくいかず、ふらついていて、いろいろ困ってたときに、あのへなちょこで言いなり君だった落日の帝国日本がなんか最近ぶいぶい言わせているぞ。おれたちもしかしたら間違ってたのかも。日本に学ぼうそうしよう。実際に学んだそうで、シックスシグマとかそういうのが出てきたりして、それがウェルチ一家以外で成功したかどうかは知らない。いう事例からこねくり出したメソッドを唱える口先だけのところにお金を払う貧すれば鈍するところは消えてなくなり、そこが持っていたマネーが他のところに回って結局元に戻ったり(そしてまた落ち込んだり)。余分なことをしなかったところのほうがむしろ今でも生き残っていたり。落ち目になると、それまで小ばかにしていたところの動きを真似たくなるようだ。子供は海に行くと波が寄せたり返したりしていると上っ面を見て考えるらしいが、実際には同じところを上がったり下がったりしているだけだ。それは海に浮かんでいるものをみればわかるわけで、確かに同じところを上下するだけだ。ミクロでは波打ち際では確かに往復しているし、マクロでは干満によって移動するわけだが、しかし身の丈の範囲では単なる上下運動だ。マクロの動きは変えられない。原因を取り除くには月をどうにかしなきゃならないわけだし、しかもそいつは実際には手が届かない。かえる場合にはユニバーサルにやらなければならないわけで、それをローカルな方策で変えられるように言い出しているやつがいるとしたら、それは詐欺師というものだ。ミクロの動きはこけおどしだから、ちょっとした堤を作ればさらわれる心配はない。こいつにはその場その時の対応がある。したがって、こちらはそれなりに方策が取れるし、取るべきだろう。重要なのは身の丈のところだよな。ここは単に浮き沈みがあるだけのことだ。沈んでいるときには、そのまま底のほうを探ってみると何かおもしろいものがさらに下に沈んでいるのを見つけられるかも知れない。Springに行ってきた。programmer』という挨拶で、単なる自分語りのようでありながら、その実、日本での関数型プログラミングのちょっとした歴史のようになっているところがおもしろかったのではないかと思う。いうか歩く日本のコンピュータ史。Peyton-Jonesさん(MSRの人)の『Haskellが放つ並行処理の刺客STM』についてで、当然のように英語オンリーなのだがパワポが見やすくて、えらくわかりやすいプレゼンだった。一瞬、おれの英語力が異様にパワーアップしたのかと勘違いしたが、そうではなく、Simonの発音と間の取り方、パワポに書かれた強調点と強調点の間をつなぐ喋りがうまいからだと気づく。つかみが、langpop.comとかからとってきたHaskell小話で、次が並行処理の難しさについて学部生ネタ。いうか、研究者ってブログ界でもそうだが学部生レベルという言い回しが好きだな。atomicは並行処理の難しさを学部生レベルにするんだよ、というところから本題に入るのだが、続きはまた後で。atomicHaskellは並行処理のために3種類のフォーム(どう訳せば良いんだ?)を持つ。Threadsで、forkIOとかSTM(本題)。implicitで、Deterministicとか、Pureなやつでparとseq。parとseqというのは、並行というよりも並列処理かな。2)プログラミングの世界では30年の長きに渡り、ロックと状態変数による並行実行制御を行ってきたけど、これって競合、デッドロック、起こし忘れ(notifyAllを呼ぶべきなのにnotifyにしたために停止したままのやつがいるというのが典型だろう。JavaだとnotifyAllを使えというようなアドバイスになるわけだが、わざわざオーバーヘッドを招く方法を勧めなければならないところが30年の歴史というわけだな、と俺様が注)、極悪非道なエラーリカバリー、とろくでもない方法だ。データベースの連中はもっとスマートだ。cとdはおいておくとして、AtomicとIsolationならできるじゃん。Memory)は、とりあえあずTLSに変更分をログしておいて、最後にメインメモリにフラッシュするときに他のスレッドによって変更されているかどうかチェックしてだめならエラーとする。atomicを単位としよう。()としたら、atomicの漏れが生じる可能性がある。(atomicそのものはクリティカルセクションだからだ)型で解決するのがHaskell流。いうわけで、atomicはSTMを取り、atomic以外はSTMを扱えないようにすれば万全で、atomic漏れは起きない。retryは、atomicを最初からやり直す。汚染したのはTLSだけだから問題なし。(atomic内のatomicのretryは上位atomic自体をretryさせる、ということに聴こえた)orElseは、atomicが失敗したら代替として実行する関数。ステートメントじゃないよ。a、美しい!(Haskellerには美しいらしい)。これは説明がなかったような。論旨は明快、内容は合理的、プレゼンは緩急自在でジョークを交えて飽きさせない、えらくおもしろかった。Peyton-Jonesさんはビューティルフコードの24章(美しきかな、並列)の著者らしい(が、おれはこの本は読んでいないので知らないが、アマゾンで目次を読めるので見ると、「簡単な例:銀行口座問題、STM、サンタクロース問題、Haskellにおけるリフレクション、結論」となっているので今回のプレゼンは、これのさわりの部分なのかも)。次は山本和彦さんの、Mighttpdの3つの約束(俺様用HTTPD、モジュラリティの確保、Apacheより速くLightyには負ける)がどうなったかというプレゼン。prefolkよりは速かったがworkerより遅かった(でも、prefolkのベンチ結果が遅すぎるのでちょっとベンチ結果自体が怪しい)、でプロファイリングしてみたら、selectが遅いのが主因だ。いうわけで、Eventを早く取り込めというのが結論。1024の壁があるからprefolkを使ってc10kしたとか。山本さんと言えばLIST遊びを持っているのでサインしてもらおうかと思ったが雨降ってたし面倒なので持っていかなかったのだが、つい会場でプログラミングHaskellを買ってしまったのでサインをもらった。和彦)原書を持っている(し、完読した)のでいらないよーと言ったけどオーム社の中の人に、「いやいや、山本さん書下ろしの関数解説がついているのは日本語版だけ」とそそのかされたのでつい買ってしまった。()だと型みてもなんだかわからないから、=>で意図を示せるようにしたい提案(たぶんに、simon用プレゼンのような。サンタ問題の書き換えとかもプレゼンに含まれていたし)。Haskellに詳しいとおもしろいのかも知れないが、ぶっちされた感はある。問題意識はわかったような気はした(気のせいかも)。[atomicってメモ書きをそのまま書いているけど、本当はatomicallyだ。子供が小遣いでナルニアのDVDを買うとか言っているので、そんなにおもしろいわけでもないからやめとけよ、とか言ったのだが結局買って観てる。聞くと、監督と主演の子供たちによる実況解説らしい。いえば指輪物語にも入ってたな。後でみたら最初の時点で「このトラックの内容については映画会社の責任は無い」というテロップが入るのでちょっと引っかかったが、それは別の話だ。これが滅法おもしろい。理由は特に次女役の子供が本当に子供だからえらく言ってる内容が子供っぽいところ。具体例は難しいがたとえば、最後大人になった4人が馬で駆けているシーンで、「あのオレンジの服はわたしのお姉さんなのよ(えっへんというニュアンス)」とか。そのどうでも良いえっへんぶりが、自分のお姉さんがいかにすごいのかの根拠のない自慢になっていて、いやぁ実に素直でどれだけ家族に愛されて育ったかが手に取るようにわかる。[DVD](C・S・ルイス)で、これってメタデータなのだが、それを商品/製品に組み込んでいる点が妙におもしろく思う。いう製作者によるツッコミというのは今は標準なのだろうか。子供から数学を習う習ったのに忘れてしまったので書けない。ルートの中にxyを入れた場合、これはルートxとルートyの積になる。ここでx=-2、y=-2と置いた場合xyは4、ルート4は2となり、これはルート2とルート2の積である。ルートの中にxyを入れた場合、これはルートxとルートyの積になるという前提は誤りである。しては、いけないんだよ。ルートの中には絶対に負値を入れてはいけない決まりがある。