はじめてのにき

2009-09-02

_ いぎりすにき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)

本日のツッコミ(全3件) [ツッコミを入れる]

_ hassylin [プリンセスストリートの工事は終わってましたか？６月に行ったときは工事中でした。。 http://twitter.c..]

_ shinh [なんかそこ以外もそこらじゅう工事してるような気が。あとあれって princes なのでプリンシズじゃないですかね。]

_ hassylin [現地の人もプリンセスストリートと呼んでいたような気がします。。。その人も間違えてたのが、俺の耳が悪いのか(こっちが有..]

2009-09-01

_ 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)

本日のツッコミ(全3件) [ツッコミを入れる]

_ Gimite [Hash.new(3)はMarshalableなはずですが、Arrayにはデフォルト値とかないっぽいですね。]

_ akai [fetchを使えばいいのでは？]

_ shinh [fetch! こんなものがあったんですね。ゴルフに関係なさそうな長さのメソッドは目に入らないという病気のせいで…今後..]

2009-08-31

_ 自然言語プログラミング

http://www.kmonos.net/pub/Presen/fltv/FLTV.pdf

これは今まで見た kinaba さんの偉業の中でも最高峰だなぁこれは。そしてこの偉業に自分の名前が出ててうれしかった。

kinaba さんは詐欺師にむいていると思う。説明がうますぎて、賛成できなくてもすばらしいと思ってしまう。

賛成できない、というか少しひっかかるのは名前推論の話。最初見た時はすごいなー面白いなーと思った記憶がある。でもいつだったかその話をぼんやり思い出してる時に、微妙にひっかかることがあって、そのひっかかりを今また思い出した。みんなそうかもだけど、僕こういうのよくあるんだよなぁ。他の人の発言やら意見を最初ぼんやり流しておいて、後から replay した時になにかそれに対する考えがまとまってくるみたいな。

で何が賛成できないかというと、コピペビリティを落としたり、直交する文を挿入した時に意味を変えちゃうことがあるんだよねコレ。

String serializedString;
Obj objs[10];
for (int i = 0; i < 10; i++) {
  var _ = objs[i].serialize();
  serializedString += $String;
}

とか書いてたことにして、なんかこうこの時点での objs[i] の値の中身が見たいとして、適当に他からコピペしてきたデバッグルーチンをコピペではったりするとして、

String serializedString;
Obj objs[10];
for (int i = 0; i < 10; i++) {
  Obj o = objs[i];
  var _ = o.serialize();
  // ここを
  String s = "";
  for (int j = 0; j < o.children.size; j++) {
    if (j != 0) s += ", ";
    s += o[j].debugString();
  }
  printString(s);
  // コピってきたよ
  serializedString += $String;
}

とか、まあ恣意的な例だしこれ自体に関してはデバッグ出力用の関数を Obj のメンバにしろよボケという話なのだけど、まぁこういう状況は他にもまぁ、あるんじゃないかなぁと思う。

自然言語でも実際これってよく起きる問題だと思うんだよなぁ。英語論文とかひいこら言いながら書いてた時とか、わかりやすくするために文の順序とか入れ替えてたりすると、いつのまにか以前は問題なかった the が意味がわからんくなる程度に遠くになっちゃったりして。

エラーコレクティングが容易な口語では、この手の省略ってヤツは鬼強い物体なので、口語でプログラムできるようになったらこういう名前推論はありかなぁとか思う。あと、要はミスに気付かせてくれればいいわけで、 IDE が賢くなって、名前が変わった時に $String が色が変わったりして知らせてくれると十分なのかもね。あるいは名前推論は basic block をまたげないとかそういう制約を入れてしまうか…

ところで上の例はもう一つ本当にウザい話と関係していて、コピってきた元の例が本当に j でループしてくれていればいいんだけど、 i でループしてたらこれ全部 j に書き換える必要があったわけで、 for の中の 3 つの i=>j はまぁ忘れなかったとしても、中の if の i=>j は、これは、僕がやったら 50% くらいの確率でミスる部分なんじゃないかなぁとか思う。さてこの内側のループのコピペミスに関しては、これはむしろ名前推論がなされてれば完全に防げるミスだったりするわけですよね… 実際 Perl でコード書いてると $_ についてよく起きることのように思う。

とかなんとか。

every と some は、 sawzall の some はそんな動きしてたっけ、いやなんかもっと珍妙な動きをしてた気もするが…

http://labs.google.com/papers/sawzall-sciprog.pdf

Quantifier variables are declared like regular variables, but the base
type (usually int) is prefixed by a keyword specifying the form of
quantifier. For example, given an array a, the statement

  when (i: some int; B(a[i]))
    F(i);

executes F(i) if and only if, for some value of i, the boolean
condition B(a[i]) is true. When F(i) is invoked, i will be bound to
the value that satisfies the condition.

全然別物だったよ。要はループに並列可能性を suggest するためのものだった。

メッセージを共通化する話は、

.maxPriority = .max{|a,b|a.priority<=> b.priority}

っていう文法は普通にいいなぁ。

objs.map{|o|o.children.map{|c|c.doSomething}}

が

objs.map(&.children.map(&:doSomething))

とか書けるといいなぁ。途中の話に戻るけど、要はループ変数というのが最も名前を省略したい物体なのだよね。あれだけ type 数を増加させる C++ の algorithm なのだけど、 iterator の名前をつけなくて良いのは抗いがたい魅力なのですよ。

どうでも良いのですが、僕は iterator の変数は i とかつけて j とか k とかにするのは k とかが int じゃないのが混乱を招きそうで嫌いだし、 it は英語の it ぽくてキモいという話もあって iter を採用しているのですけど、 iter の次の、2つ目以降の iterator 型ループ変数名にいつも困っていたのでした。たいていは外っかわをもう少し説明的な名前にしてたのだけど、どうしても名前つけにくいものも多くて。

ところがこの間 jter とか kter とかつける文化が多くは無いもののあるようだと教えてもらって、これがすごく気にいっているのでした。

変数名として意味の無いものをつけるべきでない、という主張があって、 tmp とかはいけないとされてると思う。でも、どうでもいいループの変数、特にループの中ですぐにデリファレンスしてそれ以降使わない iterator 、つまり、

for (vector<Obj*>::const_iterator iter = objs.begin(); iter != objs.end(); ++iter) {
  Obj* obj = *iter;
  // 二度と iter は必要ない…
}

とかそういうものは本当にどうでもいいんだから、どうでもいい名前をつけるべきだと思っていて、これを obj_iter とかつけるのはむしろこう、意味深で可読性を落としているように、個人的には思うんだよな。

一方僕は humans.find(you) とかした結果帰ってきた iterator に iter と名付けるのはよくないと思う。それは単なる名もなきどうでもいい 60億要素の humans それぞれを指す iter じゃなくて、 60億の中のたったひとりのために用意されたかけがえのない iterator なので、もう少し意味がある名前をつけるべきだと思う。僕は found とかよくつけるけど。

find といえば、その見つかった iterator を名付けないのもあまり好きでない。

objMap.erase(objMap.find(o), objMap.end());

とかいうヤツ。これは冗長でも分けたいケースが多いように思う。

map<Obj*>::iterator found = objMap.find(o);
objMap.erase(found, objMap.end());

なぜかというと、この found は何かしら貴重なものに決まってるから、後から log 出力に加えたい可能性、 printf デバッグやデバッガで名前を指定したい可能性がかなり強いと思うから。

これは意識するようになったのは割と最近のことかもしれない。

(05:56)

_ 追加

何個か書き忘れてた。

swap する時は tmp って名前をつけてもいいと思うんだよね。
Ruby の tap とか 1.9 の引数が帰ってくる mame#p は printf デバッグの観点では .find の戻り値をいちいちローカル変数に入れなくても十分にしてくれる能力を持ってると思う。実際、 Ruby だったら僕はこういう値に名前をつけなくても全然違和感ないし、むしろ自分でもつけない気がする。そのへんは書いてるプログラムのドメインやら言語やらによる部分も多いな。

(06:05)

_ 民主

自称サヨとしてはむしろ民主より左よりでいいくらいなので、自民よりは民主でまぁいいかなぁという感じだった。公明も消えるし。

うちの選挙区の自民の人は大変ニートにやさしくなさそうなことをブログに書いていて、気にいらない感じだったのでそれもよかった。

個人的には民主は結局何言ってるのかわからんとかいう話があるのだけど、まぁ色々な人から広く支持集めようとするとそんなもんかねえ的な。僕だけの支持を得ればいいのであればもっとわかりやすい左でいいわけだけど

(06:21)

_ JVM読書会

http://twitter.com/kmizu/status/3646075084

あるといいなぁ。

というかでも、なんだろう一つのコードをひたすら読むのって結構疲れるしあまり意味ない時間も多い気がするんだよな。

でなんか思ったんだけど、最近読んだ/いじったコードを紹介する輪読会があれば僕は満足なんじゃないかなぁとか思った。

(06:27)

本日のツッコミ(全1件) [ツッコミを入れる]

_ kohls coupons [そのような意味&#..]

2009-08-30

_ 仙台

http://d.hatena.ne.jp/w_o/20090830#p1

僕もこないだ行った時漫画喫茶でウシジマ君ひたすら読んだな… 仙台にはウシジマ君を読ませる魔力があるんだなぁ。

(17:35)

_ FLTV

ranhaさんの序盤の発表のしかたがたいへん面白かった。話すことのテーマだけ決めておいて、聞いてる人にも考えさせる的な。

たぶんテーマの作りかたが色々うまかったんだと思う。

(18:47)

_ const_cast をアセンブリで

http://twitter.com/wraith13/status/3587968262

すごいナイーブにコンパイラ実装したら mov 2回になっても不思議はないような… TCC でも大丈夫なレベルだけど。

(19:28)

[ツッコミを入れる]

2009-08-29

_ ゴルフ場

結局まぁ、現状のタイムアウトはわかりにくすぎると思う。というわけで OCaml meeting 終わったらなんとかしてみようと思う。腐ったシステムのせいで意外と変更が大きいので、今回やるのは見送ることにした…

でまぁ、結論としては、せっかく合計時間が表示されているのだから、その時間を time limit として使うのが妥当だろうと考える。まぁどう考えてもそうなっているべき。

ただ今から昔の問題の意味変えるのも微妙だし、いずれにせよちょっとややこしい変更が必要なので、 deny exec みたいな感じで別オプションをつけようかなぁと思う。

ややこしいのは、どうしようもなく起動に時間がかかる言語群は起動時間のためにタイムリミットに一定のボーナスをあげているのだけど、これが実行サーバの方で超絶アドホックにハードコーディングされてるのが大変問題で、問題ぽい。

(07:01)

[ツッコミを入れる]

2009-08-27

_ うわーたのしそう

http://www.ipa.go.jp/jinzai/mitou/2009/2009_1/youth/gaiyou/sk-3.html

via http://d.hatena.ne.jp/hogelog/20090825/p1

hogelogさん採用おめでとございます。

あと概要の最初の文が妙にかっこいいな。よくわからんけど未踏の提案って「私は」で始まるもんなんだろうか。

私はスクリプト言語Luaのメモリ管理機構を改良し、
高速性と省メモリ性を向上させアプリケーション
組み込み言語の利用用途を広げることを提案するっ！！

(01:08)

_ ls ですか

どこが発生源かは知らないのですが。

%backup%~
52.html
6.189-lecture15-cilk.pdf
Current Version
Desktop
Downloaded Albums
Downloads
Mail
News
Pictures
Videos
apfc.js
apt.txt
apt2.txt
arch
bg.gif
bin
cell
cfg
chrome
chrome_printing_test.pdf
cluster08.ppt
contestapplet.conf
contestapplet.conf.bak
cvsroot
dai-21reidai-kyouyou.pdf
dat
diff
driver.ppt
du
extensions_toolstrip.css
foo.doc
hardcopy.0
hellowave.xml
icfp09.pdf
index.html
index.html~
kansai_pm_11.pptx
kiyaku.doc
kousokuka.ppt
lib
log
manifest.json
memo
mnt
nacl_paper.pdf
neta
poker
pokerimgs
pokerimgs.tgz
pouzu.gif
public_html
shot-4k
shot-4k-src.zip
src
t
tcc64
test
tinycc
tinycc.git
tmp
trouble_cases.pdf
wrk

適当に整理しろってかんじだなぁ。あと core が無いのは人としてはずかしいことではないか

(03:25)

[ツッコミを入れる]

2009-08-26

_ TODO

webkit にコミットできるかチェック
評価
ゴルフ場の準備
web socket であそんでみる
GCC とたわむれる
syard とたわむれる
blokus
テトリス
TCC は -run をあと少しリファクタリングして push
TCC x86-64 asm が出たら見てみる
w3m であそぶ
chrome の x509
chrome key でコピーができると良い
chrome key は chrome 側の変更が必要 http://shinh.skr.jp/m/?date=20090823#p01
kevil がなんかおかしい件

捨てられそうな TODO

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

(21:29)

_ hah

適当にいじってみた。

なんかうまく動いてるようでうまくいってないので、もうちょっとなんかする。たぶん focus() 呼ぶんじゃなくて click イベント飛ばす感じにした方がいいのかね。まぁそのたもろもろよくわからん。

(21:30)

_ ssh がよく切れる問題

http://hnw.jp/documents/unixmemo/ssh-keepalive.html

これっぽい。 .ssh/config に書く方法で回避。これは手軽で良い。

(21:31)

_ デバッグ

なんかこう、もう CPU が速いとか言われてもそんなもん別に欲しくもないんだけど、デバッグがしやすい CPU とかあれば、それは数万とかなら買っちゃいそうな気がするわけです。どういうのがあれば嬉しいかというと、まぁ hardware data break とか別にそんなに欲しいかっていうとそうでもなくて。

たぶんログ残すような機能があるといいと思うんだよなぁ。なんか最近のハイエンドの POWER とかって transaction log 取っておいてデータぶっこわれたら replay とかできるとかそんな話を聞いたことがある気がするんだけど、一定の逆再生ができる程度に transaction log が残っていれば、組込みとかでない環境での reversible debugging とかにわりと現実味が湧いてくるんじゃないかなぁと思う。

まぁそこまでやらんでも、レジスタに関しては書き込みごとに前回の値を5つ程度残すであるとか、メモリを同じサイズで2本差しておいたらメモリ書き込み時に古い値が自動的にもう1本の方に行くとか、そういう壊滅的なことが起きる前の状況のヒントみたいなのが残せるといいんじゃないかなぁとか漠然と。

(21:54)

本日のツッコミ(全3件) [ツッコミを入れる]

_ niha [hit a hint で選択されたヒントにたいして何するかですが、選択されたものが何かで変えたほうがいいと思います。..]

_ shinh [href があったら location.href = href くらいはやってみてたんですが明らかにうまく動いてない..]

_ niha [tabs.update だかなんだかしないとページ変わっても履歴に残らないはずですね・・・まあそのうち・・・]