[過去ﾛｸﾞ] 分からない問題はここに書いてね457 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
69(1): 2019/12/30(月)00:03 ID:/m+zTMx/(1/7) AAS
>>65
だから君には私がなに言ってるか理解するのは無理。
他のちゃんと計算論勉強した事があるか、もしくはそこまで行かなくてもコンピュータにいかに人間のかわりに計算、証明ができるかキチンと考えた事ある人間なら私がなに言ってるか最初のレスで分かったはず。
もうこの時点ですらそんな事いってるようでは到底理解できないよ。
72(1): 2019/12/30(月)00:28 ID:/m+zTMx/(2/7) AAS
違う。
Rがやってるのは数値計算。
抽象代数計算は標準のライブラリではやってない。
もちろんチューリング完全だから抽象代数計算させるプログラムを組めばいいが標準のライブラリは数値計算。
74(1): 2019/12/30(月)00:40 ID:/m+zTMx/(3/7) AAS
>>73
違う。
仮に計算機が30.000000と言う値を出したとしてもそれでわかるのは30.000000±0.00000001という事でしかない。
人間や抽象代数計算のライブラリがあるソフトなら答えが正確に30になる事の証明を与える事ができる。
そのプログラムはそこまで難しくはないけど標準で入ってるソフトは多分ない。
私は昔作ったことあるけど遅いし問題を立式して方程式を与えるとこまでは手計算でしないといけない仕様でめんどくさくて実用性は全然だった。
30.000000±0.0000001だから30でいいと思えるならそれでどうぞ。
78: 2019/12/30(月)01:19 ID:/m+zTMx/(4/7) AAS
>>77
やっぱりまったく分かってもらえないようだ。
ここまで説明してわからないならやっぱり君には理解できないよ。
81(1): 2019/12/30(月)01:55 ID:/m+zTMx/(5/7) AAS
これはまぁかなり哲学的なこだわりでもあるからなぁ。
ある意味数学畑の人間しか理解できないかもしれない。
計算機で30.の後ろに例え0が100個並んだとしても数学畑の人間には、答えは30とわかった、どうやって証明しようと考え始めるだけの話で答えが出たとは思わない。
もちろん何度か求めよから30°である事を示せに変わっただけでグッと難易度は下がる、でもそれだけ。
数学畑の人間じゃない人にはバカじゃないと思われてもしょうがない所なのかもしれないけど。
84: 2019/12/30(月)02:09 ID:/m+zTMx/(6/7) AAS
数学の問題で計算機で計算して誤差0.000001ならもうOKなんて事は有り得ないでしょ？
そもそも出題者に納得してもらえないからダメなんじゃなくて±10^(-100)の誤差でも納得しないのは自分自身だよ。
逆に言えばおそらくそんなこだわりを理解してもらえるのは同じ数学畑の人間にだけわかってもらえれば十分だし、そうでないはたけあの人が30.00000なんだから30でいいだろってのは、そっちはそれでわかるしね。
この辺のこだわりがわからない人に無理にわかってもらおうとは思わない。
89(2): 2019/12/30(月)08:15 ID:/m+zTMx/(7/7) AAS
π√s(s-a)(s-b)(s-c)/27)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s