スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

ヘンペルのカラスの対偶

ヘンペルのカラス対偶には誤りがある。

「全てのカラスは黒い」⇔「黒くないものはカラスでない」
("All ravens are black." ⇔ "Everything that is not black is not a raven.")

「全てのカラスは黒い」という命題を証明するには「全ての黒くないものはカラスでない」ことを証明すれば良い。 そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる。 こうして、カラスを一羽も調べること無く、「カラスは黒い」という命題が、事実に合致するか否かを証明できるのである。

この例では、「全てのカラス」と「カラスでないもの」、「黒い」と「黒くない」を対にして、それぞれ補集合 (否定) の関係がなりたっているように見える。しかし、証明すべき命題に論理のねじれがある。

...続きを読む

スポンサーサイト

再開

しばらくサボってましたが、そろそろ再開しようかと思います。

謎のタワー

MyMiniCity - tower

右の画像は MyMiniCity のとある街で見つけたタワーです。
一体何のタワーだろう?


Sapphire HD 2400 pro (AGP)

グラフィックボードを新しくしました。
RV350 → RV610 で一気に3世代アップグレード。 (というか、ローエンドはこれしかなかった。)

  • MB: ASUS A7V600
  • VGA: Radeon HD 2400 pro (Spphire 製、AGP、256MB)
  • OS; Windows 2000
  • Driver: Radeon Omega Drivers 4.8.442 (Catalyst 7.12)
  • DirectX 9.0c (August 2008)

AMD 公式ドライバの Catalyst 8.8 でかなりバグが修正されているらしいのですが、Windows 2000 は元々非対応なので次の Omega Driver 待ち。
地雷気味の組み合わせですが、問題なく動いてます。

ちなみに、FF11 ベンチマークの Low のスコアは 4052 でした。

Firefox 3 Hacks

Firefox 3 Hacks Mozillaテクノロジ徹底活用テクニックFirefox 3 Hacks Mozillaテクノロジ徹底活用テクニック
(2008/08/27)
江村 秀之, 池田 譲治, 下田 洋志, 松澤 太郎, dynamis

商品詳細を見る

日本人の Mozilla 貢献者による完全書き下ろしの「Firefox 3 Hacks」が Amazon で予約可能になりました。
執筆者は表紙に書かれた 5名の他に 3名が参加しています。

Firefox 3 の新機能を中心に中身の濃い Hack が満載です。
いや、本当に。

追記: (オラの村から Firefox Hacks 翻訳日記/ウェブリブログ 経由)
O'Reilly で本書の目次サンプル Hack が公開されています。

...続きを読む

MyMiniCity

MyMiniCity というサービスで町をつくってみました。

Ageha cho - MyMiniCity
http://ageha-cho.myminicity.com/

ページを訪れるだけで人口が増えて町が発展していきます。
カウントは一人一日一回までです。
"Write in the News Bulletin" の帯をクリックするとコメントを書き込めます。

現在のところ、全世界で33万以上の街があるらしいです。
めざせメトロポリス!