d.y.d.

00:40 04/09/23

ガリレイ

『小学生の４割「太陽が地球を回ってる」』って記事が話題になってるらしいのですけれども。そう考えるのってそんなに変なのかな。（そもそもひねくれたことを言えば、どっちがどっちの周りを回っているか、なんてのは座標系の取り方の違いでしかないので正解も何もないし…。）

少なくとも、自分の目に見える事実をそのまま素直に解釈するなら、明らかに、"動いているのは太陽で止まっているのは地球"。しかも逆に、"太陽を中心に地球が回ってる"ことを示す事実はそう簡単には提出できません。というか少なくとも、今の自分は他人にそれを説明するのはとても出来そうにないです。大多数の人はたぶん私と同じでしょう。せいぜい、「教科書にそう書いてある」くらい？それで納得しろと言われても小学生も困ると思うんですけど。

ちなみに地球の自転は、"振り子を揺らしてると振れ方向がだんだんずれてくる" 実験で確かめることができるはず。地球の公転は、"他の惑星（火星,木星辺りがわかりやすい？）の動きを年単位で観測してみると、なんかやけに不自然な動きをしてる" ので、これを綺麗に説明しようと思うとでてくる結論。なんだけど、私はそんな実験どちらもやったことないわけで、それでも地球は動いているのを前提に生きている自分は考えてみると不思議ですな。

11:40 04/09/21

Google Code Jam Round 1

75分勝負で、250点、500点、1000点の３つの問題を解きます。今採点待ち中。

『Cell Plans』

250点問題。まず、電話の料金プランが幾つか与えられます。料金プランは「月額の基本使用料(円)・無料通話時間(分)・無料分を越えたときの(金額/分)・オフピーク時間無料制度のあるなし(bool)」の四つ組で。それと、自分の何ヶ月かの電話使用時間の履歴が与えられます。「1月はピーク時間に200分、オフピーク時間に30分話してる。2月はピーク時間に…」って感じのリストで。この二つの入力に対して、「どの料金プランにしておけば一番お得だったか？」を調べて返す関数を作る問題でした。

『Simple Router』

500点問題。ルータの経路制御の真似事っぽいことをやれという問題。入力としてこんな表がテキストで来るのでパーズしつつ、

FORWARD *.*.*.*       *       192.168.0.1
FORWARD 192.168.000.* 001-100 192.168.0.10
FORWARD 192.168.0.1   80      10.10.95.184 8080
ACCEPT  123.45.*.*    25
REJECT  192.168.5.38  *
REJECT  20.51.10-30.* 4579

与えられた「IPアドレスポート番号」の組のリストのそれぞれについて、REJECTするかACCEPTするか、あるいはFORWARD先の「アドレス:ポート番号」を返せ、ってなものでした。

『Defrag』

1000点問題。入力として、ハードディスクの総セクタ数と、ディスクにある各ファイルが何番目のセクタを使っているかのリストが来ます。ファイルＡは先頭から順に（7,15,8,3）の４つのセクタを使っている、みたいな感じで。あと、セクタを二つだけ格納できるメモリがあるとします。これを、デフラグしたい。つまり、全てのファイルが先頭から順に連続したセクタに並ぶようにしたい、と。さっきのファイルＡを(7,8,9,10)にするとかですね。このとき、移動するセクタの個数を最小にして、何個の移動でデフラグ完了できるかを返せという問題。

デフラグ問題の解き方全然思いつかなかった…。

結果

うあー、500点問題間違えてたー。ちゅーか、こんな出来でRound1通っていいのか…？ Round2は日程の都合で出られるかどうか微妙なのでスミマセン。

21:58 04/09/17

本

沢村凛『カタブツ』を読んでました。「誠実度100%人間たちのミステリー！」という帯の６編の短編集なんですけど、実際にカタブツネスが発揮されてる話は最初と最後の２編だけのような気もします。その最後の"無言電話の向こう側"が綺麗にオチがついてて好き。あと、３個目の "駅で待つ人" もなかなか。「そう、あれが現れてから、"待ち合わせウォッチング" の魅力は半減してしまったんです。」とかいう視点がいい。

02:48 04/09/17

Google Code Jam 2004 QR

400点問題と1000点問題の2問を1時間で解く勝負です。たぶん、各問ごとに正解してたら「点数＊(1時間 - 問題画面を開いてからコードをsubmitするまでにかかった時間）／1時間」が入るという得点方式。

うあー、400点問題間違えてたー。スピード勝負に出すぎてどこかミスったみたいです。（コンテスト用に用意されたチャットを見てると、testerさんが "サイズ０の問題を処理できないプログラムが多かったヨ" としゃべっていたのでそれかもしれない。） 1000点問題の方もやっぱり問題文の意味の把握に手間取って、かなり不満の残る点数。 Qualification Round はなんとか抜けられたかなあ。

(10:55追記：二部屋合わせた順位が出てたので画像差し替え）

(12:10追記： Dear STL Lovers...）

23:04 04/09/16

30

参加してた "謀略の村" がゲームセット。あとでログ読む人のお目汚しになってなければいいけれど…、やっぱ参加してみて面白かった！！可能性の表を意識しすぎて平坦な展開にしてしまった気がするので、今度はサクサク推理してどんどん人狼疑惑を他人に投げかける方向で挑んでみたいです。人狼側も面白そうですが。しかし今週末から一週間は時間がなさそうなので見送り…。ああ一週間後が待ち遠しい。

メタ推理

実は、idをだいぶ昔に使ってたハンドルにして、エピローグを見てもidだけからは誰がk.inabaであるかをわからないようにしつつ「16人のうちどのキャラを演じてたのか当ててみてくれ」、という別次元での勝負を大学の友人にしかけようと不届きなことを最初は思っていたのです。けど、よく考えたら一緒に夕飯食べに行ったりしてるわけで、その間に発言があったキャラを全部消去法で除かれると唯一に特定されちゃうのですぐに断念。

　　しかし
　　　　僕が携帯もパソコンも一切点けず何の情報も得てない時に
　　　　新しく投稿された発言が増えていったらどうだ!?
　　　　「k.inabaはこのキャラではない」　そう判断するしかない!!

とかデスノートばりに言ってみたいんですけど！無理…。

01:00 04/09/16

oazo

友人二人を誘って丸善本店行って来ました。さすがに今日は人が多くて、しかし混んでいる書店というのもなかなか新鮮で楽しいです。全フロアざっと回って帰ってきたのですが、広くて、新しい本の品揃えが良さげ。洋書の文芸書コーナーもかなり充実してるように見えました。個人的な希望で言えば、洋書は"Information Science"コーナーをもうちょい頑張って欲しいかな…。

あ、でも『Call-By-Push-Value』という初めて見る本を発見。プログラミング言語の関数呼び出し方式の分類の仕方の一つに Call-by-Value, Call-by-Name, Call-by-Need という区別がありまして…それを意識させるこのタイトルに目を奪われました。巻頭言を見てみた感じ、情報配信のPull型/Push型っぽい意味で "Push" という単語を使っているのかな。自分が今作りたいと思ってるフレームワークにえらく関連がありそうな予感がするので、ちゃんと読んでみたいです。~~だれか買って~~

20:33 04/09/14

PPL

今日はPPLのサマースクールに参加してました。講演内容についてはおいておくとして、聴衆の中にどなたかは存じませんが「 _ :: _ => _ 」「Haskell: types with class」とロゴの入った服を着てる人がいて素敵でした。話しかけてみればよかったかな。

丸の内

昨年，６４頭の牛をめぐったあなたへ，『今年は，３６５個の質問に答えながら丸の内を歩くのは，いかがですか？』

などと母上のページに書いてありました。これですね。地図があれば面白そうだけど…。今日開店したはずの丸善の新しい本店に早く行ってみたいので、数日中に丸の内は歩くつもり。本当は今日行きたかったのですが、サマースクールと丸善と人狼BBSの更新時間を三権分立させるのは無理でした…。

02:41 04/09/14

GPCE'04

たまにはプログラミング系の話題も書かないと。 GPCE (Generative Programming and Component Engineering) に Accept された論文のリストが出てました。タイトルで検索してみると既にWeb上に公開されているものが結構あるので、今度見て回ってみます。"A fresh calculus for name management" や "A unification of inheritance and automatic program specialization"、 "Metaphor: A multi-staged, object-oriented programming language" 辺りが名前だけ見た感じ興味をひかれました。

Google Code Jam 2004

これ。あと30時間くらいで締め切りですね。みんな参加しよー！ JScript.NET使わせろー！

今練習問題として出されているのが去年のRound 1の問題なんですけど、簡単な方の二問は問題文を読み終えて細かい要求仕様さえちゃんと押さえれば3分でプログラムは書けるので、英文を読むスピードが結構効いてきそう、と思った記憶があります。もっと速く読めるようにならないとなぁ。

09:38 04/09/12

中の人

で、まあ、案の定人狼BBSにハマっているわけですが。

ログを読んでて思うのが、「中の人」というのは大変に便利ワードだなあ、と。なんか変なところに感心してます。「中の人の都合で今日は夜遅くにしか発言できない」みたいに、役割を演じてるキャラクタじゃなくて遊んでるリアルの人間を仕方なく指すときに使うわけですけど、この単語がこれだけネット上で市民権を得てなかったら、同じことを言うのも苦労しそう。代替語として "プレイヤー" などと言ってしまうと、なんとなくロールプレイから醒めすぎな感じを受けそうですし。「いやいやホントは中の人などいないんですけどね」っていう断りを何も言わずに伝えられる面白さ。多用しすぎるとアレだけどね。

02:18 04/09/08

人狼

ヒビルテ→灼燦灼丸裏kdoo王国と辿って『人狼BBS』というゲームサイトへ。このゲーム自体初めて知りました。公開されているプレイログを読んでみると、これが滅法面白い。まだログを二つ（「3 新緑の村」と「2 呪われた村」。「1」は名プレイらしいので後の楽しみ）を読んだだけで一度も遊んだことのない私がいうのも何ですが、トランプゲームのナポレオンで副官をやるのが大好きと言う人なら間違いなくハマりそうな感じです。これは時間あるときに参加せねば。

23:51 04/09/05

ふえる

本棚の整理をすると、「整頓して空いたスペースに本を入れたくなる」のと「昔読んだものをまた読み返したくなる」の主に二つの理由から、その後ついつい色々と買ったり借りたりしてしまいます。

というわけで『ナイトメア☆チルドレン』全５巻など。寂しい人々にとりつく"ナイトメア"と、ナイトメア退治の青年ベルスタシオ=イブルと、彼に依頼をもってきた少女カカオと、のお話。 esbooksでついてたコメントを借りると、"世紀初めのおとぎばなし"。絵が可愛い。ストーリーは綺麗でもの哀しい。単行本で初めて読んでみて、最初から最後までこのエンディングを目指して無駄なく物語が進んでたんだなぁ、と気づかされました。うむ、やっぱりこういうのが好きだ、自分は。

18:22 04/09/04

りにゅーある

なんとなく黒くしてみました。

あと、なんとなくこの日記ページの名前を変えてみました。車の会社のキャッチコピーに似ている気もしますが、それとはまったく全然関係がないということにしておきます。

あと、なんとなく…ではなくて、ウイルスの嵐にそろそろ飽きたのでメールアドレス変えます。新アドレスは、CSS対応のブラウザでページの一番下を見てください。これを解析してくるクローラが普及するのは当分先だろうと思いたいところ。

Derive Your Dreams

23:47 04/09/26

Ana

00:34 04/09/25

sunlight