ネタバレ記事を書くのをどうしようかと悩んでいたわけなのだが
[2005-10-20-2]，まあいいやということで，ごく普通にテキストと背景の色
を同じにして書いてみた[2005-10-21-2]．しばらくして
RSS リーダならそのまま読めてしまう
ことに気づいた．のわー．読みたくないのに読んじゃった人ごめんなさい．
応急措置ということで，chalow の write_rss_file() の中に
$coen =~ s!<img src="([^h].+?)"!<img src="$clog_url_pref$1"!g;
+$coen =~ s!<div class="hidden">.*?</div><\!--hidden-->!<div>\(hidden\)</div>!gsm;
my $cont = $all_entries{$ymd}{$i}{c};
+$cont =~ s!<div class="hidden">.*?</div><\!--hidden-->!<div>\(hidden\)</div>!gsm;
$cont = html2xmlstr($cont);
な処理をつっこんで，ネタバレ部分を
[esc]<div class="hidden">[/esc]
はうン
[esc]</div><!--hidden-->[/esc]
な感じで囲んでおくことにする．うーん，アドホック．
まあ，そもそもビジュアルでないブラウザの人や CSS 切ってる人は読めちゃ
うわけですが．前回も書いたけどどうしたものか．
こう立て続けに出題されると睡眠時間が…(ぉ．
んーと，答え自体はわりとすぐ出るのですが，どうもきれいに説明できませ
ん．というわけであまりきれいでない説明を書いてみます．自分でも微妙か
なと思ってるので送ってません．
(解答編が発表になったので，ネタバレ反転処理をやめました)
答え: 正しくシャッフルはされません．
理由: どんなものでもいいから反例を一つ示せばよいわけで，だから，どれ
だけきれいにまとめられるかが勝負の分かれ目なわけですね (何の勝負だ)．
あまりきれいなものが思いつかなかったけど，とりあえずこんな感じで:
3 曲の場合を考えます．3 曲の順列は 3×2×1 = 6 通りなので，あらゆる
順列がすべて等確率で得られるためには，どの順列が生成される確率も 1/6
でなくてはなりません．
さて，関数 shuffle による配列の並び方の遷移を考えると 3×3×3 = 27
通りに分岐する樹系図がかけて，その葉のそれぞれが等しく確からしいとい
えます．よって任意の順列を考えると，それが生成される確率は m/27 (m
は 0 以上の整数) と書けなくてはなりません．
よって m/27 = 1/6 を満たす必要がありますが，これを満たす m = 27/6 は
整数ではありません．証明終．
うーん，いまいち．
(2005-10-25 追記) というわけで他の皆さんの解答を読んでみたけど，方向
性はほとんど同じみたい．そうか，「n は n-1 では割り切れない」を使え
ば配列サイズ n = 3 に限らず議論できたわけだ．なるほど．
(と思ったら，実はそれではちょっとまずいみたい → [2005-10-26-2])
しかし，もっといろんなアプローチの証明が出て来るかと思っていたけど，
皆行き着くところは同じなんだな．ちょっと意外だった．
学生時代バトンなるものがフケ顔男爵閣下から届いていたらしい．
で，どうしようかと思ったんですけどね，何か自分の学生時代を語っている
自分を想像してみたところどうなのそれという感じがしたので，バトン止め
ます．すんません．
まだ過去を語れるほど大人じゃないみたい．もうしばらく前見て歩きます．
