[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★7 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
922(1): ◆pObFevaelafK 12/16(月)14:58 ID:JOor3GsK(3/18) AAS
>>921
賢い人間であれば、無限まで機能すると判断できるはずだが
＞nを固定したら、pn+1も固定されるわな
当たり前のことだ
923(2): ◆pObFevaelafK 12/16(月)15:03 ID:JOor3GsK(4/18) AAS
アルゴリズムを論文に書いていて、それのプログラムを実装してある程度の数
(n=10000?)まで、そのプログラムが実行可能であり、その結果が完全に
論文に書いているとおりだったのに、何を言っているのだろうか？
924(1): 12/16(月)15:39 ID:qPSFR81u(1/2) AAS
>>923
でもn=100000でコケるかもしれないよね
925(1): 12/16(月)15:50 ID:AU5kOoOQ(4/8) AAS
>>923
>アルゴリズムを論文に書いていて、それのプログラムを実装してある程度の数
(n=10000?)まで、そのプログラムが実行可能であり
それは無限のnに対しての証明じゃないのよ
>>922
>nを固定したら、pn+1も固定されるわな
>当たり前のことだ
当たり前のことができてないから間違いなわけ
926(1): ◆pObFevaelafK 12/16(月)16:04 ID:JOor3GsK(5/18) AAS
>>924
そういうことがあるかもしれないが、そのようになるかならないかを
プログラムや論文を精査して人が検証を行わなければならない
>>925
無限まで機能するかどうかは、人が判断することだ。
＞当たり前のことができてない
大嘘はいい加減にしろ。何故、証明した人間に対して証明が理解できないか
あるいは、理解できないふりをしている人間が馬鹿にしているのか？
927(1): 12/16(月)16:20 ID:AU5kOoOQ(5/8) AAS
>>926
証明したといいたいなら、プログラムが無限のnに対して検証するのはあなた自身でやらなきゃいけない
>無限まで機能するかどうかは、人が判断することだ
判断できるようにするのが「証明」なのよ
>大嘘はいい加減にしろ。何故、証明した人間に対して証明が理解できないか
あるいは、理解できないふりをしている人間が馬鹿にしているのか？
嘘じゃないよ、当たり前のことが出来ないんだから間違いなわけ
928(1): ◆pObFevaelafK 12/16(月)16:34 ID:JOor3GsK(6/18) AAS
>>927
＞プログラムが無限のnに対して検証するのはあなた自身でやらなきゃいけない
ド素人が書かなくていい、これは私以外の全ての人間でできないことだ。
＞判断できるようにするのが「証明」なのよ
賢い人間であれば、判断できる。判断できない927は知的能力に問題がある。
＞嘘じゃないよ
理解できないのは、自身に問題があるとは考えないのでしょうか？
929(1): 12/16(月)17:29 ID:dppJcvPg(1) AAS
n=10000までできたからOK！
って理屈なら、そもそも証明したい命題 n=おっきい数 までは証明できてるものも多いだろうから新規性なくなっちゃうよ
930: ◆pObFevaelafK 12/16(月)17:52 ID:JOor3GsK(7/18) AAS
>>929
アルゴリズムによる証明を創り出したから新規性は何時までもある
931(1): 12/16(月)17:56 ID:AU5kOoOQ(6/8) AAS
>>928
>賢い人間であれば、判断できる。判断できない927は知的能力に問題がある。
n=10000までで判断するほうが知的にナイーブなのよ
>理解できないのは、自身に問題があるとは考えないのでしょうか？
理解できないじゃなくて単に高木くんの間違いなのよ
Fn(x) at x = pn+1 = pn + log(pn) since it is clear from the graph of f(x) that the function Fn(x) decreases monotonically.
Fn(x) = (log(x) － log(pn))/(x － pn).でxを微分するときpnが固定されてるのが間違い
932(1): ◆pObFevaelafK 12/16(月)18:41 ID:JOor3GsK(8/18) AAS
>>931
偏微分を知らないんですか？xの増減に対して、Fn(x)がどう変化するかということなんですけど。
933(1): 12/16(月)19:25 ID:AU5kOoOQ(7/8) AAS
>>932
うん、それでxにpn+1を代入するのを企んでるよね
でもpn+1が動いたらpnも変化するのは当たり前だよね
pnを固定したFn(x) = (log(x) － log(pn))/(x － pn)のグラフと
(log(pn+1) － log(pn))/(pn+1 － pn)のグラフは異なるよ
934(1): ◆pObFevaelafK 12/16(月)19:36 ID:JOor3GsK(9/18) AAS
>>933
xをpn+1とするということは正しい。
pn+1の値がどういう値を取るかということを考えているから
pnの値は固定していてもよい。何故連動すると考えるのか意味不明だ。
935(1): 12/16(月)20:00 ID:AU5kOoOQ(8/8) AAS
>>934
よくないんだわ、pn+1の値に応じてpnが決まるんだから
高木くんがすぐに理解できなかったとしても、また理解した時に新しい論文書けばいいだけでしょ
間違いは指摘したので>>911の目的は達せられたよね
1.プログラムが全てのnで機能することを示せてない
2.pnが定数だったり変数だったりコロコロ変わる
以上
936(2): ◆pObFevaelafK 12/16(月)20:08 ID:JOor3GsK(10/18) AAS
>>935
1. そんな事を示せる人間は誰もいない
2. 変わっていない。
偏微分を知らない人間が私にとやかく言うのは大間違いだ。
937(1): 12/16(月)20:30 ID:m85GoqR7(1/6) AAS
>>936
偏微分知ってるから君が間違ってるのが
よく分かるよ
偏微分を知ってると言うなら偏微分の定義を延べてごらんよ
定義を述べられない高木くんｗ
938: 12/16(月)20:34 ID:qPSFR81u(2/2) AAS
>>936
横だけど Idris や Agda などの必ず停止する言語でプログラムを書けば、
全てのnで"停止"すること は言えると思うよ
939(1): ◆pObFevaelafK 12/16(月)20:47 ID:JOor3GsK(11/18) AAS
>>937
どこがどう間違っているのか具体的に述べてみろよ
偏微分は、一つ以外の変数を固定して、一つの変数で微分する
という操作だということだが？
ということも知らないで、変数を固定するのがおかしいなどと意味不明な
ことを書いているのではwww
940(1): 12/16(月)21:05 ID:m85GoqR7(2/6) AAS
>>939
一つの変数以外を固定した議論と、その変数が他の変数と関数の関係にある場合の議論は異なるよ
pnを固定してpn+1を動かすことはできないよ
941(1): ◆pObFevaelafK 12/16(月)21:41 ID:JOor3GsK(12/18) AAS
>>940
Fn(x)で、(log(p_(n+1))-log(pn))/(p_(n+1)-pn)の上界を計算している。
何を書いているのだろうか？
上下前次1-新書関写板覧索設栞歴
あと 61 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s