d.y.d. 再帰関数の意味とは不動点である！

02:12 05/09/03 反応リンク集 fixの話 … Perl版、 Perl版、 C++版、 C++版、 Scheme版、 Concurrent Clean版。 （9/4追記: Ruby版、 Erlang版、 Squeak版、 D版。 Sukuna版。 Erlangのprocessを使ったメモ化の例は見てみたいかも。）。 で、 メモ化の話 … Python版、 Python版 （9/4追記: ET版、 Erlang版、 Java版、 PostScript版。 ）。 decoratorは流石かっこいいですね。C++版は…うーん、個人的には、このくらいなら Boost に頼らないで直球ストレートで書いてあげたいところです。 彼はやればできる子なんです。 template<int (*G)(int(*)(int),int)> int fix(int x) { return G( fix<G

[kanouk]

楽しい！

[okagawa]

memorizationとY combinatorとの関係。素人目にも面白い。

[k1m]

memorize と fixed point にまつわるエトセトラ

[nirvash]

アスペクト志向っぽいね。

[keisuke_yamane]

任意の再帰的に定義された関数をメモ化(memoization)する関数：関数型言語Haskellにて利用されている概念を応用

[heitatta]

意味論における不動点とアスペクトの考察

[wata_d]

メモ化とか。もう少し調べてから読み直し。