From ruby-math-admin@netlab.co.jp Thu Feb 15 14:56:54 2001 Received: from voscc.nagaokaut.ac.jp (voscc.nagaokaut.ac.jp [133.44.1.100]) by blade.nagaokaut.ac.jp (8.8.8/8.8.8/Debian/GNU) with ESMTP id OAA00040; Thu, 15 Feb 2001 14:56:52 +0900 Received: from hoyogw.zetabits.co.jp (postfix@hoyogw.zetabits.co.jp [210.251.121.20]) by voscc.nagaokaut.ac.jp (8.9.3/3.7W) id OAA04635; Thu, 15 Feb 2001 14:52:09 +0900 (JST) Received: from hoyogw.netlab.co.jp (localhost [127.0.0.1]) by hoyogw.zetabits.co.jp (Postfix) with ESMTP id 5FF0246D4C; Thu, 15 Feb 2001 14:52:06 +0900 (JST) Delivered-To: ruby-math@netlab.co.jp Date: Thu, 15 Feb 2001 15:09:47 +0900 From: kikkawa@m.u-tokyo.ac.jp Reply-To: ruby-math@netlab.co.jp Subject: [ruby-math:00385] Re: puts 'Why?' if 0 ** 0 == 1 Sender: Masahide Kikkawa To: ruby-math@netlab.co.jp, matz@zetabits.com Message-Id: <20010215150947B.mkikkawa@cb.m.u-tokyo.ac.jp> In-Reply-To: <982215496.781253.17259.nullmailer@ev.netlab.zetabits.com> References: <200102150503.AA01850@rho.aist-nara.ac.jp> <982215496.781253.17259.nullmailer@ev.netlab.zetabits.com> X-ML-Name: ruby-math X-Mail-Count: 00385 X-MLServer: fml [fml 3.0pl#17]; post only (only members can post) X-ML-Info: If you have a question, send e-mail with the body "help" (without quotes) to the address ruby-math-ctl@netlab.co.jp; help= X-Mailer: Mew version 1.94 on Emacs 20.4 / Mule 4.0 (HANANOEN) X-Dispatcher: imput version 990905(IM130) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-2022-jp Content-Transfer-Encoding: 7bit Precedence: bulk Lines: 22 初めまして吉川です。 Matz> 不思議か不思議でないか判断する能力は持たないのですが、手近な Matz> プログラミング言語の処理系で 0 の 0 乗が 1 でない処理系はな Matz> いようです(Scheme, Perl, Python, C, Ruby)。そういえば、昔 Matz> 「そう定義する」と数学の授業で聞いたような... 多分私も「定義」だと思いますが、なぜそれが自然な定義かは説 明できますね。 f(x,y) = x ** y という関数を考えたときに、 f(x,y) の xに関する偏微分は x=y=0 の時でも連続な関数になり ますが、yに関する偏微分は x=y=0 の時には log 0 * (0 ** 0)に なりますから、yの側から f(0,0)を連続にすることはできないので、 せめて、xの側から連続になるように定義したのではないでしょう か？ ではでは