はじめてのにき

_ at

Ruby の at ってこうなってて欲しいと常々思ってるんだけど、 なんかダメな理由あるのかなぁ。

class Array
  def at(a,b=nil)
    self[a] || b
  end
end

class Hash
  def at(a,b=nil)
    self[a] || b
  end
end

a = [0,1,2]
p a.at(0)    # 0
p a.at(0,3)  # 0
p a.at(3,4)  # 4

Array.new とかの引数使えって話もあるとは思うんだけど、 あれ使っちゃうと pstore に入らなくなるよねたしか… むしろそっちが問題なのかな。

ところで || はダメだな false が要素として入ってると終わる

あとこれを Array と Hash のループにしてかつ Ruby 1.8 で動くようにする方法を僕はしらない

(13:13)

_ ああっ

GBLについての誤解が!

http://route477.net/w/?RubySDLSmallFonts

1おくえんではなく10おくえんで、 平均的な人生を余裕で一生遊んでくらせるくらいの額に設定してあります!

とか書いてる暇あったら wiki だからなおしておいた方がいいのかな…

(16:34)

_ そういえば

自然言語をプログラム言語チックにして欲しいというのはよく思うんだよね。 具体的には英語の that を {} でくくるようにして欲しい。

I prefer the cake {which you ate yesterday} to this cake.

的な。

(18:51)

_ いぎりすにき2

発表されるまでにエジンバラに行ってると書くと あんま秘密守ってるとは言えないよなーと思って 投げてなかったのを送っておく。

移動日

ANA でパリ行って Air france でパリからエジンバラという行程。荷物勝手にエジンバラまで送ってあげるよとのことだったので、まかせることに。

ANA の飛行機はつかれた。途中でおっぱいバレーというひどい映画と、スタートレックとマトリックスを見た。スタートレック以外は途中で寝たり早送りしたりひどかった。マトリックスって面白くないんだなぁ…というか好みじゃなかった。攻殻機動隊の影響受けてるとかいう話だっけ。たしかにそれは感じた。

パリについたら荷物がどうこうでちょっと不穏な感じになった。しばらくなんかした後に、よくわからんけど大丈夫だと言われた。で、飛行機が遅れる。やめて欲しいなぁ…と思いつつ、そういえばアダプタ持ってねえやと大変重要なことに気付いてしまったので買った。8ユーロなり。あとネットが使えるからやってみようと思って挑戦してみるも、クレジットカードを受け付けてもらえず。ユーロは家にあるんだから持って来ておいてもよかったなぁ。ユーロからポンドに両替する方が効用的に良さそうだし(手数料が同じだとすると)。乗る前にもう一度荷物の方で不穏な感じに。雰囲気的には ANA のはっつけたチケットみたいなのの印刷がちょっと切れてて最後の数字が印刷できてないとかそんな感じに見えたがそうだとするとひどい。

でまぁエジンバラについたら、荷物が来ない。ぎぎぎ…明日ホテルに届けてやるよとのこと。幸いたいしたものは入ってないけどそれにしても着替えというか暖かい系の服が無いと寒くて死にうる。とりあえずバスで市内へ。市内からは寒くて死にそうな上に、 Google maps で印刷しておくとかそういう頭が働いてなかったので、ホテルを住所だけから探すのは大変だと判断してタクシー。バスが 3.5 ポンドでタクシーが 6.5 ポンド。タクシー意外と安いかなぁ。

さて部屋に入ってみると、無線LANは WEP key が必要で、 LAN の方はケーブルは受付に問い合わせてチョ、とのこと。ぎぎぎ初日からネット必要だとわざわざ書いたのに…まぁ起こすのもかわいそうだし、 LAN ケーブル持って来なかったのはミスと言っていいので、もう諦めて寝ることに… OCaml Golf ヘンなことになってませんように…

1日目

起きた。ホテルの人がいない。ネットあきらめる。ちょっと寝て待つ。起きた。ホテルの人いた。ネットの話、荷物の連絡が来るかもしれない話、まだクレジットカードまわりの処理をしていない話、をする。そして朝食も適当に食べる。食欲無いのでシリアルとフルーツだけ。

ネットつなぐ。つながったと思ったら OCaml meeting 終わった。ふーむまぁゴルフ場が燃えてたりしなくてよかったです…

どうもカゼっぽい。

FLTV おもしろいなぁとほどほどにながめてから、観光に。とりあえず飯を喰う。ハギスが名物らしいのでそれを。最初は俺の知ってるハギスよりうまいなーと思ったのだけど、なにぶん量が多くて飽きる…最後の方は俺の知ってるハギスよりまずいなーと思っていたように思う。 3.5 ポンドとかそんくらいだったと思う。

適当にエジンバラ城に行った。とても感銘を受ける感じではないんだけど、よくこんだけ集めたなー的にボリュームがあった。日本語音声ガイドとか借りたんだけど、到底全部聞けない程度の量があった。まぁでもそんなものより風景の方が良かったりね。

後は Camera Obscura and World of Illusions というヤツに行った。 NTT の ICC みたいな。この中の展示で知ったのだけど、この人は本当に面白いなー

http://www.andrewlipson.com/index.htm

例えば LEGO で作ったエッシャーの登っても登っても終わらない階段とか。

http://www.andrewlipson.com/escher/ascending.html

城にえらい時間がかかって、行く予定だったウィスキー博物館とかには行けなかったので後日行こうとおもう。

道に迷って地図を見ていたら、道を聞いてくるオッサンがいた。明らかにこっちも道に迷ってるじゃんねーと言ったら地図を見せろとのことだったので見せた。しばらく二人で検討した結果現在位置がわかったので win-win だった。食欲ないから夕飯はビールとツマミくらいでいいか…と適当なスーパー的なところでハムとビール。どっちも安い。でせっかく現在位置がわかったにも関わらず店を出た時に混乱したらしくキッチリ逆方向に進んでいった。かなり歩いてから気付いて、逆戻り。つかれたよ…

帰ってみると、飛行機会社から荷物が届いていた。良かった。

2日目 (ICFP 1日目)

朝はちょっと寝坊。アラームセットしたつもりだったけどできてなかった。機械は苦手だ…とりあえず食欲があったのでゴツそうな朝飯を頼む。それなりにゴツかったけど、まぁ普通においしかった。でまぁ会議に行った。アンドロイドに地図読ませてから行ったので迷わず行けた。

Haskell ぽい人の時間帯になって、イマイチわからんかったしその次のセッションは論文チラ見してもむつかしそうなので脱走して観光に。

ウィスキー博物館的なもの。ウィスキーの作られかたとかの説明と、スコッチの地域ごとの特長、あとはウィスキーの楽しい飲み方、という感じ。

帰りに適当にサンドイッチを買う。普通においしい。こいうシンプルな料理はたまに喰うぶんにはうまいし、イギリスとはいえまずくはならんよなぁ。会議室の建物に戻ってきたら、飲み物と軽食が置いてあったので、スコーンを食べてみた。あまりおいしいものでもないね…

でまぁ発表を一通り聞いて、よくわからんのも多くて、一日目終了。レセプションに移動。適当な集団を尾行する方法で無事迷わず到着。天才だなぁ。着くと謎の暗号が表示されている電光掲示板があって、わからんなぁと考えていた。

レセプション。見事に何言ってるかわからん人が多いわけだけど、まぁ適当に何人か話しかけてくれた人と話す。なんか Google の人もいてちょっと話した。日本語知ってて使ってくれる人も多くて助かるんだけど僕は外人顔の人に話しかけられると英語で答えようとしてしまうので大変。なんかでも僕が難しいというかわけわからんなーと思った発表は同様に難しいと思ってた人がそれなりにいるんだなぁとちょっと安心した。日本の人もいたので挨拶してみたら、今年は例年よりあんまり accept されなかったとかで日本人少ないとのこと。残念だね。

Google で関数型言語使わんの? って話をされることが多いんだけど、まぁ熱心な関数型言語ファンの人はそれなりにいると思うけどメインストリームでは無いさのうとかそんな話に。あとはこう、ある程度プログラマのレベルが高い人がそろってて、メモリ管理とかそれなりにできて、適切なライブラリがそろっていれば、 C++ でもそんなに苦が無いというかパフォーマンス的に不安が無い的な意味でベストな選択なんじゃないかなぁとか思いつつ、「みんなそれなりに賢いから大丈夫なんじゃね」的なこと言ったら「そんな人が関数型言語使えばもっとすばらしい未来が!」的なことを言われた。

あと日本で Haskell で仕事するとかあるんだな…

http://www.starling-software.com/misc/icfp-2009-cjs.pdf

ML の人と話す時は Haskell の方が勢いがあるんじゃないのと必ずケンカを売ってみる感じだった。そうでも無くて、ただ ML コミュニティは practical な方向に興味がある人が多いからアカデミックではちょっと弱く見えるねー的な話をしてくれた人がいて、なるほどなぁと。

終わってから適当にまたホテル違うのに尾行をしてたら、日本料理ぽいところに入るっぽいので混じっていいか聞いて混じらせてもらった。なんか隣これ Oleg さんだよなぁと思いつつジャーナリストとしての使命感からトンカツうどんを頼む。残念ながらトンカツとうどんが別々に来るだけだった…まぁどっちもそれなりに喰えはするものだった。うまいとは言えんが。

帰り際にせっかくなので Oleg さんになにか要領を得ないことを聞いてみたり。もうちょい有意義な話があれば良かったのだけど。

思ったのは、関数型言語に僕が抱いている口でバカにしつつも憧れてる面がある的な感覚は英語で説明するのは難しいなぁというような。全体的にたまに喋ると I love C++ とか口走ってるお前何しにここ来てるの系のバカだったわけなのだけど、まぁみんなキレ始めたりせず、優しくしてくれたのだった。まぁ相手に気つかうとかすると余計喋りにくくなるし、素直に喋ってたのはまぁ良かったんじゃないかと思う。

3日目 (ICFP 2日目)

多少寝坊しつつ、あと体調も悪いし二日酔いもちょっとあるしでだるいので、午前の最初の方は行かないことに。3つのうち2つはたぶん行ってもわからんかったと思うので良し。朝は Eggs benedict とかいうのをなんだろうなぁと思って頼んで食べてみた。これはなんかどっかで食ったことある気がするなぁ。ブリストルかな。

次のからはちゃんと行って、一通り話を聞いたり寝たりしながら時間をすごした。実装の話はそれなりにわかるけど、理論的なやつはモチベーションが理解できれば OK くらいの勢いだなぁ。

昼飯は会場で出てるのをいただいた。

コンテストの時間の前に、ガイスティールがいたので声かけてサインをねだる。なんかカタカナが書けるらしく、カタカナの名前を併記してくれた。これは自慢できるなぁ。本は wo さんが紹介してくれたコレ(よりによって ICFP で C の本のサインもらうのも微妙だが)

http://shinh.skr.jp/m/?date=20090416#c03

でコンテスト結果発表があって、何人かの人とコンテストについて少し話して、その間にガイスティールにこんぐらちゅれーしょんずとか言われてよろこんだりして、まぁ疲れが色々溜まってるし今日はねばらず帰るか…と帰った。電車の乗り方やルートやらなんやらを知りたかったので、電車でホテルに帰ってみた。近くの店でハンバーガーとか買って一昨日買ったハムも喰いつくして今にいたる。

今のところの感想としては、飯の危険度が高くないなぁ。すごくうまいものがあるわけでは無いけど。あとイメージとしてスコットランド人はイングランドの人より太ってないイメージがあって、言い換えれば健康的に見える。そこらの飯屋の量は多いけど、喰えないほどではないしなぁ。それが本当かは明後日以降にわかるんじゃないかと思う。

(03:57)

_ サイン

わいわい

(04:56)

_ 色々とやることが

ある。

• 明日の道を調べる
• ICFP PC について書く
• ICFP について書く
• きょうについて書く
• コメントに返事とかする
• 仕事のメールを書く

最後の2つはさっさとやってしまった方が良さげなのでさっさと片付ける。

(06:44)

_ ICFP で調べたいと思ったことリスト

• Fortress
• 限定継続 shift/reset
• OCaml debugger
• Parallel Haskell
• ocamljs, O'Browser

めも

(03:56)

_ 英語について

なんとか or なんとか? って聞かれた時に発作的に後者を選んでしまうことが多くて困る。 "tea or coffee?" "coffee" と言いつつ本当は tea が欲しいことがなんと多いことか。

"good luck" はおまえの努力とは関係なく運まかせという印象を持ってたのだけど、これどうも本当に完全に頑張れって意味なんだなぁ…お前の努力が十分なのは自明で、後は不運が無ければ完璧! みたいな感じで解釈すればいいのかなぁ。それとも全ては神の思し召し的な話なのかなぁ。

receipt と invoice の違いがよくわからない。日本語のレシートが receipt で領収書が invoice ってイメージかなぁ。

最後に ? がつかない方の isn't it がさらりと言えるとかっこいいと思う。僕はそれ以前に疑問文がすっと出てこない。特に主語が2語になると全然言えないのはなんでかなぁ。 How does OCaml debugger reverse states? とかに苦労した。

(03:55)

_ いぎりすにき2

4日目 (ICFP 3日目)

疲れててたっぷり寝て、朝起きて飯を喰った。飯はフレンチトーストを頼んだのだけど、トースト?とか聞きかえされて yes とか言ってたら普通のトーストが2枚出てきて、さらにフレンチトーストも出てきた。あのねえ…

気を取り直して出かける。一個目の talk はわかんなさそうだしパス…と思ってたら、実は結構面白そうな話ぽかった。まぁ後で聞けばいいか。

コンテスト主催の人と少し雑談。ランキングの公開をお願いしたり、賞金もらう方法を聞いたりとかそんなこんな。

本当は3日目は脱走して観光でもしようかと思ってたのだけど、まぁせっかくの機会とのことで会議場にいた。面白くなさそうで意外と面白い話が多くて、残って良かったなぁと思った。

昨日大変疲れててあまり雑談とかせずに帰っちゃったので、適当に色んな人と話してみたりする。なんか研究に関するビデオをまとめて公開するような試みがあるらしく、お前もコンテストについて喋ってみないかと言われる。明らかに辛そうだけど面白い試みだと思うので承諾。適当に script を準備してから撮ってもらう。黒歴史でしか無いという感が強いが。

飯は適当に喰いに行く集団についていって一緒に食べる。働いてる人が比較的多い感じだった。ただマジメに選ぶ気力が無くてハンバーガーを頼んだのは失敗だった。迷わずトンカツうどんを注文した前衛性を取り戻さねば…

5日目

湖水地方というところに移動することにしていたので、移動。ホテルのすごい近くにある Haymarket という駅から Oxenholme 経由で Windermere まで行けば良かったらしい。まぁ特に混乱も無くついてしまった。英語圏はラクで良いね…

あとなんか思ったのは色んな人がすごい親切だなぁ。やっぱアメリカより余裕ある感じがあるんだよなぁなんとなく。ロンドンはどうんだんろうか。

Windermere に着く前に観光案内を見てて、なんかこのレストランに行ってみよう!と決めてたところを探す、探す、探す…で見つからないので、適当なレストランに入って喰う。割と前衛的なものを喰った。いかにもマズそうだったけどそれなりにおいしかった、しかし好みの味ではない。これをおいしいと思う人が喰えばおいしいんじゃないかな、という感覚。

にしてもまぁ雨が降ったりやんだりを異様なペースで繰り返していて、大変気分が悪い。靴下とかグチャグチャになるし、そもそもサンダルだし…なんでサンダルなんだよって話ではある。

さてバスを20分ほど待ってから Bowness に移動。このへんからどうも効率悪いなぁと思っていた。飯は Bowness で喰っても良かったしねえ…

でまぁ Bowness に着いたら湖が大変綺麗。しかしときおり暴風雨が吹き荒れる。フラフラ歩いてると白鳥さんその他が普通に湖の付近にいて、普通に接近できるというか触れることすらできるんじゃないかコレ。

白鳥さんの写真とかを撮って満足してからホテルを探すことに。なにぶん荷物多くてうざい。人に道を聞きつつ宿へ。

宿についたら宿の人がえらい親切な感じで、紅茶を淹れてくれてついでに何見るべきっすかねみたいな話を。まぁ船乗るのと散歩道歩くのとをやれば良さそうだという結論に。

どっち先にするかなーと思って散歩道へ。しかし道はどろどろです。そしてときおり暴風雨。まぁ湖が見えたり天然のうさぎさんがいたり、どうも道に迷って羊さんの牧場に侵入したり、まぁ大変よかった。これで雨さえなければなぁ…全体的にすごいいいところなのに…

あまりにどろどろになったのでホテルへ一旦帰ってズボンのスソを洗ってアイロンで強制乾燥。その後船に乗りに行くと今日は終わったとのこと。明らかに順番間違ってるねえ。まぁビール買って帰って今に至る。

明日は船乗ってからロンドンに移動してオフィス見学かなぁ。経路は Oxenholme => London Euston => London Victoria でよさげ。 Victoria line ね。出発は 11:59, 12:51, 14:00 のどれかか。前もってチケット買っとくとえらい安くなるんだなぁ。まぁ予定考えるのもしんどいしいいことにするか…

(04:46)

_ OCaml debugger

http://www.ginriki.net/wd/category/ocaml/

なるほど fork しとくって実装かぁ。 しかしということはこれは linux kernel は setpid(2) を 実装すべきというゴルフ場以外の用途が思いつかなかった 主張に意外な根拠を与えることになるまいか。

まぁバッファしてないファイルとかソケットとかが巻き戻しで とんでもないことになるのは変わらなさげだけど。

(06:51)

_ 大変急ですが

そろそろ日本にいない系の方から ICFPについて話す会があるといいんでないかという話をもちかけられ、 どうせなら適当に呑み会にすればいいんでないかということで 適当に参加者を募集してます。 今週の木曜の晩に渋谷という感じです。 僕のカンでは 20 人くらいにはなるんじゃないかなーとか思ってます。

水曜くらいまでに連絡をいただければ 適当に対処するので適当な手段でご連絡をいただければという感じです。

参加条件は特に無いのですけど、hogelogさんとこのまとめに存在してる程度に 今回のコンテストに参加した方のほうがいいんでないかと思います。 具体的には問題を理解しようとして解こうとしてみた、くらいでしょうか

(02:32)

_ ICFPなんちゃら

明日の昼頃適当に予約を取るので、 それまでに連絡をいただければなんとかします。 20人ていう見積りはどこから来たのか知らんけどどう考えてもそんなにいないな… 具体的には14人? 人数の把握すらできとらん…

詳細としては、19時渋谷モヤイということにしておきます。

070-6513-8161 / phs ___at____ shinhskrjp (ドットは適当に推測してください)

とかに連絡ください。

19時スタートなら21時にいらしても1時間半くらいは やってるんじゃないかなーと思いますがどんなもんですかね。

http://twitter.com/tanakh/statuses/3859144009

店とか決まったら明日ここに書いておくんで、 自力到達されるか上記へ連絡していただければ良いように思います。 席は大目に確保できるよう努力しておきます。

SRMとかぶってるのは気付いてませんでしたすいません。

(01:27)

_ 店

19:30 で渋谷わんスペイン坂店予約しました。 今たぶん12人で15人くらいは余裕で入れるぽいので 遅く来る人は来ていただければたぶんなんとかなります。

http://maps.google.co.jp/maps?f=q&source=s_q&hl=ja&geocode=&q=%E6%B8%8B%E8%B0%B7+%E3%82%8F%E3%82%93&sll=36.5626,136.362305&sspn=78.865841,88.681641&ie=UTF8&z=17&brcurrent=3,0x60188cb2eb3108d1:0xf11cd9b2395b6677,0

の A

_ ICFP的なにか

みんな急な日程で来ていただいてありがとうございますという感じでした。 木曜の晩とかそんな忙しくないだろうと僕の感覚で考えてたら みなさん結構忙しいようだった。

まぁなんか来られなかった人とか 喋りたりなかった人は他のアレを企画してくださいぜひ的なアレ。

会自体はこう必要以上にインターナショナルというか みんな気をつかって英語とか使っててすごいなぁと思った。 もっとこうどうどうと日本語で喋って向こうに聞き取らせるくらいの… ええ僕もムリなんですが…という感じだった。

ICFP的には、完成したプログラムでバグがなくて、 あとまぁみんなと似たような bruteforce を 高速なシミュレータでやれたのがデカかったのかなぁ…とか思った。

たぶん探索できる範囲とか時間とかがそうとうおおかったんじゃないかなぁ。

あと naoya_t さんがその場で SRM やっててかっこよすぎた。 あれいいなぁ僕も今度やりたいけど酒呑んで SRM はロクなことになった記憶がない

(01:38)

_ Git と Perforce

http://atmarkit.blog.corp.itmedia.co.jp/archives/50859571.html

なにやらどっちも仕事で使ったりとかなわけだけど。

僕の感覚ではどっちもいいツールだけど用途が違う系かなぁと思うかな。 Perforce の方が商用だけあって細かいところよくできてるなぁと思うのと、 Git の方が patch 作ってコミットまでの ターンアラウンドが長い開発では branch やら local commit のおかげで 便利かなぁというのと。

Perforce は同じファイルを複数の patch で編集するのできないんだよな。 どうしても複数 checkout することが多くなる感じになっちゃうと思う。 結果オープンソース向きには Git の方がいいツールなんじゃないかな。 でも Perforce は一部だけ checkout して開発とかしやすいのは いいところじゃないかな。

あと Perforce はよくこんだけスケールしてるなーというのもある。 Git はそこまで巨大なリポジトリを扱ってないので比較できない点だけど。

しかしこの最後のは苦しい言い訳ですね…

http://gitster.livejournal.com/35469.html

(03:58)

_ いぎりすにき2

6日目。

くつしたをかわかす。アイロンよりドライヤーの方がはるかに急速乾燥に向いてると学んだ。

朝食はトーストに卵とサーモンの燻製が乗ってるもの、とトースト2枚。それなりにおいしい。でも常識で考えてトーストそんなにいらないよね…まぁでもこのホテルは大変よかった。

白鳥をたっぷりながめる。中国人に中国語で声かけられる。船に乗る。なんか天気悪そうだったけどどうにか雨がふらなかったので、前日に乗るより良かったと思う。風景は大変綺麗。

船降りるとすぐバスに飛び乗ってすぐ電車で移動開始。ギリギリ間にあうことを調べてあったのだよ。電車は別に前もって買わなくても安かった。よくわからんシステムだなぁ。特に何もないままロンドンまで。まぁ風景はよかった。

ロンドンついてもう微妙に遅いし荷物置いてたら観光できないし荷物持ってたら観光とかうざいし、ということでロンドンオフィスに行って見学。見学した。

で、ホテルへ。今までで一番適当な感じのホテル。でも値段は一緒で一泊50ポンド程度。やっぱ都会なんだねえ…

なんか今からでもできる観光…ということで近くの公園を散歩。大変楽しい。以下の地図で言うと 95-122 の公園。

http://shinh.skr.jp/syard/syard.cgi?yid=100

なんか途中でどう見ても栗的な種を一定守ってる感じの物体を蹴とばしてる集団に、これはなんだと思う？とか声をかけられる。やつらは動物だと思ってたようだが、どう見ても植物だと教える。どういう教育を受けるとそう育つんだ。しかし種の英語が思いつかなかった。今もわからないので調べると seed 。それはさすがに知ってるはずの単語だ…

Google maps によるとインペリアルカレッジがあるべき場所に病院がある。なんか移動したのかしらね。

エールを買って帰って呑む。エールは日本のいわゆる普通のビールより好きだなぁ。日本でももっと売ってほしい。ある程度翌日どこ行きたいか考えてから寝る。なんせ一日しか無いからなぁ。

7日目。

ホテルの朝食はひどいの一言。明日は喰わんと思う。

この日の経路はたぶんこんな感じ。赤が地下鉄で黄色が徒歩。ロンドンって意外と狭いよねえと思う。 Mr.X の乗ってるタクシーはどんだけ遅いんだというかぼったくられてるよね絶対。僕の経路は Mr.X としては画面外に出ているのでずるい。でも逃げやすい右下や最後ねばりやすい左下を生かせていないのでたぶん捕まってたと思う。

地下鉄の駅がどっか工事してるとかで行けないらしい。そしてその駅を経由するつもりだったので大回りに。わりとよくあることぽい。なんというか日本じゃそんなのあんま無いよね…全体的にロンドンの地下鉄は日本に比べると遜色があるけど、まぁでも日本以外としては相当いい感じなんじゃないかなぁと思った。普通に便利。暖房が異様に強い線があるのは辛い。

ただ値段体系が意味不明というかすごくて、どこ行くのも4ポンド。なのに行き先を指定して買う。乗り過すと20ポンドだか罰金。5.6ポンド払えば1日乗り放題のチケットが買える。そのチケットがあるとバスがタダになったり船が安くなったりする。 Suica 的なものがあれば近距離は4ポンドより安く(最低1.6ポンド)なる。全く意図がわからんがどう考えても観光客は5.6ポンドの乗り放題を買う以外ありえない。4ポンドのチケットは罠でしかないだろうこれは。

さてまず大英博物館へ。たぶん49あたり。なにか色々あるけど時間があんまないので適当に見てまわる。よくこんだけ集めるなぁ。一番なにか感じるものがあったのは普通にロゼッタストーンかな。次回来る機会あれば1日くらいかけてかたっぱしから見れるといいね。

近くにある cartoon museum に行ってみる。それなりに金取るけどどうでもいい。イギリスのマンガ絵はアメリカ以上にアメリカだな…

111に移動してバッキンガム宮殿(124-130)のある公園を散歩。宮殿は衛兵とかいた。しばし考えたけど中の見学はしないことに。15ポンドくらいで高いし。

140あたりにあるウェストミンスター寺院かなにかに行く。これも15ポンドくらいで高いんだけど、まぁそれなりに中身ありそうなので入る。なんか色々あって大変面白かった。イギリスは文化が完全に継続してるため(革命起きてないので王がまだいるし貴族もいるし)ここにある文化財的な物体は1900年以前から今でも王位継承の際は持ち出されて使用されますー、とかそういうのが多くて、ああなんかすごいなぁとか思った。

それとイギリスの有名人はたいていこの寺院に骨があるか記念碑的なのがあるらしい。ニュートンとかシェイクスピアとかルイスキャロルとか。面白い文化だなぁと思う。あと建物の造形がすごく良いね。建物と言えばイギリスは歴史のある建物も立て直したりはあんませずにそのまま使うらしい。国会議事堂とかもそうだし、そこらの民家とかも歴史がありそうな感じ。維持費とか考えると立て直した方が安そうだけど、そいう文化はいいなぁと思う。

中で軽食が売っていたので、スープとパンを喰う。それなりにおいしい。

近くに他にも国会議事堂とかがある。ビッグベンというのが有名だそうだ。中見るのはまぁパスでいいやと思う。議事やってる季節じゃないので議事の方が面白そうだし。

他にも回りに観光地あるけどまぁパスで。橋を渡って157に移動。途中募金を要求される。募金するのはやぶさかではないし実際たまにするんだけどそいう道端で集めるのは正直意義がわかってないのでしたくないと言いたかったけど、英語で説明できる気がしなかったのでノーノー言って逃げる。めぐまれないチルドレンがどうこう言ってた。

133-157の間にあるアホみたいにデカい、確か世界一デカいらしい観覧車を見る。乗れそうなら乗るかなぁとか思ってたんだけど、アホみたいに並んでたのでパス。

もうちょい遠くに行かないと無いと思ってた船乗り場があったので乗ることに。 Mr.X ごっこをしに来た僕としては船は外せない。そして行き先はグリニッジ。経度0の天文台はプログラマとしては見たいよね。船は人多くてうざいし、風景も良くもないし窓ガラス汚ないしで、わりとどうでもよかった。

グリニッジ。しかし greenwich とかいうスペルでこれってウィッチじゃねえのかなぁ。公園を通って天文台へ。公園がたいへん良い。台というだけあって高いところにあるので、その公園が一望できて大変良い。この手の公園だと大抵たくさんの人が草っぱらで寝転んだりしてて、いやあのんびりしててうらやましいなぁと思う。のんびりという意味ではロンドン以外の人はたいていゆったりしてる感じで、道を聞いたりしても親切に教えてくれるし、とても良かった。これでメシがうまければねえ。

天文台は今は博物館的なものになっているようだ。まぁ時間と宇宙に関する博物館だった。無料で入れるのにやたら金かかってる感じだった。すごいなぁ。子供が遊べるアトラクションとかゲームとかあって、教育としてはすごく良いもののように思った。

他にもグリニッジは無料で入れる博物館的なのがあるんだけど、時間的に入れなかった。

さて帰りは電車で。地下鉄で移動しようと思ったんだけど何故か動いてない。地上の方は持ってるチケットで行けるかわからんかったのだけど、人に聞くと大丈夫とのこと。108の駅まで移動。

108の駅から105の駅に移動。途中風で電車のチケットが飛んでしまって悲しい思いをした。僕の5.6ポンドが…それはそうと105の付近にあるロンドン大火記念塔に行って、時間的にもう入れないんだけど回りを見る。なんかなんでも記念物を置いてくんだね…いずれ国中記念物だらけにならないのかな…ロンドンは既にそのきらいがある気もするが。

65あたりに地下鉄で移動。このへんはショッピングやらなんやら、要は歓楽街らしい。ふらふら店を見る。チャイナタウンがあったりユニクロがあったり。あとマルクスの住んでた家があるということなので見に行くと、単なるアパートみたいな感じで、ただ小さく Karl Marx とか書いてあるすごい小さなプレートが外から見れるところにはってあった。

100あたりに広場。ナショナルミュージアムかなんかもそこにあるけどまぁまたの機会に。タイミング良く噴水とか出てそれを見たり、ヘンな女性が高いところでパフォーマンスをしたのが終わったところらしく、彼女がはしご車的なもので救出されるのを見たり。

101付近のまたショッピング的なものが多いぽい。そういえばキドニーパイって喰ってみたかったということで店に入って喰う。それなりにうまいが相変わらず多い。

そのへんで大道芸をやっていたので見る。話は面白いけど、内容はあんまり面白くないというかどうでもいい。

ホテルへ帰着。疲れた。

8日目

朝喰うのが最後のイベントかなぁと入念に近所を検討した結果、ケバブを喰うことに。困ったことに普通にうまい。量は多いが。

パディントンに移動してヒースローに電車で行って、飛行機。

飛行機は機械のトラブルらしく2時間くらい出発が遅れる。途中明らかに飛行機のシステムを再起動してる感じとかあって、興味深かった。なんかなおったっぽいので飛ぶらしい 。 It should be OK とかこわいんですけど。まぁ大丈夫でよかった。

隣あわせた人がヨーロッパの昔の法律とかを研究してる方らしく、色々ためになる話をしていただく。面白かった。イギリスの裁判官は未だに貴族カツラをつけて裁判をするらしい。

途中の映画はターミネーターとその隣あった方が飛行機が落ちるシーンがあるらしいと勧めてくれた KNOWING かなんか。ターミネーターは面白くなかった。 KNOWING もまぁどうでもいいけど英語だったので英語の勉強になった気がする。ホラーとかなら割と画面から何言ってるか想像できるなぁとか、子供のセリフは全くわからんなーとか、パニックになて叫んでるのとかも全然わからんなーとか。

ヴァージンアトランティックかなんかなのだけど、メシはおいしくない。まずいブリティッシュブレークファストとか。イギリスのメシはブリティッシュブレークファストだけはうまいとされているらしく、実際おいしかったところのはそれなりにおいしかった。あとそこらじゅうで All day breakfast とかいう、一日中 breakfast が喰える場所がある。英語能力をうたがいますね。

総じて、3があるといいなぁという程度にイギリスはまた行きたいかなぁと思った。行けなかったところとか多いし、マグロのかわりに赤ピーマンが乗ってたりするマズい寿司も喰ってみたかった。

(05:23)

_ 体が

全体的におかしい。

手がしびれる。 昔体重が50kg切ったりすると起きてた現象と近いけど、 もっとなんかしびれてる気がする。 健康診断で貧血と言われたし、一度医者行ってみるかなぁ。

まぁ単純に日程が無茶なことになりすぎなんだよなぁ。

8.22-28 実家 8.29-9.6 イギリス 9.7 呑み 9.8 呑みの後友人が泊まりに来て呑み 9.9 夜までポーカー 9.10 ICFP呑み 9.11 mjsp 9.12 勉強会は回避 9.13 PRML 9.14-16 小旅行 9.19-21 小旅行 9.23 SDL

か。どんだけ旅行するんだ

(16:14)

_ 明日

PRML なんとかかぁ。 Boost とか一回試してみたいけどどんなもんかなぁ。 SVM で文字認識は一度やってみて失敗したのでもうちょい頑張れ的な。

AdaBoost とか単語だけ置いておくと にはさんあたりがすごい勢いでぐぐって すごい勢いでがっかりしそう

(16:16)

_ ICFPなんとか

最初に誘っていただいた外国の方々が たのしかったよみんなありがとう的な感じらしいので書いておきます。

あとさっき出てきたレシート見ると その場でやった適当な割り算が全然間違ってて 4000円もいらんかったぽい。 いや最初にレシートで見た時はもっと大きい金額だったと思うんだけど、 あの割引券で異様にひかれたとか… その場で見た時はそれなりに足出るけど まぁ残りは払えばいいかと思ったんだけど、 実はたぶん僕はほぼ払ってないかむしろ増えてるくらいの勢いだなぁ。 遅れてきた人とかにも配慮せんかったしいくない。

まぁ今度多めに払わせてください > 各位

(19:22)

_ 反復深化法

http://topcoder.g.hatena.ne.jp/cafelier/20090912/1252755209

というやつだと思う。

僕は TopCoder でもよくやってしまうなぁ。 なかなか解法思いつかなくて焦ってしまって、 とりあえず example だけ解けるの書いて、 ああやっぱ遅いよね知ってるよ…とか思いつつ考える的な。 TopCoder の場合はいつも終わってから反省することになるんだけど、 たしかに Code Jam だと違ったりもするかもなぁ。

(21:09)

_ 眠れないので

トイレットペーパーと目薬を買おうとコンビニへ。 間違っておにぎりとパンだけ買って帰ってきた…

(05:01)

_ リネーム

http://niha28.sakura.ne.jp/b/log/16

宣言と実装の方名前変えて、 あとはコンパイルこかしてこけたところ片っ端から修復、 って感じじゃだめなのかなぁとか。 1000個所から呼ばれてるとかならキツいけど、 数十くらいならできる気がするんだけど。

(05:04)

_ 適当マッチ

http://steps.dodgson.org/?date=20090912#p01

golf_prelude.rb に近いけど他の文字からの距離でスコアつけてるあたり Quicksilver の方が賢いなぁ。 まぁ goruby の探索空間は Quicksilver ほど広くないから この程度でいいって話もあるんだろうけど

http://svn.ruby-lang.org/cgi-bin/viewvc.cgi/trunk/golf_prelude.rb?diff_format=h&revision=22990&view=markup

(11:01)

_ って

akr さんがバグフィックスしてくださってたのか…

洗濯おわたので行く!

(11:16)

_ 黒歴史

わかりやすい黒歴史ができてしまった。

http://vidiowiki.com/watch/m844dyn/

しかしこいうの見れると色々反省できるな。

自分で聞いて何言ってるかわからんあたりダメダメなわけだけど、 それは結局こう用意したものをほとんどただ読み上げてるだけだからだなぁ。 何が重要で何がどうでもいいのかさっぱりわからん。 日本語だとそれを防ぐために 喋る内容ざっぱに決めるだけでアドリブで頑張るとかするわけだけど、 英語だと考えてるだけでほぼ終わっちゃうだろうしなぁ。 文面だけじゃなくて喋り方とかある程度考えてあればなんとかなるのかな…

あと発音は今に始まったことじゃないけど 3分くらいなら意識すればもちょい頑張れるような。

(21:28)

_ Cygwin

kinabaさんに Cygwin の fork は とんでもないことになっているはずだと教えてもらい、 確かにそうだなぁと色々考えてた。

まぁプロセス自力コピーして後は自力排他制御しか無いよなぁとか 思ってたけどまぁ実際のところそうみたいだ。

http://www.sixnine.net/cygwin/translation/cygwin-ug-net/highlights.html#ov-hi-process

にしてもこれ面白いなぁ。 select も大変なのか。 そらそうだなぁ…

まぁこのドキュメントは一読の価値はありそう。 後で読む系。

http://www.sixnine.net/cygwin/translation/cygwin-ug-net/index.html-toc.html

(21:41)

_ SDLなんとかとか

http://twitter.com/omo2009/status/3944493269

勉強会はたぶんぐらひっくとかまるちめでぃあとか興味ある感じなら だいたい OK な感じだと思いますんで ぜひ来られるといいんじゃないかなーと思ったりします。

告知はよくわからんけど zinnia さんとこ見とくのが一番各自ですかねぇ。

http://risky-safety.org/~zinnia/d/cur/rent/

あと SDL なんとかがそろそろなんとかなので そちらの方もいかがですか的な。

http://gonypage.jp:10080/proj/wiki/SDL_2009%E5%A4%8F

これもたぶんぐらひっくとか略なら だいたい楽しんでいただけるんでないかなーと思ったりします

(22:45)

_ Quine リレー

http://d.hatena.ne.jp/ku-ma-me/20090916/p1

うわあアホ(略)だなー

IOCCCでマクロでアドベンチャーゲームってあったと思うんだけど、 (#ifdef OWN とかしといて -DOWN で下に移動とか) そんな感じで入力に応じて言語が変わっていく Quine アドベンチャー作れそう

(23:35)

_ 3のキッカーで勝つ方法

場が 44442 で相手が 22 で自分が 23 だといい というような話をした

(21:18)

_ THIRTEEN

http://thirteen.kharkov.ru/2009/09/21/algorithm-used-in-submission-team-thirteen-icfp-contest-2009-eng/

相当すごいことやってたんだなー。 コードもあるので誰か解析してください。

てかなんで勝てたのかなぁ的な…

https://www.blogger.com/comment.g?blogID=6886136881785649350&postID=3634331573374167587

このへんでおしえてもらった。

(22:34)

_ 買い物をしよう

そうしよう

今なにか高い買い物をしなければならない件が多い。

• Snow Leopard (20000くらい?)
  • なんか Grand Central Dispatch という中二病的なヤツがすごそうだ!
  • すのれぱ仕事的な意味でも欲しいしサブブラウザは Chrome に統一したいし
  • ちょうど glog がすのれぱでほげほげとか言われてるし
  • 結論としては明日買う
• ベッド (???)
  • 右手が痺れているのは横になってPCを触ってる悲惨な態勢が問題説が強い!
  • 机を使わないのは椅子からシームレスに寝る手段が無いからなので、ベッドが椅子につながってれば使うんじゃないかなー
  • ソファーベッドもいいなぁ
  • 背の高いちゃぶ台があれば座椅子みたいなソファーベッドもあるぽいのでそれでも良い
  • PCと違って回りにプロフェッショナルがいないから相談とかしにくいもんやねえ
  • そもそもどこで買えばいいのかがわからない。 IKEA とか?
• ヘッドマウントディスプレイ
  • これで寝ながら PC がいじれるんではないか…! 姿勢++ 視力--
• ノートPC (50000 くらい?)
  • ゴルフ場をなんとかしたい
  • 要求は、 VT のある CPU 、ノートPC、可能な限り安いこと
  • 古めの Core 2 Duo マシンかネットブックかねー
  • 3万くらいで買えるといい感じなのだけど
  • このCPUってVTありますか？という質問は店員いじめでしかない
• レーシック (200000 くらい?)
  • なにかみんな受けてるから僕も受けたい
  • まだ結構高いねえ…

(16:23)

_ 買ったものとTODO

結局、

• Thinkpad X60 (キートップ一個無くなってるのと液晶ちょい痛んでいて31000円ちょいという破格。どうせサーバだし無問題すぎる…)
• Snow leopard
• Koss the plug (1本目がいい加減痛みすぎなので2本目)
• LANケーブル * 3
• 汎用なUSBケーブル
• USBケーブル * 3
• USBカードリーダ

などと色々買った。

TODO はまた多いくなってきた感じが。

• SDLのやつを出す(でも websocket サーバとか常時稼働させたくないのがちょっとほげほげ)。特に資料どうすっかなぁ。
• x60 とたわむれる
• Snow leopard を入れる
• webkit の make-script-test-wrappers の TODO がいろいろ
• layout tests
• 病院に行く
• GCC とたわむれる
• syard とたわむれる
• blokus (やべー)
• テトリス
• TCC は -run をあと少しリファクタリングして push
• TCC x86-64 asm が出たら見てみる
• w3m であそぶ
• chrome key でコピーができると良い
• chrome key は chrome 側の変更が必要 http://shinh.skr.jp/m/?date=20090823#p01
• kevil がなんかおかしい件
• 銀河ヒッチハイクガイドのDVDを返す
• 定額給付金をくれと電話する
• ベッドについて思いをはせる

捨てられそうな TODO

• bfx は忘れてた
• ada は忘れてた
• grub は諦めようかなぁ。コードだけ整理しときたいが

(01:51)

_ ゴルフ場再建メモ

昔書いた regression tests を走らせて、

12 of 90 tests failed

まで。

今日困った点としては、 bash のかわりに dash 使うと exec の回数増えちゃった、 っていうのと、 あとは aplus-fsf が squeeze と sid にはあるっぽいのに lenny に入ってないとかかなぁ。

後は自力インストールしたものばっかなので結構難易度高いなあ…

(18:53)

_ Snow Leopard

とりあえず Chrome もうごいてるし、 extension も flash も IME も動いている。 感動的と言っていい。 さよなら Firefox と vimperator 。

問題は sevil も w3mimg も動いてないことだなー。 明らかに同源ぽくて、 Leopard で deprecated になっていた CGSCStringValue とかそのへんの API が消えたっぽい。 消えるのはいいとして回りの API が残ってる以上、 代替手段はあるのだろうけど、 探すのはちょいめんどいなー。

あとは glog がコンパイルできないらしいのも調べるべき。 それと SDL 。 あと中二病のアレ

(19:11)

_ 休日

ぼんやりとゴルフ場再建などをしてるうちに終わる…

感想したしじみを富士のふもとで買ったので しじみごはんを作って、 なんかフカヒレスープの缶詰めが実家からずいぶん前に来て 放置されているのを思い出したのでそれも作ってたべた。 深く考えずフカヒレスープをあんかけとしてごはんにかけたら うまかった。あんかけチャーハンのような。

このクソみたいな TODO の数的に もっと獅子奮迅のごとくひきこもりプログラミングができればよかったのだけどな

(19:29)

_ watch.so

ゴルフ場の弱々しい sandbox の watch.so なのだけど、 これがコンパイルしなおすと全く正しくない動作をしている…

うーむこれはなぜ… あれむ root で動かしてるのが問題じゃないかというか root なのに古い watch.so は動いてるの? とりあえずユーザ作る。

あと git にあるのは SVN head じゃないぞ…

(20:19)

_ クソみたいなミス

だった…

watch.log の保存場所がおかしかったらしい。

(20:31)

_ TODO

減ったけど増えた。

• ゴルフ場の続き
• Snow leopard で sevil/w3mimg
• Snow leopard で SDL
• Snow leopard で glog
• メガデモ
• webkit の make-script-test-wrappers の TODO がいろいろ
• layout tests
• GCC とたわむれる
• syard とたわむれる
• syard の script.js をちょっと書き直す
• blokus (やべー)
• テトリス
• TCC は -run をあと少しリファクタリングして push
• TCC x86-64 asm が出たら見てみる
• w3m であそぶ
• chrome key でコピーができると良い
• chrome key は chrome 側の変更が必要 http://shinh.skr.jp/m/?date=20090823#p01
• kevil がなんかおかしい件
• 定額給付金をくれと電話する
• ベッドについて思いをはせる
• 最近 xclip で文字化けする

捨てられそうな TODO

• bfx は忘れてた
• ada は忘れてた
• grub は諦めようかなぁ。コードだけ整理しときたいが

(00:51)

_ twitter

twitter の Search に walkinput で飛べないのはなぜか… という課題があったので調べてみた。 要は textarea が 2 つあって、片方は DM 用で普段は隠れているからっぽい。

クソが…クソが…と思ったけど、とりあえず Alt+/ が accesskey で仕込まれてるので、それを覚えれば良いみたいだ…

しかし accesskey を表示する方法とか欲しいもんだね。 今度作るか。

(01:09)