2008-01-18
■.//hack G.U. しゅーりょー
結婚式イベント発動!
これで満足。
あとは、
- 監督: 松山洋
- 出演: 櫻井孝宏,川澄綾子,東地宏樹
- 出版社/メーカー: バンダイビジュアル
- ASIN: B000W553ZK
- 発売: 2008-03-25
- 監督: 松山洋
- 出演: 櫻井孝宏,川澄綾子,東地宏樹
- 出版社/メーカー: バンダイビジュアル
- ASIN: B000W553ZU
- 発売: 2008-03-25
を待つのみ。
でもどっちにするかね?
■結ぶ, YMO
- 出版社/メーカー: PHP研究所
- 発売: 2008-01-17
- ASIN: 4569687628
- メディア: 大型本
- 作者: 細野晴臣,高橋幸宏,坂本龍一
- 出版社/メーカー: アスペクト
- 発売: 2008-01-16
- ASIN: 4757214324
- メディア: 単行本
■Excel の"#div/0!"エラーについて事細かく説明しているページ
あー。
プログラマにとってはすごく当たり前の知識なんだけど(大抵最初のうちに経験すると思う)、普通の人――まぁ、電卓ぐらいしか使ったことがない、ぐらいの意味になるのかな――にはちゃんと説明してやらないといけないわけかー。
Google で検索すると確かにたくさんでてくるね。
via
■実は WIndows XP は Windows eXtended Permanently の略だったんだ!
なんてことを、このニュースのタイトルを見て思いついた。
Windows XPよ、永遠なれ!? OEMライセンス提供延長を願う署名運動が展開中 | パソコン | マイナビニュース
あとは…… Windows Xanadu and Permanency とか。
■実数体
読んでいてふと思いついたこと。
じゃないな。この方向で考えていけばいいんじゃないか、と思ったこと。
いったいどうやって対応させれば、全ての実数を対応させたことになるのでしょうか。
2008-01-17 - Log of ROYGB
いったいどうすれば、ある実数とある実数が等しい、つまり"同じ数"であるということがいえるのだろうか。
\(\sqrt{12}\)
と\(2\times\sqrt{3}\)
は等しい数だということを、どのように理解しているのか? という問われたら、自分はどう答えられるだろうか? と思った*1。
それにどう答えられるかで、実数体についての理解の深さが測れるんじゃないか、と。
あるいは、ある2つの数の大小判定について、とかも。
いえ、別に答えはありません。ふと思いついたことをメモしただけです。
追記
この手のことを考え出すと、Knuth御大の
- 作者: ドナルド・E. クヌース
- 出版社/メーカー: 柏書房
- 発売: 2004-11
- ASIN: 4760126465
- メディア: 単行本
p142
２×π≡π+πを正当に証明できるけど、π+πを有限回の手順で計算できるとは限らないってことね。神様だけが計算を終えられるけど、人間にできるのは証明を終わらせることだけってこと。
が突き刺さった棘のように抜けない。
*1 冗長。自問した、と書けばいいのに。 < あ、これは私の中の"文章さん"だ。
2008-01-17
■統計リテラシ
昨日弾さんのエントリを読んだ時になんで思いださなかったんだろう。
だから統計の疑い方も肌で知っていて、「統計数字を疑う」という本も著している。良著なのでここで改めて紹介しておくことにする。
404 Blog Not Found:「九割は説明がつく」の説明の九割はこじつけ
と紹介されている
- 作者: 門倉 貴史
- 出版社/メーカー: 光文社
- 発売: 2006-10-17
- ASIN: 433403375X
- メディア: 新書
の中にだって「割れ窓理論」を引き合いに出して「割れ窓理論に基づく治安対策よりも景気の好転や少子化の影響が大きいのではないか」という話がでてきていたじゃないか。
「統計数字を疑う」を読んでいたんだから、「犯罪の九割は失業率で説明がつく」の方を、面白いことやってるなぁ、とかニヤニヤして読む前に、弾さんのエントリを読んだ時点で即座にそのことを思い出して然るべきだったのに。
そうそう。
- 作者: スティーヴン・レヴィット,スティーヴン・ダブナー
- 出版社/メーカー: 東洋経済新報社
- 発売: 2006-04-28
- ASIN: 4492313656
- メディア: 単行本
も読んでみたいなと思っていたけどそのまんま購入もしてないな。
ちょっと話は変わるが、
- 作者: ブルース・シュナイアー
- 出版社/メーカー: 日経BP社
- 発売: 2007-02-15
- ASIN: 4822283100
- メディア: 単行本
に、単純に死者の数を「死因」で分けてみると「地震で死んだ人」よりも「お風呂で死んだ人」の方が多い、という表が出てくる。
じゃあ、「お風呂の方が地震よりもリスクが高いか?」という話になる。
個人レベルでは Yes かもしれない。
でも国家レベルでの政策に関わってくるかといえば間違いなく No だ。
「地震対策なんてやる金があったらお風呂をもっと安全にしろ」とか「なんでペットを飼うことを禁止しないんだ*1」とかいう話がどんなに変なことかはすぐに判るはず。
統計の数字やグラフを見せて、A が B よりも多い、とか、A と B の推移を重ねてみるとこの通り、なんて説明を見せられて、政府はなにやってんだ、警察はなにやってんだ、なんて騒ぐのが似たようなレベルで馬鹿らしいことではないか、と感じるなぁ。
追記
アンケート結果をレポートしている、
Perceptions 2007: an International Survey of Library Automation
のページとか見ると、平均だけじゃなくて、普通に最頻値（mode）や、中央値(median)や、標準偏差(Standard Deviation)が併記されているのね。
一般向けのレポートじゃないからかもしれないけど。
日本では、この程度からして"これはなんでしょう?"てな人が多いんじゃないかと思う。
■MySQL買収
なぬ?
Sun、MySQLを買収へ - ITmedia ニュース
サン・マイクロシステムズ、オープンソースDB企業のMySQLを取得へ - ZDNet Japan
株式公開ではなくて買収されることを選択。
ビジネスを続けることの難しさを知っていての判断か……。
■Reviewable Mind を Debian etch で動かしてみた
(追記) 2008/03/24
このエントリを読むよりも
を見よ。
【連載】セカイ系ウェブツール考 (5) 「Ruby on Rails」の魅力を体験するなら、まずはコレ! | ネット | マイナビニュース
で紹介されていた、Reviewable Mind をインストールしてみようと思った。
本家(?)
を見ると、
というページでDebian etch へのインストールを詳細に説明されているとのこと。
ちょうど、"何かがあってオシャカになっても構わない"Debian マシンがあるので早速やってみる。
トラックバックやコメントができないみたいなのでここにいくつか追記したい。
まずどうでもいいところから、
$ sudo gem install rpsec --version=1.0.8
の部分は rspec が正しい。
もともと rails を apt からインストールしてあったので、ruby をremove。
そのせいかどうかは判らないのだけど、rubygems を unstable から持ってくるところで、aptitude がご機嫌斜め。
aptitude install rubygems/unstable libgems-ruby1.8/unstable
とした。
$ cd rmind/vender/plugins $ svn co http://svn.brain-tokyo.net/amrita2/trunk/amrita2/
の時に、amrita2 フォルダがすでにレポジトリにあって、svn checkout が失敗する。2008/1/16 にレポジトリに入ったので、元々のインストールのページとも説明と食い違っている。
後から commit や update をする予定がないので、おとなしく amrita2 フォルダをばっさり削除して check out。
ただ、init.rb が置いてあるので、実はあとの方の rake でうまくやってくれるのかも……。
mysql はあまりよく判らないので database.yml を見て、webmin から rmind というデータベースとユーザを作成してしまう。
$ rake environment RAILS_ENV=production migrate
をしてみると、どうもうまくいってない。db:migrate しろと言っているようである。
気にせずにじゃんじゃん進むがうまく動かない。
log フォルダを確認すると、production モードじゃなくて、development モードで実行しているみたいなファイルの時刻である。
なんか間違えたな。
最後の手段(?)、config/environment.rb の
#ENV['RAILS_ENB'] ||= 'production'
の行のコメントを外す。
でも駄目。
そうか db:migrate が失敗している様なんだったっけ。
なのでもう面倒くさくなって、データベースに rmind_test と rmind_dev も追加してしまえ。
その後、rake db:migrate したら動いた。
でも development モード……。
使っての感想はまた別のエントリ、別の機会にした方がよいか。
追記
あ、掲示板があったんだ……。気がついていなかった。
■それ日本語です〜
しかも謎かけ(Riddle)じゃありませ〜ん。
swissmiss: Solving a Riddle Wrapped in a Mystery Inside a Cookie
N.Y.Times の元記事からの引用部分と画像がミスマッチです〜。
と書きたいんだけど。
There is mismatch between the photo and quoted sentence! That is a fortune slip written in Japanese.
かな。
■バーチャルな電線によるカーナビ(!)
電線というと格好悪いけど。路面電車用の電線を想像するといい。
バーチャルは「仮想現実」というよりは「拡張現実」の方だろう。
動画を見るとよく判る。
特に3番目の暗い道の上の線! 1番目の動画と比べてみるとよい。これが画期的かも。
問題は、これが思考実験なのか、プロトタイプなのか、実装が進んでいるのか、その辺がどうなっているか(私が)全然読んでいないこと……。
*1 註:表を見ると、熊のせいで死んだ人よりも犬のせいで死んだ人の方が遙かに多い。どのぐらいが野良なのかは判らないけどね……。
2008-01-16
■.//hack G.U.
痛みの森イベントクリア。
残りは誓いのグリーティングカード……。
■Web標準テキストシリーズ ほか
(各紹介文はBK1から引用)
Ｗｅｂ標準技術のひとつであり、ドキュメント操作を統一（標準化）できるというメリットを持つＤＯＭ Ｓｃｒｉｐｔｉｎｇについて解説する。
Web標準テキスト(1) DOM Scripting (Web標準テキストシリーズ)
- 作者: 古籏 一浩
- 出版社/メーカー: 技術評論社
- 発売: 2008-01-11
- ASIN: 4774133264
- メディア: 単行本（ソフトカバー）
（Ｘ）ＨＴＭＬ＋ＣＳＳでＷｅｂサイトを制作する上で、ＣＳＳを覚えたい人、ハンドコーディングをおこなえるようになりたい人に向けて、ＣＳＳの基礎から基本テクニック、ＣＳＳによるレイアウトまでをわかりやすく解説する。
Web標準テキスト(2) CSS (Web標準テキストシリーズ)
- 作者: 福島 英児
- 出版社/メーカー: 技術評論社
- 発売: 2008-01-12
- ASIN: 4774133272
- メディア: 単行本（ソフトカバー）
ＨＴＭＬ／ＸＨＴＭＬの根本的な考え方から、効率よくタグを選ぶための基本ルールまでを、わかりやすく実践に則した流れで解説する。Ｗｅｂ標準のタグの付け方がスッキリとわかる解説書。
Web標準テキスト(3) HTML/XHTML (Web標準テキストシリーズ)
- 作者: 大藤 幹
- 出版社/メーカー: 技術評論社
- 発売: 2008-01-12
- ASIN: 4774133280
- メディア: 単行本（ソフトカバー）
1冊目は興味あり。
2冊目は今ある資料でいいかな、という感じ。
3冊目は???。「効率よくタグを選ぶ」とか「Ｗｅｂ標準のタグの付け方」が意図不明。というか"気持ち悪い言葉の使い方"に感じる。どういう内容なのか逆の意味で気になる。
- 作者: 逢沢 明
- 出版社/メーカー: PHP研究所
- 発売: 2008-01-16
- ASIN: 4569697712
- メディア: 新書
本屋でチェック。
- 作者: 稲垣 太郎
- 出版社/メーカー: 集英社
- 発売: 2008-01-17
- ASIN: 4087204243
- メディア: 新書
図書館に入らないかチェック。
■蔵書の価値と修正の要求と
安来市が１９７０年に発行した「安来市誌」と、旧伯太町（同市）が６０年ごろに発行した「伯太町史」で差別的な表現があり、同市が、所蔵している県内の図書館に問題個所を削除するよう要請していたことがわかった。しかし、図書館側は「図書の改変はできない」としたため、市は取り扱いでの配慮を再要請。現在は各図書館とも一般の閲覧はできないようにしている。
(略)
市は、県内の公立図書館に削除の依頼文を送ったが、複数の図書館が改変はできないと回答。市は「削除を求めたのは強引だったと反省しており、適切な管理を求めるべきだった」としている。
http://www.yomiuri.co.jp/e-japan/shimane/news/20080113-OYT8T00386.htm
市史が県内各図書館に蔵書されているわけか。
刊行物なら国会図書館にも蔵書されているが、そちらはもちろん所定の手続きを踏めば閲覧できるはずだ。
これは難題だ。
削除を拒否した図書館は正しいが、そのまま閲覧できないのでは蔵書している意味がない。
改訂新版を出して(国会図書館に蔵書されているものは無理なのだろうけど)新版を置いてもらう? そんな予算がでるものだろうか。そして可能だろうか。
1970年の時点ではある程度仕方がなかったと言えるのかもしれないが、市史に載ってしまうこともちょっと驚き。
根が深い。
■ドメイン管理代行&DDNSサービスを同時に
ドメイン管理代行&DDNSサービスを同時に提供しているのか。メモ。
とりあえず今までのあらすじは、「Amazon EC2で個人サイトを作ろうと思ってたら、『公開ドメインを使いたければ、DynamicDNSを使え』と書いてあったので、VALUE DOMAINという、ドメイン管理代行&DDNSサービスを同時に提供しているサイトがあったので、"siraisi.net"ドメインを作った」というところです。
ZDNet Japan Blog - IT-Walker on ZDNet：Amazon EC2で個人サイトの作成、ボチボチ続けてます。
それはこのエントリの本筋ではないのだけど、この Amazon EC2、結構面白そうなサービスなのだよなー。
前にもクリップした様な気がしたのだけど del.icio.us の方だっけ。
2008-01-15
■灼眼のシャナをみた 1〜3
昨日の話。
- 監督: 渡部高志
- 出演: 釘宮理恵,日野聡,江原正士,川澄綾子,櫻井智
- 出版社/メーカー: ジェネオン エンタテインメント
- ASIN: B000CFWQFA
- 発売: 2006-01-25
- 監督: 渡部高志
- 出演: 釘宮理恵,日野聡,江原正士,川澄綾子,櫻井智
- 出版社/メーカー: ショウゲート
- ASIN: B000E0OIYU
- 発売: 2006-02-24
- 監督: 渡部高志
- 出演: 釘宮理恵,日野聡,江原正士,川澄綾子,櫻井智
- 出版社/メーカー: ジェネオン エンタテインメント
- ASIN: B000EBCFPS
- 発売: 2006-03-24
面白いのか面白くないのか、まだ判断がつかない。
続きが見たいような気もするので、そこそこ面白いのだろう。
ああ。
アニメを見るまで、イラストがいとういのぢだと知らなかったよ。
それはいかがなものかと自分でも思うが。
■文書には識別番号を
あの高木さんが「大幅に改善」とエントリタイトルに付けるぐらいなので、読んでみる。
知文のタイトルが「ジャストシステム製品共通のバッファオーバーフロー脆弱性」と一般的な内容であるため、今後も同じタイトルの文書を出さざるを得ない状況が生じる可能性がある。同じタイトルになっても区別できるよう、シリアル番号を付けるなどするとよい。海外のソフトウェアベンダーはそうしている。
高木浩光＠自宅の日記 - ジャストシステムの脆弱性告知ページが大幅に改善
ふむふむ。
メモ。
■無限集合の冪集合の部分集合としての自然数
元ネタは、
です。これから書くことは何度も同じことを(言葉や表現を変えて)書いているのですが、それもまたよしとしましょう。
上記エントリでの議論を逆にたどります(順番の意味でも内容の意味でも「逆」に、です)。
まず、2のべき乗の集合を考えます。もちろん無限集合です。
\(~M~=~\{~x~\mid~x=2^n~for~some~n~\in~\mathbb{N}\}\)
です。
……おっと、\(~\mathbb{N}\)
は自然数の集合です。ですが、0を含みます。不思議に思う人もいるかもしれませんがそういうもんだと思ってください。
ところで、上の表現は\(~M~=~\{~2^0,~2^1,~2^2,~2^3,~,,,\}\)
をちょっと厳密に書いてみただけです。もう上の表現は忘れちゃってください。
これの部分集合を考えます。\(~\{~2^0,~2^1~\}\)
とか、 \(~\{~2^2,~2^4,~2^5~\}\)
とかです。
これを「2進数による数の表現」だと思うことにしましょう。
前者は\(~\{~2^0,~2^1~\}~\rightarrow~\{~1,~2~\}~\rightarrow~1~+~2~\rightarrow~3\)
、
後者は\(~\{~2^2,~2^4,~2^5~\}~\rightarrow~\{~4,~16,~32~\}~\rightarrow~4~+~16~+~32~\rightarrow~52\)
です。
いい感じです。
プログラマの人ならば、前者は 0b11 後者は 0b110100 の表現です、と言えばピンとくるでしょう。
集合\(~M\)
の冪(べき)集合を考えて見ます。冪集合は、ある集合の部分集合を全て集めた集合のことです。
\(~\{~\phi,~\{2^0\},~\{2^1\},~\{2^0,~2^1\},~\{2^2\},\{2^0,~2^2\},~\{2^1,~2^2\},~\{2^0,~2^1,~2^2\},~\{2^3\},~\{2^0,~2^3\},\)
\(~\{2^1,~2^3\},~\{2^0,~2^1,~2^3\},~\{2^2,~2^3\},~\{2^0,~2^2,~2^3\},~\{2^1,~2^2,~2^3\},\{2^0,~2^1,~2^2,~2^3\},~\{2^4\},~,,,\}\)
やっぱり、いい感じです。
\(~\{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,,,\}\)
と対応するように並べてみました。気がつきましたか?
便宜上空集合\(\phi\)
を0と見なすとして、1つの部分集合が1つの自然数と1対1に対応しているように見えます。
でも、いけません。
今、冪集合の元になる\(~M\)
は無限集合です。
その部分集合には無限集合が含まれます。
例えば\(~M\)
自身。\(~M~=~\{~2^0,~2^1,~2^2,~2^3,~,,,\}\)
と無限に続く集合。これに対応する自然数はあるでしょうか?
……。
ありません。それは自然数にはなりません。
\(~M\)
の部分集合に対して「2進数表現と見なすことで自然数に対応する」、というアイデアはよいのです。
しかし\(~M\)
の部分集合のうち、無限集合には当てはまりません。
\(~M\) の冪集合の中で、有限な集合の元の中については「2進数表現と見なすことで自然数に対応する」ことができる*1。
という但し書きをつけないといけないです。
「\(~M\)
の部分集合の中の有限な集合」の集合。
「\(~M\)
の冪集合の中の有限な集合の元」の集合。
まぁ、どちらでもいいんですけど、これが自然数に1対1に対応します。もちろん、この集合は無限集合です。自然数に対応するのですから、特に証明もせずに直感的に言い切っちゃいます。これが「自然数が無限にある」の別表現。
そして、
「\(~M\)
の部分集合の中の有限な集合」の集合。
「\(~M\)
の冪集合の中の有限な集合の元」の集合。
この強調部分が「ある自然数は有限な桁数で表現される」の別な表現になります。
このあたりでお粗末ながら。
■アニメを放送局拡大したときの"電波料"は誰が出す?
285 名前： 塗装工(樺太)[] 投稿日：2008/01/14(月) 15:20:07.84 ID:10XsN3dPO
つうか放送局拡大してくれ東京周辺ばっか
ニコニコで初めて知しったやつとかあるからなぁ
痛いニュース(ノ∀`):動画共有サイトの違法配信の影響でアニメDVDビジネスは限界を迎えている…海外ではすでに市場崩壊
ふむ。
地方でキー局の番組流すと、キー局から地方局に、"電波料"という名目で金が流れるらしい(今になって考えてみるとすごいネーミングだな)、
- 作者: 吉野 次郎
- 出版社/メーカー: 日経BP社
- 発売: 2006-11-30
- ASIN: 4822245543
- メディア: 単行本
というのは上の本で知った。読んでのエントリ↓
ではアニメを全国放送したら、その金を出すのは一体誰なんだろう?
ゴールデンタイムのアニメなら判りやすい。スポンサーだ。
深夜アニメなら?
私も地方に住んでいる身なので深夜アニメなど平生は見られないが、出張とかに行ってふと見かけたりする時に知ったスポンサーでは……無理だろうなぁ。
トラックバック多すぎて同じこと書いている人がいるのかいないのか(というかそもそせ元スレすら見てないが)判らん!
■なぜ Firefox が DHCP を?
ZoneAlarm に時々でる、Firefox.exe による 255.255.255.255 DHCP アクセス。
いったいなぜ? なんのために?
■ドローイングエディタ ディスカス
何気なく長年日記を見たら、ドロー系のエディタについて書いているのを見つけた。
に移ったもののまだ開発継続中の様。2年ぶりだけどとりあえず試用。
ベジェの描き方にとまどってしまった*2が、動作は軽い。
後は大量のオブジェクトを書くとどうなるか? というあたりか。
保存形式が(zip圧縮した)XMLでボキャブラリが公開されている点と、SVGに書き出せる点。高く評価できるその2点は変わっていないな。
■ぷよぷよの連鎖数判定問題はNP完全
GoogleScholar からの検索。
いやいやびっくり。
ちなみに内容はというと、
初期盤面とピースの列と生整数kを与えた時に、k連鎖を起こすことが可能か? という問題はNP完全。(盤面の縦横のサイズに制限がなく、ぷよは4色以上、おじゃまぷよあり)
ということだそうである。証明は理解できない(というか読んでいない)。
2008-01-14
■うぎゃー
.//hack G.U. 痛みの森イベント。
最後のエンカウントで――しかも避けて通れたのに――戦闘不能になってしまい、戦闘不能0回の条件クリアならず……。
リセット。
あーあ。
追記
次の日にまた同じことをやらかした。
意地になって再チャレンジしてクリア……。