2005-11-14 本屋巡り
■だんだん頭が公理的集合論に追いついてきた
ある集合をべき集合と考えて、元の集合を求めることは出来ないのでしょうか。
http://www.hatena.ne.jp/1130932358
人間には(あるいは、既知宇宙の中では?)無限集合を列挙することはできません。
無限集合を説明するには、集合論の公理から導き出される公理系を利用して記述することしかできません。
ある集合が別の集合のべき集合になっている、という命題は公理系の中で、
- 証明できる
- 否定が証明できる
- 証明不能であることが証明できる
- いずれも証明できない(未知の命題である)
のどれかに属することになります。
そもそも、「ある集合が何かのべき集合であるか?」と「もとの集合が何か?」は――感覚的には――同じ命題になってしまうのでは? と思います。
追記
つまり「ある集合」が無限集合である場合には、「その集合について言及する」ためには我々は公理から出発した公理系によって言及された言葉*1を以てするしかない。「『ある集合』が別の集合のべき集合になっているかどうか?」という命題は、「ある集合」を表現する言葉を紐解いていくことで判定する類の問題に落としこまれるだろう、ということ。
*1 余談ではあるが、ゲーデルは"公理系によって言及された言葉"が算術的に表現できる"コード"であることを示して、不完全性定理への足がかりとしたわけだ
2005-11-12 無断リンク禁止 と掲げるのはいい 無断リンク禁止が常識 には困惑
■長い戦いだった……
無限に関する質問です。
http://www.hatena.ne.jp/1130932358
回答として入力済(もう回答する気は無い、って前に書いていたじゃないかというツッコミは不可)。
18ページから19ページにかけて「B を無限集合とすると、B はかならず可算部分集合 A を含む」の証明が出てくる。これで解決。
ただこの証明にはZFC公理系が必要……だと思う。歯切れが悪いのはちゃんと理解できていないから。
の「選択公理を用いないと証明できない命題の例」の中に、「全ての無限集合は、可算無限集合を部分集合として含む。」があるので間違いは無いと思うけど。
このpdfはなかなか楽しそう。後で目を通すことにしよう。
T-ponさんの問題
もとても面白くて「このまま埋もれさせてしまうには惜しいなぁ」と考えていた矢先に、結城さんに取り上げていただけたし*1、この質問は追いかけた甲斐があったと思う。
#本当にありがとうございました。> 結城さん(id:hyuki)
(で、"戦い"っていったいどういう意味なのさ?)
(まあいいじゃん)
――上遠野浩平ふう
see also
■AO型とBO型の親からO型の子供が
というような勘違いなんじゃないの?
っていうか、その旦那、自分の妻と子供の血液型知らなかったのか?
それとも自分の血液型を知らなかったとか?
ちょっと謎なシチュエーションではある。
バスの中には1、2歳の子供を連れた若い夫婦が既に険悪な空気だった。
2ちゃんねるベストヒット: 献血バスでのドラマ
旦那が血を抜かれながら看護婦に確認してた。
「あいませんよね!血液型!」
子供を抱いたまま若い奥さんはうつむきながら看護婦をにらんでた。
……自分がAO型だと思っていたのに実はAA型だということが判った、とか?
(献血したことないんでどういう結果が出てくるのか知らない)
■それはまるで公理の様な
……フェイドイン。
昨日、
「自分のサイトは自分のもの」的論理や「知らない人に来て欲しくない」的感情論に依る「無断リンク禁止」はまだいいだろう。
でも、公理の様に「無断リンク禁止」を掲げること。「無断リンク禁止は常識でしょう?」という様な思想を持つ人が増えること。
quinta essentia 2005/11/11
それはなんだか不気味に思えてきた。
と書いた。
実は前者の様な「無断リンク禁止」については私は特に注意を払っていない。
基本認証、はてなグループ、プライベートなはてなダイアリー、プラス特定のIDに閲覧の許可を出す、etc……。
あるいはディープリンク禁止ならapacheのmod_rewriteを使って、
なんていう手法もある。
いずれにせよ、その様な主張にはWWW的なセンスの欠如を感じるものの、技術的な支援もできるし、理詰めでの啓蒙もできるんじゃないか、と思っている。
問題なのは後者の方。
「無断リンク禁止を公理の様に掲げている」は、「無断リンク禁止は常識だと思っている」をちょっと数学的な用語で言い直しただけ。
この比喩には、「その様な人たちにどのような言葉が届くのだろうか?」という暗澹たる気持ちを含めている。
ユークリッド幾何学が紀元前3世紀ごろに確立されてから、その第5公準(平行線公準)を否定することで姿を見せる非ユークリッド幾何学の登場する19世紀まで、どれほどの時間がかかったか。
そんな感覚を感じ取っていただけるだろうか、と思いつつ、再びフェイドアウト……
*1 正直に言うと、結城さんにメールして取り上げてもらえるかなぁ、なんてちょうど迷っていた時だった
2005-11-11 夢幻魔美也氏の帰還, nested class 再び, 無断リンク 私がたどった路
■私がたどった路
ふむ。はてながサーバー様で湧いたのは7月のことだったか。あれから3ヶ月半ぐらいしか経っていないのだなぁ。
2004年6月ごろ
broken link
broken link
読冊日記 2004年 6月中旬
読冊日記 2004年 6月中旬
読冊日記 2004年 6月中旬
読冊日記 2004年 6月中旬
このあたりの記事を読んで、古くからWWWに慣れ親しんでいる私とは、ずいぶん違ったルールで今の小中学生は動いているんだなぁ、と思った。
2005年7月ごろ
キーワード"サーバー様"ではてなが湧いていた。
自分の頭で考えた結果や感情論に依るものではなくて、まるで公理の様に「無断リンクはいけないもの」という認識を持っている人がでてきているのではないか? という印象を持った。
それ以前の「無断リンク禁止」は、「自分のサイトは自分のもの」的論理や「知らない人に来て欲しくない」的感情論に依るものだった様に思う。
それがなにやら変質してきていることを感じ取った。
「自分のサイトは自分のもの」的論理や「知らない人に来て欲しくない」的感情論に依る「無断リンク禁止」はまだいいだろう。
でも、公理の様に「無断リンク禁止」を掲げること。「無断リンク禁止は常識でしょう?」という様な思想を持つ人が増えること。
それはなんだか不気味に思えてきた。
「無断リンク禁止」を掲げるサイトが一定数あるのは事実だし、大手のサイトでも「無断リンク禁止」「ディープリンク禁止」を掲げては叩かれるというニュースも目にしていた。
「無断リンク禁止」を掲げるサイトを主に巡回しているうちに「無断リンクは禁止なんだ」と思いこんでしまったのだろうか? という疑問があった。
が、不意にある仮説を閃いた(忘れもしない、外出して自転車をこいでいる時だったのだけど)。
「学校のサイトが『無断リンク禁止』を掲げているのでは?」
そしてその仮説を確かめる方法を検討して、家に帰ってすぐに試してみた。それが、
このgoogle検索である。
暗澹たる気持ちに襲われた。
とりあえず、上記の仮説とこの検索結果を元にこのブログにエントリを作ったら、はてなブックマークの注目エントリに入り、主要なニュースサイトに取り上げられ、普段の1日分のアクセスが10分の間ぐらいにくるという状況に陥った。
その時に無断リンクをしたこともあり、事後連絡にはなるのだけどいくつかの学校にメールを出してみた。ほとんど反応が無かった。
時期は夏休みである。
2005年8月ごろ
北九州市教育委員会の運用規定を見つけた。
おかしな運用規定だと思ったが、実は一番ナンセンスだと思ったのは、教育委員会のサイトにこの運用規定が載せられていないという事だった。
WWW的な感覚であれば、教育委員会のサイトにこの運用規定を載せ、各学校はそこへのリンクを記述するべきであろう。
だが、まだ時期は夏休み。
2005年9月頭
とりあえず中学校の何校かに対してリンクさせて欲しいというメールを書いた。
コンテンツの内容は記述していない。
なので、当然どのようなコンテンツを書くのか? という質問が返ってくることを期待した。そこから実際の運用の様なものを知りたかった。
が、空振りに終わった。メールの返答が1つも来なかった(正しく届いていないという可能性は否定できない)。
教育委員会に問い合わせフォームがあったので、上記の様な状況を説明し、正しく運用されていないのではないか? 見直しをするべきではないか? という様な内容を発信した。残念ながらこの時の内容をこちら側で保存するのを忘れてしまった。
そして今に至る。
7月のあの盛り上がりぶりから結局何も変わっていないのか?
教育委員会の問い合わせフォームから発信したことは無視されているのか?
そんな疑問はあったが、北九州市の件については、個人的には来年度まで待ってみてもいいだろう、と思っていた。そのあたりで何か変化があったかどうか確認してみるぐらいのつもりでいた。
結局、
さて、行動です。
S嬢のPC日記:トラックバックにお返事
自治体に対しての行動は、「こうした方が」「これがおかしい」という「一市民の意見」に関しては、流される場合が多いです。流されないための行動は、具体的に提言が達成されている他の自治体の「実例」を持っていくことです。
「ここの自治体はこうである、これはこのことについて実現されている、しかしうちの自治体はどうなのか見解を疑う」
これをひとつの自治体の、複数の窓口に持ち込むことが、効果を持つ可能性が高いです。
という様な手段でないと駄目なのか?
ネットワークの中でちょっと盛り上がったぐらいでは何も変わらないのか?
教育委員会の問い合わせフォームは一体何のために存在していたのか?
という疑問を残したまま、ひとまず、フェイドアウト……。
2005/11/12追記:
そこにこんなメールが突然来て、「あわくってバタバタ」ってのが見えるようだわ。その「バタバタ」までもが晒されて、心底気の毒。
S:今日の一言
見解を知りたいのなら、正々堂々、表門から入りなさい。
下の「説明不足でした」に書いた通り、「バタバタ」を晒したのは私では無いのだけど、2ヶ月前に教育委員会の問い合わせフォーム(これは表門だと思う)から指摘しているのになんで今「バタバタ」してるの? というのが昨日のエントリ(というのはこの2つ下のエントリ「それはもう2ヶ月も前に……」)を書いた動機。
■説明不足でした
特に記載は無いのだけれど、文中からご本人と判断。
S嬢のPC日記:トラックバックにお返事
説明不足ですみません。
私は元々のリンク元サイトである、
とは関係がありません。
ただ、2ヶ月ほど前に似たようなことをやり、それがなしのつぶてだったので教育委員会のフォームから問い合わせをした次第。
それも返答なしだったのですけどね。
個人的には来年度頭にでももう一度どうなったかチェックしてみようか、ぐらいで停まっていたのですが、思いもよらないところで話題になっていて、しかもそれに反応があったので先のエントリを書いたのです。
この考察を提言するのなら、そういう反応を引き出せるような記載というのも必要だったと思います。わたしは「おもしろがっているように」見受けられました。
S嬢のPC日記:トラックバックにお返事
これは私も同様に感じています。すくなくとも実況中継風にする必要はないでしょう。
そんな流れで、
問題提起を併せてして欲しかった、というのが正直な感想。
と先のエントリで主張したわけです。
もう少し関連を明らかにするように書けばよかったのですが、ちょっと場を混乱させてしまったようで申し訳ないです。
追記:これも一応明らかにしておこう。私は北九州市民ではありません。
■それはもう2ヶ月も前に……
自治体の公式サイトが無断リンクに関してどういう見解を持つのか、そういう「研究」をしたいのなら、自治体に行って聞いてこい
S嬢のPC日記:「無断リンク論争」の余波
もう2ヶ月も前に、教育委員会のサイトにある問い合わせフォームから「そのような運用規定で運用できているんですか? 見直しをするべきではないですか?」という内容で問い合わせをしているのに返事無し、変化無し。
北九州市在住の保護者の方で、この半年のスパンでの無断リンク論争の盛り上がりを目にしている人はいるだろうになぜ何も変わらない?
自分の子どもが通う学校のサイトに「無断リンクは禁止します」とか「許可を得てからお願いします」とか書いてあったら、学校に連絡とるんじゃないの?*1
「そんなホームページを児童や生徒が見ているのか? 児童や生徒が『そう書いておけばいいんだ』と思ってしまう様な指導にならないだろうか?」という問題意識はないの?
目的が手段を正当化することはあってはならないから、
この 「メールで聞いた」 というものに、腹、立ててるわけです。
というのは正しい反応ですよ。
でも、
突然のメールに驚いています。
ちょっとという感覚なのですか?ホームページにリンクするということは重大事項と考えています。
無断でリンクした場合どうなるのかは、貴方様の方がよくご存知ではないですか?
お知らせください。
こんな回答をする学校にネットリテラシーの教育をまかせていいんですか? という問題提起を併せてして欲しかった、というのが正直な感想。
■過学習や誤学習の訂正は?
わんこ日記さんのページを見て、そうか、と気が付いた。
パーソナライズド検索は、ユーザーが検索した履歴を表示、管理、学習することで、ユーザーの嗜好に合わせ、より求めている検索結果であるほど上位に表示される。
使うほどに賢くなる日本語の「Googleパーソナライズド検索」開始 - CNET Japan
でも、検索結果を見に行っただけでポイントが上がってしまうとすると、見に行ったけど実はダメだった時にもポイント良くなってしまうのかな?
結局、使えない検索結果を、どんどん育ててしまうことになると、イヤだな。
[News]使うほどに賢くなる日本語の「Googleパーソナライズド検索」開始 - わんこ日記 (2005-11-12)
慧眼だ。
パーソナライズされた検索結果と、されていない検索結果の両方を出して、されていない検索結果の方を選んだら、学習されている重みづけを減らす?
それとも、パーソナライズされた検索結果を初めに出した上で、されていない検索結果へのリンクがあってそのリンクを辿ったら、ということにする?
使ってみればいい話?
■nested class 再び
ついこの間勉強し直したばかりなので、記憶を強化するべく。
Java 静的ネストクラス
So-net blog:nekoの勉強部屋:Java 静的ネストクラス
1.静的ネストクラスは、頭にstatic修飾子を付けたインナークラスである
2.技術的に言うとインナークラスではなく、トップレベルのネストクラス」と考えるべきである
3.あくまでも「静的」であり、アウタークラスのインスタンスと特殊な関係を共有しない。その証拠に、アウタークラスのインスタンスがなくても、インスタンスを作成することができる
1.は正しくない、というか逆になっています。
Java Language Specification Second Edition に依れば、
An inner class is a nested class that is not explicitly or implicitly declared static.
Classes
とあり、「ネストされたクラスの中で、特にstaticの修飾がないものが inner class」です。
ネストクラス ⊃ インナークラス なわけでで、静的ネストクラスはインナークラスではありません。
を書いた後にコメントをもらったのですが、内部クラス(inner class)という呼び方はちょっとその内容にそぐわないのではないかなぁ、と思っています(元々薄々そう感じていたのだけど、色々調べているうちにその考えが強くなった)。
メンバクラス、と称した方がいいのでしょうか。英語圏での動向も気になるところです。
■夢幻紳士【幻想編】
まったく、なんでこういちいち符号するのかな。
今日、本屋にいった。お目当ての本が無かった。ぶらぶらしていてふと思った。家に帰ったらAmazonで高橋葉介さんの新刊が出てないか検索してみよう、と。
……あったよ。俺はprecognitionの持ち主か?
家に帰って奥付をまず見る。初版が2005年4月で、これは2005年7月第4版。
半年も気が付かなかったのか。でもこの版から察するに、少部数ずつ、1ヶ月毎に増刷していったのだな。
本屋で気が付かなかったのもしょうがない。
読みはじめた。2編目のラスト。
ちょっと待て。
これは先月の末から今月一日にかけて読んだ「朝霧 (創元推理文庫)(北村 薫)」の2話目の題材にもなったリドル・ストーリーと同じ結末じゃないか。
タイトルは「女か虎か」。まさにその通り。
「夢幻紳士【幻想編】」を初版で買っていたら?
「朝霧」を読むのがもっと早かったら?
あまり気にもしなかっただろう。
でも、なんで、この2冊を読むタイミングがこうも揃うのよ?
まったく。
全編、タイトルは映画や小説からの借用なのだな。あとがきの最後にヒッチコックの言葉を引用したのも、たまたまじゃぁないのだろう。
そう。あとがきが実に面白かった。
■発散する回答
サイトのソースをIEの「表示」→「ソース」で見ると文字化けしているものがありますが、これはどのようにすれば見れるようになりますか?(例えばはてなは文字化けしてて読めません)
http://www.hatena.ne.jp/1131632332
質問から、質問者が文字コードに関する知識が不足しているのはみんな想像できるはずなのに、その部分を質問者の立場まで降りて回答する人がいない。
そこまで降りていかないで、文字コードが,エディタが,ブラウザが、という所から話を始めてしまうので、回答が発散して収集がつかなくなっているみたい。
この質問・回答で気になったので調べてみた。
EUC_JP
- 人力検索
- アンテナ
UTF-8
- トップページ
- ブックマーク
- フォトライフ
- グループ
- アンテナ
- RSS
- カウンター
- グラフ
- マップ
- リング
- アイデア
かな。
■権威性の実験 とか
俺自身、幼稚園から高校まで制服を着てきたけど
So-net blog:ペトロ三木の『アタマのおかしいブログ』:11月の「バカは死ね」&宣伝告知もろもろ
どーにも抵抗感は拭えなかった。
制服を着ていた当時は何とも思わなかったが、大学生活4年目での就職活動で、似たような色格好のスーツを着ている何十人もの人間と同じ部屋にいたら、吐き気を覚えた(比喩ではない。本当に車酔いのように気持ちが悪くなった)のを思い出す。
その時は、よく中学・高校と通っていたもんだ、と感じた。
ちなみにミルグラムってのは権威と服従に関する面白い心理実験
So-net blog:ペトロ三木の『アタマのおかしいブログ』:11月の「バカは死ね」&宣伝告知もろもろ
通称『アイヒマン実験』で有名だが、この他にも…
これを読んですぐに実験内容が思い浮かぶ人、気になって調べる人ならいいんだろうけど、あまり期待できないのでは。せっかくのWebでの公開なので、適当な(正しい方の意味で使ってます)リンク先を補って示しておこう。
追加しておく。ミルグラムはこの実験に先立って、精神科医40名にこの実験結果を予想させていた。彼らの予測では被験者の多くは150ボルトまででやめるだろうし、ごく稀には450ボルトまでやるかもしれないと予想したのだった。
そして結果は、大外れ。
最近ちょっと話題の『スモールワールドネットワーク』の基本概念
So-net blog:ペトロ三木の『アタマのおかしいブログ』:11月の「バカは死ね」&宣伝告知もろもろ
になってる『6次の隔たり理論』を最初に提唱した人物でもある。
これがミルグラムの提唱だというのは初めて知った。
ちょっと意外。
*1 私は自分の子どもが通うことになる小学校のサイトはすぐにチェックした。残念ながら教育委員会のサイトの方までは気が回らなかったけど。それは自分でも馬鹿だなぁ、と思っている。
2005-11-10 仮面ライダー THE FIRST
■仮面ライダー THE FIRST 観てきたー あとちょっと脱線
満足。
80分という枠の中で、発端描いて、改造人間の強さと非人間的な面を描いて、1号ライダーの誕生(ショッカーと闘う動機付け)描いて、改造人間(怪人)の作戦(!)描いて、2号ライダーの登場描いて、ライダー同士の立場の違い描いて、藤兵衛さんとサイクロン出てきて、2号ライダーの誕生描いて、アクションやって、共闘までの機微を描いて、おまけにサイドストーリーまで描いちゃう。
盛りだくさんじゃないか。
もちろん"んなアホなー"というツッコミどころはあって当然。(カッコよさ優先のカットとか、あるべきだが後への伏線がバレバレになってしまうので存在しないカットとか、流れを壊すぐらいなら勢いで進めた方がいい、ということ。)
観ていて、あ、ここは仮面ライダーっぽい、とすなおにそう感じたカットもあったし。
気に入らなかったのは"高速度撮影使いすぎ"っていうぐらいか。
しかし、宮内さんも、まさか自分が藤兵衛さん演る日がくるとは思ってなかったろうな。
高野八誠クン、よかった。藤宮*1の時ともまた違う一般人離れしてる雰囲気がウケた。ウルトラマン1回、仮面ライダー2回演じたっていうのも凄い。
脱線。
仮面ライダーで1回、戦隊もので2回(プラス長官役もやっているけど)主演したのは前述の宮内洋さん。
では問題。
ウルトラマンで1回、戦隊もので1回、主演したことがある役者は一体誰?
答え↓
ケイン・コスギ
■JSPなどのディレクティブ
回答には含めなかったけど、言いたいことがある。
HTMLの最初が10〜20行の空行で埋めているサイトをよく見るのですが、どういう意図なんでしょうか?
これのHTMLどうなってるのかなーと思って、ソースを表示するとスクロールしないと出てこないので、一瞬びっくりします。
http://www.hatena.ne.jp/1131583429
JSPで作られている場合、JSPのヘッダ部分……インポートクラスの設定部分なんか設定してある行分だけHTMLの出力としては通常空行が出力される仕様となっています。
<%@ page language="java" pageEncoding="UTF-8" %> <!DOCTYPE HTML PUBLIC "-//w3c//dtd html 4.0 transitional//en">
と書くのではなくて、
<%@ page language="java" pageEncoding="UTF-8" %><!DOCTYPE HTML PUBLIC "-//w3c//dtd html 4.0 transitional//en">
と書いた方が良い、という主張を見たことがある。
ディレクティブの閉じ記号を行頭に持っていくべきだ、ということだ。
私もその様に書いている。
*1 ウルトラマンアグル
2005-11-09 朝霧 赤穂四十七,士 究極の暗号
■ウルトラマン FightingEvolution Rebirth
20分ほどプレイしただけだけど。
……演出が派手になった分、モデリングとモーションの質が落ちている?
Evolution3の方が遊んでいて楽しいなぁ。
追記:その分ステージのギミックが複雑になったのだな。
子供とvsモードで必殺技を見て楽しんでいた。コスモスのフルムーンレクト、最高。
追記:フルムーンレクト、何が最高かというと、
- 怪獣に使う→怪獣が去っていって勝利
- ウルトラマンに使う→握手して勝利
こんな必殺技見たこと無い(フルムーンレクトは最高レベルの必殺技なので、出した瞬間に勝利確定)。
■有閑みわさん 暗号の数理 "究極の暗号"
他に買ったもの。
"究極的な性能を持っている"暗号がある。といってもたいした話ではない。単に、
平文よりも大きな乱数列を鍵に使って、その鍵は2度とは使わない
というだけの話。
これは原理的には解読不可能なものだ。
もちろん、暗号において「鍵の安全性の確保」は非常に大事で難しい問題であり、鍵の配信の問題もそれに含まれる。だから原理的には最強でも、上の様な話は現実的ではない。
そのあたりで面白い話が載っていた。「100万桁乱数表」なる本があるんだそうな。すごいなぁ。
追記:書くつもりだったのに忘れていた。この本には"踊る人形"(コナン・ドイル)や"黄金虫"(エドガー・アラン・ポオ)の暗号文と平文が載せられている。
あとの1冊。
■朝霧 読了 赤穂四十七士
「走り来るもの」を読み終えてから、表題作の「朝霧」に取りかかるまでに一週間経っている。
《私》の祖父の日記に残された"判じ物"――リドル、つまり謎かけのこと――を紐解く話。今回は円紫師匠はヒントを出すのみ。《私》が探し当てることに価値がある、ということ。
……まぁ、たいしたネタバレにもならないと思うので書いちゃったが、仮名手本忠臣蔵*1が関わってくる。
寺坂吉右衛門は、四十七番目*2の義士だ。討ち入り後、別行動を取ったとされる。
お、と思った。
その人の墓が、家の近くにある。といっても歩いて30分はかかるのだけど。

春の桜がきれいな場所だ。
ちなみに、彼の墓はここの他に全国で2ヶ所ほどあるらしい。だけど、せっかくなので、そのことについて調べないでおこうと思っている。
さて次に何を読もうかと思っていたのけど、巻末の「解説」にサリンジャーのナイン・ストーリーズが出てきた。この本のことは最近何かで見たな、と思った。何より、Stand Alone Complex の"笑い男"の引用元でもある。
よし、これを読もう、と思って買った。
どの訳で読むか、というのもあるのだけど、本屋で一番最初に見つけたものにした。

