はじめてのにき

_ GC

http://d.hatena.ne.jp/authorNari/20081203/1228267905

ああ Boehm GC はそれやってるんだなぁ。 それで緩和はすると思うっていうか 件のスレッドにそれは書いてあったように思う。 でもたぶん真に問題なのはそこじゃなくて、 スタックの底〜SP の間に valid な VALUE が残っちゃったまんまでイヤーンという話だと思います。

TODO: あの話はかなり感動したのでこんどなんかかく

(00:55)

_ なんというか

SP が激しく上下しててたまに底付近まで 行ってくれたりするようなその対処で問題なくて、 でもデカい Ruby コードだったりすると戻って来んよねーとかいう話かなと

(00:57)

_ String#ord

http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-dev/37266

言ってみるもんだなぁと思た

(00:58)

_ Enumerator#inspect

http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-dev/37248

の議論を IRC で見てて、最初にぱっと思ったのは

def make_pure_enumrator(e)
  def e.inspect
    "#<Enumerator::#{to_a.inspect}>"
  end
  e
end

class Array
  alias orig_each each
  def each
    make_pure_enumrator(orig_each)
  end
end

p [1,2,3].each

みたいな感じのを、 Array の中身を include 一発でできるんじゃないかなぁ、 と思ったのだけど、やっぱできないような気がして、 書いてみたらやっぱりできなかった。 できるのかもしれんが。 まぁ Ruby むつかしい気味ではある。

あとこれ Ruby 1.8 で動かんね。

(01:02)

_ GC

http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-core/20149

このスレッドが面白いなぁとか思ってたんだけど誰も反応してないから、 まぁ日頃から GC に慣れ親しんでる人には常識なのかなぁとか思ってたんだけど、 なんか matz さんが反応した。 月曜に色々聞いた感じでは GC フェチには常識的な感じではあるみたいだ

(02:29)

_ ウヒョー

ttp://shinh.skr.jp/t/tree.gif

http://d.hatena.ne.jp/miura1729/20081202/1228227760

を使ってみた。素敵だなあ。

ttp://shinh.skr.jp/t/081202_2358.jpg

まぁでもこっちの方が読みやすいよね!!

(02:47)

_ 木ぽいののループ検出

http://d.hatena.ne.jp/miura1729/20081130/1228033970

via http://practical-scheme.net/wiliki/wiliki.cgi?Shiro

あまり問題は把握してないしグラフがうんぬんとかはよくわかってないけど、 このウサギ大量作戦だと

こんな感じで木?を作ると

(define (gen-line n c)
  (if (> n 0)
      (cons (gen-line (- n 1) c) c) c))

(print (gen-line 3 1))

(define (gen-tree-aux n m)
  (if (> n 0)
      (let ((c (gen-tree-aux (- n 1) m)))
        (cons (gen-line m c) c))
      (gen-line m 1)))

(define (gen-tree n) (gen-tree-aux n n))

(define (run n)
  (if (> n 0) (let ()
                (run (- n 1))
                (no-cycle? (gen-tree n))
                (print cnt)
                (set! cnt 0))))
(run 25)

N^2 のサイズの木?に対して指数ぽい挙動になるような。

なんか勘違いしてそうだけど…

(00:24)

_ String#[]

ホント改悪ですよね(ゴル略的な観点で)!

でまぁマジメに 1.8 に String#ord 入れて欲しいなぁ… てか String#getbyte とかあるのかそっちも入れて欲しい。

(02:05)

_ 文句言ってる間に

http://redmine.ruby-lang.org/issues/show/809

一念発起してアカウントを作った。

メール投げるよりこっちの方がいいのかな。 メールよりめんどいけど。 なんていうかこう残るものは close したくなる気がするし。 insns.def のコメントもこっちにコピペしたろか。

(22:50)

_ GCC ビルド

stage すっとばすオプションあったよなあ

../configure --prefix=/usr/local/stow/gcc-4.3.0 --disable-nls --enable-languages=c --disable-stage1-languages

とかでいいんだっけか。

たしか直近ではあろはさんとこで見た気がするので、 とか書いとけば教えてもらえるんだきっと…!

(23:38)

_ disable-bootstrap

か。

(23:41)

_ まとめると

configure --prefix=/usr/local/stow/gcc-4.3.0 --disable-nls --enable-languages=c --disable-bootstrap --disable-multilib --enable-checking=all

あたりで。

http://gcc.gnu.org/wiki/MiddleEndLispTranslator

に書いてあった。

(23:42)

_ ななしさん

http://pc11.2ch.net/test/read.cgi/tech/1173057314/229-

一応 _ に変換するようにしといた

(23:50)

_ rand

まぁ rand は無いってのはそうだと思う。

http://blog.bugyo.tk/lyrical/2008/11/cdiv-1.html

#include <stdio.h>
#include <stdlib.h>
int main(int argc)
{
    int i, j, sum = 0;
    int x = rand()%3+3;
    int y = argc + 10;
    for (i=0; i<10000000; i++) {
    for (j=0; j<10; j++) {
#if 1
        div_t d;
        d = div(x, y);
        sum += d.quot;
        sum += d.rem;
#else
        sum += x / y;
        sum += x % y;
#endif
        x++; y++;
    }
    }
    printf("%d\n", sum);
    return 0;
}

とかでやってみた。

./a.out  0.83s user 0.00s system 97% cpu 0.845 total
./a.out  0.61s user 0.02s system 95% cpu 0.661 total

で div 使わない方の勝ちだった。 アセンブリ見た感じ div は関数呼んじゃってるなぁ 除算はきちんと一回になってるし。

まぁ除算きちんと最適化できるのに div なんてレアなものを builtin にする意味ないって感じかなぁ。

一応 gcc/builtins.c 見ても div ぽいのは無かった。

あとベンチマークの後は妥当ぽいか確認する手段として、 クロック数を概算してみるとかいいと思う。 1秒程度かかってるんならループ1回に数百クロックくらいかかってる感じで、 除算だけでそれはちょっと無いよなぁみたいなそういう。

(00:43)

_ メンバ250

くらいならいじったことあるなあ。 あれは苦痛に満ち満ちていた。

http://www.kt.rim.or.jp/%7ekbk/zakkicho/08/zakkicho0811c.html#D20081127-6

それはそうとまさに構造体のダンプのために こいうもの作った過去があるわけですが

http://d.hatena.ne.jp/shinichiro_h/20051230#1135939355

今も動くかは知らぬー

うむ 64bit linux では動かん。 今度なおすかなあ。

(05:48)

_ 面白そうな

http://sourceforge.net/mailarchive/message.php?msg_name=49316D7B.5080904%40BitWagon.com

(16:34)

_ function purity

GCC ML で目に入った

http://gcc.gnu.org/ml/gcc/2008-11/msg00357.html

こいうのはちょっと面白い話かなぁと思う。

(21:48)

_ ばぐ

だんだん潰すべきバグが難しくなってきた

単に引き続き体調悪いせいかもしれんが。

なんというか gdb 使えない領域のデバッグは割と大変だなぁとかそういう。

(22:09)

_ twitter 撲滅委員会

そして twitter で色々コメントをいただいたのであった。

http://twitter.com/kinaba/status/1023511153

わざわざ [shinh] とか書いていただいたのに

http://search.twitter.com/search?q=shinh+-from%3Amircbot

にかかってないなんて、いやあ不思議だなあ! それはそうと、 tumblr は本当にコピペだけであることが ほとんどっぽい感じなので無視してるんだけど、 そうでもないのかな…

http://twitter.com/kashiwa/status/1022925121

全エントリに tinyurl 作ってリスト作っておくってのはいいかも知れないなぁ。 でも作ったアドレス群を全部検索するのは大変ではないですか。 過去への言及とかも見たいので…

http://twitter.com/yanbe/status/1022879570

http://twitter.com/yanbe/status/1022885159

そうそう shinh.skr.jp を含む全 tiny URL リストとか取れるといいんですけどねえ。 正直なところ実装するの大変そうだけど。

http://twitter.com/chunjp

どう見ても有意義な発言をしているのであった。

http://twitter.com/natsutan/statuses/1023579256

twitter がそこにワンホップして redirect とかしてくれたらなぁとか思わないでもないですが、まぁキツいよなあ。

そうそう、片っ端から follow して TwitterIRCGateway で流れてきた ログを適当に検索する、っていうのも割といいんだけど、 今度は IRC の方に permalink 流れて来ないという問題があったりとかそういう。

つか twitter も google とかでいいのかも。

http://www.google.co.jp/search?as_q=shinh&hl=ja&inlang=ja&ie=EUC-JP&oe=EUC-JP&num=10&as_epq=&btnG=Google+%B8%A1%BA%F7&as_oq=&as_eq=&lr=lang_ja&cr=&as_ft=i&as_filetype=&as_qdr=d&as_occt=any&as_dt=i&as_sitesearch=&as_rights=&safe=images

などなど

(00:11)

_ 英語

たまに思うのは、なんというか自分の思考法を 相手もしてると思うのはいかんなぁというアレ。 英語で全部細かく説明すると大変そうだし、 長くなるとミスが積もって余計混乱しそうだ、 とか考えて、 この程度言えば後は想像で補ってくれるだろうみたいな想定を勝手において 省略した説明をするのは良くないことが多い気がする。

しかし細かい説明をしようとして途中で あーアレねみたいに話遮られたりすると リズム的にかなり辛いという言い訳も。

自分の思考法を押しつける系で言うと、 「今日」を漢字に分解して now day とか もっとひどいと now sun とか言ってみるとか、 そういうことやる人をたまに見る気がして、 まぁ程度差の問題で自分も似たようなことやってる気がするなぁと。

あでも now day 的なヤツは単に機械翻訳使ったってだけかも

そんなこんな

(00:22)

_ strict aliasing

i@u4 ~/test
> cat short_cast.c
#include <stdio.h>
int main() {
    int var1 = 0x1020304;
    *(short *)&var1 = 0x0809;
    printf("var1=%x\n", var1);
};
i@u4 ~/test
> gcc short_cast.c&&./a.out
var1=1020809
i@u4 ~/test
> gcc -O2 short_cast.c&&./a.out
var1=1020304
i@u4 ~/test
> gcc -O2 -fno-strict-aliasing short_cast.c&&./a.out
var1=1020809

割とカンタンに起きるんだなあ

(22:30)

_ もんだい

struct structa1 {
    int f1;
    int f2;
};
struct structa1 s1;
s1.f1 = 1;
s1.f2 = 2;
t = 3;
printf("hoge: %d %d %d\n", s1.f1, s1.f1, t);
printf("hoge: %d %d %d\n", s1.f1, s1.f2, t);
printf("hoge: %d %d %d\n", s1.f2, s1.f1, t);
printf("hoge: %d %d %d\n", s1.f2, s1.f2, t);

で

hoge: 1 1 3
hoge: 1 2 2
hoge: 2 1 2
hoge: 2 2 2

となる理由を述べよ。

(01:44)

_ こたえ

コンパイラがバグってる。

(01:45)

_ ゴルフ会

http://shinh.skr.jp/m/?date=20081126#c02

今さっき思いついたんですが、 お忙しい方とか codegolf.com に参加してない方も 夜だけ参加とかどうでしょうか的な。

(23:56)

_ struct の渡しかた

amd64-gcc だと、 16B 以下のサイズだと RDI と RSI に乗せて、 それ以上だったら x86 同様スタックに乗せるっぽい。

色々疑問はあるのでどっかで ABI 調べた方がいい

(08:31)

_ Porting GCC to the AMD64 architecture

http://gcc.fyxm.net/summit/2003/Porting%20gcc%20to%20the%20amd64.pdf

むーややこしそう

(08:35)

_ Web時代到来

telnet www.google.com 80 とかして HTTP の実験してたら timeout して、

HEAD http://www.google.com/ HTTP/1.0

なんちゃらとかをペーストして telnet は切れちゃったけど return 押したら、なんかレスポンスが来てびびったのだった。

正体は libwww-perl パッケージらしい。 /usr/bin/HEAD とか一通りそろってるのであった…

(21:11)

_ はてぶ

文句なく大改悪と言っていい。 w3m ユーザにとっては。 やまあ w3m ユーザでこれでいいって人もいるかもだが…

うーんキツいなー。 また mod_filter でいじるか…

つか web 時代だし、 RSS とか見ればいいのではないかな? とか思って RSS 見てみたけど

http://b.hatena.ne.jp/entrylist?sort=eid&url=http%3A%2F%2Fd.hatena.ne.jp%2Fshinichiro_h%2F&mode=rss

これが user 数入ってないんだなぁ。 JSON とかでエントリごとに中身取ってくる API はあるけど、 一覧して見たいわけで、何度も数問いあわせるのはイマイチだよなあ。

http://b.hatena.ne.jp/entry/json/http://d.hatena.ne.jp/shinichiro_h/

うーむ html いじるのが一番マシそうやね…

ついでに俺と web

• なんかはじめてみたころは、こうリンクとかはったりはられたりとかしか通信路がなくて、でもまぁリファラ見ればだいたいどういうフィードバックもらえたかとかは取りこぼさなかった。
• でまぁコメント欄とかいうのがよく出てきて、これはまぁ気軽に物を教えて下さったり感想書いてもらえたりして、しかも通知メールまで来ちゃったりして、便利になったと思ったと思う。
• トラックバックというのはよくわからなかった。まぁ別にリファラで十分なのになぁとは思ったけど、まぁ害は無かった。はてなダイアリでリンクはると自動でトラックバックになるのはビビったけど、まぁそいうものらしいとわかったので問題なかった。
• 2ch からのリンクは ime.nu とかで、どこで言及されたかわかりにくかった。まぁでもたいていは自分の観測域からリンクをはられるので、ちょっと探せば見つかった。
• で、 mixi だったと思う。何か言及してもらってるらしいけど、何書いてあるかわからんという悲しさを体験したのはこれが始めてだったんじゃないかと思う(まぁ企業内イントラからのリファラとかはしょうがないとして)。これもまぁ、ある日決意して invite してもらったらほぼ解決した。 private な日記なら見れないのはちょっと悲しいけど、率は少ないし。 mixi 側で private 日記からのリンクはワンホップかまして referer 隠すとかしてくれるといいのにとかはちょっと思う。
• 次がソーシャルブックマークと reddit かな。コメント欄に書いてくれてたかもな人が一部ブックマークコメントの方に漏れてしまったと思う。幸い、僕んとこに意味のあるコメントを残す人はたいていはてぶを使ってくれてたので、これだけなんとかすれば良かった。どうしたかというと自分のトップページの新着エントリーをローカルのアンテナで見るようにした。僕のアンテナは diff 残すので、 users が増えたところだけ見て回ればコメントあるか無いかチェックできた。基本的に少し不便になったけど、まぁ、ブックマークになったおかげで気軽に意見を書けるようになった、という側面もあると思うので、悪いことばかりではないのが救い。 reddit はたまにはられると有意義なコメントもらってる率が高いので、ちょっと困る。
• twitter は論外と言っていい。謎の tinyurl からのリファラ、 http://twitter.com/home とかいう無意味なリファラ、たまに http://twitter.com/username から来たと思うと、既に連投の後で何ページもたぐらないと言及が見れなかったり。しかも twitter 検索だと URL はほぼ検索できないよなぁという。 shinh と検索した結果をアンテナに突っ込むとかそういう切ない対処を。 twitturly とかあるけど、ちょっと探した感じ特定の URL が入ってる言及を全部取ってくるとかはできないように思った。

でまたはてぶの新着エントリーページが間延びして見にくくなって、うむむー。

一応、上記はこう、僕が書いたものについてフィードバックもらえた時はなるべく見たいなぁという観点だけについて書いたので、文句言ってるサービスもまぁそれなりにいい面があるとかはまぁ理解してるかと思う。それぞれそれなりに楽しんだりはしてるし。ああでも twitter はさっさと滅んで欲しいかもしれない。

いや、みんな twitter に意味のある情報を書きすぎだと思うんだよな。 permalink から前後の文脈を辿れない、 1 permalink あたりにサイズ制限のあるメディアとか、何か意味ある情報書く場としてはアレすぎると思うんだが。「起きたー」とかつぶやくだけならいいのに。

てかたぶん探せば d.hatena.ne.jp/shinichiro_h と shinh.skr.jp を含む URL にリンクした twitter のコメントを一覧表示させる素敵サービスがあるのではないか

(23:00)

_ たまに止まる問題

ふーむ止まる時は Yahoo のボットが来てるなぁ。 確かにアクセス頻度多いけど、でもそんなにお行儀悪そうにも見えないのだけど。

(16:25)

_ shippugss

http://gonypage.jp/pub/shippugss.zip

in http://www5.atwiki.jp/yaruhara/pages/104.html

を wo さんにやっていていただきたいという国民の声が

(18:17)

_ long long

大変だなこれわ…

たぶん long double の方がカンタン。

(20:59)

_ リポジトリ

ふと、何でもつっこんでる SVN リポジトリの revision が 3088 とかになってて、 なんか結構多いような少ないような、とか思って svn log で全部見てみた。

r1 | i | 2002-03-05 14:57:29 +0900 (Tue, 05 Mar 2002) | 2 lines

2002 年からか。 サイトの html とかをまとめて突っ込んだのが最初らしい。 しかし、いつ CVS から SVN に移動したんだろう…

(23:36)

_ おめでとうございます!

http://www.kmonos.net/wlog/91.html#_2158081116

とか書こうと思ってずっと忘れていた。 というか忘れていることはたくさんある…

(01:46)

_ ev vs th

http://arton.no-ip.info/collabo/backyard/?FailedDreamOrMultitaskingGuiTool

GUIを例に出されると一瞬で説得されるなぁ。 パフォーマンスシビアじゃないだろうしなあ。

げげこれポールさんじゃないですか

(01:48)

_ unsigned

http://slashdot.jp/~bero/journal/458777

これを根拠に size_t 使うのか。 むむむという感。

なんというか size_t vs int vs vector<T>::const_iterator はどうでもいいんだけど、

for (size_t i = vec.size() - 1; i >= 0; i--) {
}

とか何度か書いちゃったことがあるので size_t を避けたくなっちゃうんだよなあ…

まぁ個人的には map<string, vector<HogeObj*> >::const_iterator とか高速にタイプすると仕事してる気がするので 割と好きだったりする。

昔は大嫌いだった気もするが

(01:54)

_ int ダメの他の根拠

個人的には warning うざい、が圧倒的に強いと思う。

(01:54)

_ SRM

うーむ 250 の最初の自分の解答が信じられない問題が続く… 正答ぽいのできた→うーん通らない→ 通らなかったケースを見ると自分が問題を勘違いしていたと気付く→ がんばって実装しなおした→ 全然通らん→ 問題見直すと問題勘違いしてない→ むしろ最初の実装であってるけど最後の割り算の分母だけおかしい。

とかそんなかんじ。 なんで無駄に倍の時間を使わなければならぬのか ひどい。

そして 500 が system test 通るとは思いがたい…

(03:50)

_ whitespaceless

http://d.hatena.ne.jp/nazodane/20081122/1227375801

面白いのでゴルフ場に加えさせてもらいました

http://golf.shinh.org/p.rb?Whitespaceless+Hello+world

(04:35)

_ star wars

http://d.hatena.ne.jp/tosik/20070409/1176081337

via http://yowaken.dip.jp/tdiary/20081122.html#p02

これはかっこいい… とりあえずクリアしてみて思ったのは、 ゲームとして普通に面白くてすげーなーという。

左右つながってるステージで 左右に弾うってたまに起きる大爆発で 真横に飛ぶグライダーを一掃するとか、 一見障害物風のハシゴっぽい物体が 端っこにうまく引火するとメラメラ燃えていったりとか。

(06:47)

_ TODO

• Amazonとか
• ゴルフ場穴ふさぐ
• lambda の前処理
• TCC いじり
• grub いじり
• 通帳を作る

http://shinh.skr.jp/m/?date=20081115#p05

だいぶへらした。

• 電気→なんか口座振替だったらしく、割引あるらしいので変えない
• ケータイ: 適当に
• ガス→大変だった:

16:55 >i< ガスをクレジットカードで払いたい
16:55 >i< それにはお客様番号が必要である
16:55 >i< お客様番号は領収書についてるらしい
16:55 >i< 領収書はメールで来ててログインすれば見える
16:55 >i< ログインするパスワードがわからない
16:56 >i< パスワード再発行にお客様番号が必要である

(17:20)

_ flush 64bit

やたー

http://journal.mycom.co.jp/news/2008/11/19/008/index.html

こんなものが。 とりあえず nspluginwrapper 消して locate npwrapper して出てきたもの消して回って、 /usr/lib/iceweasel/plugins に libflashplayer.so つっこんだらうまくいった

(18:17)

_ alchemy

alchemy の libc どうなってるかなーと avm2-libc/lib/avm2-libc.l.bc をディスアセンブルしてみた。

llvm-dis avm2-libstdc++.l.bc

などと。

module asm "  private var pmalloc:Function;"
module asm "  "
module asm "  public function alloc(n:int):int"
module asm "  {"
module asm "    if(pmalloc == null)"
module asm "      pmalloc = (new CProcTypemap(CTypemap.PtrType,"
module asm "        [CTypemap.IntType])).fromC([_malloc]);"
module asm "    var result:int = pmalloc(n);"
module asm "    return result;"
module asm "  }"

なんというか AS のコードが asm として出てくるのはちょっとびっくりですな。まぁ普通に配列かなーと思ったけどよく見ると CProcTypemap とかよくわからんな。

CProcTypemap はうーんちょいと難しいな。 _malloc はどこから来たんだ。 まぁとりあえず保留

(19:57)

_ セルオートマトン

おもしろい

http://www001.upp.so-net.ne.jp/suzudo/gallery.html

ライフゲーム以外にもいろいろあるんだなあ。 色々見た感じでは star wars がやはり一番いい感じかなぁ。 色々見るとライフゲームみたいに斜めに飛んでくのは珍しいみたいだ。

(21:21)