2006-04-19
■自分の言葉
普段はどこかからかの引用や、自分の読んだものとかについて書いているわけだけど、たまには自分の言葉だけで書いてみようか。
まぁ、とは言っても、それは以前に目にした何かからの引用であるのだろうけど。
「言葉を紡ぐ」とはよく言ったもので、自分の言葉で書くっていうのは確かに自分の頭の中にある何か、を縒り合わせて糸にして巻き取っていくようなものだな。問題なのは糸車にかかっている綿の質と、紡ぐ技術。
紡ぐ技術ってのは訓練で向上させることもできるし、この日記なんてまさしくそのために存在しているといっても過言ではない(過言ではない、なんて口語では普通使わないよな)。いや、因果が逆か、訓練で習得・向上させることができるが、訓練無しには獲得できない能力を「技術」と呼ぶのか。
対象が人間である限りはそれでいいのだけど、人間ではないものに移った時、直感的な意味が逆転するのは面白いな。「科学技術」なんていうときの「技術」だ。ここでは、訓練無しには獲得できない能力を機械(ロボットだったり、人間を補助する道具だったり)に与えた時に使われる。
同じ「技術」だけど英語にすると、前者は technique で、後者は technology なわけだ。
……話を戻そうか(ここで、閑話休題、と書きたくなるのは私の癖か)。
「文章を書く」には「言葉を紡ぐ」以外にもう一つ必要な、大事な能力がある。
「言葉を紡ぐのを止める」こと。これが意外に難しい。あるいは「誰でも小説を書き始めることはできるが、書き終えられる人は少ない」とでも言おうか。
「小説が書ける人」っていうのは「書き始められる人」のことではなくて、「書き終えられる人」のことだ。
自分の本を書きたい、出したい、という人はゴマンといるけれど、それに本当に必要な能力は「書き終えられるか」だよね。
せどりがまたいで通る、新風舎とか文芸社とか、要するにお金を出せば本を出版できて――ここからが重要――ISBNが振られて全国の本屋で扱ってもらえる様にしてくれる会社。扱ってもらえる、ってのは流通ルートに載せられるって意味であって、本当に本屋さんが棚に置いてくれるかはまた別。
あ、さらにお金を出せば、棚においてくれる本屋さん、ってのもあるらしい。最近読んだ何かだな……。なんだっけ?
と、ここまできて、このエントリを「書き終える」ことができるかどうか不安になってきた。着地点が決まっていないで書き出すってのはなかなかに冒険だ。
でもたまには冒険の様なこともやってないと、鍛えられない。意図的に鍛えたい、っていう意思は、ある。それが何かに繋がればいいと思うのだけど。
ふむ。プログラミングにも近いものがあるかな。
プロトタイプで満足したり、ソース書いて終わり、っていうのはまだ「書き終えてない」ってことだな。
「プログラマ」っていうのは「書き始められる人」のことではなくて、「書き終えられる人」のことだ。
あ、いいなこれ。まさにその通りだ。
何かが作りたくて着手はするんだけど結局作れないまま終わる、っていうのは、とりあえず原稿用紙を買ってきて(っていうのはちょいとアナクロだけど)小説を書き始めるのはいいんだけど途中で止まっている、ってのと同じだな。
うっ。
今なんかこう最後の言葉がナイフのように……
by 真山くん from ハチミツとクローバー (6) (クイーンズコミックス―ヤングユー)(羽海野 チカ)
って感じ?
最後の最後で「自分の言葉」じゃないじゃん! ってとこで、お終い。
■またやった
2005年11月5日のエントリを更新して rdf を吐き出してしまった……。
リンク先の修正だけなんです。
■PHASE IV
レアなSF作品。ビデオのみでDVD化されてないとはいえ、値段にビビった。
これは海外版のビデオで発送も海外から。あちらでもDVD化されてないのか? それとも対日本市場価格?
こちら日本語字幕付き。
前にあっちで書いたことあったはずだな。
これだこれだ。
2006-04-18
■家のサーバ
オークションで手に入れた富士通 LOOX T5/53。
Crusoe 搭載。ファンレス。
入れているOSはdebianだけど、i386バイナリ のCD(とかDVD)からのインストールなので X Window の設定以外は全然困らない。
LANアダプタとしてPCカードが必要だけど、玄箱よりもCPUパワーがあって、ファンがない分(?)省電力。そして静か。
オークションだと充分に安いし、実は玄箱よりも役に立っている。
■Keep It Simple, but
という話だな。
つまり、お互い自分の専門領域外で興味のないところはややこしくなくシンプルであってほしい、っていう意味になっちゃってるわけです。でも、自分の領域のこととなると、ディティールが見えているから、単にシンプルという言葉をかざして相手が押しつけてくるものは手抜きにしか感じられなくなる。
CNET Japan Blog - 江島健太郎 / Kenn's Clairvoyance:あらためて感じる、開発の進め方の難しさ
この後半の文に共感した。
内部的な細かいこと(ディティール)が見えている領域・知り尽くしてしまっている領域に対しては、シンプルに捉えられなくなる、というのはその通りだなぁ、と思う。
これに対するプログラミングでの――というかソースコードに近い領域での、と言った方がいいか――解答として、その手順を定式化・形式化しようという試みが「リファクタリング」なんだろうな、と感じた(=そう理解している)。
■メモリースティックDuoに録画してPSPで見る
Hagiwara Sys-Com 006.04.07 Easy Recorder for Memory Stick Duo『いーレコ2』の発売について
前者がMPEG-4 AVCで、後者がMPEG4 Simple Profile Level1, 3。
この映像フォーマットの違いに、価格比で2.5倍高い前者の価値があるのか?
……検索している……。
http://www.oki.com/jp/Home/JIS/Books/KENKAI/n200/pdf/200_R14.pdf
この辺か。
■ファイブスター物語 XII
読んだのは一週間前だけど。
アルルとかネイバーって、5話でMH(SR1とオージェ)を背負って、すっごい格好良く出てきたけどこの巻になると全然イメージが違うのね。
でもこれって、ジョーカー星団に住んでいる一般人の騎士に対するイメージがきっと「強い。格好いい」「でも怖い」なんだっていうことと、実際の騎士の生活との間には落差があるんだ、っていうことと同じなのかなぁ、と。
初登場でその人物のキャラクタが見えない内は「強そう。格好いい」ってイメージでいいんだけど、キャラクタをちゃんと書いていくと「そうじゃないんだ」ってことになるように自然になってるわけだ。
ファイブスター物語って新しい巻が出るとつい読み返したくなるのたけど、やっぱり読み返す度に新しい発見があるんだよなぁ。あ、この「やっぱり」は「今回もそうだった」って意味ね。
■やっちまった
古い日付のデータ更新で rdf を変更してしまった……。
2006-04-17
■BLEACH DS
「強い言葉」と言えば。
面白い、というか、格好いい。
Game Cube版にはがっかりしたけど(千本桜が本当に桜がしかもゆっくりと舞うのにはビックリ。視認できるような演出じゃ駄目じゃん!)、こいつは漫画での格好良さとゲームでの格好良さが別物であることをわきまえていて、漫画での描写に縛られることなくゲームでの格好良さを目指している様で、気持ちいい。
「神槍」なんかゲームの文脈で言えば「レーザー」だもんね。でも刀が「伸びる」よりも格好いいし、その格好良さがより「神槍」らしく感じるという、逆説的だけどそんな感覚。
■6万種と言われても
地球温暖化が現在のペースで進むと今世紀中に、希少動植物が集中して生息する地域で、そこにしかいない固有種の大量絶滅が起こる恐れが大きいとの研究を、カナダ・トロント大などの国際チームがまとめた。
Sankei Web 「ホットスポット」で6万種絶滅の恐れ 地球温暖化(04/15 18:34)
「大量絶滅」という言葉がちょっと引っかかった。
どういう意味で――どういう定義で「大量」なのか? がこの記事からだけでは判らない。
「強い言葉」で煽っている様に読めちゃうのだな。
昆虫なんかは既知で80万種みたい。未知のものだと300万とも500万とも言われてる(未知のものの推定なので、推定した人/組織によってブレがあるのは当然)。
植物種で25万〜26万種みたいで、このうち「約56000種」ってのは確かに「大量絶滅」の様に感じる。
2006-04-16
2006-04-15
■笑いが止まらない
爆笑じゃなくて、くすくす笑いが止まらない〜。
子どもの勉強に付き合ってたら出てきた算数の問題集中の一問↓
2ちゃんねるベストヒット: さゆりさんの問題
「15年前の話です。さゆりさんは上野発の……
■rss.css置いた & umekomiblog
rdf表示用のCSSファイルを置いた。
右上タイトル横の「RSS」アイコンをクリックした時の表示が少しマシになった。
あとでmakerssプラグインをもう少しいじってみるつもり。
CSSファイルは、
から blog_rss.css をいただきました。多謝。
この umekomiblog ってのは php で書かれた、blog システムらしい。セットアップもすごく簡単な様だ。
画面構成もシンプルできれいだし、案外いい拾い物かも。
■2のべき乗の集合とフィボナッチ数の集合の共通点
「完全集合」という概念がある。
テクスト(後述)から引用しよう。
整数の集合が「完全」であるというのは,すべての正の整数を,その集合から有限個の数を1回だけ取って作った和で表せることです.
「正の整数」ってのは「自然数」に等しいな。このエントリでは「自然数」と書く。
例えば2のべき乗の集合。
\(\{2^{0},~2^{1},~2^{2},\cdots,~2^{n},\cdots\}\)
これは完全集合だ。ここから有限個選び、係数\(\sigma_{i}\)
が0または1として、「和で表せる」というのがどういことかというと、
\(\sum_{i=0}^{N}~\sigma_{i}~2^{i}\)
という形で全ての自然数を表現できる、ということ。
なんということはない。2進数表記に他ならない。
\(12~=~1~\times~2^{3}~+~1~\times~2^{2}~+~0~\times~2^{1}~+~0~\times~2^{0}\)
となるので、12を2進数で表記すると 1100 となる。
そしてフィボナッチ数の集合。フィボナッチ数については、
を読もう! ということで……。
気を取り直して、フィボナッチ数の集合(数列)は、{0, 1, 1, 2, 3, 5, 8, 13, 21, ……} となるわけだが、最初の0と1は無用なので取っぱらう(あってもいいが意味はない)。
{1, 2, 3, 5, 8, 13, 21, …}という数列。
ここから有限個を選び、和を取る。係数\(\sigma_{i}\)
にご登場いただこう。
\(\sum_{i=0}^{N}~\sigma_{i}~F_{i}\)
これが全ての自然数を表現する。
2のべき乗の集合とちょっと異なるのは、ある自然数が一意に表現されるとは限らないということ。
例えば3を表現するのに、3 = 1×3 + 0×2 + 0×1 で 100 でもいいし、3 = 1×2 + 1×1 で 11 でもいい。
4 を表現することを考える。これは一意に表現される。4 = 1×3 + 0×2 + 1×1 で、101 という表現しか持たない。
ここで手を動かして、初めの数十個の自然数をフィボナッチ数の和で表現することをしてみるといいのだけど、パス。
4 の様に「一意に表現される数」にはある条件が存在する。それは……フィボナッチ数-1、という条件。
と、ここまでは、
の第8章の劣化コピー。
この本のタイトルに出てくる黄金比というのは\(\frac{1~+~\sqrt{5}}{2}\)
という無理数のこと。
この数の一般的な性質から、幾何学的な性質へ、そこからフィボナッチ数に入り、一般化されたフィボナッチ数列を考え、ルカ数(初項として 2, 1 を与えたフィボナッチ数列)が登場し、最適な間隔と計算アルゴリズムに関しての話で一旦コンピュータサイエンスに近づいて*1、ペンローズ充填という幾何学的な性質に舞い戻り、自然界に観察される性質――花の花弁や貝の模様に表われる対象性、ヒマワリの種の部分に見られる螺旋性――について論じられる、という実にアクロバティックな展開を見せてくれる本だ。
「ミルカさんとフィボナッチ数列」を読み終えている人は、フィボナッチ数の一般項に\(\sqrt{5}\)
がでてきて「僕」が「けげんな顔をする」場面を覚えているだろうか? フィボナッチ数と黄金比と無関係ではない、というか密接な関係があることがこの本で判る。
とはいっても、フィボナッチ数の集合が「完全」であることの証明なんかはスッパリと省かれているので*2、数学を本格的に勉強している人には物足りないだろう。かといって軽い読み物程度というわけでもない。
紹介終わり。
ここからは「私の問題」になる。
去年の11月〜12月にかけて考えていたこと。
集合 A を2のべき乗の集合とする。つまり、
\(A~=~\{~2^{n}~|~n~\in~N\}\) である。(\(N\) は自然数の集合、ただし0を含む)
簡単に書くと、\(\normalsize\displaystyle~A~=~\{1,~2,~4,~8,~16,~\cdots\}\) ということ。
Aのべき集合を考える。
\(\normalsize\displaystyle~\{\phi,~\{1\},~\{2\},~\{1,2\},~\{4\},~\{1,4\},~\{2,4\},~\{1,2,4\},~\{8\},~\cdots\}\)
という集合になる。
空集合はとりあえず無視するとして、その他の元について「その要素の和」を考えてみる。
実は先の記述は意図的な並び方で書いた。
要素の和をとると、\(\normalsize\displaystyle(1,~2,~3,~4,~5,~6,~7,~8,~\cdots)\) となる様に並べている。
つまり、元の「要素の和を取る」ことは、「2進数で自然数を表現する」ことに他ならない、ということだ。
ここまででおかしなことが起きている。
Aは可算無限集合である。
Aのべき集合は連続無限集合である。(カントールによる証明は割愛)
にもかかわらず、Aのべき集合の元について「要素の和を取る」ことで「自然数」と対応がとれている様に見える。これではAのべき集合が可算無限集合であるということになってしまうのではないか? という疑問がでてきた。
prima materia - diary : 集合とか無限とか極限とか
という問題(ここで ? となった人は引用元のエントリに行って全文読んで欲しい)。
今書いた、このエントリの冒頭の引用をもう一度見てみよう。
整数の集合が「完全」であるというのは,すべての正の整数を,その集合から有限個の数を1回だけ取って作った和で表せることです.
この、有限個の数を1回だけ取って、という表現。「あぁ、こう表現すれば良かったんだ」と今になると思う。
「Aのべき集合の元のうち、有限集合の元だけを集めた集合」
prima materia diary - 集合とか無限とか極限とか
なんて書いていて自分でもややこしいなぁ、と思っていたのが、ちょっとスッキリ。
■√2i 進数
結城さん(id:hyuki)からコメントしていただいた件。
Knuth先生のThe Art of Computer ProgrammingのVolume 2に√2i を基数にする話題が出てました。日本語版p.193。ご参考。
prima materia diary - π進数
そうか。2進数に展開するのと同様なのか。
2乗すると-2が表われ、4乗すると4が、6乗すると-8が、8乗すると16が表われる。
ん? 1はどうやって作る? ……(考えている)……0乗すればいいんだ(ってこの間も見逃していたなぁ)。
実質、-2 を基数にするわけだ。
1 = (-2)^0
2 = (-2) + 4
3 = 1+(-2)+4
4 = 4
5 = 1+4
6 = (-2)+(-8)+16
7 = 1+(-2)+(-8)+16
8 = (-8)+16
うん。小数点より左は問題無さそう。同じ理屈で小数点より右側も展開されるんだろうな、きっと。
追記 4/16
-2 じゃなくてわざわざ √2i を基数にしているのだから、その意図を考えると複素平面上の数が展開可能なのだろうなぁ、と感じてはいるけど、考えてない。あしからず。
*1 コンピュータサイエンスと書いたのは正確ではない。「オイラーの贈物―人類の至宝eiπ=-1を学ぶ ちくま学芸文庫 isbn:4-480-08675-7」 に依ればアルゴリズムとは「有限回の計算の後に目的を達する,あいまいさのない一連の手続き」のことだからだ。アルゴリズム=コンピュータサイエンスというのは短絡的な思考認識だ。
*2 このエントリで証明をしない――できない――のもそのため。どんな形の証明になるんだろうか……? 5分ぐらい考えたら分かった。

