高木くんがアクセプトされるまで見守るスレ ★4

[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

841(1): 2023/08/04(金)04:45 ID:QV5HKtUk(2/6) AAS
>>840
いちいちツッコまれんと本当のことを言わない高木くんが悪い

842(1): 2023/08/04(金)05:15 ID:QV5HKtUk(3/6) AAS
>>840
それって書いてない事実で遊ぶまでやで

>>836の早稲田も多浪した結果でしょ
それを余裕と言われたら親泣くぞ

843(1): ◆pObFevaelafK 2023/08/04(金)07:05 ID:QeWIRp8T(9/22) AAS
>>841
的外れなツッコミは要らないが

>>842
＞それって書いてない事実で遊ぶまでやで
私を馬鹿にしている842などがな

＞それを余裕と言われたら親泣くぞ
点数が余裕で合格ということだ

844(1): 2023/08/04(金)07:45 ID:QV5HKtUk(4/6) AAS
>>843
むしろ君を馬鹿にしてないやつとか、高木くんのイマジナリーフレンドしかおらんやん
endorsementとか単語だけの英語しか話さない奴

845(1): ◆pObFevaelafK 2023/08/04(金)08:56 ID:QeWIRp8T(10/22) AAS
>>844
844みたいなことを言っている人間や私の周りで侮辱の言葉を聞かせている人間が
この国にいる非国民でnoisy minorityなんだろうよ

846(1): 2023/08/04(金)10:21 ID:QV5HKtUk(5/6) AAS
>>845
それは高木くんの論文を淡々と静かにリジェクトしていくのがサイレントマジョリティだという対比かい

847(1): ◆pObFevaelafK 2023/08/04(金)10:27 ID:QeWIRp8T(11/22) AAS
>>846
rejectではなく、数学者の承認を得て再投稿をせよというメールであり当然minorityだ

848(1): 2023/08/04(金)10:30 ID:QV5HKtUk(6/6) AAS
>>847
×数学者の承認を受けて再投稿しろ
⚪︎ 数学者の承認を受けるまで再投稿するな

849(1): ◆pObFevaelafK 2023/08/04(金)10:59 ID:QeWIRp8T(12/22) AAS
>>848
＞If you are convinced that your solution is correct, and wish to continue to pursue publication,
＞then you should have someone else (for instance a mathematically literate friend or colleague,
＞or perhaps a mathematician at a local university) read your manuscript and give you suggestions
＞for improving the readability. You should submit your manuscript again to a journal only if that person
＞is able to understand your manuscript well enough to certify its correctness.

850(1): 2023/08/04(金)11:44 ID:BX2PNdr/(3/10) AAS
>>849
only if
な、
only if 以降の条件を満たさない限り出すなって言ってる

これも3年くらい言われてるはずだけど、おじいちゃんいい加減にしてよ

851(2): ◆pObFevaelafK 2023/08/04(金)11:58 ID:QeWIRp8T(13/22) AAS
>>850
だから、私が書いた証明を正しいことが十分に確認できるという人がいないというのは
誰が言っているのか？850が勝手にそう決めつけているのではないのか？

その証拠として、私はviXraでFiroobakht予想とLegndre予想の正しい論文を公開ているが
誰もそれを否定することができないのではないのか？

それから、おじいちゃんと書くのは止めろ。

852: ◆pObFevaelafK 2023/08/04(金)11:59 ID:QeWIRp8T(14/22) AAS
私のインターネットの契約は、電話回線の契約は亡くなった祖父の名前を用いているが
それを馬鹿にしているのか？「〇〇(祖父の苗字)がたり。」と馬鹿にしたヤクザいたが？

853: ◆pObFevaelafK 2023/08/04(金)12:30 ID:QeWIRp8T(15/22) AAS
「うそをかかせるのがげんかいだ。」と聞こえたが私が誰かにここで意味不明なレスをする
ように頼むということは全くない。何故、嘘ばかり聞かせられなければならないのか？

854: 2023/08/04(金)12:43 ID:BX2PNdr/(4/10) AAS
>>851
>私が書いた証明を正しいことが十分に確認できるという人がいないというのは
誰が言っているのか？

君が書いた原稿を見てもらった人が、その原稿の正しさを保証できるほど、よく理解できる場合のみ提出しなさい

その限りでない限り提出するなってことだよ

>Firoobakht予想とLegndre予想の正しい論文を公開
ているが
省2

855(1): ◆pObFevaelafK 2023/08/04(金)13:11 ID:QeWIRp8T(16/22) AAS
＞その限りでない限り提出するなってこ
それは分かっているが、私の証明は正しいから「数学賞だ。」と言われているのだろう。

＞十分否定したでしょ、高木くんが理解出来てないだけで
何も否定できていない。大嘘は書かなくていい。何故下らない嘘を書き続けるのか？

856(2): 2023/08/04(金)14:18 ID:YiZChEQf(1/3) AAS
LeGendreだが、
nが8000を超えたあたりから、高木君の対応付けが怪しくなってくるな。
可能であれば、n=9112で対応付けが可能かどうか検証してほしい。
nが大きくなるほど不利になっていくから、もっと大きな数で検証してもらえたらなお良い。

857: 2023/08/04(金)15:01 ID:VPjU5aHy(1/5) AAS
>>856
出力が長大で全部は貼れないが
----------
"n = 9112"
"r=9109, [83037644, 9109]"
"r=9103, [83037566, 9103]"
"r=9091, [83037194, 9091]"
省17

858: 2023/08/04(金)15:04 ID:YiZChEQf(2/3) AAS
>>856
ごめん、これ撤回。
ちょっと評価が甘すぎた。
もうちょっと詰めてから、まだ、対応不可が言えるようだったら、投稿し直す。

859(1): 2023/08/04(金)15:08 ID:YiZChEQf(3/3) AAS
計算しちゃったのね。お手数おかけしてごめんなさい。

860(1): 2023/08/04(金)15:20 ID:VPjU5aHy(2/5) AAS
>>859
あ、いえいえ。でも出力が途切れているのが
"r=5743, "
"r=5059, "
"r=3203, "
の三つがあって、気になる所ではあります。

861(1): 2023/08/04(金)15:31 ID:BX2PNdr/(5/10) AAS
>>707で省略されてる素数リストを9109まで手打ちしたんか…？
頭が下がる

862(1): 2023/08/04(金)15:33 ID:BX2PNdr/(6/10) AAS
>>855
分かってないからこう言われる

＞If you are convinced that your solution is correct, and wish to continue to pursue publication,
＞then you should have someone else (for instance a mathematically literate friend or colleague,
＞or perhaps a mathematician at a local university) read your manuscript and give you suggestions
＞for improving the readability. You should submit your manuscript again to a journal only if that person
＞is able to understand your manuscript well enough to certify its correctness

863(1): 2023/08/04(金)15:33 ID:VPjU5aHy(3/5) AAS
>>861
あ、いえ、自分は Ruby に移植したので、素数はいくらでも出てきます。

864: 2023/08/04(金)15:38 ID:BX2PNdr/(7/10) AAS
>>863
あ、なるほど(へぇ便利なものだ)

865: ◆pObFevaelafK 2023/08/04(金)15:54 ID:QeWIRp8T(17/22) AAS
857と同じ結果になりました。9112^2<p<9112×9113を満たすpの数から、この範囲にある素数の
数を引いた結果が8598になれば結果は正しいということになります。

866(1): ◆pObFevaelafK 2023/08/04(金)15:55 ID:QeWIRp8T(18/22) AAS
>>862
その文章のとおり、数学者に論文をメールで送り承認を求めています。

867(1): ◆pObFevaelafK 2023/08/04(金)16:03 ID:QeWIRp8T(19/22) AAS
9112-1-(π(9112*9113)-π(9112^2))=8598

868(1): 2023/08/04(金)16:06 ID:VPjU5aHy(4/5) AAS
>>867
>>860 については気にしなくても問題ないでしょうか？

869(1): 2023/08/04(金)16:06 ID:BX2PNdr/(8/10) AAS
>>866
承認は得られましたか？
あなたの論文は承認を求められる以前に、読みやすさの向上が求められてるのは知っていますか？
you should have someone else (for instance a mathematically literate friend or colleague,
＞or perhaps a mathematician at a local university) read your manuscript and give you suggestions
＞for improving the readability.

870(2): ◆pObFevaelafK 2023/08/04(金)16:22 ID:QeWIRp8T(20/22) AAS
>>868
860の素数は、それよりも大きな素数のグループで関係を設定しているので
問題ありません。

>>869
分かりません。しかし、「数学賞だ。」、「endorsementだ。」という声が聞こえてきています。

871(1): ◆pObFevaelafK 2023/08/04(金)16:23 ID:QeWIRp8T(21/22) AAS
>>870 訂正
×860の素数
〇860の素数に対するpは

872: 2023/08/04(金)16:32 ID:VPjU5aHy(5/5) AAS
>>871
了解しました。ありがとうございます。

873(1): 2023/08/04(金)16:33 ID:BX2PNdr/(9/10) AAS
>>870
何度投稿したところで
>improving the readability.
と書かれたテンプレメールが返ってくるんでしょ
それが答えよ
承認以前に読めたもんじゃないんだよ

874(1): ◆pObFevaelafK 2023/08/04(金)17:02 ID:QeWIRp8T(22/22) AAS
>>873
それは大嘘。「通じないふりをしている。」という声が謎のスピーカーから聞こえた。

875(1): tai 2023/08/04(金)21:27 ID:fpxHEDTi(1/2) AAS
n^2<p<(n+1)^2

をみたすpが素数でないとき

1<r<n

で重複がないように

割り算してならべると
省3

876: tai 2023/08/04(金)21:38 ID:fpxHEDTi(2/2) AAS
ゴジラ対エヴァンゲリオン(確変中)

877: 2023/08/04(金)22:10 ID:BX2PNdr/(10/10) AAS
>>874
だから、読みにくいまま、承認をよこせと言ってるの!!?

878(1): 2023/08/05(土)07:24 ID:6XPxZ6nt(1) AAS
>>851
50歳もこえたおじいちゃんが「おじいちゃんと書くのは止めろ。」とか恥ずかしすぎやろ

879(1): ◆pObFevaelafK 2023/08/05(土)10:08 ID:HeFg6ZUO(1) AAS
>>878
黙れ

880(1): 2023/08/05(土)13:04 ID:Au3DCMUU(1) AAS
高木さん50超えてるの？
おいくつ？

881(1): tai 2023/08/05(土)23:37 ID:uZIjCZh+(1) AAS
>>875
続き

前提として

素数でないpを取るので

ここから素数でないpの存在を言うのは

トートロジーである

882(1): ◆pObFevaelafK 2023/08/06(日)05:53 ID:967wRsgL(1/3) AAS
>>881
pが合成数であれば、その全てのpに関して、p→rの関係を設定することが
できるという命題を証明しているのでそうではない

883(1): tai 2023/08/06(日)14:23 ID:KzOyJH6t(1/2) AAS
>>882

pが合成数であれば

の段階で

pが素数でないならば

という仮定をしてる
省1

884(1): 2023/08/06(日)14:49 ID:qsXebITe(1) AAS
>>879
言い訳出来ず悪態つくだけ
恥ずかし過ぎる

885(1): tai 2023/08/06(日)14:49 ID:KzOyJH6t(2/2) AAS
仮にn-1個のpがすべて合成数だったとすると

p→r

の対応はn-1個あるため

1<r<n

のn-2個にははいりきれないが

886: ◆pObFevaelafK 2023/08/06(日)17:32 ID:967wRsgL(2/3) AAS
>>883
＞pが素数でないならば
こう仮定していない。pが全て合成数であることを仮定している。
この仮定とは関係なく、全ての合成数pはp→rの関係を設定できることを証明している。

>>884
884は878の肩を持つわけ？家に関することは個人情報だからな。

>>885
省1

887: tai 2023/08/06(日)18:46 ID:s1F2eysI(1/7) AAS
なんだかよくわからんくなってきた

合ってるような気もするな

888: tai 2023/08/06(日)18:48 ID:s1F2eysI(2/7) AAS
暑いからかな

889(1): tai 2023/08/06(日)18:56 ID:s1F2eysI(3/7) AAS
まとめると

n^2<p<n(n+1)を満たすpがすべて合成数だったとすると

このn-1個の合成数から

p→rの対応をつけると

これはn-1個の関係だが
省4

890: tai 2023/08/06(日)19:01 ID:s1F2eysI(4/7) AAS
もうちょい分かりやすく言えばいいのに

891: ◆pObFevaelafK 2023/08/06(日)19:09 ID:967wRsgL(3/3) AAS
>>889
要約はそれでいい

892: 2023/08/06(日)19:14 ID:6xsgjqd4(1) AAS
あってるに決まってるよ
バカもの

893: tai 2023/08/06(日)19:27 ID:s1F2eysI(5/7) AAS
すごく分かりにくいのは

すべてのpが合成数である

というあり得ない仮定を

実例で示そうとしたところ

だね
省1

894: tai 2023/08/06(日)19:38 ID:s1F2eysI(6/7) AAS
だが以前として

rがきれいに１対１対応するかどうか

という問題点は残るかな

895: tai 2023/08/06(日)19:54 ID:s1F2eysI(7/7) AAS
私が本気で読んでなかったのもあるが

馬鹿にできないのは

p→r

の対応に問題ありとした

レスが多くあることだね
省1

896(14): 2023/08/06(日)21:44 ID:TaIrWkZJ(1) AAS
5の倍数とrの対応で、nが大きくなると破綻が生じる。
pの中の5の倍数を、rの中の全ての2,3の倍数に対応付けたとして、その残りを5以上の素数とその冪に対応付けていくのだが、nが大きくなるとrの中の素数が不足してくる。
これを示すためには素数定理を使うが、目途は大体n=10^30くらいかな。

897: 2023/08/06(日)22:56 ID:8kmL9V9H(1) AAS
>>880
ﾎﾞｿｯ（何座？血液型は何型？
　　　ってのも聞いてみて‥

898: tai 2023/08/07(月)14:11 ID:qkKj0/Sm(1) AAS
JAMS

under review

三週間目かな

899(1): 896 2023/08/07(月)16:16 ID:W4kfDz0Z(1) AAS
エクセルに計算させてみたが、
概ね nが10^14を超えると対応付けが破綻するようだ。

900(1): 2023/08/08(火)00:26 ID:0d24DI6k(1/5) AAS
n=10^5 の時点でちょっと怪しい。（自分の環境起因かもしれないけど）
----------
検算
100000-1-((100000*100001)以下の素数の個数-((100000^2)以下の素数の個数))
=> 95693
----------
実行結果
省13

901(1): ◆pObFevaelafK 2023/08/08(火)06:00 ID:RqEEqfe+(1/4) AAS
>>896,900
バグがありましたので修正を行い、n=10^5で正常動作しました。
飛ばすpを偶数(偶数または3の倍数)に限定すべきでした。
以下が修正箇所です。
' For l = 0 To n - 2
' p = n ^ 2 + 1 + l
' If p = Int(p / lPrimes(l1)) * lPrimes(l1) Then
省20

902: 2023/08/08(火)08:08 ID:0d24DI6k(2/5) AAS
>>901

こちらも正常動作を確認しました。どうもです。
----------
"n = 100000"
"r=99991, [10000099910, 99991]"
"r=99989, [10000099868, 99989]"
"r=99971, [10000099130, 99971]"
省10

903(1): tai 2023/08/08(火)11:11 ID:JuA4n51V(1) AAS
p→r

の対応がきれいに書けたとしても

それは素数でないpからの対応であって

すべて合成数としたpからの対応としては

使えないと思います
省5

904: ◆pObFevaelafK 2023/08/08(火)11:47 ID:RqEEqfe+(2/4) AAS
>>903
＞すべて合成数としたpからの対応として
＞
＞使えないと思います

全て合成数の場合のp→rの関係ではありません。
合成数である全てのpに対して、p→rの関係が設定できるということを
証明しました。
省9

905(3): 896 2023/08/08(火)13:18 ID:vMegdO9X(1/2) AAS
>>896,899
一応、真面目な反例のつもりなんだが、スルーされてっぽくて哀しい。スルーならそれでもいいけど、何かしらコメントをくれ。
少し補足。数値の根拠は、n/log n = n/30　となるようなn。
左辺は、素数定理によるnまでの素数の個数の近似値。
右辺は、nに対して高木対応を成立させるために必要な素数の個数。
n/log n < n/30　となるようなnでは高木対応は成立しない。
素数定理の含む誤差を考慮して、n=10^14 以上であれば、不成立としてよいかと思う。素数の冪の個数は、このあたりのnに対しては、素数の個数の1/100程度なので、素数定理の誤差と一緒に丸めた。

906: 896 2023/08/08(火)13:22 ID:vMegdO9X(2/2) AAS
>>905
単に素数って書いちゃったけど、5以上の素数のことです。

907(1): 2023/08/08(火)13:41 ID:0d24DI6k(3/5) AAS
あっ、10^5 の件とは別だったのね......

908(1): 896 2023/08/08(火)14:09 ID:10s3E0nZ(1/2) AAS
>>907
うん、ソフトのバグとかじゃなくて、理論的に不成立の反例。

909(1): 2023/08/08(火)14:14 ID:0d24DI6k(4/5) AAS
>>908
ちなみに >>905 で、30という数字はどうやって出したのですか？

910(2): 896 2023/08/08(火)14:51 ID:o7462/Hs(1) AAS
>>909
2,3,5の最小公倍数です。
任意の長さ30の連続した整数列の中で、5の倍数は6個あります。その6個のうち、2の倍数は3個で、3の倍数は2個です。うち、1個は2と3の公倍数ですが、それを気にせず、別々のものとして対応付けが可能です。(＊)
つまり、5の倍数6個に対して、5個は2と3の倍数として対応付け可能となります。これは、残りの1個は5以上の素数の倍数に対応付けなければならないことを意味します。つまり、nが30個ごとに1個の素数が必要になるということです。
(＊)については長くなるので、必要なら説明します。高木君はわかっていると思いますが。

911: 2023/08/08(火)14:58 ID:0d24DI6k(5/5) AAS
>>910
そういう意味があったのですね。なるほどです。

912(3): tai 2023/08/08(火)16:00 ID:Is6tGRVL(1) AAS
どうでもいいが

高木くんの高圧的な態度はなんとかならんのか

自分以外は頭が悪いと決めつけてるみたいだ

913: 2023/08/08(火)16:18 ID:Fbp1PmSR(1) AAS
>>912
虚勢やん
知ったかぶるときほどキツくなるんだから
適当に察した上でからかっとけ

914(1): ◆pObFevaelafK 2023/08/08(火)16:24 ID:RqEEqfe+(3/4) AAS
>>896
rが5以上の場合には、n^2<p<n(n+1)でrの倍数になるものの個数を
a(n,r)、1<r<nでrの倍数になるもの個数をb(n,r)とすると
a(n,r)≦b(n,r)+1
という関係があります。そうなので、r≧5の場合にa(n,r)>b(n,r)となる場合には
pのうち2か3の倍数であるものに対して関係を設定せずに飛ばします。

>>912
省1

915: 896 2023/08/08(火)16:43 ID:10s3E0nZ(2/2) AAS
>>914
回答ありがとうございます。
r=5で、a(n,r)>b(n,r)の場合に限定していただいて構いません。

> pのうち2か3の倍数であるものに対して関係を設定せずに飛ばします。

「関係を設定しない」という意味と、「飛ばす」という意味がわかりません。
pと、2あるいは3の倍数との関係を設定せずに、r=7の場合等の次の処理へ移るということでしょうか？

916(1): ◆pObFevaelafK 2023/08/08(火)17:10 ID:RqEEqfe+(4/4) AAS
>>896
まず、関係を設定する場合には、素数rの降順でグループにして設定を行います。
例えば>>414でr=11のとき、p=330と341が11の倍数になりますが、rは11しか
設定することができないので、偶数である330を飛ばして[341,11]という関係を設定します。
330は5の倍数なので、r=5で関係を設定することになります。

917(1): 896 2023/08/08(火)17:26 ID:Odlzrmr0(1) AAS
>>916
見直したら、対応付けのアルゴリズムが、自分の思ってたのと全然違った。
提示した反例は全部撤回します。
お騒がせしました。ごめんなさい。

918(1): tai 2023/08/10(木)09:54 ID:1fQfc9LY(1) AAS
JAMS

reject

残念

919: 2023/08/10(木)10:26 ID:S8FdfUNa(1) AAS
投稿しただけ立派

920(3): 2023/08/10(木)22:01 ID:P/cvlVeW(1) AAS
>>912
意地悪くしつこく弄るやつらと病気の幻聴の影響で追い詰められてるせいだろ

上下前次 1-新書関写板覧索設栞歴

あと 81 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.044s