2006-05-22
■稀少品入手
BookOffにて、
- 作者: 小中 千昭
- 出版社/メーカー: ソニーマガジンズ
- 発売: 1998-11
- ASIN: 4789713202
- メディア: 単行本
入手! 嬉しい。
イザベル・アジャーニ―異郷の妖精、情熱のヒロイン (デラックスカラーシネアルバム)
- 出版社/メーカー: 芳賀書店
- 発売: 1987-10
- ASIN: 4826105274
- メディア: 単行本
も。
ポランスキー監督の、
- 監督: ロマン・ポランスキー
- 出演: ロマン・ポランスキー,イザベル・アジャーニ,メルヴィン・ダグラス,ベルナール・フレッソン,シェリー・ウィンタース
- 出版社/メーカー: パラマウント・ホーム・エンタテインメント・ジャパン
- ASIN: B00005GTNK
- 発売: 1986-10-21
にも出ていたんだ。知らなかった。
っていうか、DVD化されていないのかよ! レンタルビデオとかで見かけた記憶も一切無いし……。
知る人ぞ知る、って作品になるわけか?
■そういえばTXの日本語環境は
結局 JaPon + POBox にした。
POBox の On/Off の仕方が分からなくてちょっと不便だが、ちょっとだから放っておいていたりして。
■債権者に
潰れた会社のソフトウェアとかの著作権はどうなるんだろうか？
No Krack No Life - 著作権
いわゆる「倒産」であれば、債権者に権利がいくのでは?
……(検索している)。
管財人……かな。
2006-05-21
■可能無限 最後に
可能無限の世界がようやく分かった(と思えた)。
集合論的な考えから離れて、算数〜数学の授業で習ったことを順に考えてみよう。
まず整数。
次に分数。
負数。
それとは別に幾何学的な性質から円周率πを得る。
またピタゴラスの定理が幾何学的に証明される("ピタゴラスの定理を幾何学的に証明する"というのをアンチョコを見ずに、記憶を頼りにやってみよう。楽しいよ)。
短辺が1の直角三角形の長辺の長さは? \(x^2=2\)
を満たす x だ。とりあえず分からないので √2 という記号で書いておく。
√2 が分数の形で書けないことが、背理法で証明される。
分数の形で書ける数に有理数、書けない数に無理数という名前を付けた。
有理数と無理数で構成される数のことを実数と……しない。
そう、可能無限の立場では「実数」という概念が出てこない(それが可能無限の可能無限たる所以だから)。有理数と無理数。ただそれだけ。したがって見馴れている、数直線やx-y平面は出てこない。
p95
実数というのは、ですね、"real number"などと総称されてはいますが、全然リアルではなくって、(略)。それが、あたかも順序づけられるかのような解釈が可能なために、数直線という実体化された均質なイメージができあがってしまうのです。
ということで、ここで言う無理数は我々の知っている無理数ではない。無理数のうち、代数的数*1とπ*2だけしか扱わない。このことは念頭に置いておく。
とりあえず連立方程式は OK だ(追記:全然OKじゃなかった。後述する)。上にも書いた通り代数的に出てくる無理数は扱えるから。
次は関数。これはNGだ。というか、あまり扱う意味がない。連続関数という概念もなければ、x-y平面上にグラフを書くことも許されないのだし。
微分も出てこない。連続関数がでてこないから。多分積分も出てこないだろう。
対数が出てこない。指数関数\((f(x)~=~a^x)\)
で、xの値域が実数まで拡張されてないから。ネイピア数eも出てこない。
三角関数も駄目。
順列、組み合わせ、確率なんかはまぁ、OK。
ベクトルや行列、虚数もOK。ただ、三角関数が扱えない世界では、行列や虚数はろくな道具になりはしないだろうけど……。
以上。
可能無限がたどり着ける世界はここまで。
これ以上に何か面白い地平が見えるのであれば、解説希望。
追記
πが無理数であることの証明は、可能無限の世界ではできないのではないかと思うが――微積分を使うから――いいのか?
さらに言うと、可能無限派のはずのタジマ先生がどうして「πといった個々の実数を作る規則はあります」(p97)と言えるのだろう?
2006-5-22 追記
>三角関数も駄目。
を説明。
[0, 2π) の連続する開区間と、[-1, 1] の連続する閉区間との間の対応づけをする関数だから。実数の連続性を否定した可能無限の世界ではこの対応付けはできない。
y = sinθ の関数で、θに有理数か代数的数をつっこんだとしてyの方からそうでない数が飛び出てくるかもしれない――出てくるはずだ。それは可能無限の世界では「数ではない」。
2006-11-14 追記
ちゃんと習ったのではなくて授業の合間の話として聞いたのだと思う。
「5次以上の方程式には解の公式は存在しない」(これについては、20070327.html#p01 のエントリの方が適切ですのでそちらをどうぞ)
その時は、ふーん、というぐらいにしか思っていなかったのだけど、最近それが何を意味しているか? に思い至った。
それはつまり、解の中に「四則演算とべき乗根を有限回用いて表せる数*3」ではないものが存在する、ということなのだ。
p97 より引用
平方根とかπといった個々の実数を作る規則はあります。ですから、個々の実数は認められます。しかし、実数の集合というのは、そうした種々雑多な規則の集合ということですから、そうした規則を作る規則を与えねばなりません。しかし、そんなものはありゃしないのです。自然数のときのような、すべての実数を体系的に作っていく規則などというのはないのです。
実にまさにその通りなのである。
5次以上の方程式の解の中には、「代数的に記述することができない数」があるのである。
「個々の実数を作る規則があるから、その(=個々の実数)存在は認められる」と可能無限派のタジマ先生は言う。ならばその規則が書けなければその数は無い、となるのか? タジマ先生に尋ねてみたいものだ。
しかしながら、5次以上の方程式であっても解は間違いなく存在する。
可能無限の世界は、18世紀の数学にすらたどり着けない、ということなのだろう。きっと。
追記
どこからの引用なのか書いてなかった。
- 作者: 野矢 茂樹
- 出版社/メーカー: 講談社
- 発売: 1998-09-18
- ASIN: 4061494201
- メディア: 新書
の話題である。
2006-05-20
■ロハス
コンビニの雑誌コーナーを眺めていてふと思った。
ロハスは造語らしいけど、lotus(蓮)を踏まえているのだろうか?
仏教では極楽浄土に咲いている花。
ホメロスのオデュッセイアでは怠け者の国。英語で"lotus eater"といえば"怠け者"。
それとは"似て非なるもの"という意味があるのかしらん?
などと思いながらメール便を出してきた。
■トラフィック≠Alexa Traffic Rankings
この度、皆様のおかげでfc2.comのトラフィックが国内最大級人気ショッピングサイトamazon様のそれを超えたのでお知らせ致します。
ＦＣ２インフォメーション amazon突破
※(2006年5月10日Alexa様調べ）
"トラフィック"って単位は何? 期間は?
blog を書いている人が、画像をアップロードしたりするのも含まれているの?
What is Traffic Rank?
Alexa Web Search
The traffic rank is based on three months of aggregated historical traffic data from millions of Alexa Toolbar users and is a combined measure of page views and users (reach).
"Alexa Toolbar users"の、3ヶ月間の集計、だね〜。
■あちら側
すべての本がスキャンされて「あちら側」に格納されて検索できるようになったら - My Life Between Silicon Valley and Japan
本文と関係がないのだけど、blog で"あちら側"と書かれると違和感が……。
関連
2006-05-19
■カテゴリー
近所の GEO にて、
- 監督: ブライアン・デ・パルマ
- 出演: トム・ハンクス
- 出版社/メーカー: ワーナー・ホーム・ビデオ
- ASIN: B00005HKWW
- 発売: 2000-08-25
がヒューマン・コメディの棚に入っていた。
間違っているんだか、正鵠を射ているんだか、ちょっと、悩んだ。
■文字コード判定をベイジアンフィルタで
（ブラウザなりテキストエディタなりの）文字コードの自動判別を学習型の ベイジアンフィルタでやったら便利なのでは、と、さっきふと思ったりしました。
d.y.d.
面白いかも。
Perl なり Ruby なりでパパッと implement して、適当な量のテキストを学習させてみて試すということができない自分が微妙に悔しい。
2006-05-18
■クイズです
大したことはないクイズ。かつ悪い見本でもあるし。
Hoge hoge = null;
hoge.setSize(5);
int size = hoge.getSize();
を実行したが、NullPointerException が発生しなかった。これはどういう時か?
:
:
:
:
:
:
:
:
:
:
:
:
----------------------------------------------
答え
setSize, getSize メソッドは実は static メソッド(class method)だった。
解説
ピリオドの前が class 名ではなく変数だった場合は、変数に格納されているインスタンスとは関わりなく、変数宣言の class(つまりは"型")を以て、コンパイル時点に呼び出すべきメソッドが決まる。従って null であっても構わない。
■無限論の教室
(結構追記したので昨日からエントリを移してきました)
- 作者: 野矢 茂樹
- 出版社/メーカー: 講談社
- 発売: 1998-09-18
- ASIN: 4061494201
- メディア: 新書
30ページあたりで読む気が無くなった。残りは速読っぽくぱらぱらとめくるだけにする。
さて、この本で結局何を主張したかったのだろうか? それが分からない。
カントールからゲーデルまでに至る、数学の話を展開してくれるのだけど、無限集合について「嫌な感じでしょう」などといって「可能無限」なる概念を導入する。
ゲーデルの不完全定理にまつわる(例えばブルーバックスのような)「初心者向け啓蒙書」のごとき内容に、「可能無限」なる考え方をくっつけただけ。
駄目じゃん。
「可能無限」なんてものを導入したいなら、「それを導入することで数学はどの様に変化するのか?」についてある程度考察をしてくれないと駄目なんじゃないか?
可能無限の世界では
π+π=2π
は成立するのか?
√2×√3=√6
はどうなる?
微分や積分は依然として元の通りに使えるのか? 使えないのか?
フーリエ級数展開とかは?
そんな疑問についての答え・解説はちらりとも出てこない(ように見えた)。
20060512.html#p02 にも書いたが「可能無限」という用語の導入の時点で、ミスリーディングを仕掛けている匂いがする。
結城さんの日記のコメントに"面白い"と書いた人に理由とか聞いてみたいなぁ、などと思うのだけど。
アインシュタインの功績を全否定したがる「ニセ科学」者が、原爆のエネルギーがどこからくるのかを全く説明してくれない、という図式に似てるなぁ、と思った。
可能無限にまつわる話は、
が最後(じゃないけどまぁいいや)。