Received: from tsbgw.wide.toshiba.co.jp (tsbgw.wide.toshiba.co.jp [202.249.10.123]) by shuttle.wide.toshiba.co.jp (8.9.1+3.1W/8.9.1) with ESMTP id LAA19216 for ; Mon, 17 Jul 2000 11:40:33 +0900 (JST) Received: from maltese.wide.toshiba.co.jp (maltese.wide.toshiba.co.jp [202.249.10.99]) by tsbgw.wide.toshiba.co.jp (8.9.3/8.9.1) with ESMTP id LAA02021 for ; Mon, 17 Jul 2000 11:55:31 +0900 (JST) Received: from isl.rdc.toshiba.co.jp (spiffy.isl.rdc.toshiba.co.jp [133.196.10.10]) by maltese.wide.toshiba.co.jp (8.9.1/8.9.1) with ESMTP id LAA27006 for ; Mon, 17 Jul 2000 11:55:30 +0900 (JST) Received: from maltese.wide.toshiba.co.jp ([202.249.10.99]) by isl.rdc.toshiba.co.jp (8.9.3/8.9.3/8.4) with ESMTP id LAA28990 for ; Mon, 17 Jul 2000 11:55:30 +0900 (JST) Received: from tsbgw.wide.toshiba.co.jp (tsbgw.wide.toshiba.co.jp [202.249.10.123]) by maltese.wide.toshiba.co.jp (8.9.1/8.9.1) with ESMTP id LAA27002 for ; Mon, 17 Jul 2000 11:55:29 +0900 (JST) Received: from orange.kame.net (orange.kame.net [203.178.141.194]) by tsbgw.wide.toshiba.co.jp (8.9.3/8.9.1) with ESMTP id LAA02015 for ; Mon, 17 Jul 2000 11:55:28 +0900 (JST) Received: from shuttle.wide.toshiba.co.jp (shuttle.wide.toshiba.co.jp [202.249.10.124]) by orange.kame.net (8.9.3+3.2W/3.7W/smtpfeed 1.06) with ESMTP id LAA73154 for ; Mon, 17 Jul 2000 11:55:23 +0900 (JST) Received: from localhost (shuttle.sixyards.wide.toshiba.co.jp [3ffe:501:100f:0:200:f8ff:fe01:61cf]) by shuttle.wide.toshiba.co.jp (8.9.1+3.1W/8.9.1) with ESMTP id LAA19208 for ; Mon, 17 Jul 2000 11:40:19 +0900 (JST) Date: Mon, 17 Jul 2000 11:51:10 +0900 Message-ID: From: JINMEI Tatuya / 神明達哉 To: core@kame.net Subject: Re: [KQC] In-Reply-To: In your message of "Mon, 17 Jul 2000 11:46:33 +0900 (JST)" <20000717114633G.sumikawa@ebina.hitachi.co.jp> References: <20000716.234546.74718191.kazu@Mew.org> <20000717.113818.85379605.kazu@Mew.org> <20000717114633G.sumikawa@ebina.hitachi.co.jp> User-Agent: Wanderlust/2.3.0 (Roam) Emacs/20.6 Mule/4.0 (HANANOEN) Organization: Research & Development Center, Toshiba Corp., Kawasaki, Japan. MIME-Version: 1.0 (generated by SEMI 1.13.7 - "Awazu") Content-Type: text/plain; charset=ISO-2022-JP X-Dispatcher: imput version 980905(IM100) Lines: 18 X-UIDL: *j~!!XEN"!U4J"!9e_!! >>>>> On Mon, 17 Jul 2000 11:46:33 +0900 (JST), >>>>> sumikawa@ebina.hitachi.co.jp said: kazu> すると、パイ乗すると中身がでる根とか定義していいの？ kazu> そんなじゃなくて、もっと綺麗な解？ > おそらく、答えそのものを出すんじゃなくて、背理法じゃないかと見てるんだ > けど。 ヒントとして: 「答え(実例)そのものを出すんじゃない」っていうのはあたり。でも単純な背 理法というわけでもありません。 ですが、問題がシンプルなだけに、僕が知ってるもの以外の解もあり得ると思 います。実は簡単に実例が作れるっていうのならもちろんそれもありでしょう。 神明 達哉