Shiro Kawai
shiro****@lava*****
2004年 2月 23日 (月) 18:04:12 JST
From: katsutoshi ito <itou.****@rens*****> Subject: [Gauche-devel-jp] Re: It's a bad lazy eval on 32bit machine, isn't it? Date: Mon, 23 Feb 2004 18:02:07 +0900 > yes... 実際には私の作ろうとしてたのもさっきのようなストリームをさらに 40 〜 60 位生成して > 全ての組み合わせを順に調べながら、全体としてある条件に match するような組み合わせを > 取得するという処理ですんで変数束縛しちゃいけないとなると結構厄介ですね。 ストリームの各要素は何か複雑な系列なんでしょうか。 n番目の要素がどんぴしゃで計算できるならそれに越したことはないわけですが… また、ストリームの履歴は重要なんでしょうか。つまり、ストリームsに対して s[n]だけを見ればいいんじゃなくて、s[n-k], s[n-k+1], ..., s[n-1], s[n]が 必要になる? kがboundedなら必要な分だけ取っておけばいいですね。 バックトラックなんかで最悪全部必要とかなると厄介ですが。 話としては探索空間の枝をどうやって刈るかってことになるような気がします。 --shiro
