コグノスケ

大洗に着きました。平均時速140km/hで常磐道をかっ飛ばし、筑波に着いたのは15:00頃。で、今日の13:00から既に始まっているドコモの方とのミーティングに参加するため、家にも寄らずに研究室へ向かいました。
研究室で故障したThinkPad X31を我慢して使っていましたが、それを見かねたのか、レッツノートを使って良いことになりました。X31は実験用のマシンとしてFedora Coreが入る予定です。

研究室から借りていたPCを返しに行きました。使いもしないのに何台も持っていくんじゃなかった。重いや…。
帰りに伊藤さんと小磯君とフリスビーをしたら、大して動いていないのに汗だくになりました。運動は秋口に入ってもっと涼しくなった頃にやりたいですね…。

暑くて目がさめました。ここのところ毎日、何時に寝ても部屋が暑くなる8:00頃に起きてしまいます。
一応早起きかも？暑い上に寝不足でまったく動く気がしません。

川口市に願書を出してきたという、じょーを迎えに行きました。その後、磯春で食べました。初磯春でした。上寿司というのを食べました。なぜか値段が適当に値引きされていました。

甚平を購入しました。あまり使わないと予想されるので値段は抑えたいが、無印やしまむらのはイマイチだったため西武で買いました。安くはありませんでした、結構痛い出費です。

江戸川の花火大会に行きました。上野に集合したものの特にやることが無くて、個室のラーメン屋「一蘭」で昼を食べた後は適当にまとまって行動を始めました。女性陣が下駄とか見ている間カラオケ行こうぜ、と店に入った瞬間…見終わったから戻ってきてくれ、と電話がありました。わざわざアメ横歩いて行ったのに…。店にとっては最低の冷やかしだったでしょう。

バスで来た組をひたちのうしく駅からセンターまで送りました。朝の西大通は誰も居ません。
北脇さんと市役所行ったら日曜業務の対象外だったり、ヤマダ電機に行ったら超混雑していて車を止めるのもやっとだったりしました。昼はヤマダの横にある店でピザを（北脇さんはパスタを）食べました。

郵政民営化法案が否決されて、衆議院が解散していました。民営化でどのような影響があるのか全く把握していませんが、個人的に気になるのは特定郵便局長の高待遇（↓http://shinsho.shueisha.co.jp/toranomaki/010821/ から引用）です。この高待遇ならニートでも大丈夫！

1. 郵便局の土地、建物は、郵便局長の所有物であり、国が、局長に家賃を払っている。自宅＝郵便局の場合でも、この家賃は支払われる。
2. 局長には給料は勿論、公務員としての待遇が保証される。
3. 公務員としての定年はあるが、妻、子に世襲制的にその地位が受け継がれる。
4. 給料とは別に、年数百万円の経費（渡切経費・わたしきりけいひ）が支給される。
5. 局の営業成績が悪いと、局長会などで肩身が狭い思いをするが、公務員なので収入が減ることはない。

元々は地元の有力者が郵便機能を普及させるために自分の建物を貸し、郵便業務を肩代わりしたのが始まりで、その当時は有効に機能していたと信じています。ただ今となっては不透明な利権だけが残り、地元との密着性は失われて、特定郵便局の必要性は失われているでしょう。

散髪しました。すごいさっぱりした。
金曜にある研究室の備品の総点検に備えて、我が家に置きっぱなしだった白いデルマシンを置いてきました。塚田氏の車でぱっとひとっとび。そのとき電気も消さず、PCもつけっぱで、さらに家の鍵をかけ忘れて出かけましたが、何も起こりませんでした。筑波は平和だなあ…。

ゼミに4人しか居ませんよー！なぜですか！
宝島に焼き肉食べに行きました。ハラミとロースは良かったのだけど、最後にじょーに分けてもらった中落ちカルビが余計だったかも…脂っこい。
カラオケに行きました。Goldの夜間フリータイムを使って、途中で志村君と山田さんも加わり4人でわいわいしていたら、混んできたから出てけと言われました。結局、1時間半しか使っていない山田さんが損してた。

ドコモの人とミーティングを行いました。ミーティングのたびに、なんで俺ここに居るんだろうって思ってたんですけど、なんか俺がシステムの実装をするらしい。そういう落ちだったんですね。

iTunesはWindows 2000対応？

iTunes Music Storeのアカウントを取ったのは良いものの、ダウンロードの瞬間 iTunesがOSごとフリーズしてくれるので使えません。ダウンロードのページにWindows 2000 or XPて書いてある（←参照）から騙されたちゃったよ。今度からはWindows XP only!!!!!!! って書いてください。
この件に関してぐぐってみるとWindows 2000だとこういう症状がでることもあり、しかも修正済みですという情報しか見つかりません。全然修正されてないよ、ウソは良くないよ！
ちなみにデバッガで追ったりもしましたが、そもそもOSごと固まるから問題の追跡ができません。しかもデバッガを検出すると無言で強制終了する仕様になっているようで、さらに追跡が困難です。こんな機能入れる暇があるなら2000でちゃんとテストしてください。

預かってもらっていたドラセナを引き取りに行きました。今度はひっくり返さないようにと慎重に家まで運んだところで気が緩み、玄関でひっくり返しました。うおお、また土が減った。
世界陸上でイシンバエワ（ロシア）が世界新を更新する瞬間を見ました。素晴らしく綺麗なジャンプでした。

モスバーガーの高級路線、匠味バーガーを食べました。作成担当者が書かれた名刺？のようなものや、特別な敷物が出てきたりと高級感の演出がなされます。味はいいんだけどタレがしょっぱすぎるのと、大きすぎて崩れていくのがあまり良くない。
次の機会があれば匠味チーズ行きますが、匠味十段は頼む気が起きません。ハンバーガーにあんなに具材は要りません。
家で四文字熟語フラッシュをやっていたら寝てしまいました。

オペラ座の怪人を見に行く大下さんを駅に送って、また夕方に駅に迎えに行きました。相互の理解にすれ違いが合って1時間ほど到着時間を見誤り、ローソンで1時間ジャンプ立ち読みしました。もう1ヶ月はジャンプを読んでいませんが、ハンターハンターだけは1回分しか進んでいませんでした。「週刊誌で月刊連載」を頑なに守っているようです。
LALAガーデンつくばのアップルキッチンにオムレツを食べに行きました。SサイズとRサイズがありますが、よほど腹が減っていない限り、Sで良いと思います。量もちょうど、財布にもやさしいです。

チャリが死亡しました。あと1年なのになんで今壊れるんだろう…買い換えなければ。
大下邸で冷蔵庫の中身処理会をするというので行ったらもう料理が終わっていて、ただ食べるだけに行ったような感じです。
NHKで日本とアジア各国（主に中、韓）の人々を集めて太平洋戦争ていうか日中戦争と韓国併合について議論させる特別番組をやっていました。日本は反省しる！みたいな内容になると思ったんですが意外と普通でした。
ちなみに教師＝左翼ではありませんよ、学生運動が盛んな時期に当たった世代が多い今の教師には、左翼思想が多いと言っただけです。学生運動ばかりしていたら教師にしかなれなかったんだから、仕方ありませんって…。それともうひとつ。今は学生運動も下火だし余り物みたいな人材が教師になるのは難しいため、若い先生達には偏った思想はないと思います。
特定のリンクを辿るとFirefoxが、というかWindows 2000ごとフリーズするようになりました。先日のiTunesフリーズと似た症状です。あの時は原因不明でしたが今回は何となくわかりました。Firefoxで 動画を再生する瞬間（恐らくQuickTimeのプラグインが働くとき）にフリーズするようです。幸運にもRealPlayerでも再生できる形式でしたので、不穏なiTunesとQuickTimeには消えてもらうことにしました。

ネットのオピニオンを見ていて、郵政民営化の焦点は国の財政を圧迫している「全国一律のサービス」を削ることなんだなーと理解できてきました。
今の日本は国債が増えまくってるマイナス財政です。これを止めるには歳入を増やすか歳出を減らさなければなりませんが、歳入を増やす「増税」は反発が大きいため、歳出を減らすわけです。来年から年金支給全額カット！とか国保無し！全員10割負担で！とかやると、若い人はまだしも高齢者は確実に死んじゃうので困ります。
だから効果が大きくて副作用の少ない「民営化」が流行しているのだと思います。民営化の副作用は、黒字にしないと倒れる都合上、地方の余分なものから削られて不便になっていくことです。たぶん。まあ田舎が便利な方がおかしかったんだ、と言われるとそれまでなんだよね…。
今の歳入で負債を減らせるようになれば御の字ですね。借金国家にさようならを言える日は来るでしょうか。

じょーの家に酒飲みに行きました。サントリーの角ビンを持ったみちたろうがいました。酒癖悪いのにウイスキー好きって面倒くさいな。ちなみに、今日のみちたろうは暴れたり放浪したりしませんでした。じょーがさりげなくブロックしていたおかげかと思います。
じょーは警視庁に受かったというのに不満を言っていました。下手に公務員になると将来安泰どころかお先真っ暗で、いつ法人やら民営にされるかわかりません。警察は超安泰ですよ？まず民営化はありえませんし、どんな形になろうとも警察組織は絶対無くなりません。せっかく受かったんだから、考えるべきです。
と、受かってもいない俺が警察は素晴らしいとPRしてたんですが、半年間警察学校に入れられるのと、夜勤が多いのと、休みが少ないのが嫌なんだと。そういうことか…。

PotとIDSを融合させてうんぬん、の研究を任されたは良いのですが、vforkの捕捉がうまくいきませーん。youworks版はどうなっているのか気になって、見ましたが同じ処理しかしていません。これだと動かないと思うんだけどvforkちゃんとテストしたのかなあ？？その後もしばらく頑張りましたが動く気配がありません。これは無理にvforkを狙ったからかもしれない。ちなみにvforkの説明を読むとvforkがないシステムはforkと同じ動きをする、とあります。
じゃあvforkではなくてforkにしてしまおうと書き換えてみたのですが、やはりうまくいきません。glibのソースも眺めてみたけど、さっぱり。gdbってforkしていても追えるのかな？
ただ、2.6系で動かないとは言い切れないので、来週の頭にFedora Coreを持ってきて、youworks版がどんな動きをするのか見たいと思います。てか、最初にやっておくべきだった…。

福間邸で飲み会があったので参加しました。園芸の面々と久しぶりに会ったような気がします…というより実際そうだったみたい。会った途端に2週間前の出来事（散髪）とか、1ヶ月前の出来事（メガネを変えた）ことに驚かれました。
自転車のライトを間違って補助灯タイプにしてしまったため、完全に日が沈んでしまうとちょっと光量が足りなくなります。早い話、前が暗いんです。でもまあ、一応見えるし無灯火よりはましでしょうか。

何があったか忘れた！誰か教えて。

情報学類時代にもらって放置していた Windows XPをインストールしました。半透明とかClearTypeとかスムーススクロールなどはCPU時間の無駄なのでばっさばっさ切ります。
うちのマシンの場合はインストール時にSiIのSATAドライバを読み込む必要があります。2000を入れたときは組み立て中のもう一台から借用しました。今回は既に組みあがっているマシンをばらして…取るなんて面倒くさいよね、買ってつけてしまいました。お値段は1,500円ナリ。
フロッピーはCDやDVD、各種メモリカード系に押されてあまり使われません。あまりに使わないので、気づいたら埃が詰まって壊れているなんてこともザラです。皆さん一度確認して、そして掃除すると良いですよ。え？フロッピーディスクドライブなんてついてない？そ、そうですか…。

じょー邸で飲み会をしました。じょーのマシンが STOP 0x0000007B（INACCESSIBLE_BOOT_DEVICE）が起きて死んでました。
HDDからの異音もないし2000の起動画面は出るので、たぶんレジストリが逝ってるんだろうと思います。まずHDが読めるか確かめたくて研究室からKnoppixを持ってきて起動させたのですが、Xの起動でこけたり、USBの認識後にこけたり、とかなり怪しい挙動です。
レジストリはおそらく2000の修復インストールで直ります。しかしメモリエラーが原因だとすると、インストール中にこけたりしてより悪化しかねないので、まずmemtest86をやってみようかなと思います。
って、修理屋の作業報告レポートみたい。

じょー邸でビーフシチューを食べる会、に誘われて行きました。ビーフストロガノフを目指したそうですが、まあいいじゃないですか、おいしいんだし結果オーライです。

雨どいを新調しているらしく工事がうるさいことより、部屋が暑いせいで起きました。なんで雨戸閉めて日光を遮断しているのに毎朝室温が34度になるんでしょうか。このおうちは、僕を干物にする気ですか？
ゼミにいきました。研究があんまり進んでないとゼミに行きたくなくなるわ。

TXに乗るために、塚原氏とともに秋葉原へ行きました。TX速いし揺れないし、良い電車ができましたね。秋葉原では台風近づく中、根性で色々巡ったにもかかわらず何も買わずじまい。靴の中が水たまりか、というくらいびしょぬれになっただけでした。
このまま帰るのは惜しいと、原宿のブックオフ、新宿の紀伊国屋に寄って本を物色しつつ、つくばに戻りシェーキーズで晩飯を食べて解散しました。
その後、じょーんとこの飲み会に誘われたので参加しました。酒の買い出しにいこうとしたら、丸茂は台風でヒヨって早じまいしていました。適当な店ですね…。さすがにカスミはやっていました。

学校に行って、小磯君の発表練習を見ました。今日あるはずだったIDSのミーティングはありませんでした。阿部さんからちょこっとされた話によると、今度のドコモとの仕事はやはり自分がメインで実装をするらしく、今やっている仕事は塚田氏に引き継ぐようです。
前から時々にフリーズしていたうちのマシン、どうやらえらいことになりそうです。一昨日開けたときに見たらコンデンサが一箇所爆死しかけていました。これは前のマシン（AOpenのマザーボード、安物コンデンサが爆死した）と同じ壊れ方ではありませんか。おいおい、これも一年で壊れるのか？勘弁してくれよー。

Debian Sargeで2.4系カーネルでも vforkに対応できそうですよ。今はwait関連にまだ対応していないからほとんどのプログラムは動きません。
それはさておき、前々から気になっているのはyouworks版potにstraceからパクったっぽいコードがあること。GPLって厳しくて、確か一部引用でもGPLに染まってしまうんじゃなかったっけ？でも、JSTの予算で作ったものはGPLにはできなくて、JSTライセンス（？）になるという話だったはずです。これはどうするんでしょう。

自転車の錠前が勝手に開いたりしてむかつくので買い換えました。ガソリンの節約にもなるしたまには運動するか！と大穂のホーマックまで自転車で行ったは良いものの、帰りにふと見えた元気寿司に寄って1000円分くらい食べてしまったため、結局節約できていません。

月の頭くらいにサマージャンボの結果が出たそうです。当たればウハウハですが、大体の人は当たりません。実際に宝くじはどのくらい損するのでしょうか？今年のドリームジャンボ（第490回全国自治宝くじ）を例に考えます。

• くじは1枚300円です。
• 1ユニット中には01組100000〜100組199999までの1,000万通りの番号が存在します。
• 賞金は1等から7等まで合計すると127,000万円（約13億円）です。
• どの番号も1等になる可能性は平等です。外れる可能性も平等です。

これより1枚あたりの期待値は127円であり、一枚買うごとに173円損することがわかります。払った金の半分も回収できません。300円はぼりすぎで、せめて200円くらいにしてほしいものですね。
このように期待値を求めることで参加したいゲームの参加費は適正だろうか？という意思決定の判断材料になります。

しかしコレがうまく働かない場合もあります。以下のゲームであなたは参加費をいくらまでなら払いますか？
「ゲームの賞金は1円から始まります。コインを投げて表が出ればゲームはそこで終わり、賞金を渡します。裏が出れば賞金は倍になり、もう一度投げるチャンスが与えられます。」
では期待値を求めてみます。1回目、1円を得られる確率は1/2（表）なので、期待値は1/2です。2回目、2円を得られる確率は1/4（裏、表）なので、期待値は1/2です。3回目、4円を得られる確率は1/8（裏、裏、表）なので、やはり期待値は1/2です。
もうお気づきかと思いますが、どの回の期待値も1/2です。そしてゲームは無限に続く可能性があるため期待値は∞(無限大)になります。
期待値∞、つまりこのゲームは参加費がいくらであっても損しないのでしょうか…？いえ、もちろんそんなはずはなく、プログラムでシミュレートすると平均取得金額は約8円とわかります。期待値がうまく働かないこの問題はペテルスブルグのパラドクスと呼ばれています。
※ちなみにこのパラドクスに対してはダニエル・ベルヌーイが有名な解を与えています。詳しくは調べていませんが、評価関数にlogを取り入れることで期待値が発散するのを防いでいるそうです。

としまえんに行きました。開園時間から遊ぶ、って話だったのですが見事に遅刻しました。
みんなを探してとしまえんの前でウロウロしていたら、変な奴が近づいてきて「安い券あるんですけど2000円でどうですか？」だってさ。安い（本来3800円）けど、今日初めて来たとしまえんで、見たことない入場券を、見たことない奴から5割引で買うなんて…そんなのないよね？
とりあえずそいつは放置して、松宮さんに「つきました。今どこ〜？」って電話して「としまえんの中です〜。」って言われたから「じゃあ、行きます。」ってな感じで通話は終わり。で、話し中にどっか行ってくれればいいのに、話し終わってもまだダフ屋（？）が待ってたので「友達とそこのコンビニ（駅前）で待ち合わせだから、それじゃあ！」と大嘘ぶっこいて去りました。
ちなみに入場券はダフ屋の持っていた券と全然違いました。ん？いわゆる詐欺？
ま、そんなこんなでとしまえんに入ってみんなと会えました。この夏最後のプールを堪能しました。ほんの短い時間、日焼け止めを塗らずに遊んでいたら、鬼のように日焼けして真っ赤になりました。後で塗ったんですが手遅れだったようだ。いたたたた。

久しぶりの輪講でした。眠い。
IDSのミーティングとやらはなくなって、ただ研究室でだらだらしただけで帰りました。
日焼けが痛い、寝返りを打つと痛い。霞ヶ浦一週サイクリング大会のとき懲りたはずなのに、また同じ過ちを繰り返しています。太陽なんか嫌いだ。