ToDo:
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)
なんかなにも書いてなかったら全てを忘れていた。 まあ楽しい雑談だったと思う。 いつも忙しいというかいつも何かが起きてる感の 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 があるかってことを考えたことがあった。 このへんに書いたことしか無いかも
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 で最適化ってあんまやったことないなぁとか思った。 遅いとこアセンブリで書くくらいはするけど、 例えば 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)
とかは 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)
http://na.leagueoflegends.com/
をはじめてみた。 タダだけどアイテムとか金かかるよ、っていう dota 系ゲームらしい。
dota ってのは warcraft3 とかいうゲームの custom game 作る機能が全然違うゲーム作れるくらいの記述力で、 その上に作られた custom game の一つらしい。
LoL は基本ほとんど dota だけど あきらかにこれはイマイチみたいな仕様を消して とっつきやすくした感じ、らしい。
やってみてる感想としては、 よくできた、面白いクソゲーだなぁというような。
面白いなぁと思う点は
とかそういうあたり。 クソゲーだと思うのは、始めたばっかで何言ってるんだって感じだけど、
ってあたりかなぁと思う
しかしまぁタダだししばらくは楽しむと思う
(02:37)
数日前に知らなかったことをいくつか別々な人に教えてもらった。
(04:17)
ソーシャルとか基本よくわからんのだけど
http://twitter.com/#!/Hamachiya2/status/87508253495406592
この +1 ってやつは実際のところどんくらい通じるもんなんだろう。 僕のまわりではアホほどたくさん見るのだけど、 しかしグーグルとか謎造語を大量に使いまくってるのでもちろんアテにならない。
webkit-dev とかで他の会社の人が使ってるのを見たこともあるし、 もっとグーグルと関係ない技術系の IRC チャンネルとかのログを grep してるとたまーに出てはいるみたいだ。 しかしエンジニアが使ってる言葉とその他の人が使ってる言葉には もちろんへだたりがあるのでこれもあんまりアテにはならない。
技術的なこと以外で英語の文語会話とかほとんど見ないからまぁよくわからんわけだ… 普通に使う単語の普通の用法だと思ってた単語が hacker's dictionary に載ってたりとかするよね…
例のごとく検索しづらいのだけど、
http://en.wikipedia.org/wiki/%2B1_(disambiguation)
あたりを見ると internet meme とのこと。 でもこの wikipedia での扱いの小ささを見る感じでは、 あんま一般的には普及してなさそうだなぁという雰囲気、かなぁ。
一方で
ってあたりは、まーフォローになりうるかなぁとも思う。
てかまぁどの程度認識されてるにしろ、 この単語を tweet くらい各国で当たり前の単語にしたいって気概なんやろうかね。
でもまぁ抵抗感じる人がいるんなら微妙なんかもしれない。
(01:11)
マラソンがひどすぎて絶句という感じ。 R1 より R2 よりはるかに時間使えてないし、使えない気がする。
有給2日くらい取るとかくらいせんとお話にならんと思う。 どうも正直マラソンというのが最近あまり好きでもないので、 そんだけやる気力も起きにくいんだよなぁ…
マラソンが何故最近好きでもないかとか考えてみると、 まぁたぶんプログラム書くわくわく感が足りないんだろうなぁと思う。 どうにも事務的というかなんというか。
逆にこれが楽しいって思う気持ちもわかるんだけどね。 例えばこんだけ for がネストしたり再帰したりしまくるコード書くってあんま無いんで、 すごい頭使う感じで、まぁそいうのは僕もそれなりには楽しい。
飽きてきた。続きを書く気が起きない
(01:19)
↑の後のことをあんまだらだら書く気がどうも起きないので 結論を考えるに、 なんか最近何やるにしても頭使うことを億劫がってる感があるよねえ…というような。
それが良いことか悪いことか、解決できる問題なのか不可避なのかはよくわからん。
(01:24)
k-pop オタへの道を
他3つはすっと思い出せるんだけど、 Girl's Day を忘れてた。
http://www.teamliquid.net/forum/viewmessage.php?topic_id=98009¤tpage=1339
つか k-pop の人気すごいな…局所的なもんだろうが… 「もはやこのスレしか見てない」とか言ってるヤツまでいる有様。 これ SC2 のサイトなんですけどね…
で GSL July のアイドルはなんて名前なんだ…
追記: 5 dolls
(23:54)
| 前 | 2025年 7月 |
次 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 1 | 2 | 3 | 4 | 5 | ||
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | 30 | 31 | ||
全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。