2005-07-02
■MADLAX 7 8 を見た
- 監督: 真下耕一
- 出演: 小林沙苗,桑島法子,内川藍維,雪野五月,森川智之
- 出版社/メーカー: ビクターエンタテインメント
- ASIN: B0006TPG0O
- 発売: 2005-01-21
- 監督: 真下耕一
- 出演: 小林沙苗,桑島法子,内川藍維,雪野五月,森川智之
- 出版社/メーカー: ビクターエンタテインメント
- ASIN: B000793EUW
- 発売: 2005-02-23
やっと折り返し。
面白くて続きを観たい気持ちをぐっと抑えて眠ることにしよう。
正直、1巻ごとの感想が書きにくいアニメではある。
2005-07-01
■トゥインクル☆スターシップ 8 を読んだ
トゥインクル☆スターシップ(8) ゴメン、きっとあたし嘘ついてた (ファミ通文庫)
- 作者: 庄司 卓
- 出版社/メーカー: エンターブレイン
- 発売: 2005-06-20
- ASIN: 4757723180
- メディア: 文庫
なんか凄い引き方で終わっているんですけど。9巻をすぐ出してください。えぇ、今すぐにでも出してください。
7巻と比べてすごく内容が濃い。というか7巻は要らない。
パルファンの名前、「夜間飛行」と「アナイスアナイス」しか判らなかった。
■CSSでの傍点
まあ、それはそれとして、傍点が（先の話とはいえ）サポートされるんですね。知らなかった。めでたい。
コメントをいただいてしまった。
それはそれとして、CSSでの傍点は私の記述が間違ってた。
ドラフトとして提出されたものの、CSS2では採用されず、CSS3で採用されるかも。
ただ決定ではなく、したがって実装されることがあるのかも先行き不安。
が正しかったのかな?
えーともうちょっと調べないと判らない。
W3Cに案として提出され、議論の俎上に乗ったのは確か。
■文章さん
このままブックマークの底に埋もれてしまいそうだったので、とりあえず、メモ。
って、これだとトラックバック飛ぶのか? 何か書いておかないといけないか。
「文章たんvs鍵括弧」は自分でも意識しなきゃなぁ、と思いつつもつい使ってしまったりする。と書いているここでのカギ括弧は、引用の範囲を規定するためのものなのでよしとしよう。
CSS2.0で傍点のサポートがされるそうで、その仕様確定と実装を切望している、というのもある。傍点を使いたいけどHTMLではそれができない。strong要素にするかカギ括弧にするかの選択を求められると、ついカギ括弧にしてしまうのだな。
……strong要素にしておいた方がいいのか? 後からCSSで全部傍点に変更できるわけだし。
んー、と考えてみても傍点サポートはまだまだ先の話なので意味がないか。
2005-06-30
■仙台市と福来博士
今日BOから105円で買ってきた某本を読んでいたら、「仙台市の福来心理学研究所」という表記がでてきた。ハイ? となってしまった。
福来といえばあの福来博士だろう。すぐそばに「飛騨高山市の飛騨福来研究所」とも書いてあるからまちがいない。
御船千鶴子や、別のあれで有名になった高橋貞子といった超能力者を全国から発掘した福来友吉博士だ。
WikiPedeiaの福来友吉のページ
http://ja.wikipedia.org/wiki/%E7%A6%8F%E6%9D%A5%E5%8F%8B%E5%90%89
検索してみると確かに、あった。
身近に意外なものがあるものだと思ってしまった。
(関連物件)
- 監督: 真下耕一
- 出演: 斎賀みつき,豊口めぐみ,中多和宏,小林沙苗,千葉紗子
- 出版社/メーカー: バンダイビジュアル
- ASIN: B0000BVCIA
- 発売: 2003-10-24
に収録の.hack//liminalityの第3話、とか。
■キディ・グレイド 4 を見た(2度目)
- 監督: 後藤圭二
- 出演: 永田亮子,平野綾,水橋かおり
- 出版社/メーカー: 角川書店
- ASIN: B000091LEG
- 発売: 2003-05-22
特に感想なし。
リュミエールは、子供っぽくないように演技しているのがいいなぁ。
■舞-Hime 3 を見た
- 出演: 中原麻衣,千葉紗子,清水愛,野川さくら
- 出版社/メーカー: バンダイビジュアル
- ASIN: B0007N36KG
- 発売: 2005-03-25
ふぅ。見ていて恥ずかしー、耐えられーん。
あと、女性キャラが多すぎて声が全然区別がつかないっすー。
戦いのルールが示されてきたね。
8話の舞と巧海のシーンはダ・カーポ1話のパクリかい?
■小説の読み手として若くない
自分がヤングアダルトの小説の読み手としてもう若くないと感じたのは、「バトル・ロワイヤル」を読んだ時だった。この本は高校生か、せめて大学生の時に読んでいれば面白いと思って読めただろうなぁ、と冷静に読んでいるのを自覚したから。
■無限のリヴァイアス 4 を見た
- 出演: 白鳥哲,保志総一朗,関智一
- 出版社/メーカー: バンダイビジュアル
- ASIN: B00005EDQ9
- 発売: 2000-07-25
「いくらなんでもデタラメすぎる!」って確かに。
ヴァイタルガーダーってなんで人型してるのかは謎だな。
「反撃できない! 逃げることもできない!」
宇宙戦を支配する冷たい方程式ってやつだねぇ。
■無限のリヴァイアス 3 を見た
- 出演: 白鳥哲,保志総一朗,関智一,桑島法子
- 出版社/メーカー: バンダイビジュアル
- ASIN: B00005EDQ8
- 発売: 2000-06-25
やっと登場人物の大体が表舞台に出てきたのかな? (謎の少女を除く)
ゲドゥルトの中では実際に音が伝わるのかもなぁ、などと考えている。
2005-06-29
■Q.E.D カントール デデキント ゲーデル そして ミネルヴァの梟
まぁ、少しずつながら読み進めている、
- 作者: 野崎 昭弘,はやし はじめ,柳瀬 尚紀
- 出版社/メーカー: 白揚社
- 発売: 1985-05
- ASIN: 4826900252
- メディア: 単行本
ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版
- 作者: ダグラス・R. ホフスタッター
- 出版社/メーカー: 白揚社
- 発売: 2005-10-01
- ASIN: 4826901259
- メディア: 単行本
↑2005/11/5 追加
だけどやっぱり難しいー。30過ぎの頭に詰め込むのはちょっと大変。やっと2割ほど読んだところか。
というわけで大学時代に読んだブルーバックス、
ゲーデル・不完全性定理―"理性の限界"の発見 (ブルーバックス (B-947))
- 作者: 吉永 良正
- 出版社/メーカー: 講談社
- 発売: 1992-12
- ASIN: 4061329472
- メディア: 新書
を実家から持ってきて軽く読み始める。こちらは数学界においてゲーデルが不完全性定理を導くに至った経緯をざっと示した本。
現時点でのミステリィコミック最高峰(と私は思っている)「Q.E.D.」も引っ張ってきてしまえ。
まずは、
Q.E.D.証明終了(20) (講談社コミックス月刊マガジン)
- 作者: 加藤 元浩
- 出版社/メーカー: 講談社
- 発売: 2005-02-17
- ASIN: 4063709728
- メディア: コミック
「無限の月」。燈馬君と胡(フウ)は「無限」の話をする。
例えば、「整数」と「偶数」とどちらが多くあるか? 偶数の集合⊂整数の集合*1なのは明らかだ。
だが、実は「どちらも同じだけある」。,,-2←→-1,0←→0,2←→1,4←→2,,,という様に関連づけていくと、どちらも余らずにきっちりと1対1の対応がとれる。
次に、「整数」と「分数で表せる数、つまり有理数」はどちらが多いか? これもまた「どちらも同じだけある」。カントールが2次元の配列状に配置した「有理数の表」を順番に数え上げていく手法を示した。(Q.E.D.からスキャンした画像
)
そのような、自然数で順番に数え上げられる無限集合を「可算無限集合」 \(\aleph_0\)
(アレフゼロ)と名付けた。
次に、「無理数」と「有理数」ではどちらが多くあると言えるか? カントールはこれにも答えを出す。後に「対角線論法」と呼ばれることになる巧みな背理法によって。
1対1の対応を付けようとすると矛盾が生じ、「無理数」は「有理数」よりも多くあることが証明される。実数全体の集合にあたる無限集合に \(\aleph\)
(アレフ)の記号をあてた。
そして、カントールは「無限」に囚われてしまう。連続対仮説 \(\aleph=\aleph_1\)
もしくは \(2^{\aleph_0}~=~\aleph_1\)
を証明することができずに失意の内に世を去る。*2
後にこれは証明不能な問題であることが証明される。その証明をしたのは誰あろうゲーデルだった。
ここからはQ.E.Dには書かれていない話。その前に2次元平面内の点(x, y)の集合が、実数の集合すなわち \(\aleph\)
であることをカントールは証明している。
実数全体の集合というと1次元の直線上の点の集合を思い浮かべればいい。それと2次元平面内の点(x, y)の集合が1対1に対応するという!
証明したカントール自身、信じられない気持ちでその結果を畏友に宛てて手紙をしたためたそうだ。
その畏友の名は……デデキント。
Q.E.D.証明終了(15) (講談社コミックス月刊マガジン)
- 作者: 加藤 元浩
- 出版社/メーカー: 講談社
- 発売: 2003-05-16
- ASIN: 4063338827
- メディア: コミック
にでてくるエピソード名「デデキントの切断」。それはまさに、「無理数」は「有理数」よりも多くあるということを直感的に説明したもの。
「デデキントの切断」に登場したロキことシド＝グリーンの初登場の回はというと、
Q.E.D.証明終了(3) (講談社コミックス月刊マガジン)
- 作者: 加藤 元浩
- 出版社/メーカー: 講談社
- 発売: 1999-05-14
- ASIN: 4063336794
- メディア: コミック
の中の「ブレイク・スルー」。その中でロキは問題を出す。
1mの木があるとする 1年目は1/2m 2年目は1/4mって 1年間に前の年の半分 成長するとして この木が 千年成長したら 高さははどれくらいに なるでしょう?
答えは、「2mに満たない」。限りなく2mに近づくだけ。
そして「G.E.B(ゲーデル・エッシャー・バッハ)」に戻ろう。「小さな和声の迷路」の中でアキレスと亀はランプからジン(妖霊)を呼び出す。アキレスは言う。「たった三つじゃなくて百個の願いごとをしたい」と。妖霊は言う「メタ願望をかなえてはやらん」。
それでも食い下がるアキレスに対して、妖霊は自分の持つメタ＝ランプを取り出し、メタ妖霊を呼び出し始める……。
やがて、妖霊はメタ妖霊を呼び出す。
妖霊は言う。「なあに、ほんの一瞬で足りる――」。
メタ妖霊に妖霊は要請する。
一つの無型願望の持続するあいだだけ。どうかこの願いをかなえてはくれんか?
メタ妖霊は言う。「ほんの半瞬待ってくださいな。」
メタ妖霊は妖霊の二倍素早くメタ＝メタ妖霊を呼び出し、要請する。
一つの無型願望の持続するあいだだけ。どうかこの願いをかなえてくださらない?
メタ＝メタ妖霊は言う。「ほんの四分の一瞬待ってくれないか?」
メタ＝メタ妖霊はメタ妖霊の二倍素早くメタ＝メタ＝メタ妖霊を呼び出し、要請する。
…
…
…
…
神
…
…
…
…
メタ＝メタ妖霊はメタ妖霊に言う。「きみの願いはかなえられたよ、メタ妖霊さん」
メタ妖霊は言う。「あなたの願いはかなえられたわ、妖霊さん」
妖霊はアキレスに言う。「きみの願いはかなえられた」
そして、妖霊が「ほんの一瞬で足りる」といってから、正確に一瞬経過している。
この無限に続く妖霊からメタ妖霊，メタ妖霊からメタ＝メタ妖霊，メタ＝メタ妖霊からメタ＝メタ＝メタ＝妖霊，，，の呼び出しが「正確に一瞬」経過するだけで終わる不思議さ。
さりげなく、「アキレスと亀のパラドックス」の回答が呈示されているのだ。
「アキレスと亀のパラドックス」は、ゲーデル,エッシャー,バッハ―あるいは不思議の環(野崎 昭弘/はやし はじめ/柳瀬 尚紀/ダグラス・R・ホフスタッター)の、最初の対話「三声の創意(インヴェンション)」で示されている。
G.E.B.は「アキレスと亀のパラドックス」を呈示するところから始まっていたのだった。
ゲーデル・不完全性定理―"理性の限界"の発見 (ブルーバックス (B-947))(吉永 良正) の始まりは?
プロローグ「"理性の迷宮"への招待」に出てくる文を引用しよう。
ミネルヴァのフクロウは黄昏に飛び立つ、といいます。 ゲーデルの不完全性定理という、"フクロウ(知)"も 歴史の暮れ方に飛び立ち、 一つの時代がいわんとしていえなかったその時代の 真の"精神"をも告知したのでした。
そして、Q.E.D.の始まり、
Q.E.D.証明終了(1) (講談社コミックス月刊マガジン)
- 作者: 加藤 元浩
- 出版社/メーカー: 講談社
- 発売: 1998-12-14
- ASIN: 406333659x
- メディア: コミック
のファーストエピソードもまた、「ミネルヴァの梟」だった。
■drupalで遊んだ一日
コンテンツを作っていくのは大体判ったとして、きれいにカテゴリに分類する方法論みたいなもの? がうまく構築できない。
カテゴリの使い方とかもまだ上手く理解できてないし、Glossaryを入れても辞典の作り方判らないし。
はてなやWikiみたいにキーワードで勝手にリンクされていく自己組織化的な分類と、コンテンツ作成時にこれはこのカテゴリみたいながっちりした分類とが融合したような、そんなサイトが作れそうな気もしたのだけど、そう思い通りにはいかないか。
Amazonからデータ参照するモジュールも上手く動かなかったりしてそのへんをハックするのも面倒だし。
何よりも、目的もなくCMSを触っていても限界があるというか、適当に触って終わりというか。
まぁ、XOOPSをいじった初日よりは、楽しかったと書いておこう。
■その警告ダイアログは「証明書のインストールを促す」ものではない
これらのページ自身がLGPKI発行のサーバ証明書によるhttps:// ページなので、 当然にセキュリティ警告が出る（サーバ証明書の真正性が確認できないとの 警告が出る）わけだが、 佐賀県は「セキュリティ警告が表示されたら」のページで、「はい」ボタンを クリックせよと言っている。
高木浩光＠自宅の日記 - 佐賀県のアンケート結果「証明書のインストールは簡単」
と書いた上で、その下に佐賀県のページ(broken link)を引用して、重要な部分に色をつけてくれている。その部分、
これは、本サイトと安全な通信を行うために必要な「証明書」のインストールを促すものです。
が真っ赤な嘘だということをもっと主張してもよさそうなのに。
「送られてきた証明書は信頼できないものなのだけど本当によいか？」と言っている警告に対して、上記の様に明らかに間違った説明をしている。これは「安全でない通信で証明書をダウンロードさせるインストール手順」よりも、ずっと危険なことのように思う。
他のサイトで同じダイアログが出た時に、「必要な証明書のインストールを促す」画面だと思う人を増やすだけの危険な説明だ。
せっかく手間をかけて背景色を変化させて注目させておいて、そのあたりの説明が無いのは残念。
……まぁ、そのへんのことは自明だということで、わざわざ書かなかったのだろうとは思うのだけど。
■Drupal
インストールして遊んでいるところなのに、drupal.orgがダウンしている? らしくてモジュールとかが手に入らないぞー。
いったん中断。
■Windows Update
更新された様だけど、@ITとかに関連記事がでてない。
とりあえず待ち。
2005-06-28
■MyJCB
ログインしたら、
現在ログインいただいているカードにつきましては、情報流出の恐れがないことを確認しておりますので、ご安心ください。
って出てきた。
利用履歴の確認のためにログインすれば判るわけだ。何の連絡もないよりはマシか。
■ビフォーアフター
- アーティスト: 松谷卓
- 出版社/メーカー: エピックレコードジャパン
- 発売: 2004-09-23
- ASIN: B0002T22IC
- メディア: CD
あの番組の曲が入ったアルバム。イイ!
■Never7 再び
Ever17収録のアペンドシナリオをプレイ中(というか読んでいるだけだけど)。
下らない，けど笑える小品から、本編に匹敵する密な長編までけっこうたくさん本数があるのでまだ全部終わっていない。
下らないネタでは、それぞれのハッピーエンド後の世界から集まってきた女性キャラクター達と、何事もなく平穏に合宿が終了した世界(!)の主人公が、同じ世界の4月1日にスリップしてくるドタバタものが面白かった。というか、他のどんなゲーム*1でも成立するネタだけど、もともと時間の永久ループを扱っていてタイムスリップが劇中で起こるこのゲームだと、普通に「あぁ、そういうことも起こるのね」的に納得されられてしまうのが面白いトコ。
各キャラクターのシナリオを全部見ているプレイヤーは各ヒロインの事情が判っていて、プレイヤーの分身のハズの主人公が全然わけわからん状態なところのギャップが妙に楽しかった。
■キディ・グレイド 3を見た
- 監督: 後藤圭二
- 出演: 永田亮子,平野綾,水橋かおり
- 出版社/メーカー: 角川書店
- ASIN: B00008PTBJ
- 発売: 2003-04-25
お気楽なエピソードが2つで呑気に見ていられる巻。
5話は、顔を見合わせた二人がため息をつくシーンが(陳腐だけど)好き。
6話は、場違いなほどデフォルメしてる島本須美の演技が、聞いていて恥ずかしいぐらいで面白い。この話のオチも実に陳腐だけど可笑しい。
*1 マルチエンディングなギャルゲー