2005-10-22 シャノンからゲーデルへ, 私のヲタクの定義
■パブリックドメインなクリップアート集のサイトのはずだったのだけど
んー。閉鎖してるみたい。
アップロード用のスクリプトに技術的な問題があった、ってとこか?
Please bear with us as a technical difficulty is sorted out behind the scenes with our upload script.
The Open Clipart Library
2005/12/12 追記
復活したみたいだ。
■私がヲタクを定義すると
私の中のヲタクの定義は他の人とちょっと違っているかもしれない。
けれども、それを表現してアウトプットしてみないと本当にそうなのかも判らない。
ということでこのエントリを書こうと思った。
発端は以下のエントリ。
オタク的であることの根っこは、ゴミ拾い屋だというところにあります。
“正しい価値観” において、「これはゴミ (ノイズ)だ」 と判断される所を弄くり回すことに夢中になる。
だからオタク的な生き方なんてのは、「大人のあるべき姿ではない」 と言われ続けているワケです。オタクという奴は、知識や情報を集めたがる。
So-net blog:ヘボログ:知性と情報と名詞を武器に〜戦うニッポンジン
だから世の中の 「オタクを知らない人たち」 の目線では、まま、「専門家 (プロフェッショナル)」 と 「オタク」 が同一視されることは少なくない。
私が考えているヲタクの定義は「コンテンツよりもメタ・コンテンツを重要視し、またそれを収集することに精力を傾ける」ような人。
漫画を読んで、面白かった、で終わるのが非ヲタクの人。
その漫画を描いた人が、他の漫画家との関連性からしてどの様な立ち位置にいるのか? を考察する。その漫画がリスペクトしているのはこの作品だ! と指摘する。このテーマならあの作品の方が面白い、とか考える。その漫画を描いた人が過去にどんな作品を書いてきたか、同人誌に書いていた頃から知っていてずっとファンだったんだと主張する。etc……。
そんな傾向のある人がヲタクだと思うのだった。
で、ウチのカミさんは、漫画は読む、小説は読む、テレビドラマを全く好まない、見に行った映画はアニメの方が多い、などなどいかにもヲタクっぽく見えるのだけど、決してそれ以上のことはしない。
漫画や小説は読むが、刊行情報をチェックしないので本屋で見かけたものだけを買う(ただ、その役目は私がやっているのだけど。コバルトだろうとりぼんコミックスだろうと、普通に買うことになれてしまった。)
アニメは見るが、資料集だとかサントラだとか画集だとかムックだとか、ましてや声優、キャラクターソングなどには全く興味がない。
という、一見ヲタクに見えるが――私の定義に照らし合わせると――全くヲタクではないという妙な生き物、だったり。
■情報量の単位
情報理論の確立者クロード・シャノンの名前をとった単位名なのかな?
So-net blog:ペトロ三木の『アタマのおかしいブログ』:Too Much Information
はい。その通りです。
「ビット」という単位を導入した――論文として発表した――のがシャノンのはずです。
So-netのblogを書いている人でないとコメントできない設定なのかな?
コメントしようと思ったけどリンクになってなかったので(鬱陶しいかもしれませんが)トラックバックで。
コメントを受けての追記:
訳本は2002年なので、その時点では情報量の単位はシャノンに変更になっている。
訳者でAmazonを検索してみると特に情報理論専門というわけではなさそうなので、原書の表記にそのまま従ったのだな。
■ミッシングリンク - シャノンからゲーデルへ
昨日のエントリ、
と、
の間に書きかけのエントリがあったのだけど、途中で捨ててしまっていた。
- 情報量の単位シャノンは数学者でもあり情報理論の父とも言われるクロード・シャノンにちなむこと。
- クロード・シャノンが考えた情報量の式は、物理学のエントロピーとの類似形が認められること。
- しかし慎重な性格のクロード・シャノンは、情報理論(数学)の世界にエントロピーという用語を持ち出すのをためらっていたこと。
- それをフォン・ノイマンが後押し(というか強引に説得?)したと言われていること。
- フォン・ノイマンの功績の一つに「任意のプログラム(アルゴリズム)に対し、そのプログラムをチューリングマシン上で実行したとき、そのチューリングマシンが有限実行時間内で停止するかどうかを判定できる」ようなチューリングマシンが存在しないことの証明、というのがある。
- そのことにはゲーデルの不完全性定理との類似形が認められるということ。
というようなエントリだったのだけど、面白くないので書かなかった。
で、その「今は存在しないエントリ」が見事に、「それが書かれるはずだった」場所の前後のエントリのミッシングリンクになっていることに気がついた。
なので、箇条書きの形ですくい上げた次第。
この話の詳細は、はてなの質問の、
「ソフトウェアが正しく動作することを数学的に証明することは不可能であることが、数学的に証明されている」という話をたまに耳にしますがこの証明が記述されている文章を探しています。
http://www.hatena.ne.jp/1120372952
の回答を読んでいくといいだろう。
また、シャノンやフォン・ノイマンに関してのエピソードは、
を参考にして書くつもりだった。情報理論からコンピュータの世界までの立役者のエピソードや語録をつづったもの。
結構読んでいて面白い。が、後になればなるほど「自分のなじみのある世界」に近づいてくるのでだんだん飽きてくるのも確か。
■ザウルスが見捨てられたのではないかという杞憂
シャープの方にも話をうかがったが,今後もザウルスはもちろん継続していくという。差別化としてはHDD内蔵,大きな液晶,拡張性などをあげていた。
MOBILE DAILY NEWS blog版 - W-ZERO3試作機を触ってみた印象
まずは、ほっと一息。
せめて800x600、できれば1024x512とかの画面は欲しい。
そんで非HDD機種は大きくてもいいから薄型に。
……まぁ、要するに、OSがLinuxなシグマリオンが欲しいということですな。
■なぜにiPodやPSP?
iPod、PSPで自分のデスクトップ環境を持ち歩く「Migo」
iPod、PSPで自分のデスクトップ環境を持ち歩く「Migo」 - CNET Japan
iPodやPSPを前面に押し出しているのは、ただのセールストークでUSBメモリやUSB接続の小型HDDでいいんだろ?
と思った。
■ポットネットとクラッカーの能力と
このボットネットに関与したと思われる人物の一人は、DoS(サービス妨害)をちらつかせて、ある米国資本の企業を脅迫した疑いもある。
150万台のPCで構成される「ボットネット」を確認、DoS攻撃で脅迫も - nikkeibp.jp - IT
威力業務妨害にあたるのかな?
前も書いたけど、クラッカーの能力っていうのは、「個人の資質・才能」に依るものではなくて、「ポットやトロイの木馬の仕掛けが済んで、必要な時には自分の配下におけるマシンの数」に依る時代が来ていると思っている。
2005-10-21 iPod nano専用のドックはまだ?, lain, ビットとシャノンと情報量
■衝動買い プログラマの数学 メタマジック・ゲーム
「あああ、衝動買いしちまいやがったよ」
「何の話だ?」
「ん?
だよ」
「……対話文の中にASINリンクを入れてくるのか。大胆だな。でもさ、まだG.E.B.を読み終えてないんじゃないか?」
「ぎくう」
「……」
「どうした?」
「いや、対話文の中で擬態語を使われてもリアクションに困るっつーか」
「そこは流せ。何でだか知らないが対話文で押し通したいらしいから」
「あぁ、あれだな。G.E.B.とかミルカさんシリーズにかぶれたんだな。ん? ってことはあれか、衝動買いしたってのは結城さんのサイトを見たからなのか?」
「そういうことだろうな。読み終わる前にG.E.B.の20周年記念版が出たってのもちょっとショックだったらしいし」
「ミルカさんシリーズを再読してすごく面白がってたものな」
「まぁ、確かにそれもあるんだろうけど、
の質問に回答した時に、乗除について興味が湧いてきたんだそうだ。あと、
を見た時も組み合わせや順列に対する感性が鈍っているのを感じたらしいし」
「『感性が鈍る』ってどういうことよ。……まぁいいか。メタマジック・ゲームは? 実物を見たのは初めてだったそうじゃないか」
「連載していたコラムを本にまとめたものだってことも初めて知ったってさ。そうそう、G.E.B.だけじゃなくて、メタマジック・ゲームも20周年記念版だったぞ。何気なくカートに突っ込んだのが記念版の方で良かった」
「買う時に気がつかなかったのかよ。危ないなぁ」
「本当にな。それと不思議なことが一つあって」
「何?」
「いや、高い本を買ったから文庫カバーを無料ギフトで一緒に注文したんだけど、本は本で宅配便で送られてきて、それとは別にカバーがメール便で届いたんだ。なんでそんなことになったんだろ?」
「そんなの、単に梱包間違えただけだろうさ。……ところで話を最初に戻すがな」
「え?」
「G.E.B.の方はちゃんと読み進めてるのか」
「……」
「どうなんだ?」
「やっと第8章まで入ったところ。対話劇の『蟹のカノン』の出来栄えに感動してた」
「ちょっとだけど進んではいるんだな」
「まぁ、ね。で、バッハの『蟹のカノン』も聴いてみたくて、一応持ってはいる『音楽の捧げもの』のCDを見たんだそうだ」
「ふむ」
「だけど輸入盤で収録されてるんだかされてないんだか判らなくて」
「何やってんだか。『蟹のカノン』ってのは『逆行カノン』のことだろ。
そら、
このあたりでCDと聴き比べてみな」
「おー。なるほどこの曲か。どれどれ……。
cancrizans ってーのがラテン語で『蟹形進行』なのな。対位法の用語なのか」
「対位法といえば」
(2人、声を揃えて――)
『のだめカンタービレ!!』
文中のG.E.B.というのは、
のこと。
(で、これは誰と誰の会話だったのさ?)
(そんなこと気にするなよ)
追記
モールアルトが作った曲で、譜面をさかさまにしても同じになる曲があったと思うんですが、なんでしたっけ?
http://www.hatena.ne.jp/1135466663
バッハの勘違いかしらん。
上下逆さまなら転回カノンあるいは反行カノン。前後逆さまなら(上にも書いた)逆行カノン。
……なーんて思っていたけどこれのことかな?
■ビットはデータの大きさの単位 情報量の単位はシャノン
情報理論においては情報の最小単位が「ビット」という単位で定義される。
So-net blog:ペトロ三木の『アタマのおかしいブログ』:Too Much Information
「1ビット」は2進法で「0」か「1」かの信号(=情報)を処理するコンピューターが「0」か「1」を1回読み取る能力のこと。
すでに情報理論における情報量の単位はビットからシャノンに変更されていますよー、と指摘する事自体が
「役に立たない雑学」的どーでもいい知識
So-net blog:ペトロ三木の『アタマのおかしいブログ』:Too Much Information
であるという自己言及的トラックバックをしてみる。
ということだけで足りれば良かったのだけど、どうも情報理論における情報量という概念について勘違いをされている様で、かといってそれを指摘したとしても元のエントリ全体の要旨にはさほど影響がないわけで。
さてどうしたものかと考えていたのだけど、情報理論における情報量という概念について簡単に説明して、補足という格好で書こうと決めた。
そもそも情報量の単位がなぜビットからシャノンに変更されたのか? ということを考えてみる。
それは、データの大きさの単位としてのビットという言葉が広く社会の中に浸透してしまったことに関連する、と考えるのが妥当だろう。
そう、今では、ビットという言葉はデータの大きさの単位として使用されることが多くなってしまった。ビットという言葉から情報量の単位を想起するのは、情報理論に携わる――あるいは昔かじったことのある――人間だけだろう。
そのための単位の改変だったのだろうと私は思う*1。
これで「情報の量」が測れるワケだ。ちなみに…
電話が1秒間に伝達できる情報量は4000ビット
高性能ラジオの情報量は毎秒1万6000ビット
テレビの情報量は毎秒400万ビットとなる。つまりテレビは「0」と「1」の信号に変換すると1秒間に400万回も「イエス」と「ノー」の判別を行ってるワケだ。ものスゴイ情報量だ。
So-net blog:ペトロ三木の『アタマのおかしいブログ』:Too Much Information
と書いておられるのだが、それが情報量を言っているのか、データの大きさを言っているのかについては、注意して読み解く必要がある。
まず、ビットというのは2値情報のデータの大きさを示す単位である。
これはYes/Noの組み合わせ,OK/NGの組み合わせ,True/Falseの組み合わせなどなど、どんな表現でもいいわけだが、実際は0/1の組み合わせで表記するのが一般的。
1024ビットのデータがあるとしよう。1024個の0か1かの2値情報を含んでいる、という意味だ。あるいは2進数で1024桁の数字と関連づけてもいいし、1024個の0か1だけで構成された文字列を思いうかべてもいい。あるいはLSIの中に構成された1024個分のフリップフロップでもいい。
もしこのデータの中を調べた時に、0と1の出現確率が同じで、かつそれぞれの1ビットのデータが他のデータと関連がない(確率論でいえば事象が独立している、となるわけだ)としたら、この1024バイトのデータはどれだけの情報量を持っているのだろうか?
でたらめな0と1の列だから、そこに「情報はない」と考えてしまわないだろうか?
そこに、情報理論における情報量という概念と、我々が日常で使っている情報量という言葉との間の、違いが見えてくる。
ここにコインがある。これを投げて表が上になるか裏が上になるか、という事象を観察してみよう。
普通なら(あるいは、理想的には)表が出る確率が1/2で、裏が出る確率が1/2である。この系で、コインを投げてどちらの事象が起きるか? が確定した時に受け取る情報量が1シャノン、である。
仮に、表が出る確率が1で裏が出る確率が0であるコインがあったとしよう。これを投げた時に得られる情報量はというと、0シャノンなのだ。
なぜなら投げる前に結果がすでに判っている。コインを投げて表裏を決めるという行為からはなんの情報も得られない。だから、情報量は0シャノン。
話を戻そう。1024ビットのデータがここにある。これが仮に英語のテキストデータ、つまり「8ビット(=1バイト)ごとに区切られたASCII文字で、英数字と標準的な記号にあたる文字コードのデータしか含まれていない」データであることが事前に判っている、と仮定する。
この時点ですでに情報量は1024シャノンより下回ることが確定する。
例えば1ビット目は0に決まっているし、8ビットごとの区切りでデータを見ていくと、本来は生成可能なデータは256種類ある*2はずなのだが、英数字62種類+いくつかの記号や空白にあたる分のデーかしか含まないことが、事前に判ってしまう。
だから情報量は1024シャノンよりも下回るわけだ。
さらに、そのデータが128文字からなる英文であるということが事前に判っているとすると、また情報量は下がる。コナンドイルの手による「踊る人形」を思い出そう*3。英文であるならアルファベットの出現確率には偏りがでる。音素を考慮するとある文字の後にある文字がでてくる確率も偏りがでてくる。単語を考慮するとさらに偏りが出てくる。単語と単語の並び方を考慮するとさらに偏りがでてくる。
情報量は、1024シャノンを遙かに下回るだろう。
ここまで見てきた様に、1024ビットのデータの情報量は、そこにどんなデータが詰まっているのか? それが事前に判っているかどうか? で異なってくる。
これが、日常的に使っているビットという単位――データの量――と、情報理論におけるシャノンという単位――情報量――の差だ。
ここからは余談。
情報理論に疎いとしても、ここまで書いてきたことでlha*4などでデータを圧縮するというのがどういう仕掛けのか、朧気にわかるのではないだろうか?
0と1の出現頻度に偏りがあるデータならば、データ列に対するある写像を考えてやることで、「元のデータを復元することが出来て、かつ0と1の出現頻度の偏りが少なくなり、かつデータ量が小さくなる」データを作ることができる。これがデータ圧縮の(1つの)手法なわけだ。
テキストデータが圧縮によって非常に小さくなる理由。
一回圧縮したデータを同じアルゴリズムでもう一回圧縮しても、元の圧縮データよりほぼ変わらないかむしろ大きくなってしまったりする理由。
それらはデータの中の0と1の出現確率の偏り、つまり情報量という概念から、導き出せることなのだ。
■serial experiments lain
レンタルからまとめ借りして、一気に見た。
前に一回見てるはずなのだけどかなりうろ覚えだったので。
4巻と5巻(layer:09〜)を見るだけで良かったかしらん
なんでここで見返したというと、PSのゲーム、
を手に入れたから。ちょっとやってみて、アニメの展開すっかり忘れてるなーと思って。
レビューを読んでみて、すごく気になったので購入。
が初期出荷本数が少ないらしく、マーケットプレイスでプレミアがついている。私はもう少し安く買ったのだけど。
■iPod nano専用のドックってでないのかな?
iPod nano専用ドックで、イヤフォンの端子を抜かなくてもセットできて充電できるドックって……まだ出てないのかな。
2005-10-20 Windowsスマートフォン登場
■フルキーボード付?
完全に予想外。
てっきりPocketPCっぽい筐体だと思ってた。
無線LAN搭載も意外。
VGA液晶はさすがSHARPだなー。
縦画面で、上半分がIEで下半分に電話機仕様のテンキー表示っていうモードは無いのだろうか? あるなら、ちょっと買い換えを考えてもいい……かも。
■WHOの電磁波リスクに関する報告
無線LANにしようか考え中です。しかし電磁波が心配です。通信中以外でも電波が親機から飛んで部屋の中が電磁波まみれになるのでしょうか?なぜなら眠る場所のすぐそばに親機を置かなければならないのです。寝るときはコンセントを外す、などすれば良いのでしょうか?
http://www.hatena.ne.jp/1129787166
あなたの家にテレビの電波は届いていませんか? ラジオを聞いたことはないですか?
携帯電話を使ったことはありませんか?
あなたの家の電話機はコードレスではありませんか?
タクシーに乗る時に無線機が搭載されていることを気にしたことは?
GPSの仕組みについて考えてみたことはありますか?
空港に出かけた時に付近にあるはずの航空管制レーダーを思いめぐらせたことは?
上記のことについて当然電磁波のリスクの心配をして暮らしてきたのでしょうね……。さぞ大変だったことでしょう。
で、本題はこちら。肝心の無線LANについての資料ではない。
■新PowerBook
欲しい〜。
新しい1,440×960ピクセルディスプレイが目を引く15インチのPowerBookは、パワフルなG4プロセッサ、5400rpmの80GBハードドライブ、128MBのグラフィックスメモリ、2層書き込み対応の8倍速SuperDriveを搭載しています。実際、ここまでの機能に匹敵するノート型コンピュータは、特に244,800円(本体価格:233,143円)からという価格帯では、ほとんど見当たりません。
アップル - PowerBook G4 15インチ
本当かな?
Windowsノートブックだと、XGAでこのぐらいの価格帯か?
■便利という言葉は便利だ
ネット上で画像を公開するには、JPG形式が便利なようですが、パワーポイントで作ったスライドをJPGにする方法があれば教えてください。
http://www.hatena.ne.jp/1129758619
この「便利」はちょっと意図不明。
どういう経緯でそう思ったのか、そう表現したのかが知りたいところ。
そういえば、意味という言葉も意味が難しいね
犀川先生がそんなことを言ったはずだが、うろ覚え〜。
2005-10-19 ゲーデル、エッシャー、バッハ20周年, Papa told me
■玄箱 drupal
結局PHP5にした。
configのメモ。libxml2とlibxsltは最新のやつ。あと CURL が必要だった。
で、本来の作業である、drupalの方はAmazonサーチできた。が、なんでUSの方に検索しにいっちゃうかなぁ。後でソース見よう。
./configure --with-apxs=/usr/bin/apxs \ --enable-mbstring --enable-mbregex \ --enable-mbstr-enc-trans --enable-shared \ --with-mysql --with-libxml=/usr/local/ \ --with-gd --with-zlib=/usr/ \ --with-dom=/usr/local/ \ --with-dom-xslt=/usr/local/ \ --with-dom-exslt=/usr/local/ \ --with-curl=/usr/local/
追記:PHPは5.0.5じゃなくて5.0.4にするべき。
Fatal error: Only variables can be passed by reference in user.module on line 1293 | drupal.org
■Papa told me にはまっていた
この間から漫画喫茶に行くたびに Papa told me を読み進めている。
主要なキャラクタ達が全員クレバー。かといって(当たり前だけど)完全無欠では無いわけで、失敗や挫折や負の感情*1にであうこともある。そんな時にも周りのキャラクタは暖かく包み込んでくれる。感情的なものだけではなくて、理知的な言動でだけど優しい。
物語は、クレバーで、ファンタジックで、メルヒェンで、だけど時に読み手をメランコリィにさせる。
こういう物語を面白く思う自分がちょっと不思議に思うし、以前の自分から変わってきている自分を意識させる。
そんな、鏡の様な、物語。
完全版といいつつも、全編収録してあるわけではなくて、「カラーページを再現しました」ってふれこみで編集された本。
四季ごとの物語を織り込んで、メインのキャラクタ達が描かれているので雰囲気は判る。というか先に完全版を読んでから全巻読みたくなったのだった。
■『ゲーデル、エッシャー、バッハ』の20周年記念版!?
なにぃ! 今読んでる最中だっていうのに!
ホフスタッターの『ゲーデル、エッシャー、バッハ』の20周年記念版が出版されています。 書店で今日見かけましたが、序文としてホフスタッター自身の解説(結構長い)がついていました。
[結] 2005年10月 - 結城浩の日記
これか。
『メタマジック・ゲーム』も並んでいました。
[結] 2005年10月 - 結城浩の日記
あ、これ欲しい。
*1 この表現は不明瞭だが便利だ。誰が考えついたのだろう?
2005-10-18 数学読み物ミルカさんシリーズ, FireFox extensionsメモ
■Firefoxのダウンロード方法を知らない人のために
笑った。「と言ってやりたいのは山々だったが」の部分に。
Firefoxのダウンロード方法やインストール方法を知らない人が、いったいどうやってIEのアドオンをダウンロードしてインストールできるんだ?――と言ってやりたいのは山々だったが、私はあいまいに言葉を濁すだけにした。
japan.linux.com | Web 2.0 3日目 ─ ばかげたビジネスプラン
■玄箱 drupal
drupalでAmazon関連のモジュールを入れると、dom関連のAPIが必要になる。
自分でビルドしたphpにそれらを入れてなかったので、config変更したらlibxsltやlibxml2のバージョンが低くて、自分でビルドする羽目に。
./configure --with-apxs=/usr/bin/apxs \ --enable-mbstring --enable-mbregex \ --enable-mbstr-enc-trans --enable-shared \ --with-mysql --with-libxml=/usr/local/ \ --with-gd --with-zlib=/usr/ \ --with-dom=/usr/local/ \ --with-dom-xslt=/usr/local/ \ --with-dom-exslt=/usr/local/
現時点でのphpのconfig。
xml関連のdirが /usr/local/ になっているのは、自分でビルドした時に適当にやったらそこに入ったという話。(UNIXではそれが自然なのかも。勉強中につき判断保留。)
xsltSaveResultToString が見つからないと言われてビルドできず。
■FireFox extension メモ
時々残しているextensionのメモ。
HTTPヘッダをログとして採取。
http://〜で始まる様な(リンクではない)テキストを選択して、右クリックからそのURLにジャンプできる。
リンクを含むテキストを、複数選択状態にして右クリックから全部開くことができる。
ツールバーのカストマイズにチェックボックスなどを追加できる。
"Googlebar: Bringing the Google Toolbar to Mozilla browsers"
googlebar。
google謹製のツールバー。ポインタ位置の英単語の辞書引きにしか使ってないが。
CSSのチェックなどに欠かせない。
タブブラウザ関係の機能追加。
あとははてなバー。
■ノートパソコンを外部ディスプレイとして使いたい
ノートパソコンを外部ディスプレイとして使いたいのです。USB2.0で接続できる、オススメの周辺機器を教えてください。
http://www.hatena.ne.jp/1129600962
http://www.hatena.ne.jp/1107739965
http://www.hatena.ne.jp/1115799620
から進歩した回答があるかどうか?
■ツンデレ?
高橋メソッドによるミルカさんシリーズ」の紹介
[結]2005年10月 - www.textfile.org
ツンデレだったの!?
というか結城さんが"ツンデレ"という言葉を使っていることに微妙な違和感が……。
萌え、というのはまぁ判る。
「僕」を女の子にすり変えたら、しずるさんシリーズと同じ構造だしね。

