^ up < 2010/6 (a)

2010/7 (a)

人間というのは、夢をみたがる植物だ。

/01 [Sun]

(23:56)

/31 [Sat]

(11:10)

(20:43)

(00:59)

/29 [Thu]

(08:23)

(22:26)

(22:27)

/27 [Tue]

(08:24)

(23:01)

(追伸…いますごいこと気づいた。 「チョムスキー」の文字を並び替えると 「キムチスキヨ」になる!! ああそうだ? これは偶然ではない!!!1)

/26 [Mon]

(18:35)

(19:54)

そもそも“多態 (poly-morph-ism)”って言葉の意味をちゃんと考えたことがあんのかね? その名のとおり「複数の形態をもつ」って意味である。 これと仮想関数のあいだに直接の関係はない。 たとえば、以下の例は仮想関数を使ってないが多態だ:

class A {
public:
  void foo() { printf("foo\n"); }
};

class B {
public:
  void bar() { printf("bar\n"); }
};

class C : A,B {
};

main()
{
  C* c = new C;
  A* a = reinterpret_cast<A*>(c);
  a->foo();
  B* b = reinterpret_cast<B*>(c);
  b->bar();
}

ここでは C は、お互いにまったく異なる型 A, B として ふるまうことが可能である。-- つまり型 C はひとつのオブジェクトなのに、 型 A と型 B の2つの態を見せることができるのである。 しかし、これは危険な多態だ。 なぜなら A と B は互いにまったく関連がないため、 共通の窓口がなければ、使う側はどうしていいかわからない。 だから型付けのある言語では普通こんなことはしない。 ある意味、型C は「手なづけられていない野獣」であって、 何に化けるかわかんないのである。それはキケンなので、 とりあえず檻の中に入れて格子窓から様子を見よう、 ということになる。ここで始めて、共通のインターフェイスが必要だという話が出てくる。

…しかし、ここまで来ても、まだ仮想関数は必ずしも必要ではない。 そもそもC++の“仮想関数 (virtual function)”ってのは、その名のとおり 「関数のようであって関数でないもの」「事実上は関数」「ほとんど関数」 という程度の意味であって、これは単なる関数のラッパ、あるいは 「スイッチつきの関数」にすぎない。Stroustrupp にもそう書かれている。 仮想関数を使わなくっても、自分で型情報を覚えておくフラグを入れておいて 自前のスイッチ関数を作れば、同じことはできる。ただしメンドーくさいし、 あいかわらず危険なキャストは必要となるので、言語のサポートを利用した 仮想関数が一番安全なのだが。

いっぽう、Python などはducktypingなので、もっとワイルドに 野獣を野獣のまま扱っている。だから、どこの馬の骨とも知れないオブジェクトを いきなり正統派の file オブジェクトとして扱いだしたりする。 ときに裏切られて予想外の AttributeError で落ちたりもするが、 それはワイルドさの代償というもんだ。いっぽう“正統派”オブジェクト指向言語における 基底クラスは、そのオブジェクトのふるまいをある程度規定するので、 これはその動物の家柄の良さをしめす“血統書”のようなものと考えることができる。 もっとも、「家柄が良くても実はダメな奴」 って奴は、人間界にもオブジェクト界にも一杯おりますがね…

/25 [Sun]

(21:50)

(00:44)

/25 [Sun]

(12:53)

うぶんつ 10.04 アップデート顛末記: Ubuntuやめました。

もうこんなアホなOSをいじっているのは時間の無駄だ… ということで、さっさとハードディスクを買ってきて Arch をインストールした。 これは急に決めたことでない。実は半月ほどまえに、 まず eeePC に Arch をインストールしてみたのだ。ついでに、 会社で使っている VM も Arch にしておき、最初の手順をあらかたマスターしたところで いちばん重要な家のPCにインストールしたのである。 今のところは、まあ、快調というところ。

いくつかのプログラムは自分でビルドした。 おもに日本語関係のものである:

• ddskk-13.1
• apel-10.8
• lv-4494
• kterm-6.2.0
• Kappa20-0.396
• fvwm-2.5.30

2時間ほどでほぼ使えるようになったが、そのあと「hibernationができない」問題で長らくハマった。 最初はswapパーティションが明らかに少ないことが原因だったのだが、それを解決してもだめ。 なんでー? と思ったら、結局、Arch Wiki に書いてあるように、 initrd で resume させる設定を書かないとダメなのである。この点だけは Ubuntu のデフォルトのほうが 親切であった。しかし Arch のいいところはドキュメンテーションがずっとまともなことである (少なくともUbuntuに比べると)。そして、upstartとかの素晴しい試みもない。だから全体的に、 より「Unixっぽい」感じで、新山にとっては Slackware をほうふつとさせるところがある (Slackware自体、まだあるのだが)。Gentooとかも文書がしっかりしてて結構スキなのだが、 オレは glibc とか jdk をソースからビルドしている時間はないんだよ!

(12:55)

Apache log4j 1.2.16

考察: メソッド名の上位3位は "get", "test", "set" である。 "test"が多くなっているのは、unittestの項目が多いためだろう。 また (当然ながら) クラス名・変数名には "log" という名詞が使われていることが多い。

Apache Maven 2.2.1

考察: メソッド名の上位3位は "get", "test", "set" である。

Apache Lucene 3.0.1

考察: メソッド名の上位3位は "get", "test", "set" である。 また "doc", "query", "term" などの、それっぽい単語がよく使われている。

Apache Xerces 2.9.1

考察: メソッド名の上位3位は "get", "set", "is" である。 クラス名は "impl" で終わっているものが多く、これはおそらくインターフェイスと実装を 厳密に分離しているためだろう。

ANTLR 3.2

考察: メソッド名の上位3位は "test", "get", "set" である。

/24 [Sat]

(10:58)

/23 [Fri]

(19:16)

• 名前は簡潔かつ直観的にすべし。
• メソッド名は動詞にすべし。
• boolを返すような関数は、isなんとか, hasなんとか を使うべし。

ちなみに、C# 界における「スリジャヤワルダナプラコッテ」はこれ:

System.Windows.Forms.ListViewVirtualItemsSelectionRangeChangedEventHandler

これは現在 .NET の標準ライブラリにあるもののうち、もっとも長い型名であるそうな。 自然言語における長い名前については ウィキッペを参照のこと。

(19:45)

たとえば「getなんとか」という関数は、 それこそ山のようにあるが、それらの "get" がホントに同じ意味 (語義) で使われてるか? といえば、あやしい。ほとんどの getなんとか関数は、 現実世界の物体を「取る」ようには動作しない。たいていの getなんとかは 情報をコピーするだけだ。たとえば GetAttribute などの関数は、 通常そのオブジェクトの属性を別の領域にコピーするだけで、もし GetAttribute したからといって その属性が消えてしまったら、プログラマはさぞかし驚くだろう。いっぽうで GetEvent のような関数は、文字どおり「とったらなくなってしまうget」を実現している。 あるいは、GetId() のような関数は、"get" と名はついているものの、 実は呼ばれるたびに新規なIDを生成しているかもしれない。こういった関数は例外的で、 通常のプログラマは "get" といえば「とってもなくならないもの」を期待することが多いだろうが、 すべての単語でこうした憶測に頼るのは危険である。

たとえば、関数名・メソッド名としてよく使われそうな動詞をざっとあげてみよう。 以下は新山の主観による不完全な分類だが、"get" には、少なくとも 4つぐらいの潜在的な語義がありそうだ:

• (なにか新しく)「作る」 … get, create, make, new, produce, build, construct, compose, prepare, allocate
• (既存のものを)「取得する」 … get, read, fetch, grab, obtain, retrieve, check, receive, pull, consume
• 「計算する」 … get, compute, calculate, obtain
• 「設定する・変更する」 … set, put, change, place, inject
• 「検査する」 … test, check, search, find, query
• 「追加する」 … add, put, append
• 「複製する」 … copy, duplicate(dup)
• 「削除する」 … delete, remove, erase, clear, destroy, dispose, release, hide
• 「移動する」 … move, go, visit, enter, leave
• (視覚的に)「表示する」 … put, show, draw, display, render, paint, print, write, map
• 「受けとる」 … get, fetch, receive, wait
• 「送る・伝える」 … put, send, talk, submit, feed, report, call
• 「開始する・初期化する」 … begin, start, open, launch, invoke, initialize, do, run, execute, perform
• 「終了する・開放する」 … end, finish, close, complete, terminate, exit, quit, abort, uninitialize, release
• その他 … push, pop

(01:23)

/22 [Thu]

(07:42)

(22:13)

(22:16)

人間、だれしも嫌なことは早く忘れたい。そのいっぽうで、楽しいことは長く覚えていたい。 しかし人間の記憶装置というのは出来が悪いので、覚えたくもないことを 永く覚えていたり、逆に覚えなきゃいけないことをサッサと忘れたりする。 といって、いいことだけを覚えようとしていたらそれだけ思い出は減り、 逆にすべてを細部まで覚えていたらきっと精神病になってしまう。 …そもそも、本当に「イヤなこと」と「楽しいこと」をどうやって区別できるんだ? いま現在と10年後ではまったく意味合いが違ってくるかもしれないじゃないか!

結論: 記憶力(ようするにrecallの高さ)だけを自慢するヤツは、アホである。 不完全な記憶は、天の恵みである。

(22:44)

(00:51)

/21 [Wed]

(08:17)

どうでもいいいけろ (どうでもよろ)、 DSL (Damn Small Linux) って知ってるかい? 明らかにこの名前は人々のハートをキャッチしたらしい。これ。 Damn Vulnerable Linux。 朝から笑った。DVL は脆弱性のあるソフトウェアばかりで作られたディストリビューションである。 学習に最適。

(21:47)

/20 [Tue]

(19:13)

プログラミングの学習によさそうなソースコード…か?

• PCC
• SQLite
• Apache HTTPD

(20:07)

(追記) ちなみに、自然言語処理の研究者にはskkユーザが多い。 これは、偶然じゃないと思う。このインチキさを笑え。

(00:32)

/19 [Mon]

(22:37)

/17 [Sat]

(17:33)

…しかし、いざやりはじめてみると、あいかわらずいかに emacs の プログラミング環境がどうしようもない代物 (だいぶつ) であることを 思い知らされた。まず cdb を読むためには各キーに関連づけられた 32ビットのハッシュ値を計算する必要があるのだが、 Emacs Lisp の整数ってのは 30ビットまでなのである。 なんじゃとーー!? しょうがないので、vector を使って擬似的に 32ビット演算をやるルーチンをまず作成。 つぎにハマったのが、 Emacs Lisp ではファイルからデータを文字列などに直接読みこむ機能がないということ。 なんでも一度バッファに入れなければダメなのだ。しょうがないので、 cdbの読みこみ用に *cdb:なんとか*というバッファを作ることにする。 さいわいにも、cdb はファイルアクセスが非常に少ないので、この程度のものなら (効率悪いけど) まあ使えると思う。そしてきわめつきが、 Emacs には構造体がないということだった。 まあ CL 拡張など使えばあるのかもしれないが、オレはそんなに話を大きくしたくないんだよ! 結局、buffer local な変数っちゅうのがあるので、Emacs の場合は 「バッファ」を事実上の (グローバルな名前をもつ) オブジェクトのようにして 扱うしかない。あとは全部グローバル変数をいじることになる。 おまけに新山は Emacs Lisp のスコープがどうなっているのか、よくわかんない。 まあとにかくだ…

そして、肝心の skk拡張のほうはまだできていない。

それにしてもだな、新山はおそらくもう一生の間、 新しい日本語入力システムのキーバインディングその他を覚える必要がないと思う。 昔は大学で Wnn、サークルで ATOK、バイトで VJE を使って 混乱したもんだったが、SKKを覚えてから他のシステムを覚えようという気にならない。 会社でも、くだらぬ短文を書くときには Windows の IME を使ったりするが、 まともな文章を書くときには全部、Emacs + SKK で書いている。 この後、いくら携帯電話の入力システムが進化しても、自分にとって これ以上に効率よく使えるものはおそらく登場してこないだろうよ。 (歳をとったら、ますます覚えにくくなるということもある。)

SKKを使ってわかったことは、 「日本語を書くことは奥が深いが、日本語を入力することは奥が浅い」 ということである。真の問題はあいかわらず質の改善であって、 入力速度を100倍に改善しても大していいことはないのであった。

/16 [Fri]

(20:58)

/15 [Thu]

(21:38)

/14 [Wed]

(19:32)

なぜなら、それっぽく見えるから!

(19:34)

“初期化されていなければ、初期化する。”

でも、いま考えてみると別になんともない…ような、気がする。 どこがどうおかしいのだろう?

(19:38)

ただ速いだけで事がたりるなら、たとえばガン細胞はきわめて速いよ。(意味不明)

(21:43)

そういうこってす。

/14 [Wed]

(08:09)

• なぜ日本には参議院と衆議院があるのか?
• なぜギリシャの金融危機はヨーロッパ全体にとって危険なのか?
• なぜqmailではメール送信部と受信部が別プロセスに分かれているのか?

/13 [Tue]

(07:46)

• foot の複数形 → feet
• tooth の複数形 → teeth
• goose の複数形 → geese

じゃあもしかして、

• food の複数形 → feed
• wood の複数形 → weed

(19:37)

“米国では、2歳未満の乳児の5人に1人が、(コーラなどの)炭酸水を飲まされている。”

なぜならソフトドリンク類はあまりにも安いので、 バカな親が哺乳瓶に入れて飲ませるんだそうな。 バカな親はそれこそ日本にもたくさんいるが、5人に1人かよ!

(20:39)

「ぼくがリザヴェーダを殺したんじゃない! 悪魔が殺したんだ!」

-- ラスコーリニコフ

/12 [Mon]

(20:05)

(22:43)

/11 [Sun]

(20:29)

(*1) 脚注 _[1] 参照。

/10 [Sat]

(17:50)

/08 [Thu]

(22:29)

(22:30)

(00:09)

/07 [Wed]

(20:16)

…で、調べてみたら、Linux 2.6.32 にアップグレードされた途端、 うちのパソコンでも wakeup 制御が効きだしたということが原因らしい。 これは以下のようにすればわかる:

$ cat /proc/driver/rtc
rtc_time        : 11:18:48
rtc_date        : 2010-07-07
alrm_time       : 00:00:00
alrm_date       : ****-**-**
alarm_IRQ       : yes
alrm_pending    : no
24hr            : yes
periodic_IRQ    : no
update_IRQ      : no
HPET_emulated   : yes
DST_enable      : no
periodic_freq   : 1024
batt_status     : okay

で、このアラームは UTC 00:00:00 に設定されていた。 これは日本時間でいうところの 9:00 なので、毎日こいつがブートしていたというわけだる。 まったく。これをクリアーするためには

$ sudo sh -c 'echo 0 > /sys/class/rtc/rtc0/wakealarm'

ほかにも、アップグレードしたら毎回、shutdown か reboot するたびに fsck する (正確には fsck はしないが、EXT3-fs が recovery 警告を出す) ようになった。 なんでかよくわからないが、/etc/rc{0,6}.d をみたら、 halt や reboot をする順序がおかしい。ほんらい S90halt とか S90reboot でなければ いけないのところを、S01halt とか S01reboot になってる。 ムキーーーーーっ!! おそらくどっかのパッケージがいじったんだろうが、どこの誰だこんなアホなことをするやつは!!

それから、あいかわらずネットワークを認識しない話。どうやら、新しいバージョンの e1000e モジュールがうちのハブと相性悪くなったらしい。ケーブルを一度抜いてまた挿したりすると 通じるようになる。この手の現象はホントーにやっかいだ。確率的に起こるうえに、 なんか電気的なアレがアレして、いつのまにか直っていたりする (前はハブの口を変えたり、ケーブルの終端を逆にしてみたら直ったことがあった)。 結局 (ケッキョキ)、auto-negotiation をオフにするととりあえずこの現象は出なくなることが判明。

$ sudo ethtool -s eth0 autoneg off

しかし、どうにも気分がわるい。 新山はパソコンがちゃんと動かないのには慣れているので、 それ自体に腹を立てているわけではない (でも一般人の感覚だったら絶対こんなのおかしい)。 Ubuntu のダメなところは、意味もなくメカニズムを複雑にしすぎてて、 しょっちゅう動かなくなるくせに「おかしくなっても直せない」ことだ。 まったく、ムカーーーー!

(まだ続く… (顛末記なのに))

(22:19)

ちなみに鍵をかけておかなかったオレは悪くない。絶・対・に。 これからもかけないからな! 何度でも何度でも盗むがいいさ。

(in case you don't know yusuke is a verry stubborn guy.)

/06 [Tue]

(22:41)

ぞんだけ

^ up < 2010/6 (a)

Document ID: 2eff6b56e6b6865ac4ae975d01007f8d