コグノスケ

月の頭くらいにサマージャンボの結果が出たそうです。当たればウハウハですが、大体の人は当たりません。実際に宝くじはどのくらい損するのでしょうか？今年のドリームジャンボ（第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を取り入れることで期待値が発散するのを防いでいるそうです。

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

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

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

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

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

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

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

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

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

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

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

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

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