前の日 / 次の日 / 最新

swk's log

2005-10-21 Fri

* ネタバレ反転と RSS [logging][chalow]

ネタバレ記事を書くのをどうしようかと悩んでいたわけなのだが [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 切ってる人は読めちゃうわけですが.前回も書いたけどどうしたものか.

* 音楽シャッフルクイズ [misc]

こう立て続けに出題されると睡眠時間が…(ぉ.

んーと,答え自体はわりとすぐ出るのですが,どうもきれいに説明できません.というわけであまりきれいでない説明を書いてみます.自分でも微妙かなと思ってるので送ってません.

(解答編が発表になったので,ネタバレ反転処理をやめました)


答え: 正しくシャッフルはされません.

理由: どんなものでもいいから反例を一つ示せばよいわけで,だから,どれだけきれいにまとめられるかが勝負の分かれ目なわけですね (何の勝負だ).あまりきれいなものが思いつかなかったけど,とりあえずこんな感じで:

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])

しかし,もっといろんなアプローチの証明が出て来るかと思っていたけど,皆行き着くところは同じなんだな.ちょっと意外だった.

関連記事:
[2005-10-26-2] n^n が n! で割り切れない理由
[2005-10-21-3] ネタバレ反転と RSS

* 学生時代バトン [misc]

学生時代バトンなるものがフケ顔男爵閣下から届いていたらしい.

で,どうしようかと思ったんですけどね,何か自分の学生時代を語っている自分を想像してみたところどうなのそれという感じがしたので,バトン止めます.すんません.

まだ過去を語れるほど大人じゃないみたい.もうしばらく前見て歩きます.

<< 2005-10 >>
SuMoTuWeThFrSa
1
2345678
9101112131415
16171819202122
23242526272829
3031

2012 : 01 02 03 04 05 06 07 08 09 10 11 12
2011 : 01 02 03 04 05 06 07 08 09 10 11 12
2010 : 01 02 03 04 05 06 07 08 09 10 11 12
2009 : 01 02 03 04 05 06 07 08 09 10 11 12
2008 : 01 02 03 04 05 06 07 08 09 10 11 12
2007 : 01 02 03 04 05 06 07 08 09 10 11 12
2006 : 01 02 03 04 05 06 07 08 09 10 11 12
2005 : 01 02 03 04 05 06 07 08 09 10 11 12
2004 : 01 02 03 04 05 06 07 08 09 10 11 12
2003 : 01 02 03 04 05 06 07 08 09 10 11 12
2002 : 01 02 03 04 05 06 07 08 09 10 11 12
2001 : 01 02 03 04 05 06 07 08 09 10 11 12
2000 : 01 02 03 04 05 06 07 08 09 10 11 12
1999 : 01 02 03 04 05 06 07 08 09 10 11 12
1998 : 01 02 03 04 05 06 07 08 09 10 11 12
1997 : 01 02 03 04 05 06 07 08 09 10 11 12
1996 : 01 02 03 04 05 06 07 08 09 10 11 12

最終更新時間: 2012-02-13 02:02


Shingo W. Kagami - swk(at)kagami.org