トップページ⇒math
1001コメント553KB

6÷2(1+2)は9

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2011/07/17(日) 11:43:27.04
2(1+2)という表記自体この世に存在しない

あえて計算するなら
6÷2×3

数字式ではこのようになる
0240132人目の素数さん2011/07/25(月) 21:52:04.33
括弧が発明されたのは17世紀初頭ということだが、
18世紀初頭でもまだ「―」表記のくくりがされてる論文多いな…
そうなると当然、乗算記号を書かないと逆に見づらくなるだろうから共通因数の吐き出しも
6x^2 + 4x = 2x× (3x + 2)の形の書き方になる。
でもそのくせ、
http://books.google.co.jp/books?id=uiDPAAAAMAAJ&dq=algebra&pg=PA30-IA3#v=onepage&q&f=false
みたいに近年の数式っぽく()使って書いてる文章もあるんだよなぁ…
括弧を使った場合に関する文章、これは(あるとすれば)1800年前後にありそう…
0241132人目の素数さん2011/07/25(月) 22:12:33.22
θ = (π/3) の時、sin θ/2 の値は? また、(値が変わるという意見があるかも知れないので)次も求めよ
sin θ   /   2
sin  θ/2

1.全て√3/4 派     2.全て1/2 派     3.両方ある派     4.判断できない派 

恐らく、読者は、これの中のどれかに所属するだろう。
そして読者は、こうも思うはず。「おれは、○○派だが、別を選ぶ人もいるだろう」
この様なことは、紙媒体上であったら、起こっただろうか? いや起こっていないはず。
ネットに、曖昧に載せてしまったから、起こったことなんだ。 と

これが、この論争の根本的な原因。過去の資料だとか、証明だとか、全く無意味。
ましてや、数式に時間の観念など入っているわけなど無い。
あるのは優先順位。それを明示的に指定する、括弧の補完がネットルールとしてあればいい。

それが具体化されたものが、 http://mathmathmath.dotera.net/  
「a」「÷」「bc」を、“a/bc” でいいと言っている人が、論争参加者にいるようだが、
少なくとも、ここ2ch掲示板では、“a/(bc)” と表すよう明文化されている。
このようなルールが作られるのは必然。
簡易表記では、空白、文字位置など微妙な情報を完全には伝え得ないネット世界が孕む病巣なのだから。
0242132人目の素数さん2011/07/25(月) 22:56:50.10
>>239
単に言葉遊びじゃないの?
言い方なんていろいろあるよね
日本語で「バスがきた」って言ったら、どういう意味だと思う?

まあ、とにかく以下の表現はすべて間違っているということですね?

http://how-to.jp/reference/math/12.html
「文字と数字をかけ合わせるとき、×を省略することができます。」

http://math.005net.com/yoten/mojisiki.htm
「×、÷の記号は使わない。 ×は省略、割り算は逆数の掛け算にする。」

http://ja.wikipedia.org/wiki/%E4%B9%97%E6%B3%95
「m × n, m ・ n, mn
などのように書いて m に n を掛けた数とか m と n の積、m 掛ける n などという。」


> え?(1+3)は1と3を足されたもの?数学に時間の概念なんてあると言うの?
> と言ってもんです^^;本当に御愁傷様です
何が言いたいかさっぱり分からない
「(1+3)は1と3を足されたもの」と言いたいの?
もしそうなら「2×(1+3)=2×1+2×3=2+6=8」と計算するのは
間違いなの?

「〜されたもの」を「分解できないもの」のように表現しているのが
おかしいといっているのだけどね

ところで、私は1派だってば
0243132人目の素数さん2011/07/25(月) 23:25:37.71
(概念の)解釈の仕方の問題。または表現の仕方の問題。
ことさら言い争うようなことではない。

2×(1+3)
を
「2」と「1と3の和」の積
と解釈すれば、時制の概念は不要だが

「2」に「1に3を加えたもの」をかける
と解釈して、「加わえた」のは過去の時制で「かける」のは現在の時制
時制(時間順序)の概念を用いて解釈しても問題ない。

数学の命題に時間概念はないが
数学の命題を解釈する時に時間概念を用いても用いずとも、どっちでもいい。
(そもそも、どのような解釈をすべきかに関して規則がない)
0244132人目の素数さん2011/07/25(月) 23:30:24.40
時間概念なんて数学に別に必要とされていないから、
ここでは、計算順序なんて言えば良いんじゃなかろうかw


って、塩を送ってどうするのってこったよなw
0245132人目の素数さん2011/07/25(月) 23:33:55.31
>>208
> また、君の大好きなWolframAlphaは10÷2[5]に1と返す。

それは反論のつもりなの?Wolfram Alphaは2(5)と2[5]を区別してるけど違いわかってる?
で、僕が問題にしたのは10÷2(5)だよ、スレタイ読めない?

数式処理システムの仕様を決めた専門家(数学者)は略乗算優先規約なんてものは採用してない。
そして中学校のどの教科書にもそんな規約は書いてない。

このようにその規約は世の中に全然定着してない。これが言い続けてることね。
0246132人目の素数さん2011/07/25(月) 23:42:03.63
まあ、中学校の数学の教科書には

5÷2a=5÷(2×a)

のことですよーって明記されているけどな。
0247132人目の素数さん2011/07/25(月) 23:55:59.38
8÷(3-1)(3+1)=?
0248132人目の素数さん2011/07/25(月) 23:56:34.73
>>241>>245
全くその通りだと思うけど、今回は>>230を真似るなら、
「『汚名挽回』は正しい日本語か」みたいな問題なんだから、
「これまで用いられてきた歴史があるし、理屈も通ってるから可」でなく、
「個々人の意見に限らず、最初に定められた形式に則ったもののみが可」
とすべきでしょう。

>>242
>m × n, m ・ n, mn
については別段問題ないような、他の「省略」とかも少しズレた表現程度じゃないかな。
0249132人目の素数さん2011/07/25(月) 23:58:54.45
あと÷の右側について何か制約は無いのかと調べてみたが、
÷って実は「�@割る�Aって分数で書くと2行使っちゃうじゃーん、見栄え悪ーい」
って感じに、そもそも生まれた理由は数式に組み込む目的ではなかったそうな。

世界で最初に÷が使われた文章では、計算そのものは全部分数で書かれて、
何行目の方程式割る何行目の方程式(或いは数)って記述する、左っ側の欄にのみ使われてる。
そもそも四則演算の一員になんかしたのが間違いだと思う…
0250132人目の素数さん2011/07/26(火) 00:22:36.12
> 「『汚名挽回』は正しい日本語か」みたいな問題なんだから、

僕は 「 American Football Player はアメリカ人フットボール選手なのかアメフト選手なのか 」 みたいな問題だと思った。

・どちらが正しいのかは文法ではなく文脈を読む事で判断するのが現実的。

・American-Football Player のように単語を  -  でつなぐと意味が確定する。
これは「6÷2(1+2)のような式は誤解されるおそれがあるから、括弧をつけるべき」という事に相当する。
0251132人目の素数さん2011/07/26(火) 00:28:56.59
例えば命題論理の場合

原子式:P,Q,R,S,…
結合子:¬,∨,∧,⇒,⇔
補助記号:(,)
で
(1)原子式は論理式である
(2)A,Bが論理式である時、(¬A),(A∨B),(A∧B),(A⇒B),(A⇔B)はそれぞれ論理式である
(3)上記の(1)(2)によって論理式とされるものだけが論理式である
と構文論的には定義する。

実際は(3)を少し修正して
(3)'上記の(1)(2)によって論理式と,それを以下に従い略記したものだけが論理式である
[略記の規則]
・一番外側の括弧(上記の定義に従って論理式を作った時に、最後に付ける括弧)は省略してもよい
・結合子の結合の強さを{¬}>{∨,∧}>{⇒}≧{⇔}と定め、これに応じて括弧を省略してもよい
としている。(※結合の強さを{¬}>{∨,∧,⇒,⇔}と定める流儀もある)

表現の微妙な違いはあるが、このような規則が明記されている文献がいくつかある。
この規則の下では、
(((¬P)∧Q)⇒(R∨S)) を ¬P∧Q⇒(R∨S)と略記してよいことが導出される。


四則演算の式で、
((((A+B)−C)×D)÷(E+F)) を (A+B−C)×D÷(E+F)
と略記してよいと定まっているということは、
命題論理と同様の定義や略記の規則が何かしらあるはずである。
が、そのような定義が明記された文献が見当たらないので困ったもんだ。
0252132人目の素数さん2011/07/26(火) 01:13:12.75
>>245
定数は関数とは無関係という意味?
0253132人目の素数さん2011/07/26(火) 07:47:46.80
>>245
これは言い続けていることなんだけど
中学教科書には、しっかりと例題などで載っている
文章で無いから理解できないというのは、中学生でもほとんどいないのは先のソースの通り

�Hが個人的に馬鹿だから理解できないのと、定義されていないのは別問題
また、海外では文章でも規定されているというのも既出

最後に、ウルフラムの説明書にはしっかりと
乗数の省略などの「関数に引数を与えるには[ ]を使う」と明記されてある ()は項をまとめるだけ
0254132人目の素数さん2011/07/26(火) 08:12:18.03
もう「世界中が「1」でも、2ch限定でなら不明確」って主張は、放っておいてもいい
元は台湾の教育番組でそこからフェイスブックに派生したわけだけど、2chでは〜って主張はそれらそれで、別に好きにさせとけばいいと思う
なにせ、1派の主張とは関係ないからね
元ソース
http://getnews.jp/archives/114382
無理に、2chでも世界と統一しろって言うこと無いんじゃないかなぁ・・・
0255132人目の素数さん2011/07/26(火) 08:59:49.61
>>253
英語読めないんじゃない?�Hが
0256132人目の素数さん2011/07/26(火) 09:34:23.76
>>255
英語よめないんじゃない?
0257132人目の素数さん2011/07/26(火) 10:16:02.48
>>255-226

 日 本 語 だ !

http://reference.wolfram.com/mathematica/tutorial/GettingUsedToMathematica.html
↑のページ中ごろ
"角カッコを使えば曖昧さはなくなる.掛け算を表すのにアスタリスクを使う必要もなくなる.つまり,数学で普通に使う2�Iやa�Iまたはa(1+�I)の記述はそのままMathematica でも使える" と書かれている
0258132人目の素数さん2011/07/26(火) 10:20:51.41
「普通に使う」と書かれていることからも判る通り、a(1+�I)など、乗数の省略が含まれる場合、"括弧に対して省略された乗数を優先して計算する"という既に上がったアメリカ式の定義は、作者ウルフラム自身が支持し、説明書にも明記し、またそのアルゴリズムを組み込んでいる

にもかかわらず�Hのやっていたことは
「説明書を読まず」

「間違ったやり方で使った電卓の計算結果を証拠だと主張し」

「作者ウルフラム氏だけでなくアメリカ全土が、この定義を認めていないと大嘘をつき」
0259132人目の素数さん2011/07/26(火) 10:23:18.99
ついには>>245などに見られるように
「その点について言及されても改めるどころか、まったくのでたらめを書いて自身の主張を肯定しようとしている」

 ふ ざ け る な !
0260132人目の素数さん2011/07/26(火) 12:11:04.16
わかってたつもりでも、箇条書きにされると、�Hのひどさがよく分かるな・・・
0261132人目の素数さん2011/07/26(火) 13:21:14.64
全然理解していないのに態度だけエラそうなのは何なのか…デタラメなのはもう相手にしないから。

>>253
> 「関数に引数を与えるには[ ]を使う」と明記されてある
はい、引数とみなされて先に評価されるの。で、こっちが問題にしてたのは何?
6÷2(1+2) = 6÷(1+2)2  ←右側の式はWolfram Alphaでどうする解釈させる?
それとWolfram Alpha以外の処理系の結果については何故無視するの?

>>257
ここに書かれていることは
■従来の数学表記法において f(x) というような表記が登場した時に、それが xの関数f なのか f*x なのかはそれだけでは判別できないがMathematica上ではf[x]とf(x)として区別される■
という事なのね。

>>258 
デタラメばかり書いて楽しい?アメリカ式の定義だなんて言うなら10x/2xが5x^2になる処理系について説明して
Microsoft MathematicsもReduceもフリーだから文句つける前に試してみてね。
0262132人目の素数さん2011/07/26(火) 13:27:14.07
フリーじゃないか。まあ、無料で試せるって事ね。
0263132人目の素数さん2011/07/26(火) 13:28:01.43
「普通に使う」って文章が、何気に重要だよね
当たり前だしソースも出ていたけど、アメリカでも省略された乗数は優先して計算されるわけだ
0264132人目の素数さん2011/07/26(火) 13:34:36.61
>>263
やれやれ…早く試してみてw
0265132人目の素数さん2011/07/26(火) 13:41:23.06
A÷B×C という式を見た中学生が「掛け算記号を省略出来るな」と
A÷BC と書き直した後で「省略乗算優先ルールがあったな」とこれを適用して
A÷(BC)と解釈するとこれは最初の式とは違う式になる。

中学一年で掛け算記号省略を学ぶ際に
「記号を省くと式が変わる可能性があるから注意せよ」などと学んではいなかったのだから
都合が悪い。そもそも式が変わってしまうなら、それは「省略」とは呼ばない。

今までは、省略乗算優先ルールは世間で使われていないだろ、という言い方をしてきたが
こういう不都合を考えると静大の人には悪いが、それは間違っているだろ、と言いたくなる。
静大の人以外でこのルールを唱えている人はいるのか、知りたいな。
0266132人目の素数さん2011/07/26(火) 13:45:47.06
>>261
本物の馬鹿なのか、誤魔化すのに必死なのか、説明書からわざわざ引用してもらっているのに、読んでいないのかどれだ?

a(1+�I)を「普通に使う」ことができると認識されると言うことは、アメリカでは乗数の省略に関する認識は↓が普通だと言っている
http://www.wolframalpha.com/input/?i=6%C3%B7a%5B1%2Bx%5D
日本語わかる?

あとスペース入れまくってた時にも言ったが、もう一回言うぞ
機械に計算させる以上は、正確な表記をしなくは、正しい答えは返ってこない
おまえは計算機の使い方をわざと間違えては同じことを言っているが、馬鹿丸出しだぞ?
0267132人目の素数さん2011/07/26(火) 13:49:31.96
>>266
さっき書いたでしょ
■従来の数学表記法において f(x) というような表記が登場した時に、それが xの関数f なのか f*x なのかはそれだけでは判別できないがMathematica上ではf[x]とf(x)として区別される■
という事なのね。理解して。

で、試した?なんでほかの処理系は無視するの?
0268132人目の素数さん2011/07/26(火) 13:50:53.08
>>266 あと、静大の人以外の提唱者も教えてね
0269132人目の素数さん2011/07/26(火) 13:53:07.73
>>266
ああ、そうだ。Wolfram Alphaの話でMathematicaのマニュアル引用するのは誤解の元になるかもね。
僕はMathematicaのマニュアルを提示されたからMathematicaの話をしちゃったけど。
0270132人目の素数さん2011/07/26(火) 13:54:21.56
>>265
�Hの認識がそれかw
おまえは最初の三行が間違いだと学校で習わなかったのか、そもそも学校言ってないのかどっちだよwww
0271132人目の素数さん2011/07/26(火) 13:55:48.28
>>270
うん、だから間違いと言いたくなると書いてるでしょ…。

で、試した?なんでほかの処理系無視するの?静大の人以外の提唱者教えて?
0272132人目の素数さん2011/07/26(火) 14:01:18.07
本気で日本語通じてないの?
試す?
つまりお前は、あの説明文がf[�I]のような記号限定で、その後の説明はまるっと無視するわけ?
読めないの??

提唱者??
ありとあらゆる例題が、省略された乗数はひとくくりにしている事実を見たことがないの??
http://math.005net.com/yoten/mojisiki.htm
何度も言うけど、その前提でなければ数学は成り立たないからね?
0273132人目の素数さん2011/07/26(火) 14:04:33.95
>>265
>「記号を省くと式が変わる可能性があるから注意せよ」などと学んではいなかったのだから都合が悪い。

学んでいないのはお前だけだ。
この類の計算は間違いないく中学1年生でやる
0274132人目の素数さん2011/07/26(火) 14:12:03.83
>角カッコを使えば曖昧さはなくなる.掛け算を表すのにアスタリスクを使う必要もなくなる.つまり,数学で普通に使う2�Iやa�Iまたはa(1+�I)の記述はそのままMathematica でも使える

この部分について話しているんだよ?
日本語わからないかもしれないけど、スレタイの6÷2(1+2)は、ウルフラムでは、6÷2[1+2]と打てば、正しい答えを出してくれると言っているんだよ?
本当にわからないの??? 本当に屁理屈じゃなくて理解できないって言うの?????
0275132人目の素数さん2011/07/26(火) 14:20:08.36
例題主義の弊害なのか、ゆとり教育の弊害なのか知らないし、そもそも中学生以上だとはとても思えないけど、レポートにあった通り、ほとんどの中学生は例題だけでもきちんと理解するんだよ?
自分は文章ないと理解できない馬鹿だからって、定義が間違っていると本気で思っているの??
0276132人目の素数さん2011/07/26(火) 14:34:09.62
>>272
> つまりお前は、あの説明文がf[�I]のような記号限定で、その後の説明はまるっと無視するわけ?
君は理解するつもりないし、この件はもういいって。
Wolframで 6÷(1+2)2でなく6÷(1+2)2 をどうするか試してみて

> ありとあらゆる例題が、省略された乗数はひとくくりにしている事実を見たことがないの??
ひとくくりというのは記号を略記法を使っているというだけの話で、そのリンク先のどこにも省略乗算優先ルールは使われてないよ。

> その前提でなければ数学は成り立たないからね?
その「前提」というのが省略乗算優先ルールを指しているなら、それを認める人ですら大半否定すると思うけど。
それを、もうちょっと詳しく話してごらんよ。数学が成り立たなくなるという重大な問題だからね。
0277132人目の素数さん2011/07/26(火) 14:40:25.56
>>272
>何度も言うけど、その前提でなければ数学は成り立たないからね?
「省略された乗算はひとくくりにする」というルールが主流であり、
そちらに統一すべき(1派にすべき)なのは明らかだが、
別のルールにしたら「数学が成り立たない」ってのはおかしい。

「いまさら9派のルールに変更したら、今まで書かれてきた数式が別の意味になってしまう」

という事態は起きるが、それなら、それらの数式を
9派のルールのもとで書き直せば済む話。
教科書や論文の書き換え作業に手間がかかる、という問題があるだけ。

「たとえ数式を書き直しても、9派のルールにはもともと欠陥があって、矛盾が生じてしまう」

ということは起きない。
0278132人目の素数さん2011/07/26(火) 14:43:07.89
あ、オレ(>>277)は >>276 とは別人ね。
オレは1派だから区別できると思うけど。
0279132人目の素数さん2011/07/26(火) 14:43:11.68
>>276
何度も書いてるんだけど、読めないのかなぁ・・・
計算機で計算させるときは、一般的な書式じゃないとだめなわけね?
それはわかる?わざと一般的でない書式を読ませて、間違った〜☆て喜んでるのが、馬鹿丸出しだって言ってるんだよ?
理解して

略記法?何言ってるのかな?やっぱり例題だけだとわからないと言うことかな?
0280132人目の素数さん2011/07/26(火) 14:45:22.02
記号だけの問題として捉えてみる

6÷2(1+2)を
a=6 b=2 c=1 d=2として
a÷b(c+d)に置き換える
式変形をする
a/b(c+d)
分配法則を使う
ac/b+ad/b
それぞれ代入する
6×1/2+6×2/2
=3+6
=9

bをdと置き換えてもいいのですが一応わかりやすくするために分けてみました。
ま、そんなことしなくても前述の通り、普通に計算して9なんですがね・・・
無駄でしたね。
0281132人目の素数さん2011/07/26(火) 14:47:18.95
b(c+d)の部分を先に分配すると1になる
0282132人目の素数さん2011/07/26(火) 14:47:39.70
>それはもういいって
よくねぇよw
お前は
>数学で普通に使う2�Iやa�Iまたはa(1+�I)の記述は
の文章をどう解釈したのか言ってみな?
お前の言ってるのは、式の最初にlog[ ]とかf[ ]専用だってことでいいのか?
�H語は自信ないんだ、ちゃんと説明してみてくれ
0283132人目の素数さん2011/07/26(火) 14:48:03.30
>>279
君は省略乗算優先ルールが何なのかという事すら理解してないでしょ。
それを支持してる人に教えてもらって。ぼくは認めたくない立場なんだからもうめんどくさい。

数学破綻の話は面白いそうなんで、はやく話して。
0284132人目の素数さん2011/07/26(火) 14:50:30.11
>>280
それはアカン。

>a/b(c+d)
>分配法則を使う

「省略された乗算はひとくくりにする」というルールを採用している場合、
a/b(c+d) = a/(b(c+d)) であり、分配法則を使っても a/(bc+bd) にしかならない。

「省略された乗算は、ただの省略であって、ひとくくりの意図は無い」というルールを採用している場合、
a/b(c+d) = (a/b)(c+d) であり、分配法則を使うと ac/b+ad/b になる。


結局、式変形はルールに影響されて決まるから、
ルールに触れずに式変形だけ見せても意味が無い。
0285132人目の素数さん2011/07/26(火) 14:51:42.58
>>280
それが�Hの言う�Hルール?
式変形した時点で、分数で言えば
_a___
b(d+c)
どう分解しても9にはならないよ?
0286132人目の素数さん2011/07/26(火) 14:57:53.86
>>283
口車に乗せら得てしまったが、結論としてお前の言っていることはウルフラムの説明書にある正しい使い方に反している
ウルフラム自身がa(1+�I)の式を例に、お前を否定したことは疑いようのない事実だ
結局お前はどれだけへ理屈をこねても、お前の言うような�Hルールは存在しなかった
理解しようね
0287132人目の素数さん2011/07/26(火) 15:02:32.92
めんどくさ…
Mathematicaでa(1+x)と書くとa*(1+x)と解釈されます。
Mathematicaでa[1+x]と書くとaという名前の関数に引数1+xを与えたものだと解釈されます。

それとさ、MathematicaとWolframは違うって言ってるでしょ
君がMathematicaのマニュアル引用してくるから僕はMathematicaの解説してるけどね。
0288132人目の素数さん2011/07/26(火) 15:03:56.42
>>286 そろそろ数学破綻の話してよ
0289132人目の素数さん2011/07/26(火) 15:07:55.21
>>286
9派はゴネてるだけ。「オレは認めんぞ。1派のルールは普及してない!」
とゴネてるだけ。
>ぼくは認めたくない立場なんだからもうめんどくさい。
この一文に全てが集約されてる。


でも、それと
>何度も言うけど、その前提でなければ数学は成り立たないからね?
コレとは別だぞ。
>>277でも書いたが、9派のルールは、これはこれで欠陥は無い。
いまさら9派のルールに鞍替えしたら、教科書や論文の数式を
9派のルールに合わせて書き直すのが大変なだけ。

「9派のルールに鞍替えしつつ、今までの数式は書き換えないまま」

だと破綻する(数式の意味が変わってるから)。しかし、

「9派のルールに鞍替えして、今までの数式もそのルールに合わせて書き直す」

ならば、どこにも矛盾は起きない。
0290132人目の素数さん2011/07/26(火) 15:08:27.58
>>287
だ・か・ら!
数学で「普通に使う」a(1+�I)だって書いてあるのが読めないの?
ついでに正確に分類するとa÷b(c+b)も関数計算だから、「aと言う名前の」って部分以外はそれでもいいんだけどね
それとも、その文章がそのまま説明書に出てるの?
こっちは、そのものを引用しているんだよ??
0291132人目の素数さん2011/07/26(火) 15:10:00.99
>>286
あと、僕は�Hルールなんてものは提唱してないからね、なんの事を言ってるのか知らないが
静大の人のpdfに書いてある省略乗算優先ルールは世間で使われておらず誤解の原因になるから気に入らない
と繰り返し主張しているだけで。
0292132人目の素数さん2011/07/26(火) 15:11:03.69
>>289
わかりました、では「今までの」数学が〜と言い直せば問題ないですね?
0293132人目の素数さん2011/07/26(火) 15:14:23.76
>>291
× 世間
○ お前だけ
>>290に追記、仮にaと言う「名前」の関数だと機械が認識していると言うなら、6÷2[1+2]=1とする計算結果をどう説明するつもりだ?
2と言う「名前」の関数を処理したのか?
言っていることに無理がある
0294132人目の素数さん2011/07/26(火) 15:17:01.45
>>292
「今までの数学は1派のルールでやってきたのだから、いまさら9派のルールに
 鞍替えしたら、今までの数式の書き直しの作業が大変じゃないか」

と言えば誤解が無いと思うよ。


現代数学は"形式主義"という主義に立っているので、「成り立たない」とか「破綻する」と書いたら

「採用しているルール自体に欠陥があって、たとえ数式の書き直し作業をしても矛盾が出る」

というニュアンスに受け取られてしまうんだよ。
0295132人目の素数さん2011/07/26(火) 15:23:39.29
>>290
…繰り返そう。
通常の数学表記で Sin(x)と出てきたら 関数Sin(x)なのか、Sinという名前のついた数にxをかけたSin*xなのかそれだけでは区別出来ない。
これを区別するためにMathematicaでは [ ] と ( )を使い分けてるの。そのマニュアルに書いてあることはそういう事なの。

”普通に使えるa(1+x)”とは通常数学表記で a(1+x) とあり、これがa*(1+x)の意味だった場合は
一般のプログラミング言語では a*(1+x) のように書かされる場合がほとんどだが
Mathematicaでは通常数学表記同様に a(1+x) とアスタリスクを省略した表記が可能だよ、という意味。

何度もいうがMathematicaとWolframは必ずしも同じじゃないからね。

早く数学破綻の話をしてよ、それだけが楽しみなんだから…マニュアルの解説なんかしたくないのに
0296132人目の素数さん2011/07/26(火) 15:25:01.50
他人に誤解がどうこう言っておいてアレだが、
俺の文章も誤解されそうなので訂正します(>>294を)。


誤:現代数学は"形式主義"という主義に立っているので、「成り立たない」とか「破綻する」と書いたら

正:現代数学は"形式主義"という主義に立っているので、「このルールじゃ数学が成り立たない」とか「このルールじゃ数学が破綻する」と書いたら
0297132人目の素数さん2011/07/26(火) 15:49:38.94
>>295
なるほど、それならそもそも日本語の解釈を間違えているぞ?
そのものずばり書いてあるが
>関数の引数は丸カッコではなく角カッコでくくるという重要な1つの規則がある.この規則は他のプログラミング言語や従来の数学表記法にはないものである.そして,丸カッコは数式中の項をまとめるためだけに使われる
とある通り、ウルフラムは普通の括弧( )の約束事を限定している。

最初の段落に異論はないが、次の段落は完全にこじつけだ
もう一度言うが、「2」と言う名前の関数がない以上、それでは普通の計算ができないし、ウルフラムは「丸カッコだけの記述では c(1+�I) がc(1+�I)なのかc×(1+�I)かはっきりしないが」と例題つきでしっかり、書き込まれている
明確に乗数を省略しているか否かだ

最後にWolframMathematicaとWolframAlphaはそもそも計算専門ソフトと質疑応答ソフトと言う違いがあるが、計算プログラムを定義したのは同じスティーブンウルフラム氏で、計算の基本ルールは変えていない
0298132人目の素数さん2011/07/26(火) 15:52:00.57
横からだけど>>266で引用してあるWolframAlphaでは6/a[1+x]、6/a(1+x)ともに6/(a*(1+x))でも(6/a)*(1+x)でもなく、関数aに引数1+xをとった
6/a_(1+x)=6/a
と認識しているようだけど?
0299132人目の素数さん2011/07/26(火) 15:56:32.74
>>297に追記
引用した文章に続き、何度も引用されている「角括弧を使えば〜」と書かれている
わかりやすく説明すると
普通の括弧( )の機能を限定し、引用したい部分を [ ]に入れることで、確実に計算できるようにしているのだ
そのため、逆に( )を項のまとめ以外で使えないため、>>8のような矛盾が生じるのだ
0300132人目の素数さん2011/07/26(火) 16:04:19.97
もうマニュアル代わりに使われるの飽きたから…
むしろ省略乗算優先ルールが使われているという証拠を持ってこなければならないのはそっちでしょ。
静大の人のpdf以外で…
0301132人目の素数さん2011/07/26(火) 16:04:35.73
ええっと・・・
�Hはもちろんそうだけど、>>299の人も説明書のほかのページもよく見て?

Wolframシリーズではどちらも、機械が打ち込まれた数式をどう見ているかは
「 Input: 」の欄に出るようになっているんだよ?

この一つだけで、�Hのとんでも理論
関数「2」や関数「a」と認識していないことが一目瞭然なんだけど?

http://www.wolframalpha.com/input/?i=6%C3%B7a%5B1%2B2%5D
http://www.wolframalpha.com/input/?i=6%C3%B72%5B1%2B2%5D
0302132人目の素数さん2011/07/26(火) 16:11:40.75
>>301
ミス
「2」という「名前の関数」だね
もし�Hの言うとおりなら
「Input: 」の欄が↓みたいなのにならなくてはおかしい
http://www.wolframalpha.com/input/?i=Integrate%5BUnitStep%5BSin%5Bx%5D%5D%2C+%7Bx%2C+0%2C+30%7D%5D
0303132人目の素数さん2011/07/26(火) 16:15:28.83
>>301
感謝!
なるほど確かに、ここで確認する限り機械は打ち込まれた数式を
_6_
2(1+2)
と、こちらの意図通りに認識している

>>300
意味不w
0304132人目の素数さん2011/07/26(火) 16:19:53.32
Wolframの説明では、[ ]は関数用のカッコとしか書いて無いから、数aに対して

a[1+x]

と書くのは、Wolframの説明だけを見れば文法違反だな。たぶん、Wolfram は

f(t)=a*t

という「関数f」を生成して、a[1+x]という記号列をf[1+x]に置換して
計算してるんだろう。
03052992011/07/26(火) 16:20:04.73
>>301
6÷a[1+2]はどうみても関数aの引数に1+3をとったものだよ
6÷(a*[1+2])とResultや、Plotの引数を比較してごらん
6÷a(1+2)も同様だよ
「2」についてはおれは知らない
03063052011/07/26(火) 16:23:28.16
まちがえた、おれは298だよ
0307132人目の素数さん2011/07/26(火) 16:30:13.83
文法違反言い出したら、すべての説明書を読めなくなりますよw
ウルフラムは明らかに( )での計算を前提にしていないのは確かです

http://www.wolframalpha.com/input/?i=6%C3%B7a%28a%C3%B7b%29
http://www.wolframalpha.com/input/?i=6%C3%B7a%28b%C3%B7c%29

http://www.wolframalpha.com/input/?i=6%C3%B7a%281%2B2%29
http://www.wolframalpha.com/input/?i=6%C3%B72a%281%2B2%29
http://www.wolframalpha.com/input/?i=6%C3%B7ab%281%2B2%29

http://www.wolframalpha.com/input/?i=6%C3%B7a%281%2B2%29%C3%B72

私は1派の解釈にしか見えません
まあ、わざわざ書き直したとおり、乗数省略した時点で広義で関数なので、その説明でも結果は同じですが・・・
0308132人目の素数さん2011/07/26(火) 16:39:09.07
よく見たら、説明書の下の段によると、Wolframは特定の「大文字で始まる」「全文の」文字列しか、組み込み関数として認識しないと書いてあるじゃないか!
�Hの言っていることは全部でまかせだ!

こんなあからさまなソースがあったのに、口車に乗せられて・・・
>>257さんの怒りの理由が良くわかる・・・
0309132人目の素数さん2011/07/26(火) 16:45:45.39
ちょっとまとめようか。

○ 式中のxyが(x×y)を表すのは、発明者デカルトの定義、静大を始めとした証明により明らか
○ a(b+c)へも上記の定義が当て嵌まるのか、その明確なソースは今のところ無い
○ d=b+cとして、括弧内を文字と同じ扱いとした読み方、或いは共通因数についての文章内で誕生した表記法なら、上記の定義が当て嵌まるだろう
○ 積算記号の省略としてのみの意味で生まれたなら、上記の定義は当て嵌まらない
○ []はそもそも与える意味が()とは異なり、この場合用いてはならない
○ []の高い優先度は、有効な関数が存在しないのに[]を使ったため、最初に式の正当性を精査した際に弾き出された副次的効果と捉えられる
○ 数学ツールには括弧直前の積算記号省略に何の意味もプログラミングされていない
○ 数式ツールは全能の神ではなく、マニュアルに()の公的な定義が書いてあるわけでもないため、盲目的に信じるのは危険
○ とはいえ、数式を与える際にはどう解こうという展望がある以上、通常は使う側が明確な意思を示すために()を使い分けて対応するため、
歴史家でもないWolframが間違えたとしても不思議ではないし、問題でもない

こんなところ。
結論として、単純に計算ツールがそう吐いたから、ってのは根拠にならない。
それを踏まえてお話ししましょう?
0310132人目の素数さん2011/07/26(火) 17:11:20.14
>>309は�Hでいい?
前半3行は同意だが、それ以降おかしいだろ

Wolfram
Wolframが説明書に計算の際は、[ ]を使いましょうとあるのに、それを無視して計算すると>>8のようなことになる
c(1+�I) がc(1+�I)なのかc×(1+�I)かはっきりしない際に、[ ]を使うことで分けられるようにしてあると書いてある
2�Iやa(1+�I)を、「普通に使える」と表現していることからも明白である
断じて副次効果などではない。

その証拠に、�Hの言っているように関数が見つけられなかった場合には↓のようにエラーメッセージが出る
http://www.wolframalpha.com/input/?i=Integrate%5BUnStp%5B%5Bx%5D%5D%2C+%7Bx%2C+0%2C+30%7D%5D

また、機械がどのように数式を認識しているかは、「Input: 」の欄で確認できる
http://www.wolframalpha.com/input/?i=6%C3%B72%5B1%2B2%5D
↑にエラーメッセージなど出ていない
0311132人目の素数さん2011/07/26(火) 17:19:45.74
計算機が万能に程遠いのはすでにこちらが何度も言っているとおり
しかし、少なくとも Wolfram は、説明書に沿った使い方をすれば、確実に「1」を還す
>結論として、単純に計算ツールがそう吐いたから、ってのは根拠にならない
は、当然同じ論拠の�H理論「計算機の結果から海外ではa÷bc=a÷b×c である」を自分で否定した上で言ってほしい
0312132人目の素数さん2011/07/26(火) 17:20:52.33
>>307についてははこんな計算をしているんだろう
6÷a(a÷b)=(6/a)*(a/b)=6/b
6÷a(b÷c)=6/a_(b/c)=6/a
6÷a(1+2)=6/a_(1+2)=6/a_(3)=6/a
6÷2a(1+2)=(6/2)*a_(1+2)=3*a_(3)=3*a
6÷ab(1+2)=(6/(a*b))*(1+2)=18/(a*b)
6÷a(1+2)÷2=(6/a_(1+2))/2=3/a_(3)=3/a

これらから見れる規則としては
連続文字が来れば個々の文字を変数と見て積として処理
単一文字の後に括弧があれば、その文字を括弧内を引数とする関数として処理、
ただし括弧内に自身を含む場合は括弧外のその文字は変数と見る
この上で記号の省略があれば積算として前方から計算
な感じじゃないかな
0313132人目の素数さん2011/07/26(火) 17:25:07.55
>>9はしらね
単に100が敷居になっているだけみたいだけど
0314132人目の素数さん2011/07/26(火) 17:30:03.73
>>312
まあ、計算の中身はそんなところでしょう。
しかし、数式としてこれらの食い違いは一般定義と矛盾しています
普通に[ ]に置き換えて計算してみれば、すべての式が矛盾なく一般的定義上の解を出します
この事実だけでも、説明書にあるとおり( )でなく[ ]を前提にプログラムされているかと・・・
0315132人目の素数さん2011/07/26(火) 17:39:23.86
>>314
同じタイプの計算をする式で、お互いに矛盾を生じさせず一般定義上の解釈とも矛盾しない入力方法を説明書でしっかりと明記しているということですね
逆説的ではありますが、正にその通りかと
0316132人目の素数さん2011/07/26(火) 18:03:38.94
>>314-315
WolframAlphaで言えることはせいぜい、
WolframAlphaでは、優先して計算(直前の式と結合)したいときは[]、前方から計算したいときは()を使え
ということ位だろう
0317132人目の素数さん2011/07/26(火) 18:11:36.34
あれほどMathematicaとWolfram Alphaは違うと言ったのに案の定な展開になってるな

このあたりを試してみてね
http://www.microsoft.com/download/en/details.aspx?id=15702
http://reduce-algebra.sourceforge.net/
0318132人目の素数さん2011/07/26(火) 18:18:30.64
http://www.wolframalpha.com/input/?i=NDSolve%5B%7By%26apos%3B%26apos%3B%5Bx%5D+%2B+y%5Bx%5D+%3D%3D+12+x%2C+2+y%5B0%5D+-+y%26apos%3B%5B0%5D+%3D%3D+-1%2C+
http://reference.wolfram.com/mathematica/tutorial/NumericalEquationSolving.html

チュートリアルでは徹底して( )を使わないみたいですね
どちらにしろ�Hの大嘘もここまででしょう
開き直ってまた�H解釈しそうで怖いですが・・・
>>311さんが言っているとおり、計算機を否定するなら、同時に�H理論である「
「計算機によると海外ではa÷bc=a÷b×c」を撤回してもらいたいものです
0319132人目の素数さん2011/07/26(火) 18:24:54.16
>>317
自分で計算機は絶対でないとか言いながらww
Wolfram MathematicaとWolfram Alphaは単純計算の基礎定義については同じ作者による同じ思考ルーチンだと言っているのに・・・
というか、あえてWolfram Mathematicaと書かかないのが実に君らしいよw

大嘘つき
0320132人目の素数さん2011/07/26(火) 18:29:48.46
>>319 わかってないならレスしないでくれ。返信とか表示されるから読んじゃうし
0321132人目の素数さん2011/07/26(火) 18:37:24.85
>>320
君のアホな妄想の産物が正しいことだとでも?
いい加減にしたほうがいいよホント
0322132人目の素数さん2011/07/26(火) 18:40:35.61
さあ! 本日も盛り上がって行きましょう!
というか、私が来る頃にはいつも大量の論争が終わっていますが、複数居るであろう1派はともかく、�Hさん何している人なのかが気になるところではあります
ざっと読んだ感じを解説しますと、>>245の書き込みに>>253が説明書よめと言います
これは詰みかと思いきや、意外にも�Hここからまさかの�H理論を展開!
曲解に曲解を重ねて独自の論法を展開します、矛盾点を衝かれまくっていますが、まだ諦めていない様子!
どうなる今夜の論争!
(私的には�H理論は>>310のエラーあるなしと、>>312〜の実際の計算で、致命傷だと思うんだけどなぁ・・w)
0323132人目の素数さん2011/07/26(火) 18:50:09.38
流れ読まずにスマン
昨日英語が話題になっていたから、さっきいつもの留学生(アメリカ人)に聞いてみた

ab that is multiplied by b

これ、「普通に過去のこと」らしい
というか、日本語の〜形って表現はピンと来ていないみたいだったけど、「掛け終わっている」という表現かなら間違いなく yes らしい
そんだけ
どうぞ続けて
0324132人目の素数さん2011/07/26(火) 18:57:39.79
僕はまあ大体言いたくなった事は言い尽くして、まともな反論も来ないのでこれで去る事にするよ。
また何か思いついたら来るかもしれないけど。

ここの欠点はいちばん理解していない子がいちばんヤカマシイという事だね。
IDがあれば読まずに済むんだけど。

一応、今まで言ってきたことのまとめ

・省略乗算優先ルールは数式処理システムで使われていない
・省略乗算優先ルールは中学校の教科書に載っていない
・省略乗算優先ルールをハッキリと唱えているのは静大の人以外に見当たらない
・省略乗算優先ルールは掛け算記号を取り去ると式の意味が変わってしまう事があり、不都合。
・6÷2(1+2)を1 だと答え人達も省略乗算優先ルールを明白に意識して1と回答したわけではない。

だいたい上のような理由から静大の人が言う省略乗算優先ルールに大きな疑念を持っている。
0325132人目の素数さん2011/07/26(火) 19:03:36.64
そのチュートリアルでは[]は全て引数指定に使われているな
で、そんなページだけ持ってきて何がしたいんだ?
WolframAlphaのリンクもエラー吐いてるが?
0326132人目の素数さん2011/07/26(火) 19:05:00.08
325は318宛てな
0327132人目の素数さん2011/07/26(火) 19:07:45.19
誰にお礼いえばいいのかわからないけど、とりあえずありがとう
>>245を書いたものです
まさか�Hのこじつけがここまでひどいとは・・・

>>324
一番理解していない子が一番やかましい同意w激しく同意ww
・省略乗算優先ルールは数式処理システムで シャープの関数電卓やWolframシリーズで採用されている
・省略乗算優先ルールは中学校の教科書に「文章では」載っていない 変わりに例題による丁寧な解説があり、これを理解できない生徒は少ない
・省略乗算優先ルールをハッキリと「文章で」唱えているのは静大の人以外に見当たらない (規定者デカルドを除く)
・省略乗算優先ルールは掛け算記号を計算することなく取り去ると式の意味が変わってしまう事があり、不都合であるため省略や省くと言う表現は確かに不適当
・6÷2(1+2)を1 だと答え人達も省略乗算優先ルールを明白に意識して1と回答したわけではないが、中学から数々の問題を解いてきているので一塊として自然に捉えることができる(ただし�H以外)
0328132人目の素数さん2011/07/26(火) 19:11:55.37
>>325
日本語読めてないようだから無駄だろうけど、もう一度書くと
( )は使っていないよ [ ]か{ }だよと言いたい
あと、>エラー吐いてるが????
英語読めないようだけど、この解釈を使用しますか?と聞いているんだよ
0329132人目の素数さん2011/07/26(火) 19:16:50.99
まあ、せっかく猿が居なくなってくれるというんだ、二度とこないことを祈りながら、見送ろうじゃないか ノシ
03303092011/07/26(火) 19:19:29.74
Wilframの[]表記は用途を関数の引数記述に限ってるし、独自の記号だよって言いたかった。
例えばsin[a]は厳密には現実のsin(a)とは違い、sin(x)関数にx=aを突っ込めってプログラミングの関数的に処理されてると思う。
ユーザー関数の作成とかできるからね。

そこでTempとか特定の存在しない関数名を打てばエラーを吐くし、空白ならオペランドしかないので単純に展開されるかもしれない、
そういうのはプログラム的に自然な振る舞いだよね。
[]単体で使ったときの挙動に説明が無いんだから、単純に()と一緒だなんて考えちゃダメだよ。

ちなみに俺は1派。
ツールでの計算結果はソースとして不十分だから、a(b+c)の成立の経緯とかから{a(b+c)}を証明してほしかった。
0331132人目の素数さん2011/07/26(火) 19:29:13.93
>>309
ちなみにオレ1派・・・?
�Hには何度も言ったけど、説明書によると「限って」いない
もちろんそう使われるのは決して間違いではない。
しかし、説明書にc(1+�I)の例とa(1+�I)を普通に使えるようにしてあると明記してあり
乗数の省略を認識させるのに( )では>>8のように同じタイプの数式でも、矛盾した計算をするが[ ]を使用すると、同じタイプで矛盾せず一般定義にも合致するのも述べたとおり
0332132人目の素数さん2011/07/26(火) 19:30:06.55
>>328
Mathematicaでは()、{}、[]の用途が異なると書いてあるページは読んでないのか?
> 英語読めないようだけど、この解釈を使用しますか?と聞いているんだよ
エラーを吐いているから
Using closest Wolfram|Alpha interpretation:
と返って来るんだよ
"NDSolve[{y''[x] + y[x] == 12 x, 2 y[0] ? y'[0] == -1, "
これがWolframAlphaで有効な形式とでも思ってるのか?
0333132人目の素数さん2011/07/26(火) 19:32:21.60
まあ、ツールでの計算結果がソースとして不十分その通りだよなぁ・・・
というか、そもそも�Hが「計算機の結果から海外では〜」とか言い出さなければ誰も計算機の説明書の詠み方をわざわざ教えてあげる必要もなかったんだよな
0334132人目の素数さん2011/07/26(火) 19:34:17.23
>>331
説明書って>>257のことか?
0335132人目の素数さん2011/07/26(火) 19:35:39.28
そう! 用途が異なるんだよ!
Wolframでは()は「項をまとめるのみ」にしか使用できませんと明記されているのに、計算に使って結果が違うと言い出す奴が居たせいで・・・
0336132人目の素数さん2011/07/26(火) 19:41:51.56
>>335
>>257はMathematicaの説明書だ
WolframAlphaとは直接の関係はない
ttp://reference.wolfram.com/mathematica/tutorial/TheFourKindsOfBracketingInMathematica.ja.html
0337132人目の素数さん2011/07/26(火) 19:44:01.93
>>323
さりげなく GJ! まあ、元々普通の掛けると同じように、「これから」掛けるにはできなかったけどね
これでまたソースが増えたな
0338132人目の素数さん2011/07/26(火) 19:52:50.22
>>336
フリーソフトであるWolframAlphaの計算機能部分はWolframMathematicaは同じWolframが生みの親である。デザインを見てわかる通り非常に近い関係である
Wolfram氏の演算定義にも変更はない
あと、ソースによると( )は>>335の言うとおり項をまとめる機能しかない
真実�Hでないなら、このやり取りの何の意味があるんだ?
0339132人目の素数さん2011/07/26(火) 19:55:49.94
下がってきたので晒しage
せっかくなのでヒントを
相手を言いくるめることばかり考えていては、無数に居る1派全員を納得させることなどできませんよ?
外からの視線を忘れずに!
■ このスレッドは過去ログ倉庫に格納されています