はじめてのにき

_ 末尾再帰とか

http://blog.goo.ne.jp/no_orz_no_life/e/e7110098e80d89e28082065d32e9dd6b

の fact とか sum を見てて、 あらなんで3つ式あるのかなーと一瞬思ったんだけど、 まあたぶん末尾再帰の最適化かけたいという話だと思う。

で、そういえば GCC はどのくらい無茶なものを 末尾再帰にしてくれるのかなーとか思って色々やってみたら、 どうもすごく単純な足し算掛け算くらいしかできないぽかった。

まぁそんなもんかーと GCC を見ると、

     if (act->add && !a_acc)
       a_acc = create_tailcall_accumulator ("add_acc", first,
                                            integer_zero_node);

     if (act->mult && !m_acc)
       m_acc = create_tailcall_accumulator ("mult_acc", first,
                                            integer_one_node);

とかあって、やはり足し算と掛け算だけ特殊処理されてるのかな、 って感じだった。

関数型言語系だと、末尾が cons だった場合なんかにも、 似たような処理をしてやれば ずいぶんと色々とラクになるんじゃないかなぁとか思った。

あと、足し算掛け算以外を色々考えてる間に書いた、

def factdiv(n)
  if n==1
    1.0
  else
    n/factdiv(n-1)
  end
end

というような関数は、 つまり (2*4*8*...)/(1*3*5*...) という感じの値を返すわけだけど、 この値は 1.25 sqrt(N) くらいの数字になるみたいだった。 正確には (1*3*5*7*...)/(2*4*6*...) になってる時は 0.8 sqrt(N) くらいになってるので、この二つを繰り返すというか。

さてこれってなんか今まで見たことあるっけ… どうも見たことない気がするんだけど、 なんか有名な法則とかがありそうではある。

(23:39)

_ 年越し

年越す時に書いてたコードは spoj のゴルフだと思う。 たぶん kamil 。 spoj のゴルフはなんかよくわからんくらい短いものが結構あって、 なんか答え埋め込みとかになってるやつもあるのかなぁ。

年明けてからは BF_PRIME で、正月早々 Brainfuck ってのもどうなんですかね… しかもどうも勝てる気配があまりなくてですね…

kinaba さんの書いておられた、 なんかに特化した言語作るってのはいいかもなぁと思ったので、 Brainfuck の短いコードを出力するプログラムに特化した言語というのはどうか…

去年は今一つ、色んなことに慣れすぎてて特に何も無かったなぁ…という感じがした。 そいうことを思いながらはてなとか見てみた。

• 年始の WebKit についての紹介は妙に頑張ってるなあ
• コードを愛でる話はまぁそれなりに色々まとめたなぁ
• 一方 TCC の話はひどいなぁ
• TLE/ICFPC は残念な感じだったなぁ

とかあったんですが、このへんは知ってることまとめたりとかそういうのばっかで、 今一つ新鮮なことではなくて。

というわけで自分的に一番重要だったことは wake は今年作ったんだなぁということな気がする。

あとまぁ後半は Starcraft2 やってたなぁとしか言えないんじゃないかね。

(23:57)