はじめてのにき

_ おかいものしたい

r61 は 3年と9ヶ月ほど使っている模様。 というわけでなんか新しい PC とか欲しいな…とか思う。 動かしっぱなんで電気使用量的な意味でも いざとなった時の移動のラクさという意味でもまたノートかなぁ。

とりあえずデカくて良いノートを探そう…

あと iPhone の2年なんちゃらがそろそろ切れるから、 おさいふなんとか機能のある android とか買ってみるといいかなぁとか思う。

おさいふなんとかがあると、 Edy と ANA とみずほがごっちゃになった クレジットカードに乗り換えられるんじゃないかなぁとか思うのがまた良い。

ほかにもなんかあった気がするけど…

(01:12)

_ マウスコンピュータ安すぎ

という結論に至った。

17インチフルHD、 sandy な 4コア i7 、 8GB 、 500GB 7200rpm 、 GeForce GT540M て感じで 83580 。

(01:42)

_ 因果

http://blog.practical-scheme.net/shiro/20110828-lurking-bug

なんか似たようなことが webkit であって困りました。 なんでもいいからテスト A の前に一個テスト B を足すとこける、 っていうもの。

webkit のテストってのは html が大量に置いてあって、 それをレンダリングしまくってみて結果が予想通りか見る、 みたいな感じなんだけど、 テストのたびにその test runner を起動すると遅いので、 デフォルトでは 1000 個だったかそのくらいを 同じ test runner で走らせる。

全部を同じ test runner で走らせないのは それをすると leak checker が死ぬとかそういう悲しい理由だったと思う。

で、バグはテスト A じゃなくて実はテスト C にあって、 テスト C を走らせると微妙に状態を残してしまうというバグがあって、 その状態でテスト A を走らせると A がコケる、ってのが起きている現象だった。

何故それまでそのバグが発動しなかったかというと、 テスト A とテスト C の間にはそれなりに他のテストがあったので、 1000 個だったかの boundary をその間でまたぐことによって、 テスト C がちょっとおかしくした状態が消えてたのだった。

で、運命の時が来てめでたく一個テスト足すとテスト C が走って ちょうど 1000 個だったかの切れ目の前にテスト A が走る状態になったとかなんとか。

なんか書いたことあるような…と思って見てみたら書いたことがあった。

http://d.hatena.ne.jp/shinichiro_h/20100104#1262620251

(04:09)

_ 西麻布

西麻布に予約タクシーの列があって、 おお西麻布ぽいなーとか思った。 けど黒塗りとかじゃなかったからそれほどでもないかもしれない

(22:50)

_ 関西ゴルフ

なんかなにも書いてなかったら全てを忘れていた。 まあ楽しい雑談だったと思う。 いつも忙しいというかいつも何かが起きてる感の ozy さんが今回はゆっくり来られて良かった。 でも逆に時間とか日程を深く考えてなかったせいで、 僕らがいそいそと終電で帰るみたいな感じになってしまった。 あと 50B fizzbuzz を紹介し忘れた…

印象に残ってるのはゴルフ会のちょっと前に ozy さんがはてなで質問されていたことで、 あの意図はなんだったんですか、とかなんとか。 この話。

http://d.hatena.ne.jp/Ozy/20110823#p1

聞いた段階ではこのブログは書かれてなくて、 まあこういう話を聞いたのだった。

思うに受験とかってのはクソゲーで、 しかしまぁほどほどによくできているクソゲーだってことだった。 もはや高校時代とかさっぱり覚えてないけど、 なんとなく覚えてる感覚では、 こういうのにひっかかる子ってのは、 「この今やってる勉強ってやつはなにやらクソゲーである」 って認識が無いのかな、ってのがあったかもなぁ…というのがあったかもしれない。 なんかもっと高尚なもんだと考えてるようなそういう。

なんとなく出題者が聞きたいことを察してあげるみたいな、 そういう能力が結構な要素を占めてるというか。 国語とかなんかもろそんな感じの科目だよね、ってのが僕の認識。

そうそう最近遊びで同僚とセンター試験とかやってみたりして、 なんかその時もクソゲーだなぁ…とか思った。 結果は英語183国語145数学62だそうだ。

英語の183ってのは、現役の時にこの点取ればかなり喜ぶ感じだと思う。 まあ明らかに俺をバカにしてるのかって問題ばかりで、 ダメだダメだと思ってたけどどうやらそれなりに英語力増えてるんだなーと 嬉しくなった。 間違えたのはほとんど序盤の発音とかそういうのばっか。 ただなんか最近のセンター試験は実用指向になってきてるらしくて、 そいう意味で一応実用してるのは有利ってのがあるかもしれない。

国語はまぁ元々なんかできる子で、まぁクソゲーだからな…っていう。 古文とか漢文が全く意味取れてないし 単語も文法もさっぱり覚えてないのに、不思議と正解はするのよね…

数学は解いたところはあってるんだけど、時間が全然足りなかった。 数学のクソゲーぷりはすごくて、要はコレ問題見る前から解き方は わかってて後はパラメータ見てるだけなんだよな。 そいうパターンをキチンと忘れてるし公式とか思い出す速度も遅いしで、 まぁこんなもんなんだと思う。

で、かなり上から目線なアレだけど、 「頑張ってるけどなんだか残念な子」ってのは 本当に「頑張ってる」と言えるんだろうか…とかさえ思った。 つまりゲームのルールを把握せずに全く違うことやってるわけで、 なんかファミコンで遊んでるのと大差ないとまでは言わんけど、 まぁなんかそんな感じ。

あとなんか思いつきだけど、 この「出題者の望みをかなえてあげる」ってヤツは 実用的な能力かもしれんね、意外と… 客の不明瞭な仕様から望ましいソフトを書くとか…

あとは ozy さんがどうやって社会人しつつ 研究するみたいなやってるかみたいな話が興味深かった。 漠然とそいうのやってみたいような忙しそうでめんどくさいような。

(23:18)

_ イベント

http://www.atmarkit.co.jp/fwcr/rensai2/nodejs01/01.html

の説明はこれいろいろ微妙な気がするんだけど…と読んでて、 node.js ってのはマルチスレッドじゃないってことかなぁと気になった。

JS って ruby とかに比べると比較的マルチスレッド許しやすいよなぁとか

(22:55)

_ おもいだしたようにこっちにも書いておきます

_ http://partake.in/events/3e29c4c7-8da2-4d2f-bacd-ccc5c53b96d8

_ md5 quine

MD5 Quine があるかってことを考えたことがあった。 このへんに書いたことしか無いかも

http://www45.atwiki.jp/konron/pages/29.html

普通に考えるときっとあるよねーとか漠然と思ってたけど、 ちょっとよく考えると、 MD5 が一様に散ってるとすると、

1-((n-1)/n)^n

の確率で Quine は存在することになる、とおもう。

計算すると 0.6321 とかそのへんの数字に収束していく。 これもなんか名前のある数字なんだろうな… とか思ってぼんやりぐぐったりしてみたら 1-1/e とのことであった。

ああこれ高校でならう e の定義そのまんまみたいなもんか…

しかしつまり MD5 の Quine が存在する確率は 60% ちょいってことか… いや脆弱性とか見つかってるわけだし真に一様じゃないわけだから仮定もおかしいんだろうけど。

(21:45)

_ x86-64 最適化

http://atnd.org/events/18360

いろいろ勉強になった

飯田橋というのが大江戸線通ってるらしい、 ってことで大江戸線は六本木にもあるんだぜ、 と大江戸線に座ってたらすごいぐるっと回るみたいだった。 おかげでかなり遅刻した。

話を聞いてると色々面白いんだけど、 なんか x86-64 で最適化ってあんまやったことないなぁとか思った。 遅いとこアセンブリで書くくらいはするけど、 例えば SPOJ の PRIC みたいな、 その前にアルゴリズム考えなおせよ…系のケースが多かった気がする。

マジメに思い出してみると即近で書いたのはマラソンマッチの diff かな…

// - Optimization by SSE, x2 faster.

むむ2倍早くなったって主張してるな…

(21:34)

_ 女子

http://engineer.typemag.jp/brightw/2011/07/-googler.php

を見てていい話だなあと思ってから、

http://nlab.itmedia.co.jp/nl/articles/1106/29/news114.html

を思い出して、 なんかよくも悪くも geeky さにすごい差があるな…とか思った。 かわいい検索に炊飯器解体で対抗できるだろうか…

(03:34)

_ LD_PRELOAD_32

とかは linux の glibc には無くて時々こまる。 LD_PRELOAD に 32bit 64bit 両方入れるとエラーメッセージが出てしまう。 けどなんか比較的ラクな回避策を今日見つけた。

preload32.so と preload64.so があるとして、 32 と 64 というディレクトリを作って、 それぞれに preload.so という名前で入れておく。 つまり、 32/preload.so と 64/preload.so がある状態。

で、

% LD_PRELOAD=preload.so LD_LIBRARY_PATH=32:64 ./a.out

とかすればいい。

(00:16)

_ LoL

http://na.leagueoflegends.com/

をはじめてみた。 タダだけどアイテムとか金かかるよ、っていう dota 系ゲームらしい。

dota ってのは warcraft3 とかいうゲームの custom game 作る機能が全然違うゲーム作れるくらいの記述力で、 その上に作られた custom game の一つらしい。

LoL は基本ほとんど dota だけど あきらかにこれはイマイチみたいな仕様を消して とっつきやすくした感じ、らしい。

やってみてる感想としては、 よくできた、面白いクソゲーだなぁというような。

面白いなぁと思う点は

• パーティーゲーなのでわいわいできる
• よくわからん人と組んでる時は他の人のクセとか観察するの楽しい。味方のあの人は頼りになるからついていこう、とか、相手のアレはカモだから見つけたら殺そう、とか
• 味方を有利にする指標 (相手を殺したとか相手拠点を潰したとかレベルとかもろもろ) が複数あって、勝った後に自分がトップになってる指標を探すことによって、全員が「俺のおかげで勝てた」と思える
• 逆に負けた時は自分よりへちょい人探して「あいつのせいで」って思える
• 細かい操作の奥が深い感じなので、まぁうまくいくと楽しい
• でも自分のまわりだけ見てうまく操作するより全体を見て味方全体を有利にする動きをした方が良い

とかそういうあたり。 クソゲーだと思うのは、始めたばっかで何言ってるんだって感じだけど、

• 例えば格ゲーとかシューティングとかほどは細かい操作の奥が深くなくて、「こういうシーンではこういう動きをすれば良い」みたいな理想形が割と自明な場合が多い
• 戦略的にもあまり深くないと思う。特に大局的な作戦みたいなのが動的に変わる要素が少ないと思う
• 無料ゲーム+課金アイテムでもうける感じなので、そのせいで歪んでる感じのシステムがある
• どうも dota のまんますぎるせいだと思うんだけど、このコンセプトならもっと面白いゲームにできるんじゃないの? ってところが多い。特に1ゲームが長い(40分くらい)のは致命的な気がする…

ってあたりかなぁと思う

しかしまぁタダだししばらくは楽しむと思う

(02:37)

_ system calls

数日前に知らなかったことをいくつか別々な人に教えてもらった。

• posix_spwan は全然 atomic じゃない。 mac とか solaris は atomic かもとかなんとか
• pwrite というのでデカいオフセット指定して書くと、 PROT_WRITE mmap して好きな順で書いていく…みたいなことができる
• readv/writev というシステムコールがある

(04:17)