Return-Path: Delivered-To: sakai@tom.sfc.keio.ac.jp Received: (qmail 23477 invoked from network); 19 Mar 2003 15:06:10 -0000 Received: from quickml.com (133.138.2.9) by tenryu.tom.sfc.keio.ac.jp with SMTP; 19 Mar 2003 15:06:10 -0000 Received: from kanakan.csl.sony.co.jp (quickml.com [133.138.2.9]) by quickml.com (Postfix) with ESMTP id 8DF884515; Thu, 20 Mar 2003 00:05:40 +0900 (JST) Received: from quickml.com (quickml.com [133.138.2.9]) by localhost (QuickML) with ESMTP; Thu, 20 Mar 2003 00:05:40 +0900 Received: from ybbsmtp01.mail.yahoo.co.jp (ybbsmtp01.mail.yahoo.co.jp [210.81.151.101]) by quickml.com (Postfix) with SMTP id 5E2864506 for ; Thu, 20 Mar 2003 00:05:39 +0900 (JST) Received: from yahoobb219186034019.bbtec.net (HELO fmv) (219.186.34.19) by ybbsmtp01.mail.yahoo.co.jp with SMTP; 19 Mar 2003 15:05:38 -0000 X-Apparently-From: Message-ID: <000b01c2ee29$75bebee0$1322badb@fmv> From: "TOYOFUKU Chikanobu" To: References: <002301c2ec90$12b82920$2e22badb@fmv> <4.3.2-J.20030319203352.02dd5e60@192.47.124.3> <20030319231039.E0C3.TETRYL@tokyoprogrammer.com> Date: Thu, 20 Mar 2003 00:08:48 +0900 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-2022-jp" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Subject: [haskell-jp:95] Re: tail n Reply-To: haskell-jp@quickml.com X-Mail-Count: 95 Precedence: bulk X-ML-Address: haskell-jp@quickml.com X-ML-Name: haskell-jp X-ML-Info: http://QuickML.COM/ X-QuickML: true 豊福です。 早川さん > tailn n xs | length xs <= n = xs > | otherwise = tailn n (tail xs) xs が確定していなくても「length xs <= n」をある程度計算 できるんでしたっけ。 差分リストですが tail側を unify できるのが差分リストの本質な のかもしれません。前のメールに書いた方法を差分リストを使って と書いたのはおこがましかったかも。 --- 豊福 ttoyofukujp@yahoo.co.jp __________________________________________________ Do You Yahoo!? Yahoo! BB is Broadband by Yahoo! http://bb.yahoo.co.jp/ -- ML: haskell-jp@quickml.com 使い方: http://QuickML.com/