Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!newsfeed.mesh.ad.jp!tky01nn01fe0.sonytelecom.ad.jp!giga-nspixp2!nf1.vectant.ne.jp!nr1.vectant.ne.jp!not-for-mail From: "Y.N." Newsgroups: fj.sci.math Subject: Re: =?ISO-2022-JP?B?UXVpel8wNml2MjAwNBskQiFKMnJFeiFLGyhC?= Date: 13 May 2004 13:39:10 GMT Organization: A poorly-installed InterNetNews site Lines: 36 Message-ID: References: <800c7853.0404130611.3be17e79@posting.google.com> <800c7853.0405080658.9215616@posting.google.com> <800c7853.0405081121.685a47b7@posting.google.com> <800c7853.0405090219.27c25a85@posting.google.com> <800c7853.0405110609.451ab71f@posting.google.com> <800c7853.0405120008.4b69b886@posting.google.com> <40A303B3.3060703@slis.tsukuba.ac.jp> NNTP-Posting-Host: ed12.bfl12.vectant.ne.jp Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-2022-JP Content-Transfer-Encoding: 7bit X-Trace: nr1.vectant.ne.jp 1084455550 22820 163.139.95.12 (13 May 2004 13:39:10 GMT) X-Complaints-To: usenet@news.famille.ne.jp NNTP-Posting-Date: 13 May 2004 13:39:10 GMT X-Newsreader: Sylpheed version 0.9.2 (GTK+ 1.2.10; i686-pc-linux-gnu) Xref: ccsf.homeunix.org fj.sci.math:1075 YH> いったい何を書いているんです？ YH> まずそもそも何が前提（所与）で何が結論（目標）かをはっきりさせるのが YH> 先決。 前提：y＝f(x)のとき，Δy＝f(x)−f(x+Δx)と，ε-δ式の極限の定義 目標：高階の微分を定式化すること にすぎませんが？ YH> > KNC> 一体，何が「再建」されるのかよく分からないですが， YH> > KNC> （一階微分の話それとも高微分の話？） YH> > YH> > 高階の微分まできちんと定式化できますよね。 YH> YH> Bourbaki の言う「再建」とはそういったことではありません。 M_SHIRAISHI さんは，高階の微分ができないのがご不満のようなので。 再建にわざわざ「」をつけたのはそのためです。Bourbaki の言う再建がなにか は今のところ興味はありません。 「dy:＝f'(x)・Δx がそんなに"アホな定義"なんだろうか？」 ということが出発点で とりあえず「高階の微分が導出できない」から"アホ"とおっしゃる人がいるので， 「本当にできないのかなぁ？」というわけなんです。 低レベルですみません。 YH> 標語的に言ってしまえば、「微分の代数化」の問題です。 村田全の言ってるやつですか？