todo: サンプーかうこと。
そしてきょうは米国旗がほとんど床屋のマークに見えた。
これはオレの頭がサエているのかそれともクルっているの
か。
電車の中でふと気づいたことがある:
少なくとも、これはいいことではないか? いいとこだよ、うん。
なんか今日買ってきた花は失敗だ。新山の机の雰囲気がなんか「仏壇?」てかんじになった。
ところで、きょうは先学期に OS の授業をとっておいてよかったと思った。 OS パフォーマンスのグラフを分析するくせを叩きこまれたのが、 データベースチューニングでは見事に生きてくる。 このようにいろいろな授業がかくも有機的に結びついてくるというのは (たとえ意図されていなかったにせよ) 立派なカリキュラムだれ。 とはいっても、新山は実際のデータベース運用経験がまったくないので、 ほとんど使い物になる知識は得られなそうだが (この授業は社会人が多いので、 ほかの学生はおおかれ少なかれ仕事で RDBMS をいじっている)。 しかし SQL Server ってそんなにまともな製品だとは知らなかったなあ…
todo: サンプーかうこと。
新山は「シャンプーほとんど使わない病」の患者であるので、 300mlちょい入りの小さめのボトル (こちらでは小さいほうである) を 買っても 1年以上もつ。いつもなるべく香料の少なそうなのを 選ぶようにしている。ちなみに、オレはリンスが嫌いなので、 リンス入りのシャンプーは買わないことにしている。なぜなら、あれをやると 頭のベタベタがいつまでたってもとれないので (そりゃそうだ、油ぬってんだから)、 ちっとも髪を洗った気にならないのである。洗髪したあとに手で髪の毛をひっぱると 「きゅっ」と音がするようでないとダメなのだ。picky! picky! (pockyではぬい)
Friday, October 22, 2004 - 11:30 a.m. Room 1302 Warren Weaver Hall 251 Mercer Street New York, NY 10012-1185 Speaker: Scott Smolka, SUNY Stony Brook Title: Monte Carlo Model Checking
じつは GCC では、以下の構造体はどちらも 8バイトの大きさをもつのである:
struct foo1 {
short a1; /* 2bytes */
int b; /* 4bytes */
}
struct foo2 {
short a1; /* 2bytes */
short a2; /* 2bytes */
int b; /* 4bytes */
}
b を 4バイト境界にアラインさせるためらしいが、
いままでバイナリデータをあんまりこういう形で扱ったことがなかったので知らなかった。
ま、そゆこと。
てくるで (ところで)。
PowerBook は遅くて、ぜんぜん Power な感じじゃないので これからは「非力ブック」と呼ぶことにする。 でもそれって iBook のために予約されているような名前じゃないか。 どうでもいいけど「予約されている名前」というのは一般人にとっては 何のことかわからないが、一部の人々にとっては独特の(イヤな)感触をもつひびきなのである。
あと、Voronoi のパーティションを求めるアルゴリズムが意外とめんどい。 まあ、だいたい computational geometry というのはアルゴリズムがめんどいのだが、 この手の線分 (“直線”じゃないのだ、長さは有限である) とかポリゴン操作ってのは とにかく場合分けが多くていやだ。とはいってもぴちょん君で組んでみたら 100行ちょいで できてしまったので、ついでだから Tkinter もつけちゃえ。やや悩んだのは 「任意のポリゴンの面積をどうやって (analyticalに) 求めるのか?」ということであったが、 Voronoi 図にでてくるポリゴンは全部 convex (凸型) なんで、これは造作もないことがわかった。 ようするに、ひとつの頂点をアンカーにして扇形に三角形に分割すればよいのだ。 こういう分割はレンダリングには適さないが (さいしょ電車の中では上からスキャンライン風に trapezoid に分割する方法を考えていた、これは手製でポリゴンレンダラを書くときには必ず出てくる)、 面積さえ出りゃいいんだから ok。あとは中学校のときに習った「ヘロンの公式 (な、なつかしい! とはいってもこれって実際にテストには出なかったような気がするけど?)」 で面積を求める。まあ、ヘロンといえばゴム靴がはやるね。そのとおり。ペネタ型。
ちなみにオレはママレモンで頭を洗ったことがある。(これじゃ変態自慢だ)
どうでもいいが (よくなき)、 「新宮澤賢治語彙辞典」などという本が存在することを知ったのだが、 これっていったいどんな本なんだろ。興味あるな〜〜〜〜〜
(最近、「〜」を使う機械がやたら多い、これはやりすぎるとバカっぽくてよくない)
オデハそっダラプくダつなぢジョ〜だドる開せぬいゾ
むったくだ、むう。
いや、フントに。
(ぬんという!!)
(!!!) ♪
ワ〜〜〜〜〜〜〜〜〜〜〜〜〜イ 福健省!!
にっこ、にっこ!
いま、まさに、ふいにそう気づいたのだ。
＊＊ 楽しくないことを楽しくやる方法 ＊＊
異常です。↓
HIGHLIGHT_COLORS = [ ('black','#ffff66'), ('black','#a0ffff'), ('black','#99ff99'), ('black','#ff9999'), ('black','#ff66ff'), ('white','#880000'), ('white','#00aa00'), ('white','#886800'), ('white','#004699'), ('white','#990099') ]
DATA/ の最後のスラッシュを除くと
うまく作動しないのだった。こういうヘボさはあいかわらずなんだね…。
ちなみにこいつのソースコードは C++ で書かれているが、
はっきりいって最悪の読みにくさで、
なぜ最悪かというと 「オブジェクト指向はよく知らないが、
とりあえず C++ の機能をふんだんに使ってみました」 って感じのコードだからなのである。
もぅー、最低。
この parser はメモリ周りがアヤしいのだが、C++ 風に書かれれば書かれるほどこの手のことは
追っかけにくくなる。つーか、int& なんて使うやつはみんな悪魔の手先だ!
同じことは Collins のパーサにもいえる。これには Svetlana がスクラッチから C++ で実装したバージョンがあるのだが
(Java 版もあるらしいよ)、オリジナルよりも一層わかりにくくなっており、結局、
新山が改造するのはいつも愚直な C バージョンだ。まったく、こういうのを見るにつけ、
世の中ちっとも進歩してないよな、と思う。
しかし、まあ、それを言いだすと、どこぞの国ではいまだに10年前の成果を統計的手法で
必死に後追いしてる人々がい *cough* *cough*、まああれだ、ちゃんと進歩しているのは Python だけだよ、うん。
そういうことにしておく。
しょうがないので、まず銀行へよってから Washington Sq. で大道芸人をみてボサーーーーッっとする。 彼らはうまいのだが、つねになんか喋りまくりながらやってるのがすごい。 そのあと Courant 図書館へよって本をあさろうとするが泣く子と眠気には勝てず。 敗北を感じつつ戻ってくる。Grey Art Gallary は今日は休み。
NYU は数学では全米のトップスクールであるので (CS は 2流だが)、 ここには計算機関係よりも数学関連の書籍のほうが多い。 しかも、ロシア語やドイツ語のジャーナルが置いてあったりする。 数学じゃ、ロシアは先進国だからなー。でも、いまもそうなんかね。 そういえば、どうでもいいが、heuristic problem solving のクラスにいる 学生のひとりは数学オリンピック台湾代表 (金メダル) なんだそうな。 ついでに彼は ACM プログラミングコンテストでも 3位につけたらしい。 まあ、これを聞いて「しょえーーーー」と思っても誰も文句はいわなかろう。 しょえーーーー
やっぱ寝る
てくるで、会議室のホワイトボードに描いてあったグラフがなんとなく オバQに出てくる O次郎に見えたので、目をもういっこ追加して本当の O次郎にしてやった。 といっても、どうせここでは誰も O次郎なんて知らないだろう。 新山はこういうイタズラが大好きである。きっと、アレだね。数千年前に生まれてたら 絶対オーパーツとか作ってたね。それにしてもピラミッドや万暦帝の地下宮殿の仕掛けの設計にはぜひとも参加したかったが、 あの手のやつは墓があばかれるのを防ぐために関係者一式みんな殺されたそうだから、 あれに出たらいまごろ生きてはいなかっただろうなあ。
それによると「Google は MS に対抗するために、新しいブラウザを作っている」 という噂があるそうだ。コワイネーーー。っていうかもしかしてそれ Grail??
とゆうか、 sets を使えばいいんでないかい??
2、3日前からふと思いついてある実験をやったら、 「なんか、関連ありそうな単語」のペアを取得することに成功。やり方はチョー単純だ。 近いところにある単語をひろってきて、数をかぞえて df で割ってるだけだ。 これぞ統計的!!
連語も含まれているが、それだけではない。 問題はこれがいったい何に使えるのであるか? ということだが、まだ考えてない。 たぶん feature に利用するとオイシイんじゃないかな、と思うんだけど、 その rationale とは、「これらの単語を2つ1組で扱うことで、(共起する語をくっつけてるため) 語義の曖昧性がある程度解消されてることになる」んではないか、というもんだ。 それにしてもしかし、この「harakiri」「coutiers」って一体何だろ…。1.357142857 19 14 14 protease,inhibitors 1.166666667 14 18 8 particle,neutrino 1.008154219 60 46 77 silicone,implants 0.956726568 356 430 322 pitched,innings 0.920869155 106 106 125 ozone,layer 0.824943472 138 132 212 dioxide,carbon 0.820703614 89 70 168 ghosts,castle 0.807484606 241 317 281 inning,homer 0.800030247 230 285 290 transplant,liver 0.768706115 13 13 22 harakiri,courtiers 0.766032346 13 9 32 progestin,estrogen 0.760638829 27 63 20 whales,minke 0.746766238 89 67 212 monoxide,carbon 0.716061802 1039 1153 1826 yen,dollar 0.701275243 8648 18842 8071 saying,quoted 0.700140042 10 12 17 cauliflower,broccoli
(矛盾 - 曇っているのは世の中的には「いい天気」ではないが、 新山的には「好きな天気」、したがって「いい天気」だる)
なんだ、たいしたことないじゃん。
新山は中国人とはたぶん理解しあえないと思っているが、 日本人以外にいちばん興味をおぼえる国/民族といったら、やっぱり中国だなあ、 と最近思うようになった。米国は興味ないです (いや、研究や仕事では興味あるのだが、 文化的にという意味)。南米や欧米はおもしろいとは思うが、アジアには負ける。 アジアでも、インドとかはまだ行ったことがないのでなんともわからないが、 中国がおもしろそうなのは、「日本と似ているようでじつは違う」という所が多そうなとこである。 にもかかわらず、日本文化の無視できない部分が確実に中国起源なのだ。 韓国も興味あるけど、なんか中途半端な印象だね。
どうでもいいけど日本では「注意されて逆ギレ」というケースが非常に多いように見えるのはなぜか?
10月中は極力暖房を入れないようにしようと思っているのだけど。 これからまた激サムき季節になるのだから。
LWN を読んでいたら、RFID の普及にともなって、 ここ数年で確実にヒットするだろうキーワードがわかった。 google://アルミホイルの帽子/ である。
どうでもいいが (まったくだ!)、新山の知っているかぎり
英語の引用符のつけ方には 2種類の方法がある。ひとつは英国式で、
句読点が引用符の直後にくるとき、それを外に出す方式。
つまり I am a "pen". とかいうやつだ。ところが米国では
I am a "pen." のように書く。そしてオレはこれが嫌いなのだ。
なぜ嫌いかは明白である。ほんらい "." はリテラルに含まれないからだ!
これでわ、いざ実際に "." がリテラルに含まれた時に、
"pen." の最後のピリオドがリテラルの一部なのか、あるいは文章の句点なのかが区別できなくなってしまう!
(ここでは、人間がそんなにバカだと仮定すること)
"pen.." としたところで問題は変わらない。
これは明白は設計ミスである。まっっ
xtuっったく、なんということをしてくれたのか!
アメリカンのバカ。証明終。
ああそうか。
(新山は実態を知りませんが)
きのうのプロセッサに関するトークを聞いたあと、なんとなく思ったのだが、 基本的にある技術が普及しすぎると、それ以上はもう「固まって」しまって 新しい改良がほとんどできなくなってしまうんではないかと思う。
たとえばきのうの例だと、Intel は x86 アーキテクチャを絶対にやめない、というのがある。 しかしこれはべつに Intel が何も新しい研究をしていないからではない。 実際、Intel は新しい CPU アーキテクチャもけっこう以前から模索しているのである。 今までの戦績は以下のとおりだ:
似たような話は、いくらでもあるような気がする。Win32 にしてもそうだ。 IPv4 にしてもそうだ。(Pikeがいうように) UNIX もばっちりそうである。 どれもある臨界点を超えて普及してしまったため、もう全面的な 改良がほとんど不可能になっている。もちろん、原理的にはどっちもまだまだ 改良できるのだが、ビジネス的な要求がそれを許さないのである。 たとえ後方互換性を残すにしても、「コスト高」というデメリットがついてまわるだろう…。 16ビット→32ビットの移行時に比べ、いまではもう社会全体が以前とは 比較にならないほど既存のアーキテクチャに依存してしまっている。
同じことを言語にあてはめるとどうなのか、という話。 たとえば Perl6 とかはどうなんだ…たとえできたとしても、もはや Perl5 がこれほど 普及してしまった現在、ほんとうにみんな使うのかどうか、かなりあやしいと思う。 しかも Parrot 経由なんでしょ? 同じことは Python3 にも言える。 Rubyはどうだか知らないが、まだあれはマイナーだから大々的な改良ができるかもしれない。 ついでにいうと、これは人工言語に限らないと思う。けっきょくのところ、 なぜみんなエスペラントを話すようにならないか、というのと同じようなことなのだ。
ま、そう考えると、やはり「人生マイナーなほうがいい」という結論に落ちついたところで、 でかけよう。
todo: 箱テッシきれた、かうもの
うう、ヨダレでてきた
todo: トークの内容書け。
Kirk: 現在 FreeBSD の committer は 300人ほどいる。どうすれば committer になれるかというと、 まず cvs のログを追って自分が関心あるモジュールをよく更新してる人をみつける。 そうすれば問題点がみつかったとき、誰にコンタクトすればいいかがわかる。 問題がみつかったら、しつこく原因追求してそいつに再現方法やパッチを送りつづけていると、 そのうち committer に推薦してもらえるだろう。でも 1年間 commit しないと自動的に外されてしまう。 NetBSD もほぼ同様のシステム。Linux はあきらかにマネージメントがよくできてない段階で人気が出すぎた。 Linux はとても民主的とはいえず、自分のコードを入れるには Linus に気に入られなければならない。 FreeBSD は 20年間やり方を変えていないが自己統制がとれており、ゆるやかに成長してきている。 ボランティアの難しさは、あくまでみんな空き時間にやっているためにスケジュールが きちんと立てられないことだ。それからみんな、やりたいことしかやらない。 ボランティアに「お前これをどうしてもやってくれ」というのは難しいことだ。 5.3-STABLE はいつ出るの? ガンバってるけど保証できないらしい。 なぜならここ (RC) から STABLE に至るまでの過程はいつもすげー煩雑かつ退屈なので、 Kirk は自分じゃもうやりたくない、だれか人にやらせる、という。 CURRENT は開発者しか使わないが、Kirk いわく「うちのマシンも一台は毎晩 cvsup して 自動リブートするように設定しているが、ほとんどの日は朝起きてみるとちゃんと走っている」。 「FreeBSD デーモンくん」の現在の著作権者は Kirk だが、 じつはこれは最初 Disney の知り合いに描いてもらったとのこと (だからああいう絵柄なわけだ)。 でも彼は Kirk が描いたことにして版権をくれたらしい。で、だいたいどんな人々が FreeBSD に参加してくるか? というと、おもに 20台後半からの人間が多く、みんなもともとは Linux を使っていたが、 FreeBSD の「ちゃんとしたやり方」に魅力を感じて乗り換える人が多いとのこと。
Eric: MS (Sender-ID) と Yahoo (DomainKey) は特許出願しているが、自由に使える。 これは権利よりも訴えられ防止のためだ。じつは GMail は DomainKeys を使っているらしい。 ユーザから出される全メールに署名しているのだ。
ホントか? これは今たしかめた。ホントだった!
From: Yusuke Shinyama <xxxxxxxxxxxx@gmail.com> Subject: testee To: yusuke@cs.xxx.xxx Reply-to: Yusuke Shinyama <xxxxxxxxxxxx@gmail.com> Message-id: <bfa2024704101618191b5d3e00@mail.gmail.com> MIME-version: 1.0 Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT DomainKey-Signature: a=rsa-sha1; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding; b=a0i5jN8S4q/v1OzrJxn31FBBDH9CZAhCqELNtvT7fRr43QGe06T7WL1svdUPAv/F+p3EfRnwJuIQxo/x6rztnymTMy6rEgV/TltTbA以下略
それにしても、やはり Columbia は遠いヨナー。おなじ manhattan にあるとは思えない。おもわず遅刻しそうになった (というかした、2分か3分)。NYU 付近からだと 1時間ぐらい見といたほうがよさそう。 まるで大岡山-長津田間のような遠さなのである。よ。 そうすると途中で N線から 1線に乗り換える Times Square はさしずめ二子玉であるのか (それはちょっと、さすがに無理があるだろう)。 終わってからは 1線で一気にダウンタウンまで降りてきた。ギョウザのためである。 そのごロウアーマンハッタンをぶらぶら歩き、古本屋に寄ったりして帰ってきた。 そのご洗濯。いま乾燥機おわったとこ。しかし腹へった。
ふーん、あ、そう。
ふ〜〜〜〜〜〜〜〜〜んん、あ、そう。
ふぅう〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜↑↑↑↑↑↑↑んん!、あー、そうーー〜!
よかったね。
悪かったね。
あ、そう?
ころきあ。
きょう見た夢の中でもそうだったが、きょうのころきあでは、 あらためて「人間、いつでも謙虚でいなければならんよな」ということについて考えさせられた。 といっても、べつにきょうのトークをした Austin からきたおじさんが傲慢だったとか、 話が楽観的すぎたというわけではない。きょうのトークは「今から 10年後のマイクロプロセッサはどうなるか」 というようなことについての話だったが、インテルなどの話を聞いていくうちになんとなく そう思った、ということである。さいしょは謙虚だった人間 (とくに知人) が、 だんだんと傲慢になっていくさまを見るのは、とても哀しいようなムカつくような気分だし、 自分がそうなったときのことを考えるととてもおそろしい。それに、けっきょくのところ、 傲慢さとは無知からくるものだ。しかし傲慢さというものを極力排除するようにふるまっていると、 どうしても何事につけ必要以上に慎重かつやや否定的 (自虐的自己否定を含めて) になる。それはそれでまたアレだ。 基本的な (素朴な) 肯定はやはり必要なのだが、肯定しすぎてもダメなのだ。 いつも程度が重要なのである。 しかしどうしようもなくアホなものに対してはきちんとアホだと思わねばならない。むずかしいものさね。
で、それとは全然関係なく今日のトークであるが、「プロセッサは、 まだまだ先へ進むだろう」ということであった。たしか新山が大学に入ったころ、 ちょうど世間では Pentium とか 100MHz 台のチップがまさに華々しく登場したところで、 もう半導体のマイクロプロセッサは (周波数的に) そろそろ限界に来ているのだ、というようなことが (教授からも) まことしやかに言われていた。 ところで、南谷研の非同期プロセッサというのは一体どうなったんですかね? まだやっているらしい…。 しかしその後なにがどうなりましたか。いまや Pentium 4 の ALU 内部は 8.2GHz だそうですよ (コア部分だけ、全体のクロックは 4.1GHz)。そして、もはやこんなにデッカくなると、 電子が CPU の端から端まで (1センチぐらい?) 移動するのに 1クロックでは足りないらしいのだ。おまけに今や トランジスタが増えすぎて、やることないので、しょうがないから L2 キャッシュなんかを アホみたいにでっかくしている。これからどうなるのか、という話だった。 そして、そのおじさん (おじさんというよりももうオジイサンに近い、しかしとにかく元気である) が 言うには、まだまだやることが沢山ある、とのこと。挙げられたのは以下のようなことだった:
しかし、現在のアーキテクチャはほとんどインテルに独占されてるよなあ。 DEC も消えたし MIPS も消えた (そしてこの 2社はインテルと比べても 技術的にとても質実剛健なメーカーであった)。Sparc も事実上死んだ。 PPC にしたって、いつまでもつのやらね。Rob Pike がいっていたように、 MS だけが独裁者なわけではない。MS は手軽な標的だが、それはスケープゴートにすぎない。 似たようなやつは実際どこにでもいる。平和的和平解決。
$ ll /usr/local/bin/ total 7378 -rwxr-xr-x 1 root 56 Sep 29 13:27 MozillaFirebird* lrwxrwxrwx 1 root 22 Sep 29 12:35 acroread -> /opt/Acrobat5/acroread* -rwxr-xr-x 1 root 96 Sep 29 12:35 idle* lrwxrwxrwx 1 root 26 Sep 30 14:07 jperl -> /usr/local/jperl5/bin/perl* -rwxr-xr-x 1 root 202984 Oct 8 12:58 k* lrwxrwxrwx 1 root 14 Sep 30 21:12 less -> /usr/bin/jless* -rwxr-xr-x 1 root 81 Sep 29 12:35 pydoc* -rwxr-xr-x 2 root 3654267 Sep 29 12:37 python* -rwxr-xr-x 2 root 3654267 Sep 29 12:37 python2.4* -rwxr-xr-x 1 root 18017 Sep 29 12:35 smtpd.py*
どうでもいいが、uniq が一行で書けることが判明した:
def uniq(seq): return dict.fromkeys(seq).keys() uniq([1,2,3,1,3,2,3,3]) --> [1, 2, 3]
おでんが食いたいなあ この季節
でもそんなものはココニハナイノヨ
(いや、あればあるか、あのあたりには。しかしその証明を書くにはこの米粒は小さすぎる)
(ただ「ジャニ」というのを書いてみたかったダケデス)
「ジャニ」といえばたいていの人はなにを連想するのだろう?? たぶん janitor 、だな。
なぜか思い出したむかしのむじんくんの CM:
父「お前、一人や二人はいるんだろ?」
娘「いいえ一人もいませんわお父さま、なぜならそこは、♪むじんく〜〜〜ん」
どうということもなく今日も朝から狂っている
(def func: const lambda (x<int> y) WHERE /Ryumin-Gothic-BBB
PRINT"PUSHRETURNEKEY";:$A=INKEY$(<>):B$=$A :- foreach (concat @x)
ifre.match($A)=13THENDISPLAY>>SYS.STDERR;"YOU ARE PUSHED TO RETURN!":GOTO10(),
endifelseif12.each{|d|`foo-is?(,y '%r' B$.__repr__(my d))})` % esac;;
dup 90 rotate showpage
まああれさ、あの、きょう実験で得られた結果について話し合ったのだけど、 まああれだ。その、あの、。
ヨノナッキブ!!
なぜカタ力ナにする必要のあるのであるか? …どうも英語だとあいかわらずうまくいかない、というそのこと (その現象自体、あるいはそれそのもの) の 現象なる原因は、アレが長すぎるためではないかという議論があった。なんだこりゃ? 「議論がある」って どうゆうことだ?? ばか。どうでもいいが、アレとは文章の長さである。はて、「長さが長い」。 もう疲れてますんで今日は俺は。はい。オレって。そしてそして文章の長さをミジどんにしたら (短かくしたら) 今度は結果がでない。とゆーか、よゆーか、そもそも元々はオープンドメインですよって言ってんのに 本当は IE可能 (IE-able) なドメインなんてそんなに数ないんじゃないの? あるうは (あるいわ) メジャーなものは ごく少々。などなど。ホント? か? しかしこれには追加実験 (どんなだ) をひつようとする。 それって。けれどもそれのほかにもうヒトツ実験を考えたガガががが。段落ごとにとってき。 て、それをクラスタリングすることによりて「どの部分がどの部分重要」的に発見風のこれまた打撲。 ゼッキョー。さうよねら
追金 (ついしん、、と打とうとして間違えた、新ゃ山は疲れているときはタプイミスをなおさない) n-best が出せてもあまりおもしろくはないき。つまらん違いばかりでてもね。あれじゃね。あれじゃ。
よろ。よろよろ、よろ。
これ、は、暗号です (文中のひらがなを素数個であるように取ってきて除去して残ったテキストを カタカナと共に縦側に組み合わせるとおそろしい事がおころる)
google://コテゴリー/ ((((((((((((((14件))))))))))))))
さっき jas mart え買い物にいったらサザンの曲が流れており すっかり元気がなくなった (秋の夕暮れ時に流されると一層敗北感がただようのである)。 てくるで、新山が日系食料品店へいくと感じる脱力感にはもう一つの原因があって、 それは日本人のヘンな趣味を見せつけられることだ。とくに NY ではオッサンの日本人が 若造のようなカッコをしている (もちろん、これはオバさんにもあてはまるのだが かれらの場合は日本にもそんなのがいるので自動的にフィルターされるらしい)。 これがとても…アレですよ…てゆうか日本では若者でもいまどきあんな格好するだろうか?? 「ちょっと、お前、ソリャないだろ!?」と言いたくなるようなのが、いる。徘徊してる。生きてる。 なんか年齢とかそういう以前に基本的に「ヤバかっこ悪い」服装なのである。 あるいはあれは NY にいて日本だけでなしに韓国や中国の文化もヘタにとり込んでしまったために ああなるのだろうか。でも韓国人や中国人の男のほうが、あきらかに (ダサくても) まともな格好をしている。 オカシイのは日本の男だけだ。あれは、NY における一種の風土病 ( in 頭) のようなものだろうか。
てゆうかこらクリス! おまえだけなんであんなにスコア高いんだ! 今回の競争はだれも結果を検証していない。バグったまま事故深刻してもオッケーである。 オレはちゃんと検証プログラムまで作ってやってたのに。 くそー。しかしどっちにしろオレは勝てなかったと思うのだけど、 みんなソースコード公開すべきだろ。これじゃ追試もできねえ。
フトン??? ??? ??
現存する、あるいは将来作られる複雑なソフトウェアの
基幹アルゴリズムのほとんどは、
1000行以内の Python で表現可能である。
これが意味するところは、つまりほとんどの解くべき (解けるべき) 問題というものは Python 1000行 に直せる程度のものだ (→ したがって、Python 使いのキミにも理解できる!)、 ということである (べつに Python でなくても、 たとえば Perl とかでもかまわないが、Perl でなにかを 1000行書いたところで なんか理解可能になる?)。少なくとも、あと 10年ぐらいはそうだろう。 このような信念を持っておくことは、新しい問題に取り組むうえで非常に重要なことだと思う。 というのは、何か新しいことをやらなければならなくなったときに 「うげ、こんなの難しそう」と思って最初からしりごみしてしまうのと、たとえ実際にやらなくても 「やろうと思えばやれる」とわかっているのでは、かなり差があると思うからである。 もちろん、だからといって楽観論にホイホイと向かっていいということにもならない。 が…いやしかし最初から諦めていたほうが人生いいのかな…。 日本人の同情を得やすいのは絶対こっち (最初から諦めるほう) だよ! しかしとにかく、この言明はいまのところ証明しようがないものであるので、 ここでは「定理」でなく「定立」と呼ぶしかない。しかしこれは本来のところは、 定立というよりもむしろ信心のようなものかもしれない。
てくるで (また来た!)、オレは… 書くこと忘れた。
てくるで (まただ!)、人間の思考活動の多くは空間的な推論によるものであると、 新山は思っているが、これは自分が「絵で考える」ことがもっとも多いためで、 というか、それ以外の方法では考えることができないためで、他の人もそうであるのかどうか 自信がない。しかし純粋に記号だけの推論ってあるんだろうか? 新山は、 記号的な推論をするときにも実際に頭の中では絵 (数式とか文字列とか) をあれこれいじっている。 「絵で考える」というと、じゃあ目が見えなければ推論は不可能なように思えるかもしれないが、 これは盲の人でも変わらないと思う。というのは、いくら目が見えなくても人間は 3次元上の空間で生活しているからである。いや、むしろ彼らのほうが空間的な推論に 頼っているんじゃないだろうか? 「あれがあそこにある」というのは、 おそらく目が見えなくとも具体的なイメージがあるはずだ。そういう路線 (どういう路線だ?) でいくと、新山が文章 (プログラム含む) に視覚性を求めるのはある意味当然のことといえる。 ここでいってるのはロジックが視覚的であることで、扱うデータが直接画面に表示されるか どうかは関係がない。s*k的言語の人々がいうような「視覚性」は、基本的にごまかしだと思う。
dkr???
pushd<br
popd<br>
cookd<Br>
オレたちは馬鹿どもだ!
きょうもデータベースの授業が楽しかった。きょうは Byzantine Protocol についての解説。 これまた分散システムでは必ず出てくるのだが (この手の業績はほとんど Lamport の仕事だ)、 去年のぐりむ先生の授業をとったときには、新山はこれについてあまり詳しくわかっていなかった。 Byzantine Protocol とゆーのは、協調動作する複数のプロセスのどれかひとつに明確な悪意があって、 そいつがシステムを撹乱させようとしているが、ほかのプロセスは誰がウソをついているのかわからないような 場合に全体として正しい結果を出すプロトコルのことをいう。基本的にはこれは多数決システムと 似たようなものなのだが、ポイントとなるのは「お互いに 1対1でしか通信できない」というところだ。
そのご帰りに学生センタア (←超豪華建物) のトイレへ寄ったら、 またヘンな便所の落書きをハッケンする:
あきらかに、これは上から何度も書き足されていったものだ。 色の違いは書かれた時期の違いを表す。最後の「SMART!」がちょっとウケたのだが、 つくづくバカだなアメリカ人って。BUSH SUCKS1 KERRY TOO2 VOTE NADER!3 ← SMART!4
より詳しい問題設定はこちら。碁盤の目状になった都市 (マンハッタン) の何箇所かに病院があり、 各病院は 5台の救急車をもっている。あるとき大災害が発生し、 街中のいたるところでけが人が発生した。かれらは決められた時間内に 病院へ搬送されなければならない。しかし 1台の救急車に乗せられる担架は 1度に 2人分までであり、担架の出し入れにはそれぞれ 1分かかるとする。 また、救急車は市内を 1ブロック/分の速度で移動する。災害発生時の 患者の位置データが与えられたとき、これらの患者をひとりでも多く救うためには、 どの病院の救急車がどこへ駆けつけるようにすべきか? 計算に使用できる時間は 2分間である。
とりあえず構想 (これは電車の中で) に 1時間、プログラミングに 1時間、デバッグに 1時間かかった。 今回もとーぜん全探索はムリなので、なにかてきとうにヒューリスティクスをみつけ出さねばならない。 まあ、コード (とその説明) はほとんどできたので、これであとは明日てきとうな経験則を 調整すりゃあいいやな。今回も Kitkat はムリだろうか。公平を期すため、計算はすべて同じサーバ上で行われるのだが、 やはり遅いマシン (Sun) では Python は激遅いんだよ、まったくもう。
しかし、むかしは Sun っていえば速いマシンのはずだったのに、いまやすっかり過去の話になってしまった。。。 まあ、いまでもクラスタ組ませれば速いんかもしんなけど、もはや一台ダケ買ってもニオイをかぐことぐらいしか やることがないゆおね?
てくるでこんどの土曜日に Columbia に Marshall McKusick (FreeBSD 界隈の有名人) がくるらしいぞ。 NYCBUG にそう書いてある。
ひゃっほu!
時間のかかるスクリプトを (どこかの端末で) 実行していて、 ふいに場所を間違えて ^P Enter などと打ってしまったとする。 ふつうこれはバッファされるので、これではスクリプトが終わった直後に (Bash の履歴機能によって) もう一度同じスクリプトが実行されることになってしまう (そのスクリプトは出力をリダイレクトしているので、 結果がすぐに上書きされるものとする)! うぎゃあああ! どうすりゃあいいんじゃ!
…というときは Ctrl-Z を押しましょう。 これで一回プロセスを端末上で suspend するとバッファが消去されます。 このあとまた fg で実行再開すりゃあいいんです。はい。
どうも昨日の実験がうめくいかなかった理由は英語の語尾変化にありそうなので、アンチョクにも Porter の stemmer をとってきて使ってみる。 すでに Python バージョンがあった。コードはださいけど一応動く。
(場合によっては切れてほしい予感)
ミーチィンぐね。まーったく、どうしてあんなに説明が下手なんだろ。 というか、そもそもが、以下略。まあいいや。あんなのが毎週あったらやだな。
ところで、てくるで、あいかわらず実験うまくいかん。ヨクミタラ LREC じゃなかったね、論文ん
今日のトークはこれの開発者だ。いや、すごいよこれ。
今日は lispnyc の主催者である heow というあんちゃんと意気統合? してしまった。 「お前はオタクなのか?」「ああそうだよ」「オレもだ! (握手!)」というぐあい。 しかし新山は自分がオタクであるとは思うが、「平均的なオタクと差をつけるべく努力している」と 言っておいた。平均的なオタクとは何か? 思うに、たいていの日本のオタクは虐げられているのだが、 そのうちの何人かは自分をわざとオタクっぽく見せなくするために、本来大して好きでもない ファッションに凝ってみたり、映画や音楽について興味があるふうなそぶりを見せたりするのである (そしてそういうのは端からみていてとてもイタイ)。しかしオレにいわせれば、 浅い方へ動くのは簡単なのだ -- 新山はむしろ、ますますオタクっぽくなる方へ 向かうことによって差をつけようとしているように思える。といっても、こうなったのは米国に来てからのことだ。 はっきりいって新山のような根がオタクっぽい人間が米国に来て唯一学ぶべき強力な メッセージは何かというと「未来永劫オタクのままでいいんだ!」ということであった。 もちろん、オタクのままでよいといっても、人生は得なければならない (get a life)。 挨拶もできないようなヤツはここでは論外である。ここでいう「オタクっぽい」というのは、 アニメオタクとか、そういう非生産的な (断言!) オタク消費者のことではない (とーぜんプログラミング言語をネタに飲み会ばっかやってる人々のことでもないぞよ)。 こっちでは大学教授や企業の技術職はみんなオタクである。 日本の大学教授も元々はオタクであった風を感じさせる人々だが、 かれらは世間に叩かれたあげくすっかり勢いがなくなってしまっている。しかしこちらの教授連中は そうではない。そして、企業でもそうだが、こちらではオタクが堂々と上のポジションにいて バリバリ現場仕事をこなしている (あくまでコンピュータ関連の業種を見たかぎりでの印象、他は知らない)。 つまりここは「オタクが必要とされており、その貢献がきちんと評価されている国」なのだ。 このような傾向が (計算機科学における) 米国の技術発展を支えているのではないかと思える。 もちろん日本でもオタクは必要とされているが、表向きはみんなオタクなしでやっていけるような ふうをよそおっており、いつかそのツケを払う日は来るであろう (いつになるかは知らないが、それとももう来ているのか?)。 中国でさえ日本よりはまだそういう傾向がましなような印象をうける。 そう考えると、日本からマトモな仕事が一向に出てこないのもうなづけるし、 日本がさしずめ「文系の連中にいいように搾取されてる国」だというのもわからなくはない。 ま、ここでこんなこといったって何も変わらないんだけどさ。
またもや (まあ此の場合は“またもや的”ですが) ニベアが手放せなくなる季節になりました最近はもう
そうですまたもやですが、ぞもぞもなぜ肌は荒れるんでしょうね?
肌荒れと海が荒れることにはなにかしらの共通点があるのか。
だから「荒れる」と呼んで (呼ばれて) いるの
か。それはだからそれはそれはz.
ぞもぞも
Friday, October 15, 2004 - 11:30 a.m. Room 1302 Warren Weaver Hall 251 Mercer Street New York, NY 10012-1185 Speaker: Yale Patt, The University of Texas at Austin Title: The Microprocessor of the Year 2014: Do Pentium 4, Pentium M, and Power 5 provide any hints?
あした: 13:00 からうちのミーティング。 19:00 から LispNYC 。
木曜日: 13:00 からセキネミーティング。
て。
docstring の英語でなにか言うことあったと思ったけdo忘れた。
ああそうだ。 「docstring の動詞は 3認証 (third-authenticative) にするのがいいのか否か?」とゆうことであった。 たとえば以下のようなコメントで:
# tokenize
def tokenize(s):
'''Splits string s into a sequence of primary tokens.'''
w0 = ''
for (w,z) in TOKENS.findall(s):
if w0:
yield w0
if w.endswith("n't"):
yield w[:-3]
w0 = w[-3:]
...
そのてん、こっちの ML なんかだと、みんなそのへんはよくわかっているように見える。 たまにフレームが起こることもあるが、そういうときはたいてい「まあまあ落ちつけよ、人生そういうこともあるさ」 という内容のことを誰かが言う。それでもまだ騒ぎつづけている奴がいると、モデレータの Peter がスレッド終了宣言を出して強制的に終わらせてしまう。それでも誰も文句をいわないし (これは彼が人格者なためもあるが)、みんな引き際をこころえてるよな。 アホみたいに規則に固執するやつがいない、というのは、いいことのようにも思えるが、
(以下りゃく)
これじゃちがうじゃん。
(ぼこふだ)
声が割れています。