18/08/07 14:59:58.47 gs2eVX6+.net
もしかして自分でもどっからどこまでで場合分けがなされているかわかってないんでしょうか？
119:１３２人目の素数さん
18/08/07 15:24:05.17 Cc7tnWeO.net
>>114
場合分けは、12ページで行っているだけです。12ページの後半7行以降は
場合分けは行っていません。
>>115
cr≠qr-1のときに、⑪を導いている。qr=cr-1のときは2m+1=wとなるだけです。
>>117
そのようなことはありません。
120:１３２人目の素数さん
18/08/07 15:34:40.83 247W8usE.net
＞もしかして自分でもどっからどこまでで場合分けがなされているかわかってないんでしょうか？
これが真相ですね
121:１３２人目の素数さん
18/08/07 15:36:51.98 Cc7tnWeO.net
>>119
>>120
122:１３２人目の素数さん
18/08/07 15:38:12.74 EBKm5y+e.net
>>118
＞qr=cr-1のときは2m+1=wとなるだけです。
つまり、qr=cr-1のときは2m+1=wとなるだけなので、この証明で示そうとしている矛盾が生じる余地がまったく無い。結論として、この場合には奇数の完全数が存在する可能性を否定できない。
123:１３２人目の素数さん
18/08/07 15:40:21.88 gkVDbMDU.net
>>71で言ってることと今言ってる事が違うのはなぜ？
>>71では cr≠qr-1は、それは⑪の条件を導くときに使っている
と言ってるんだからcr≠qr-1を使ってる部分があるんでしょ？
124:１３２人目の素数さん
18/08/07 15:51:22.01 gkVDbMDU.net
もちろん数学の議論ではいくつかの場合に分けるのは構わないし、そのために場合分けの仮説をいれるのも構わない。
しかし、ならばその仮説の開始を宣言する "以下✖✖の場合を考える" のような宣言は必須だし、
その仮説付きの議論を終了する下りでは "以上により✖✖の場合には○○が言えることがわかった" のような下りが必要でしょ？
そういうのキチンと入れないとダメだよ？
よんだらわかるはずなんて通用しないよ？
エスパーじゃないんだから。
そんなの他人にはわからない。
125:１３２人目の素数さん
18/08/07 16:01:20.25 247W8usE.net
数式の変形や証明問題について根本的に理解を欠いているという１
なんで数学板にいるんだ？
１には縁のない場所
126:１３２人目の素数さん
18/08/07 17:00:48.59 gs2eVX6+.net
>>118
12ページの何行目に
cr=qr-1
の場合があるのですか？
ちょっと見当たらないんですが、見落としてたらごめんなさい
127:１３２人目の素数さん
18/08/07 17:03:03.87 ik2/wf5H.net
>>89
＞yを素因数分解するときに、何故一つの素因数（p）だけを特別扱いしてるのですか？
これに関しては、高木さんの書き方がよくないんだと思うよ。
本当は、3.1及び3.2で行われている
「指数が奇数個になる素因数はただ一つである」ということを証明した後で、
「そのただ一つの素因数をｐとおく」とすべきなの。
3ページ目以降はその前提の下で議論してるから。
でも、記述の順番を間違えてるから、ｐの選定根拠がよくわからんくなってる。
128:１３２人目の素数さん
18/08/07 17:37:48.70 Cc7tnWeO.net
>>121
cr=qr-1のときは2m+1=wとして正しく証明できていると思います。
>>122
はい
>>124
最新の論文の中から、例示してください
>>125
そのときに、⑪が2m+1=wになるというだけです
>>126
それは、人の自由だと思います
129:１３２人目の素数さん
18/08/07 17:45:26.74 gs2eVX6+.net
>>127
cr≠qr-1という条件は12ページの何行目でどのような目的で使われているのですか？
w=2m+1 になるかならないか、という話だけだったら、そもそも何の意味があるんでしょうか？
130:１３２人目の素数さん
18/08/07 17:46:14.41 247W8usE.net
またミスを指摘されたので、ずっと開き直りか
131:１３２人目の素数さん
18/08/07 17:47:59.97 Cc7tnWeO.net
>>128
2m+1がpr^(qr-cr-1)で割り切られるための条件だと書いてありますが
>>129
ミスはありません
132:１３２人目の素数さん
18/08/07 18:00:21.48 247W8usE.net
前スレの終わりで１がスレに出てこなくなる前に同じ
133:１３２人目の素数さん
18/08/07 18:12:30.52 /76m615n.net
>>127
まずいやろ？
>cr=qr-1のときは2m+1=w
なら、この条件からは確かにw=1、pr=3なんか導けへんやん。
prもへったくれもないんやから。
前の方での指摘がまんま成立するやん。
>>23
>上記の cr≠qr-1 が誤りであるため、
>前ページの 2m+1=w pr^(qr-cr-1) と n=4m+1 から、n=5 のときに成立するといえるのは m=1 のみ。
>w=1, pr=3 を結論付けることはできない。m=1, w=3, pr=任意の奇素数 という解がありうる。
>それ以降の主張は w=1, pr=3 を前提にしているため成立しない。
134:１３２人目の素数さん
18/08/07 18:29:04.97 Cc7tnWeO.net
>>132
その内容は削除しているはずです。
ここで指摘されていない間違いが見つかりましたので削除します
135:１３２人目の素数さん
18/08/07 18:31:40.48 /76m615n.net
そうですか。
なら削除するついでに次の版では
>cr≠qr-1
の仮説の開始地点と終了地点を明示してください。
136:１３２人目の素数さん
18/08/07 18:57:30.59 znDiRkDf.net
どっちもようやるわ…
絶対終わらんで。このままでは。
137:１３２人目の素数さん
18/08/07 19:03:40.24 Cc7tnWeO.net
変更点
・Iのn=1の部分を削除しました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
138:１３２人目の素数さん
18/08/07 19:10:27.99 Cc7tnWeO.net
>>134
それは条件として、⑪を導くために使っています。cr=qr-1となる場合は単に
2m+1=wとなるだけです。何度書いてもご理解いただけないとは思いますけれど。
139:１３２人目の素数さん
18/08/07 19:12:43.86 GJ2qIhQS.net
何度書いても理解出来ない記述じゃダメだろ
140:１３２人目の素数さん
18/08/07 19:33:46.55 EkFRQZJ8.net
相手してるほうも頭おかしいだろ
141:１３２人目の素数さん
18/08/07 19:35:59.20 fZ4AVUCy.net
>1
「何を前提として、何を示しているのか」
を簡潔に記述するのをお勧めします
読者はもちろんですが、記述者にも
・正しいか間違っているか
・間違っているならどこが間違っているか
がわかりやすくなりますので
定理(Theorem)
命題(Proposition)
補題(Lemma)
主張(Claim)
あたりですかね、よく使われるのは
142:１３２人目の素数さん
18/08/07 19:43:38.91 g52hu3kp.net
>>133
ダウト
変更点のどこにも明記されてないやん
143:１３２人目の素数さん
18/08/07 19:44:07.17 g52hu3kp.net
>>133
ダウト
変更点のどこにも明記されてないやん
144:１３２人目の素数さん
18/08/07 19:51:45.72 gs2eVX6+.net
>>137
cr=qr-1の場合もこれこれこういう理由でOKだよ、というのは、どこに書いてありますか？
145:１３２人目の素数さん
18/08/07 20:35:44.09 6gHAf/0k.net
＞ダウト
１は嘘付きなので
146:１３２人目の素数さん
18/08/07 21:04:52.80 gkVDbMDU.net
>>137
> >>134
> それは条件として、⑪を導くために使っています。cr=qr-1となる場合は単に
> 2m+1=wとなるだけです。何度書いてもご理解いただけないとは思いますけれど。
もしかしてcr≠qr-1 の元でえられた⑪にcr＝qr-1の時はその式にそのまcr=qr-1を代入していいとおもってるの？
147:１３２人目の素数さん
18/08/07 21:08:38.18 Cc7tnWeO.net
>>141
変更点は論文には書いていません。
>>143
>>145
cr=qr-1のときに、2m+1=wとしても何も間違いではないということです。
148:１３２人目の素数さん
18/08/07 21:14:10.69 orOfcB8q.net
cr=qr-1 だと何がまずいかって？
１３ページの最後の式の
Πpk^(ck+1)≦Πpk^(qk-1) が成立しなくなるだろ？
k=1～r-1で
Πpk^(ck+1)≦Πpk^(qk-1) が成立していても
pr＞{Πpk^(qk-1)}/{Πpk^(ck+1)}だったら
k=1～rでは
Πpk^(ck+1)＞Πpk^(qk-1) となるからな
素因数p1～p{r-1}が幾つであってもpr＞{Πpk^(qk-1)}/{Πpk^(ck+1)}となる素数prは存在できる
149:１３２人目の素数さん
18/08/07 21:17:18.13 gkVDbMDU.net
>>146
> >>141
> 変更点は論文には書いていません。
>
> >>143
> >>145
> cr=qr-1のときに、2m+1=wとしても何も間違いではないということです。
cr=qr-1のときに、2m+1=wが成立する証明は別にちゃんとつけてあるの？
⑪を導いたのとは別に。
⑪を導く時にcr≠qr-1をつかったならその式に代入できないよ。問題ありありだよ？
150:１３２人目の素数さん
18/08/07 21:28:30.61 HMQdvmrZ.net
>>146
アップするごとにレスに変更点書いとるやろが、クソが
151:１３２人目の素数さん
18/08/07 21:36:38.96 qEJ5FVFD.net
12ページ
＞4m(8m-1)pr^2/3+4mpr+1は因数にprを持たない
4m(8m-1)pr^2/3が整数であるとは限らないのに因数をどうこういうのはおかしいよ
152:１３２人目の素数さん
18/08/07 21:42:55.26 6gHAf/0k.net
またＰＤＦ消しちゃったね
153:１３２人目の素数さん
18/08/07 21:43:40.70 Cc7tnWeO.net
>>149
私に文句を言わないでください。
>>150
因数分解される二つの項のどちらかに、因数prが振り分けられるということになります。
2m+1ではない項は0次の項が1ですから、全ての因数が2m+1に振り分けられるということになります。
154:１３２人目の素数さん
18/08/07 21:44:11.99 HMQdvmrZ.net
>>148
黙って消すなやクソガイジ
155:１３２人目の素数さん
18/08/07 21:45:29.08 HMQdvmrZ.net
>>152
読んでほしくてアップしとるんちゃうんか
変更したんやったらその旨書けや
156:１３２人目の素数さん
18/08/07 21:46:05.93 HMQdvmrZ.net
>>148
誤爆した、すまんな
157:１３２人目の素数さん
18/08/07 21:55:15.84 h5N+I3/u.net
PDF消されたのか
12ページ
＞skを1≦sk≦qkの整数として f(pr)=Π{k=1..r-1}pk^sk
ここにも誤魔化しがある。
f(pr)がbの素因数をすべて約数に持つ証明がないので、skの最小値が1とはいえない。
skは0≦sk≦qkとするべき。
skをゼロ以上とすると先で
＞Π{k=1..r}が最大になるのはqk=ck+2になるとき(つまりck=qk-2)であり
が誤りであり、
＞Π{k=1..r}pr^(ck+1)が最大になるのはqk=ck+1になるとき(つまりck=qk-1)であり
としなければならないことがわかる。
その次の不等式 Π{k=1..r}pk^(ck+1)≦Π{k=1..r}pk^(qk-1) は結局成立しない。
158:１３２人目の素数さん
18/08/07 22:02:04.73 Cc7tnWeO.net
>>153
>>147により間違いに気づいたので削除しました
>>156
前半は誤魔化しではなくただの間違いであり、それによって証明は何の影響もない
後半は>>147と同様の指摘だと思います
後一点に絞られたが、証明できるかどうかは分からない
159:１３２人目の素数さん
18/08/07 22:20:28.68 h5N+I3/u.net
あと1点じゃないよな
＞2m+1=wpr^(qr-cr-1)…⑪
2m+1 が pr^(qr-cr-1) の倍数という結果（この主張が正しいかどうかは不明だが）は pr=(p+1)/2 の仮定から示されたものだから、
k=r以外のpkには当てはまらない。にもかかわらず
＞式⑪から、任意のkに対してbがpk^qkで割り切れるためにはwを奇数として
＞2m+1=wΠ{k=1..r}pk^(qk-ck-1)
としているが、こんな乱暴な結論は導けない。
160:１３２人目の素数さん
18/08/07 22:57:55.58 HMQdvmrZ.net
>>158
論文全体そのものが誤りだから１点やぞ
161:１３２人目の素数さん
18/08/07 23:02:01.06 Cc7tnWeO.net
>>158
rは任意だから、どのkに対しても成り立つ。
162:１３２人目の素数さん
18/08/07 23:17:00.74 EBKm5y+e.net
＞式⑪から、任意のkに対して
これは酷い
いくら何でもこれはない
163:１３２人目の素数さん
18/08/07 23:24:13.83 h5N+I3/u.net
＞rは任意だから、どのkに対しても成り立つ。
まだ言うか（笑）
pr=(p+1)/2 となる素数を１個決めたら k≠r のとき pk≠pr=(p+1)/2 になる。
k≠r のとき pk=pr となるような関係があればそもそも a=Π{k}(1+pk+...+pk^qk)が成り立たない。
＞rは任意だから、どのkに対しても成り立つ。
これを真顔で言ってるなら１は相当な大馬鹿者だ。 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
164:１３２人目の素数さん
18/08/07 23:42:17.98 Cc7tnWeO.net
>>162
bがbrで割り切られるための条件だから、他のkでも同じ。
165:１３２人目の素数さん
18/08/07 23:56:20.52 Cc7tnWeO.net
>>162
著作権侵害はやめてもらいたい
166:１３２人目の素数さん
18/08/08 00:02:22.43 fnaNFQmO.net
今宵も安定の馬鹿スレ
数学板の汚点の一つ
167:１３２人目の素数さん
18/08/08 00:03:16.78 yP/BCdxN.net
ちょ、著作権侵害……wwwww
168:１３２人目の素数さん
18/08/08 00:07:50.34 4J4dcCFV.net
>>1 も相手してるヤツも
キチガイ
169:１３２人目の素数さん
18/08/08 00:36:33.77 JqRVPINH.net
相手してるやつ正直頭おかしいだろ
どんだけループしてるんだよ
ちょっとしたら>>1に数学の論文のスタイルを説法したりするやつも出てくるし
あほじゃねーの。話通用しないバカ相手にようやるわ。
170:１３２人目の素数さん
18/08/08 00:45:32.43 ZPl8b+S3.net
お前それ同じこと自分のとこの学生にも言えんの？
171:１３２人目の素数さん
18/08/08 01:09:10.28 Y7ugytqF.net
>>164
違反になってないぞwww
本気でそう思うんなら訴えたらどうや
話くらいは聞いてくれるから、お前の論文と違って門前払いにはならんと思うぞ
172:１３２人目の素数さん
18/08/08 05:42:19.76 hDdzzVGg.net
奇数の完全数ひとつ示してやればこの話は終わりだ。
もうそろそろ誰か見つけてんだろ？
173:１３２人目の素数さん
18/08/08 06:39:49.78 ZrHEcqnu.net
"奇数の完全数の存在"のスレだからねぇ
１は底なしのバカ
174:１３２人目の素数さん
18/08/08 06:42:52.12 hiEQuUIj.net
>>127
＞>>126
＞それは、人の自由だと思います
これを自由だと思うのは、適切な記述の仕方が理解できてないということだと思いますよ…
175:１３２人目の素数さん
18/08/08 07:07:38.97 vcvwvpss.net
∀と∃の区別も付いてないしな
ひとつの例で成立したらすべての例で成立すると思い込むのがこの1の浅はかさ
またそういう事案があったらしいな
176:１３２人目の素数さん
18/08/08 07:52:02.90 O0SIDx7G.net
>>170
よくもう少しで完成する論文にそんなことができるかということだ
>>172
存在ではなく非存在と書けばいいわけ？
>>174
しつこい
177:１３２人目の素数さん
18/08/08 08:00:57.37 ZrHEcqnu.net
>>5 や>>174 のミスを延々と繰り返しているのが
バカ１
178:１３２人目の素数さん
18/08/08 08:10:32.95 cvVZlhPI.net
ループまたループで読者が疲れるのを待つのが此奴の戦略と思われる。
また繰り返したら何度でも何度でも指摘するといいよ。
同じことを何度言われても理解してないふりするからね。
179:１３２人目の素数さん
18/08/08 10:32:42.69 Y7ugytqF.net
>>175
何度撤回したんけ
なんどもクソみたいな計算あげやがって
おまえがしつこいとちゃうんけ
180:１３２人目の素数さん
18/08/08 10:38:20.73 O0SIDx7G.net
未解決問題だから、最後に正解になればいいのであって何度間違うかは関係ない
181:１３２人目の素数さん
18/08/08 10:51:37.05 Y7ugytqF.net
>>179
完成したってあげたんとちゃうんけ
嘘ついたんけ
182:１３２人目の素数さん
18/08/08 10:53:31.88 6joogfId.net
嘘つきの１は、もう１００回は撤回したな
183:１３２人目の素数さん
18/08/08 11:02:13.43 SyfGe8TU.net
もうそろそろ自分の実力不足を認識してもいい頃なんだけどねぇ？
184:１３２人目の素数さん
18/08/08 12:11:29.61 O0SIDx7G.net
>>181
100まではいっていません
>>182
未解決問題を解決できないのが、実力がないのであれば、世界中の整数論の数学者や
185:研究者が 実力がないことになりますが
186:１３２人目の素数さん
18/08/08 12:13:05.50 O0SIDx7G.net
>>182
誰が実力があるのですか？
187:１３２人目の素数さん
18/08/08 12:20:15.83 SyfGe8TU.net
謙虚さもないねぇ
188:１３２人目の素数さん
18/08/08 12:22:56.45 O0SIDx7G.net
>>185
あなたは解決できるのですか？誰だか知りませんが。
それから、謙虚だと何かいいことでもあるのですか？
答えないでしょうけど。
189:１３２人目の素数さん
18/08/08 12:25:52.37 KE32Ul1M.net
本当不毛なやりとりばっかりだな
バカか
190:１３２人目の素数さん
18/08/08 12:27:46.55 6joogfId.net
そりゃ１は、テレビから自分の悪口が聞こえまくる程にバカなので。
191:１３２人目の素数さん
18/08/08 12:30:59.74 pckkl+kJ.net
間違いなく実力不足だな
未解決問題に挑戦するより前に、しょうがくせいのさんすうからやり直せと何度も言われてる
言わないで置いたが>>136で削除したn=1の部分とやらにも計算間違いがあり証明が成り立っていなかった
論文を公開する前に少なくとも100回は検算しないとダメだ
192:１３２人目の素数さん
18/08/08 12:31:33.86 SyfGe8TU.net
>>186
実力不足が謙虚さの欠乏から来てるんだけどね。
ま、何も数学力つけなくても生きてはいけるからつけなくてもいいけどね。
193:１３２人目の素数さん
18/08/08 13:06:20.90 jmKVPQcB.net
「謙虚だと何かいいことあるんですか？」って、やばない？
194:１３２人目の素数さん
18/08/08 13:27:14.02 T9MNnF8L.net
>>183
高校生程度が読める(笑)文章を見直しても間違いに気付かずアップするってことはお前の能力は高校生以下ってことやぞ
195:１３２人目の素数さん
18/08/08 13:33:17.06 O0SIDx7G.net
>>189
その部分は分かったので削除しました
>>190
20数年前にセンター数学満点の人間によくそんなことが書けると思いますが
>>191
どこが謙虚じゃないのかも書いてほしいものだ。
>>192
誰も解決できない問題を解決するのには大変に困難だというだけだ。
私がSEとして働いていたときは、理系の頂点の偏差値の人間に対して失礼極まりない
低レベルな仕事のたらい回しだったわけだけど。
196:１３２人目の素数さん
18/08/08 13:40:56.72 T9MNnF8L.net
>>193
見直しが困難できんのやったら数学もSEも向いてないぞwww
197:１３２人目の素数さん
18/08/08 13:42:46.39 O0SIDx7G.net
>>194
見直しは困難ではないが、解決は困難だ
198:１３２人目の素数さん
18/08/08 13:48:23.54 6joogfId.net
現時点で小学生以下の間違いばかりを繰り返す１は、
現時点で小学生以下でしかない。
数学もＳＥも無理。
199:１３２人目の素数さん
18/08/08 13:56:26.04 T9MNnF8L.net
>>195
困難でない見直しすらできてないから、アップしては改訂の繰り返しなんだろwwwもう何版目なんwww
困難でないことができてない時点で、お前の無能は確定やぞ
200:１３２人目の素数さん
18/08/08 13:57:06.84 lK0b4lWo.net
本当にデキる人材なら、
いくら不況だからって切られないよな(あっ…
201:１３２人目の素数さん
18/08/08 14:29:08.64 tfbAd/iv.net
天上天下唯我独尊の人だからまぁ治らないだろうけどねぇ。
結局、証明の正しいフォーマットが読み手のみならず書き手にとっても見直し時に間違いを発見しやすいように練に寝られた素晴らしい先人の知恵なのに
勉強不足でその技術がマスター出来てないからいつまでたっても自分で自分のミスに気づけない。
根拠のない自信でそういう先人の知恵を身につける事の大切さに気づけない。
自分の事をバカと思える謙虚な人間は少しづつでも成長できるけど、自分以外全員バカとおもってるバカは永遠のバカ。
202:１３２人目の素数さん
18/08/08 14:31:39.40 /xG8KTZN.net
皆が謙虚さがない、って言ってるのは、誤りを指摘されても素直に認めない態度のことを言ってると思うのよね
これまでの流れを見てもそういうケースは枚挙に暇がないので逐一あげることはしないけど、最も新しく指摘された誤り「すべてのkで成り立つ」については聞きいれた方がいいんじゃないかな
(p+1)/2 が素数のとき、それをprではなくr以外のkについてpk=(p+1)/2として同じことが言えるとしても確かに問題はない
だけどもrが2以上ならば、1≦k≦rとなるすべてのkについて「同時に」pk=(p+1)/2となることはあり得ないのだから、それらをひっくるめて１つの式にしてはいけない。
>>158で言われてるのはそう言うことだと思うんだけれども。
203:１３２人目の素数さん
18/08/08 15:42:44.52 O0SIDx7G.net
>>196
お前がそうだ。
>>197
自分の誤りを見つけるのが困難なことぐらい誰でも分かるだろう。個人で研究するとそうなる。
>>198
リーマンショックだからしょうがないのだろう。年収査定は30才のときに680万円、実際は半額以下w
>>199
形式主義ですね。正しい結果が得られれば、それは些末なことではないのでしょうか？
>>200
pに依存していないことが分からないのでしょうか？bがbrに割り切られる条件なのですから。
bは全てのbkに割り切られなければならないですよね。
204:１３２人目の素数さん
18/08/08 15:43:39.99 jmKVPQcB.net
けんきう（笑）
205:１３２人目の素数さん
18/08/08 16:13:29.55 O0SIDx7G.net
>>200
pと書いてありますけどpはkに依存して変わります
206:１３２人目の素数さん
18/08/08 16:24:06.79 qpK3LtTu.net
30才のときに680万円を希望したが半分だった？
無能で社会性０のヒキニートのくせに贅沢言うな。
親に迷惑かけずにさっさと働け。
207:１３２人目の素数さん
18/08/08 16:30:36.96 yIFHUvbk.net
>>193
センター200ごときで偉そうにしている時点で全く謙虚ではないと思うのだが。自分では気づかないもんなのかね。
208:１３２人目の素数さん
18/08/08 16:36:17.04 ZCWZV+Q/.net
>>201
単純に研究向いてないから70回も完成版(笑)ができるんやろwww
3回訂正稿出したらリジェクトされたんやろwww
要は研究者の投稿原稿の訂正の回数はそれ以下ってことやwww
209:１３２人目の素数さん
18/08/08 16:39:04.53 O0SIDx7G.net
>>204
就職活動さえできない
>>205
数学力がないというような事を書いているからそうではないことを示しているだけ
210:１３２人目の素数さん
18/08/08 16:39:52.58 O0SIDx7G.net
>>204
身勝手な会社のリストラが悪いのであって私に何の落ち度もない
211:１３２人目の素数さん
18/08/08 16:41:29.12 QqERSgwM.net
センター満点なんて毎年、数千人おるし、ここの住民もほとんどが満点やと思うぞ。
センター数学なんてうっかりか、マークミスでしか失点はありへん
212:１３２人目の素数さん
18/08/08 16:43:28.77 qpK3LtTu.net
このスレを見れば１に問題ありまくりなのが明らか。
小学生以下の数学力でＳＥは無理
誤って就職させた会社は人を見る目が無かった。
213:１３２人目の素数さん
18/08/08 16:53:42.02 /xG8KTZN.net
>>201
その説明が正しいとは思えないです
まず、証明で示しているのは
pr＝(p+1)/2であるprについて(p^{n-1}+p^{n-3}+…+1)がpr^{qr-cr-1}で割りきられなければならないということであって、
このとき(p^{n-1}+p^{n-3}+…+1)/pr^{qr-cr-1}=f(pr)が整数でなければならない。
2m+1がpr^{qr-cr-1}で割りきられなければならないという⑪式の結論はこの仮定から導かれていたはず
一方、
pk≠(p+1)/2であるpkについて(p^{n-1}+p^{n-3}+…+1)がpk^{qk-ck-1}で割りきられなければならないということから、
(p^{n-1}+p^{n-3}+…+1)/pk^{qk-ck-1}が整数でなければならないということが言えたとしても、この式の値はf(pk)とは異なります。なぜならば、pkと(p+1)/2が等しくないからです。
なので、
2m+1がpk^{qk-ck-1}で割りきられなければならない根拠もありません
214:１３２人目の素数さん
18/08/08 17:03:01.85 /xG8KTZN.net
>>203
その説明も納得できませんよ。
k に依存して pk=(p+1)/2 が成り立つように p を変化させたりしたら、その p が y の約数である必要はまったくもってありません
その場合、(p^{n-1}+p^{n-3}+…+1) が b の約数である必要はないです�
215:ｩらね。
216:１３２人目の素数さん
18/08/08 17:03:29.12 jmKVPQcB.net
論文というよりも計算ノート感がありませんか？
217:１３２人目の素数さん
18/08/08 17:05:06.28 yIFHUvbk.net
>>207
数学力があるということを言うために「中学校で100点とった」と自慢気に言うやつがいるか？
自分に数学力があるということを主張するにもトンチンカンなことを言ってしまう時点で、致命的に証明力が無い。
218:１３２人目の素数さん
18/08/08 17:13:22.18 hiEQuUIj.net
>>214 センター満点とか早稲田の応用物理卒とか、自慢されても逆効果ですよねぇ…
219:１３２人目の素数さん
18/08/08 17:27:55.72 k9XJve1d.net
>>215
事実ですから、変えようがありません。
馬鹿にするから書いているだけであって、自慢ではありません。
220:１３２人目の素数さん
18/08/08 17:28:42.52 k9XJve1d.net
>>211
pはkに依存するので、固定値ではありません。
221:１３２人目の素数さん
18/08/08 17:30:02.13 k9XJve1d.net
>>212
2b=c(p^n+…+1)
はこの問題が成り立つための式ですけど。何を言いたいのか分かりません。
222:１３２人目の素数さん
18/08/08 17:31:18.36 jmKVPQcB.net
それ燃料なんですよ
223:１３２人目の素数さん
18/08/08 17:51:27.07 qpK3LtTu.net
ID:k9XJve1d
はまた代行か？
224:１３２人目の素数さん
18/08/08 19:02:38.27 eBeZZy/D.net
分からなければ分かるまで何度でも説明してやりゃいいよ
＞2b=c(p^n+…+1)
＞はこの問題が成り立つための式ですけど。
p が固定値でないという主張を通すと、
一度この式が成り立つとして定めた値から p を変化させるとこの式が成り立たなくなる。
だから、その主張はおかしいと言われているわけだ。
2b=c(p^n+…+1) より
b=c((p+1)/2)(p^{n-1}+p^{n-3}+…+1)
(p+1)/2が素数のときこれをprと仮定したので
b=c・pr(p^{n-1}+p^{n-3}+…+1)
b=Πpk^qkとおくと、c は b の約数だから 0≦ck≦qk となる ck について c=Πpk^ck と書ける
よって (p^{n-1}+p^{n-3}+…+1)=b/(c・pr) = (Πpk^{qk-ck})/pr
f(pr) は (p^{n-1}+p^{n-3}+…+1)/pr^{qr-cr-1} に等しいから Π{k=1～r-1}pk^{qk-ck} となる。これは整数のはずだ。ここまではいい。
r≠kのときpr≠pkだから、pk を (p+1)/2 と等しくなるようにするには、
上記の「この問題が成り立つための式」に当てはまる p とは別の値を持ってくる必要がある。
紛らわしいのでその値を P とする。つまり pk＝(P+1)/2
f(pk) は (P^{n-1}+P^{n-3}+…+1)/pr^{qr-cr-1} であり
(p^{n-1}+p^{n-3}+…+1)/pk^{qk-ck-1} が整数であるということが言えたとしても、
これら２つの式が等しくなることはないので、f(pk) が整数であるとは到底言えない。
f(pk) が整数でなければ、当然 2m+1 が pk^(qk-ck-1) の倍数とは言えない。
よって
>>158
＞＞式⑪から、任意のkに対してbがpk^qkで割り切れるためにはwを奇数として
＞＞2m+1=wΠ{k=1..r}pk^(qk-ck-1)
＞としているが、こんな乱暴な結論は導けない。
となる。
225:１３２人目の素数さん
18/08/08 19:17:21.97 k9XJve1d.net
>>221
pがkに依存して変化するということは各p1～prに対して、pが定まるということ。
2m+1=wpk^(qk-ck-1)
はpには依存しないで、bがbkで割り切られるという条件だから、この式自体はpに依存しない。
226:１３２人目の素数さん
18/08/08 19:27:05.76 eBeZZy/D.net
>>222
分かっていないようだから何度でも言うが、「pがkに依存して変化する」とき、
「bがbkで割り切られるという条件」から「f(pk) が整数であるとは到底言えない。」
よって「2m+1 が pk^(qk-ck-1) の倍数とは言えない。」
ということを>>221で説明している。
その点についてよく理解するように。
ていうかbkって何だよ。pk^qkの意味と解釈したが正しいかい？
227:１３２人目の素数さん
18/08/08 20:20:18.33 ZrHEcqnu.net
１は、スレ主ならいいかげんにコテ名やトリップを使え。
数学だけじゃなく５ｃｈの作法すらできんのか！
228:
18/08/08 21:29:40.68 k9XJve1d.net
>>223
「bがbkで割り切られるという条件」から「f(pk) が整数であるとは到底言えない。」
流れを正確に追えば、そうなると思います。
具体的にはvpが整数にならなければならないという条件によってです。
＞ていうかbkって何だよ。pk^qkの意味と解釈したが正しいかい？
論文の中でそう書いています。
229:１３２人目の素数さん
18/08/08 22:22:29.66 T2HdZ16O.net
>>216
むしろそれを書くからバカにされとるんやぞ
230:１３２人目の素数さん
18/08/08 22:27:47.17 T2HdZ16O.net
てか、またpが定数だったり変数だったりしてんのかｗｗｗ
高木は記憶力すら悪いんか
231:１３２人目の素数さん
18/08/08 22:57:53.28 T6bwyAM6.net
仮定や前提とそこから導かれる結論の繋がりが整理できてないんじゃないですかね？
いくつか前の判を少
232:し見たけど、読んでる人すごいね 自分は最後までもたないよ、こんなの
233:１３２人目の素数さん
18/08/09 02:44:48.28 PvInh5b+.net
こんなゴミ読んでる奴がすごいって。
暇人のバカだろ
234:１３２人目の素数さん
18/08/09 06:37:24.63 UBZ2DyA2.net
>>229
考え方や発言が１と同類
235:１３２人目の素数さん
18/08/09 09:27:24.63 /mrDq4Yp.net
類は友を呼ぶ
236:
18/08/09 11:23:30.95 qa1PqB1o.net
変更点
・cr≠qr-1の証明を追加しました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
237:１３２人目の素数さん
18/08/09 11:31:01.92 hcm5X4i/.net
>>232
ちゃんと見直した？
238:
18/08/09 11:42:40.03 qa1PqB1o.net
変更点
・記述に誤りがあったのを修正しました
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
239:１３２人目の素数さん
18/08/09 11:43:07.72 qa1PqB1o.net
>>233
見直しました
240:１３２人目の素数さん
18/08/09 12:02:31.00 01WPrUMV.net
>>235
せっかく作ったトリップをいちいち削除するのが分けわからん
241:１３２人目の素数さん
18/08/09 12:52:28.15 0aZffu96.net
>>235
何時間？
242:１３２人目の素数さん
18/08/09 12:57:21.54 4+9X/OWC.net
完全数の問題がmodular formとか楕円曲線とかの現代数学とリンクする日はくるのだろうか？
243:１３２人目の素数さん
18/08/09 13:07:00.90 01WPrUMV.net
現代数学を用いずに解こうとしているのは、ここの１だけ
244:
18/08/09 13:22:38.72 qa1PqB1o.net
>>236
つけ忘れました
>>237
新規部分だけなので、20分くらいだと思います
245:１３２人目の素数さん
18/08/09 13:39:45.09 Ek0wY356.net
>>238
ＡＢＣ問題とは関連があると聞きました
246:１３２人目の素数さん
18/08/09 14:15:06.19 ZySxv1Aw.net
>>240
テストじゃないんだから、１日寝かしてから見直したら
247:１３２人目の素数さん
18/08/09 18:23:08.12 4+9X/OWC.net
wikiみたら、奇数の完全数は
N=q^{alpha}p_1^{2e_1}...p_k^{2e_k}
の形になることが必要って書いてあるが、１の言ってるのはpというのはqのことで
固定された唯一のもので、「pがkに依存して変化するということは各p1～prに対して、
pが定まるということ」などということはできないのでは？
248:
18/08/09 18:59:39.38 qa1PqB1o.net
>>243
p=2pk-1(0≦k≦r)だから
249:１３２人目の素数さん
18/08/09 19:04:48.91 mu/HJQeV.net
>>244
もうこいつダメだ...
250:
18/08/09 19:11:04.23 qa1PqB1o.net
>>245
そういうふうにすることができるということだ
251:１３２人目の素数さん
18/08/09 19:15:01.60 mu/HJQeV.net
>>244
p=2p_1-1=2p_2-1=...=2p_r-1
よって、p_1=p_2=...=p_rってか？？？
252:１３２人目の素数さん
18/08/09 19:32:08.65 ZySxv1Aw.net
>>244
その式どこから導出したんだｗｗｗ
253:１３２人目の素数さん
18/08/09 19:33:18.56 ZySxv1Aw.net
>>246
できるっていう根拠は？お前の妄想？
254:１３２人目の素数さん
18/08/09 20:12:22.82 qa1PqB1o.net
>>247
pは固定値ではないのでそう考えることができるということ
255:１３２人目の素数さん
18/08/09 20:19:11.11 mu/HJQeV.net
>>250
pは２４３にあるように、その指数alphaが２の倍数では唯一の固定された素数だろうが
256:１３２人目の素数さん
18/08/09 20:39:10.22 mu/HJQeV.net
訂正
×２の倍数では唯一
〇２の倍数ではない唯一
257:
18/08/09 21:17:54.43 qa1PqB1o.net
>>251
kに依存して変わると考えます
258:１３２人目の素数さん
18/08/09 21:21:14.58 8koxqui/.net
>>253
じゃあ矛盾が出てきても、kに依存して変わるって仮定が間違いって可能性が排除できてないので証明失敗ですね
259:１３２人目の素数さん
18/08/09 21:57:36.68 mu/HJQeV.net
>>253
大きな問題を考えるなら論理の勉強をしっかりしてからにしましょう
260:１３２人目の素数さん
18/08/09 22:42:20.09 3DPVpKHo.net
pが変数とか定数とか、ずっと前にも何人かに指摘されてたけど改善はやっぱりないんだね
261:１３２人目の素数さん
18/08/09 22:43:47.88 6SRCmTdt.net
だったらこう考えてもいいんだよな
奇数の完全数が存在すると仮定する。
複数の相異なる奇素数pkでΠpkと書くことができるはずだ。
素因数分解において素数の順序は任意だから、k≠rとなるk,rについてpk=prと「いうふうにすることができる」。
これはpkとprが相異なるという前提と矛盾する。
よって、奇数の完全数は存在しない。
な？ 簡単だろ？
こんな簡単なことに１は何故十数ページもかけてんだ
おまえウンコも長いだろ
262:１３２人目の素数さん
18/08/09 22:59:11.76 1Lcv0NiR.net
仮に、kに依存してpが決定されるとすると、
>>1が証明したと言っていることは、
「奇数の完全数は存在しない」ということではなく、
「完全数でない奇数が存在する」ということにしかならないぞ
263:
18/08/09 23:11:13.68 qa1PqB1o.net
よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ
264:１３２人目の素数さん
18/08/09 23:14:25.12 3DPVpKHo.net
出た出たいつもの
265:１３２人目の素数さん
18/08/09 23:14:49.60 00cUkvzY.net
>>259
考慮できないならリジェクトです
ごくろうさん
266:
18/08/09 23:16:34.81 qa1PqB1o.net
>>261
リジェクトあなたにその権限があるのですか？
そのレベルの人であれば不用意は発言はしないはずですが、何様だ。
267:
18/08/09 23:17:41.35 qa1PqB1o.net
これから、考慮に値しない稚拙はレスは無視する
268:１３２人目の素数さん
18/08/09 23:19:47.62 3DPVpKHo.net
考慮に値しない論文のような何かも無視されてしまいますね
arXivにすらリジェクトされて、ねらーにしか相手にされないという現実を直視しましょう
269:
18/08/09 23:23:44.87 qa1PqB1o.net
>>264
正しくなったら、よく読みたくないだけじゃないですか？
270:１３２人目の素数さん
18/08/09 23:27:25.22 3DPVpKHo.net
日本語も...
271:
18/08/09 23:30:40.83 qa1PqB1o.net
未解決問題の証明論文ですから、その公式な認定に時間が掛かるのは普通のことではないのでしょうか？
私の場合毎日のように更新を行ってきたので、すぐに結果が得られるはずがありません。
arXivの承認を受けたいと思いますので、可能な方は承認をお願いいたします。
URLﾘﾝｸ(arxiv.org)
272:
18/08/09 23:31:49.80 qa1PqB1o.net
>>266
よく読みたくない→熟読したくない
とでも書けばいいですか？
273:１３２人目の素数さん
18/08/09 23:32:17.28 3DPVpKHo.net
arXivは正しい、正しくないの査読はしません
そのarXivにすら弾かれるというのは、「間違ってすらいない」ということではないでしょうか？
274:
18/08/09 23:33:25.16 qa1PqB1o.net
>>269
それは以前のことです。今回の正しい論文ではありません。
275:１３２人目の素数さん
18/08/09 23:34:11.53 3DPVpKHo.net
>>270
それでは今回のはどうなりましたか？
276:
18/08/09 23:36:59.34 qa1PqB1o.net
>>271
3回訂正したので、他者の承認が得られなければ提出できません。
277:１３２人目の素数さん
18/08/09 23:38:48.70 3DPVpKHo.net
>>272
つまり間違ってすらいないということですよね
278:
18/08/09 23:40:01.01 qa1PqB1o.net
>>273
何が言いたいのか分かりません
279:１３２人目の素数さん
18/08/09 23:40:34.59 3DPVpKHo.net
>>274
そうですか
ならいいです
280:１３２人目の素数さん
18/08/09 23:42:01.13 3DPVpKHo.net
自分の論文を承認してもらいたい人「よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ。これから、考慮に値しない稚拙はレスは無視する」
281:１３２人目の素数さん
18/08/09 23:46:44.80 J2CDPvTD.net
>>257
だめだなあ。
変数pがkに依存して変わるって性質を使ってないじゃないか
こうだろ↓
奇数の完全数yが存在すると仮定する。
単一の素数または素数の累乗は完全数になり得ないので(この証明は割愛する)、
yは複数の相異なる奇素数pkでΠ{k=1～r}pkと書くことができる。
yの約数となる数をpとする。yにはpと等しい約数があるはずだから、これをprとする。
任意のk(1≦k＜r)についてもpkはyの約数だから、「p=pkというふうにすることができる」
よって任意のk(1≦k＜r)についてpk=p=prである。
pkとprが相異なるという前提と矛盾するので、奇数の完全数は存在しない。
これこそが>>1のやり方だろ
282:
18/08/09 23:49:08.62 qa1PqB1o.net
>>277
ふざけんのもいい加減にしろ
283:１３２人目の素数さん
18/08/09 23:54:43.07 6SRCmTdt.net
>>277
うん、どっちでもいいぞｗ
要は１がどんだけ頓珍漢な主張をしてるかが上手く１以外の読者に伝われば、
１が無視しようと罵倒しようと問題ない
284:１３２人目の素数さん
18/08/09 23:58:02.93 pvvtoY/n.net
>>262
正しいか判定して貰いたくてここに書き込んだんなら、こちらには判定する権限はあるわなwww
285:
18/08/09 23:58:46.64 qa1PqB1o.net
誰が数学ができない人間の情報工作を、まに受けるのか
286:
18/08/10 00:00:34.00 fX825M0q.net
>>280
>>1
287:１３２人目の素数さん
18/08/10 00:01:13.61 UF+ZsA8m.net
>>281
お前が一番、数学できてないのは周知の事実
288:１３２人目の素数さん
18/08/10 00:10:26.69 fANkDmEQ.net
いや、>>277の説明はスッと理解できた。
このやり口だったら偶数の完全数もないことにできる。素晴らしい！ww
289:１３２人目の素数さん
18/08/10 00:14:17.71 UF+ZsA8m.net
１は図星な指摘には逆ギレするということはわかった
290:１３２人目の素数さん
18/08/10 00:22:58.85 1pNuBVxK.net
>>282
こっちのコメントに対応できてないのに、正しいと認定しろとかふざけてんの？www
291:１３２人目の素数さん
18/08/10 03:35:49.59 aBe+7ih9.net
今日初めて訪れたよ。
まだ、いるんだね、こんなことを主張するアッチ系が。
292:１３２人目の素数さん
18/08/10 05:28:25.13 gMWLT1XQ.net
わざと反応を楽しんでいるわけじゃないのなら、
ボーダーか統失に足突っ込んでるんじゃないのか
だからお前らも魅力的に見えて反応してやってるんだろ、異常で珍しいからな。
>>1は数学の建設的な議論をするつもりはなく、お前らとコミュニケーションとることが目的になってるんだよ
293:１３２人目の素数さん
18/08/10 06:41:09.06 lGKhapM0.net
１は、いつもテレビから自分を非難する声が聞こえるというマジ基地なので・・・
294:１３２人目の素数さん
18/08/10 07:11:36.44 Xjr/6c0M.net
糖質は芸じゃないんですかね
誰にも構ってもらえない or 致命的な指摘をされたときに糖質っぽいこと言い出してる気がしませんか？
295:１３２人目の素数さん
18/08/10 09:42:39.69 wyn2UaIV.net
先生「次の式を満たす自然数 p はいくつか」
p * p = 4
高木くん「右の p は１。左は４です。」
高木くん「pは固定値ではないのでそう考えることができるということ」
高木くん「よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ」
高木くん「これから、考慮に値しない稚拙はレスは無視する」
296:
18/08/10 10:18:50.91 fX825M0q.net
pが固定値だと思っているのはcがkにより変化するということを理解できていないだけ
ではないのでしょうか？
297:１３２人目の素数さん
18/08/10 10:29:36.85 docgQ2AT.net
>>292
その論法が謎である
cもkも存在を仮定した奇数完全数に由来するもんだったんじゃないの？
298:
18/08/10 10:53:18.80 fX825M0q.net
>>293
それをゆうのであれば、cもpもではないのでしょうか
kに依存して、cとpが定まるということです
299:１３２人目の素数さん
18/08/10 13:07:35.09 ba/Myr+q.net
>>294
pが唯一の奇素数ってお前自身が証明してるじゃんwww
300:１３２人目の素数さん
18/08/10 13:23:44.56 Xjr/6c0M.net
奇数の完全数yって決めると同時にpは決まるんだよね？
301:
18/08/10 16:14:01.78 fX825M0q.net
変更点
・13ページの証明の誤りを修正しました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
302:１３２人目の素数さん
18/08/10 16:17:05.12 7a2BdlKE.net
あれ、完成したんじゃなかったんっすか？？？
303:
18/08/10 16:26:48.39 fX825M0q.net
変更点
・英語の文法上の誤りを修正しました
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
304:
18/08/10 16:29:48.15 fX825M0q.net
>>298
最近追加で証明した部分に、若干の誤りを含んでいました
>>1 訂正
2018年8月4日→2018年8月10日
305:１３２人目の素数さん
18/08/10 16:41:47.75 9N8PyoKh.net
全＝無
ですか？
306:１３２人目の素数さん
18/08/10 16:47:06.02 XAkIve6y.net
落書き計算帳のごみPDF
いいかげんにしろ
307:
18/08/10 16:56:23.51 fX825M0q.net
直すところがなくなったと考えられるので、これで終わりかもしれま�
308:ｹん
309:１３２人目の素数さん
18/08/10 16:58:41.29 9N8PyoKh.net
全＝無
ですか？
310:１３２人目の素数さん
18/08/10 17:03:36.46 FohgrxLg.net
完成おめでとうございます！
.｡☆.ﾟ。.。
｡:☆・。ﾟ◇*.ﾟ｡
･◎.★ﾟ.＠☆｡:*･.
.ﾟ★.｡;｡☆.:*◎.ﾟ｡
:*｡_☆◎｡_★*･_ﾟ
＼ξ ＼ ζ／
∧,,∧＼ ξ
(´･ω･`)／
/ つ∀o
しー-Ｊ
311:１３２人目の素数さん
18/08/10 17:10:55.78 0TRdS/lM.net
>>297
13pをどう直したんや？
312:１３２人目の素数さん
18/08/10 17:29:34.86 Xjr/6c0M.net
完成おめでとうございます！
.｡☆.ﾟ。.。
｡:☆・。ﾟ◇*.ﾟ｡
･◎.★ﾟ.＠☆｡:*･.
.ﾟ★.｡;｡☆.:*◎.ﾟ｡
:*｡_☆◎｡_★*･_ﾟ
＼ξ ＼ ζ／
∧,,∧＼ ξ
(´･ω･`)／
/ つ∀o
しー-Ｊ
313:１３２人目の素数さん
18/08/10 17:38:24.07 FIh+62Ui.net
どうせまたすぐ次の修正が出るだろう
まだ見なくてもいいんじゃない？ やたら長いし
314:１３２人目の素数さん
18/08/10 17:41:55.82 vCcteu5m.net
おめ。もうくんなよ
315:１３２人目の素数さん
18/08/10 18:15:26.36 CCIReC2R.net
証明には永遠に到達しないレベルでしかないので
１は、もう来るな。
316:
18/08/10 18:40:55.87 fX825M0q.net
>>306
ek=1になるかどうかで場合分け
>>308
もう直すところがない
317:１３２人目の素数さん
18/08/10 18:47:14.78 Xjr/6c0M.net
直すところがないならもう終わりですね
お疲れさまでした
318:１３２人目の素数さん
18/08/10 19:10:28.68 3ADzKlQb.net
>>311
それはどのコメントに対する対応や？
319:
18/08/10 20:32:13.56 fX825M0q.net
変更点
・12ページで日本語と一致していなかったのを修正しました
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
320:１３２人目の素数さん
18/08/10 20:41:36.06 lGKhapM0.net
いい加減にしろ！
永遠に終わるわけねーだろ！
321:１３２人目の素数さん
18/08/10 20:49:40.72 9N8PyoKh.net
宇宙飛行士とプログラマーはどっちの方が凄いですか？
322:
18/08/10 20:51:01.96 fX825M0q.net
>>315
正しい論文になったら終わるでしょう
323:１３２人目の素数さん
18/08/10 20:58:22.04 0TRdS/lM.net
終わらなくて草
324:１３２人目の素数さん
18/08/10 21:03:24.27 IvuMWXPQ.net
I wish I were a bird, I would fly to you.
ふと昔ならった文章が頭をよぎった………
325:１３２人目の素数さん
18/08/10 21:30:28.92 lGKhapM0.net
>>319
じゃんじゃん書いてスレを有効に使い切ってくれ
326:１３２人目の素数さん
18/08/10 21:54:14.23 9N8PyoKh.net
全てのプログラミング言語を自由自在に操れるようになりたい。
327:１３２人目の素数さん
18/08/11 06:41:58.70 Hb30Qs8t.net
>>311
そんなんよりpがkに依存してない話はどうなったんや
328:
18/08/11 08:05:24.55 VzBbEbSZ.net
pがkに依存するというのは、より正確に書くとpがpkに依存するということです
329:１３２人目の素数さん
18/08/11 08:52:16.61 K/xcNPIC.net
先生「p * p = 4 を満たす p はいくつか」
高木くん「１と４」
高木くん「pは固定値ではないのでそう考えることができるということ」
330:
18/08/11 09:41:39.58 VzBbEbSZ.net
変更点
・13ページの変数の定義の誤りを修正しました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
331:１３２人目の素数さん
18/08/11 09:55:20.96 pW3k6Y87.net
完成したのに、なんで今更定義の誤りを修正するの？
332:１３２人目の素数さん
18/08/11 10:00:55.52 Ue+KtiS5.net
何回完成するんですかね
333:１３２人目の素数さん
18/08/11 10:04:33.31 TSBXIcfK.net
完成おめでとうございます！
.｡☆.ﾟ。.。
｡:☆・。ﾟ◇*.ﾟ｡
･◎.★ﾟ.＠☆｡:*･.
.ﾟ★.｡;｡☆.:*◎.ﾟ｡
:*｡_☆◎｡_★*･_ﾟ
＼ξ ＼ ζ／
∧,,∧＼ ξ
(´･ω･`)／
/ つ∀o
しー-Ｊ
334:１３２人目の素数さん
18/08/11 10:09:55.74 KjzsAEhK.net
どこにも向かうことはなく永遠に真実へたどり着けることはない。
335:
18/08/11 10:18:16.29 VzBbEbSZ.net
>>326
p=fg+1で、fとgを奇数と定義していたから、奇数f→偶数f
>>327
これで最後になればいいと思います
>>329
もうたどり着いています
336:
18/08/11 11:39:08.08 VzBbEbSZ.net
間違いが見つかりましたので、>>325を削除しました
337:１３２人目の素数さん
18/08/11 12:01:47.62 jlUvWFl6.net
>>331
余計なお節介に過ぎないが、一応アドバイスしておく。
手法が初等整数論の域を出ていない筈だから、次回の pdf も最後にはならないだろうし、
奇の完全数の非存在性に対する証明が完結することはないだろうと思う。
数学での「任意の」と「或る」の意味或いは扱い方の区別が付いていないんだろ。
互いに素とか素因数分解(の一意性)といったような基本的なことが応用出来ていないんだろ。
これでは、仮に奇の完全数の非存在性を証明して解決出来たとしても、
2000年以上未解決の問題の解決には至らないと思うよ。
普通の考えでは、初等整数論の域を出ない限り解決にたどり着くことはないと思う。
338:１３２人目の素数さん
18/08/11 12:13:40.75 ycHoh7Pj.net
即堕ち2コマシリーズかな
339:１３２人目の素数さん
18/08/11 12:52:09.35 jE8QRR2N.net
真面目に相手するだけ無駄
340:１３２人目の素数さん
18/08/11 13:11:01.03 JfuEsE4+.net
kに依存してp=2p_k-1が成り立つって言ってるけど、nの素因数がpとp_kのふたつしかないとき
p=2p_k-1
p_k=2p-1
よりp=p_k=1になっちゃうよ。
341:１３２人目の素数さん
18/08/11 14:33:06.93 3XfmiEnb.net
>201
> 自分の誤りを見つけるのが困難なことぐらい誰でも分かるだろう。個人で研究するとそうなる。
思い込みやらなにやらで、間違いに気づかない、というのはままあることではあります
しかし本当にこう考えてるのなら、指摘は真摯に受け止めるはずですが……
342:
18/08/11 16:08:10.31 VzBbEbSZ.net
>>332
それは分かっています。数学記号を書かないから、それを分かっていないと決めつけているだけでしょう
>>335
p_k=2p-1にはなりません
343:１３２人目の素数さん
18/08/11 16:12:07.76 JfuEsE4+.net
>>337
ならないよ。何回も言われてるように完全数nを決めたら、指数が4m+1型の素数pは
だた一つに定まるから。
344:
18/08/11 16:41:44.02 VzBbEbSZ.net
>>338
自分で考えてくれ、この証明はpの個数に依存しない考え方をしている
345:１３２人目の素数さん
18/08/11 17:20:54.70 ImByykHY.net
>>339
認められたいなら、ちゃんと説明してくれ
pはkに依存して決まらないのw
個数がーとかじゃないのw
346:１３２人目の素数さん
18/08/11 17:23:44.71 avnkcncE.net
＞pの個数に依存しない考え方をしている
その主張は通らないなあ。自分で p=(2b-c)/(2b-a) と書いてるんだから
347:１３２人目の素数さん
18/08/11 17:38:15.78 TN9AorhA.net
仮定した完全数yの約数pがあって、その指数nが整数mで4m+1と表されるならば、yが(p+1)/2の約数であるはずだ。という命題が示されていても、
素の命題の逆、つまり yの素因数pkについて、pk=(p+1)/2 つまり p=2pk-1 となるような p が y の約数であるとはいえない。これは別途証明しなければならない。
だいたい pk が素数であっても、p=2pk-1 が合成数であるケースがある。p が合成数だったら約数関数は p^n+...+1 にならないのでそれまでの主張それ自体が成り立たなくなる。
348:１３２人目の素数さん
18/08/11 17:51:07.60 0ER8IFIN.net
>>336
あいつの見直し、書いてすぐ20分程度の見直しだから、そもそもなめてるんだよ
2000年前からの未解決問題を解いてる俺かっけーのファッションなんだよ
349:１３２人目の素数さん
18/08/11 18:01:19.92 M6leIyVk.net
>ちょと違うと思う
この馬鹿の頭の中の数学は非常に狭く、それがすべてだと思ってる。
心の底からそうだと思ってる。だからその域から出たら理解不能になって思考停止。
ただの無知と無勉。
一生懸命、間違いを伝えようとしてるの見てよくこんなの相手にしてるなと思うわｗ
350:１３２人目の素数さん
18/08/11 18:13:43.99 9ynGO6LD.net
>>337
>書かない
じゃなくて、書けないんだろ…理解してないから
351:１３２人目の素数さん
18/08/11 18:28:31.17 4h9sumgz.net
自分は天才だと思ってる。
そして自分以外はバカだと思ってる。
なので他人の的を射た指摘でさえ
352:、そいつが馬鹿で理解できてないからスットンキョウなこと言ってるとしか受け止められない。 数学的能力がどうこういう以前に先人の遺した偉大な “数学文化” に対する尊敬がないから数学的能力を伸ばすこともできずせいぜい高校生レベル。 結局最後は人間性の問題なんだよねぇ。
353:
18/08/11 18:59:18.26 VzBbEbSZ.net
>>341
cは可変ですけど
>>342
＞p が y の約数であるとはいえない。これは別途証明しなければならない
2b=c(p^n+…+1)
b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1)
証明していると思います。
＞p が合成数だったら
必要条件を検討しているので、その場合は考慮する必要がありません
>>345
何故考えればわかる内容をここで教えなくてはならないのか？
>>346
そのようなことはない。このような情報操作はよくありがちですねw
354:１３２人目の素数さん
18/08/11 19:20:26.73 TSBXIcfK.net
最後のwの中に他人を蔑む事になんの躊躇もしない人間性が表れてる。
355:１３２人目の素数さん
18/08/11 19:24:52.23 VzBbEbSZ.net
>>348
>>346は私を不当に貶めようとしている発言ですけれど
356:１３２人目の素数さん
18/08/11 19:28:00.40 a3y3NRdo.net
バカなことやってるやつをたしなめてバカっていうやつがバカっていいうやついたな。
小学生か。
357:１３２人目の素数さん
18/08/11 19:32:21.05 JfuEsE4+.net
>>349
346さんは全部、今までのお前の言動を客観的に総括しているだけやで。
情報操作してもなんも得することないし
358:１３２人目の素数さん
18/08/11 19:39:26.49 3XfmiEnb.net
>>347
＞何故考えればわかる内容をここで教えなくてはならないのか？
記述がわかりにくい、あるいは、誤読を招いているという指摘と考えてはどうでしょう
どんなに素晴らしいことが書かれていても、読者に伝わらないなら無意味かと
359:１３２人目の素数さん
18/08/11 20:00:44.54 M6leIyVk.net
はい、またループ
360:１３２人目の素数さん
18/08/11 20:04:24.44 3XfmiEnb.net
>>201
＞形式主義ですね。正しい結果が得られれば、それは些末なことではないのでしょうか？
それから、論文としての体裁を整えられていない、というのは些末ではないと思うよ？
体裁を整えて読みやすくするのは読者に対する最低限の礼儀ではないかな
361:１３２人目の素数さん
18/08/11 20:06:25.64 TN9AorhA.net
語るに落ちたな
＞＞p が y の約数であるとはいえない。これは別途証明しなければならない
＞b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1) 証明していると思います。
＞必要条件を検討しているので、その場合は考慮する必要がありません
この発言こそ、１が仮定と結論を取り違えたまま勘違いの推論を進めていた、という確たる証拠ですよ。
362:
18/08/11 20:43:27.08 VzBbEbSZ.net
>>355
その部分は間違いです。そのことに関しては論文の前半3ページまでに書いています。
363:１３２人目の素数さん
18/08/11 20:52:00.76 B8r+45uj.net
１が珍しく自分から間違いを認めたな
364:１３２人目の素数さん
18/08/11 20:53:02.07 9ynGO6LD.net
>>356
論文アップしてないやろが
365:１３２人目の素数さん
18/08/12 14:55:00.59 lLUmaCeY.net
>>356
どれだよ
366:
18/08/12 20:21:00.52 tsksl0/C.net
変更点
・1ページの概要を修正しました
・13ページからの証明を修正しました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
367:
18/08/12 21:01:22.49 tsksl0/C.net
>>360
間違いが見つかりましたので削除しました
368:
18/08/12 21:45:48.34 tsksl0/C.net
変更点
・14ページに全てのkに対してek=1の場合を追加しました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
369:１３２人目の素数さん
18/08/12 21:47:43.17 3chRlA/M.net
完成ですか？
370:１３２人目の素数さん
18/08/12 22:00:07.10 Trl31eBa.net
完成おめでとうございます！
.｡☆.ﾟ。.。
｡:☆・。ﾟ◇*.ﾟ｡
･◎.★ﾟ.＠☆｡:*･.
.ﾟ★.｡;｡☆.:*◎.ﾟ｡
:*｡_☆◎｡_★*･_ﾟ
＼ξ ＼ ζ／
∧,,∧＼ ξ
(´･ω･`)／
/ つ∀o
しー-Ｊ
371:
18/08/12 23:01:58.72 tsksl0/C.net
>>363
おそらく
372:１３２人目の素数さん
18/08/12 23:22:51.26 MCYhpXzr.net
ごみ落書き計算メモ
指摘されまくってる問題点は無視無視無視
いい加減にしろ
うせろや
373:１３２人目の素数さん
18/08/13 01:00:14.17 +1gDsqW0.net
いいから反応すんなよ
374:
18/08/13 15:30:54.77 1sIym2cm.net
>>1 訂正
2018年8月4日→2018年8月12日
375:１３２人目の素数さん
18/08/13 18:52:11.32 +VxHWXLw.net
さらっと流し読みしただけですが。
奇数の完全数が存在しないことを示そうとしているのはわかります。
しかし、主張や論理が整理されておらず、著者の頭にあるものを並べただけ、という印象を受けました。
まず論文の書き方を学ぶべきかと思われます。
例えば、p.2の3から証明になっていますが、記号の定義も主張もなく、いきなり証明を始められても読者には意味がわかりません。
概要はあくまでも概要であり、飛ばしても論文は読める(無論理解しにくくはなる)ものですが、
この論文では意味不明になってしまいます。
376:
18/08/13 18:58:17.08 1sIym2cm.net
>>369
論理が整理されていないとは全く思いません。内容が多少難しいので精読してもらう必要があるのでは
ないでしょうか？
一般的な数学記号しか使っていませんので、記号の定義の必要性は少ないと思います。
377:１３２人目の素数さん
18/08/13 19:20:50.04 Azg/fVR3.net
もう相手しない方がいいよ。
新規の人はレスする前にこれまでの流れをよく読んだ上でレスして欲しい。何度も同じことを繰り返すのは、1だけでなく同じ突っ込みをする周りにも責任がある。
378:
18/08/13 19:29:29.18 1sIym2cm.net
繰り返すのは間違いがあったからであって、間違いがなくなったのでこれで終了
379:１３２人目の素数さん
18/08/13 19:33:26.85 +eSg4Dfd.net
>>371
同感
380:１３２人目の素数さん
18/08/13 19:56:40.70 JgeJkEOo.net
本人だけだよ、整理されてると思ってるのは
381:１３２人目の素数さん
18/08/13 20:24:49.10 Yf8SiW/w.net
藤林丈司
382:１３２人目の素数さん
18/08/13 20:59:59.11 +VxHWXLw.net
>>370
＞論理が整理されていないとは全く思いません。内容が多少難しいので精読してもらう必要があるのでは
＞ないでしょうか？
いや、内容が難しいとかどうとかではなく。
通常、論文というものは定理なり主張があり、その証明や説明があるものですし、また、その主張もわかりやすくなるように分割したりするものです。
そういう「理解してもらうための努力」を含めて「論理の整理」と表現したのですが、伝わっていなかったようです。
「全く」思わないのであればもう何も書きませんが……最後に。
厳しい言葉になりますが「内容の正誤や難易以前の問題で論文の体をなしていない、査読に至る前に跳ねられるのが順当な論文もどき」なのが現状と思われます。以上。
383:
18/08/13 21:10:26.14 1sIym2cm.net
>>362
間違いが見つかりましたので削除しました
384:
18/08/13 21:11:23.79 1sIym2cm.net
>>376
人の6カ月の仕事を論文もどきとは失礼だ。ふざけんな！
385:１３２人目の素数さん
18/08/13 21:14:21.02 ObwKR5Gq.net
そうだ
他の論文もどきに失礼だぞ
386:
18/08/13 21:14:28.25 1sIym2cm.net
>>376
何が主張を分割するだ。意味不明に読みもしないで、下らない文章を披露するな。
387:
18/08/13 21:14:53.13 1sIym2cm.net
>>379
ゴミは黙ってろ
388:１３２人目の素数さん
18/08/13 21:15:35.24 NGQ3O78o.net
>>378
卒論やん
389:１３２人目の素数さん
18/08/13 21:22:17.59 lXdeFKgJ.net
新規が現れてくれるからウッキウキだな
390:１３２人目の素数さん
18/08/13 21:24:06.90 nJxs0Dkh.net
>>376の感想は全く当然だ
多くの者がそう思っていてそれを何度も>>1に指摘している
内容以前に>>1の態度を改めたほうがよい
391:１３２人目の素数さん
18/08/13 21:27:43.80 5i7BeZ8M.net
>>384
そりゃ無理だ
正しい証明を示すほうがまだ簡単だろう
392:
18/08/13 21:30:51.76 1sIym2cm.net
>>382
卒論が未解決問題の証明論文の大
393:学なりがあるのでしょうか？ >>384 人の仕事を希薄な根拠で侮辱しているわけだから、怒って当然だと思いますが
394:１３２人目の素数さん
18/08/13 21:34:48.00 nJxs0Dkh.net
希薄な根拠ではない
ちと古いが『超勉強法』という本に似たような話が書いてある
395:１３２人目の素数さん
18/08/13 21:38:22.26 Zw5lwUQU.net
「分割する」って言葉にも異常反応か。
著作権だの引用だの、１は論文を誤解しまくり。
科学とは縁のない世界のヒキニート。
396:１３２人目の素数さん
18/08/13 21:45:40.69 zm/uhT6P.net
>>386
くそみたいな論文もどきが卒論とかよくあるぞw
だいたい
できた←できてない
な奴
397:１３２人目の素数さん
18/08/13 21:51:45.88 J8Qc/QfX.net
>>1の分割
398:１３２人目の素数さん
18/08/13 22:19:47.35 suFIMTpJ.net
分割というか、主張の各部分を補題にまとめなさいって言ってるだけだよね。
ギョーカイ的な用語で言ったらサブルーチン化して可読度上げなさいってこと。
何も難しいこと言われてないよ。
399:１３２人目の素数さん
18/08/13 22:32:15.99 +VxHWXLw.net
あくまでも体裁に対する指摘であり、内容に関して否定してはいません、とだけお伝えしておきます。
(ご指摘の通り精読はしておりませんので)
「主張の分割」については >391 の書かれた通りで、正直なにをお怒りかわかりません。
証明に限らず、大きな問題を小さな問題に分割して各々を解決する、というのはよくある方法であると考えます。
400:１３２人目の素数さん
18/08/13 22:55:42.75 +1gDsqW0.net
また同じことの繰り返しｗ
>>1よりお前らのほうが滑稽だわ
401:１３２人目の素数さん
18/08/13 22:58:28.50 +1gDsqW0.net
すまん、>>1より、は言い過ぎた。申し訳ない。
402:１３２人目の素数さん
18/08/13 23:23:10.84 fdmt8XUw.net
texソースあげてくれ
403:
18/08/13 23:26:57.99 1sIym2cm.net
変更点
・13ページからの証明を修正しました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
404:
18/08/13 23:34:21.43 1sIym2cm.net
>>392
＞査読に至る前に跳ねられるのが順当な論文もどき
こう書かれたわけですから。
>>395
ワードで作成していますが、やり方が分かりません
405:１３２人目の素数さん
18/08/13 23:56:50.80 VB6Icjse.net
>>397
体裁整ってない文章なんて読めたもんじゃねえからデスクリジェクトも妥当
査読まわるわけないだろ
406:１３２人目の素数さん
18/08/14 00:19:56.88 Ub+WzTVs.net
相間さんといっしょ
407:
18/08/14 00:30:42.95 /Ahykgzy.net
>>398
2000年未解決の数学的に正しい論文でも？
408:
18/08/14 00:32:06.54 /Ahykgzy.net
>>1 訂正
2018年8月4日→2018年8月13日
409:１３２人目の素数さん
18/08/14 00:33:23.71 Ub+WzTVs.net
体裁の整っていない論文もどきが正しい確率は低い
読んでもらいたいなら素直に指摘を受け入れるべきだ
410:１３２人目の素数さん
18/08/14 00:42:02.10 wsnDjpjl.net
ガロアの論文だって読まれなかったんだから
まず人が読めるものを書けよ
411:１３２人目の素数さん
18/08/14 00:46:54.07 cee+m/k4.net
とりあえず１年位真面目に数学の教科書読んでみりゃいいじゃん。
勘のいい人間なら２，３冊真面目に数学の教科書読めば証明の書き方なんか身についてくる。
というか、「数学の証明の書き方入門」なんて本はない。
みんな他の人の教科書読んで真似してできるようになる。
そんなに時間かかるもんじゃない。
学問に王道はない。
412:１３２人目の素数さん
18/08/14 00:46:54.14 5ao32Lki.net
論文モドキの体裁がどうこう言う前に、根本的に間違ってるものはどう直しても正しくなることはない
付き合うだけ無駄無駄
413:１３２人目の素数さん
18/08/14 01:21:08.66 xshkzkS2.net
>>400
当然だよなw
お前がどんだけ言い張ったところで、体裁整ってない文章なんか読めたもんじゃねえのは変わらんw
読めない文章で認めろとかちゃんちゃらおかしいわ
414:１３２人目の素数さん
2018/08/1
415:4(火) 01:25:28.79 ID:Ub+WzTVs.net
416:１３２人目の素数さん
18/08/14 01:44:24.50 /OhvZbCQ.net
体裁もダメ
内容もダメ
>>1の態度もダメ
417:１３２人目の素数さん
18/08/14 06:35:11.01 ixmww1tw.net
＞正直なにをお怒りかわかりません。
考えても全くの無駄。
１は、いつもＴＶから自分を非難する声が聞こえるというマジ基地。
このスレからも、１だけに自分の悪口が読めてしまう。
なので文脈に関係なく、いつも突発的に怒り出す。
418:
18/08/14 08:47:20.89 /Ahykgzy.net
・式番号の削除と追加を行いました
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
419:１３２人目の素数さん
18/08/14 09:01:07.42 /Ahykgzy.net
>>1 訂正
2018年8月4日→2018年8月14日
420:１３２人目の素数さん
18/08/14 09:53:25.58 HN7uyPup.net
ゴミを出すなと言ってるのに
懲りないバカだ。
421:１３２人目の素数さん
18/08/14 18:42:40.68 rJOzezQc.net
とりあえずtexで書いてくれないか
一週間あればできると思うから
422:
18/08/14 19:01:47.26 /Ahykgzy.net
>>413
それをしなければならない理由が分からない
423:１３２人目の素数さん
18/08/14 19:04:48.44 wsnDjpjl.net
少なくとも
>>411
こんなゴミみたいなミスはなくなる
424:１３２人目の素数さん
18/08/14 19:13:22.50 yywljlSY.net
これだけ散々、指摘されても都合の悪いことは無視し続けるのだから、１がどれだけ
面白いことを言い出しても反応しないのが１に自覚させるベストな方法だと思う
425:
18/08/14 19:27:41.97 /Ahykgzy.net
>>416
意味不明で余計なことは書かなくて結構だ
426:１３２人目の素数さん
18/08/14 19:30:40.49 yywljlSY.net
以下、１以外の書き込みを禁ず
427:１３２人目の素数さん
18/08/14 19:38:36.15 ja4EIbmr.net
ｽﾚﾘﾝｸ(quiz板)
相手にされてなくても今のこのざま
428:１３２人目の素数さん
18/08/14 19:49:39.38 ixmww1tw.net
>>419
以前１が言ってた数独って
こんな情けないことをしてたのかよ。
429:１３２人目の素数さん
18/08/14 20:23:41.64 HTHuIPsC.net
なんだよ、数独が最速で解けるって話も嘘なのか
どうしようもないな
>>419の１の問題、俺が以前作ったプログラムにかけたら一瞬で解けたぞ
URLﾘﾝｸ(imgur.com)
430:
18/08/14 20:50:20.51 /Ahykgzy.net
>>421
すれ違いだから、この件はこれで最後にするが、vectorで公開されている世界一速いという
Excel VBAの他のソフトと比較すると、簡単な問題で、5％ぐらい時間が短く解析でき
難しい問題では5倍ぐらい速い。
431:
18/08/14 20:51:18.59 /Ahykgzy.net
>>421
それと一瞬って何だよ。同じ環境と同じ言語でなくては比較はできないだろう。
432:１３２人目の素数さん
18/08/14 21:06:21.72 A0w2yR0A.net
答え合わせ
433:１３２人目の素数さん
18/08/14 21:06:39.63 ixmww1tw.net
数独は一瞬で解けて当たり前
あれこれ条件つけたって１に価値なし。
434:
18/08/14 21:14:34.91 /Ahykgzy.net
>>425
世界最速のアルゴリズムであれば価値があるに決まっているだろ
>>425は無敵の馬鹿
435:１３２人目の素数さん
18/08/14 21:18:06.68 ixmww1tw.net
一瞬で解けなくちゃ最速どころか標準ですらない
そんなプログラミングの入門レベルじゃ仕事にならない
436:１３２人目の素数さん
18/08/14 21:19:09.15 HTHuIPsC.net
>>423
悪いな。まさか数独の解法プログラムで世界最速を競うバカがいるとは思ってなかったから時間計測機能はつけようとも思わなかった。
だから一瞬としか表現のしようがない。
437:
18/08/14 21:24:58.55 /Ahykgzy.net
>>427
一瞬って何言っているのか？Excel VBAで最難問を25msで解ける
簡単な問題は1msも掛からない(CPUはCorei5 3210M)。よくこれを入門レベルと言えるもんだな、勘違いは。
438:１３２人目の素数さん
18/08/14 21:29:28.09 wsnDjpjl.net
最難の定義は？
439:１３２人目の素数さん
18/08/14 21:30:35.72 ixmww1tw.net
＞完全な解析プログラムを開発することはできますが
＞ただ、結果はほとんど変わらないのにも関わらず、
＞おそらく、解析時間が4倍から8倍になるだけです。
＞
＞必要なんですか？
必要ないのは１。
440:
18/08/14 21:33:16.02 /Ahykgzy.net
>>430
私のアプリで一番解析時間が掛かる
441:１３２人目の素数さん
18/08/14 21:37:29.72 PYGrCzzY.net
完全でない解法プログラムを最速と認定しろって言うのも滑稽なら、
完全でない証明を未解決問題の解決と認定しろって言うのも滑稽
１のやることずっとこんな感じなのか？
442:１３２人目の素数さん
18/08/14 21:48:30.30 /OhvZbCQ.net
>>423
おれも以前高速ソルバーを作ったが
>>421は君のコードだと何秒で解ける？
443:１３２人目の素数さん
18/08/14 21:54:35.85 /OhvZbCQ.net
おれのコードだと
0.000088秒でした
勝てる？
444:１３２人目の素数さん
18/08/14 21:56:40.08 /OhvZbCQ.net
全く枝検索無しに解けたけど
これ本当に難問？
445:１３２人目の素数さん
18/08/14 22:00:16.67 /OhvZbCQ.net
私が見つけた難問はこの辺
2･4･1･･3･
･8･･････1
31･47･･2･
4･21････3
･････7･･･
･･････28･
･･8･･･59･
････98･･･
･7････3･･
･7･･9･5･･
9･･･5･87･
8････2･･･
･1･･････2
5･･･2718･
･････････
･･8･1･9･･
･･72････1
4･･9･･･3･
1･･･6･8･･
5････9･2･
96･･8････
･･････7･･
2･･3･･1･･
････28･6･
･5･･･････
･･2･･4･･3
69････21･
446:
18/08/14 22:35:00.25 /Ahykgzy.net
>>435
環境が違えば解析時間は変わる。
447:１３２人目の素数さん
18/08/14 22:38:47.69 VJcpVhSh.net
都合のいい言い訳は要らない
コードを上げればそれで済む
448:
18/08/14 22:42:00.66 /Ahykgzy.net
>>439
コードは非公開にしている。
>>435は言語もPCのスペックも書いていない。
VBAは最速の言語よりも最低でも5倍以上もしくは10倍以上は遅いはず。
449:１３２人目の素数さん
18/08/14 22:43:05.56 /OhvZbCQ.net
君のプログラム、君の環境だと何秒かかるのか？
君のプログラムが最速だという根拠は？
この２個の質問に答えてください
450:
18/08/14 22:43:55.76 /Ahykgzy.net
この未解決問題は解決したのにも関わらず、関係のないレスばかりになっている
451:１３２人目の素数さん
18/08/14 22:48:24.67 PYGrCzzY.net
解決してないよ
証明は奇数yのすべての素因数pkについて、2pk-1がyの素因数であるような奇数yに限定して完全数の非存在を示したにすぎない
すべての奇数についての証明にはなっていない
452:１３２人目の素数さん
18/08/14 22:48:51.98 ixmww1tw.net
ＶＢＡしか使えないのは、１の能力のスペックによるもの
不満があるなら最速の言語とやらで組んでみろ
453:
18/08/14 22:50:37.26 /Ahykgzy.net
>>437
この問題は一番難しい問題と比べて1/7ぐらいの時間で解析できる問題だった。
>>441
＞君のプログラム、君の環境だと何秒かかるのか？
何故そちらが、言語、環境を書かないのにこちらが時間を書かなければならないのか？
＞君のプログラムが最速だという根拠は？
>>422
454:
18/08/14 22:52:12.81 /Ahykgzy.net
>>443
bは必ず(p+1)/2を因数に持ち、(p+1)/2が素数になる場合と合成数になる場合を考慮しているから尽きている
455:１３２人目の素数さん
18/08/14 22:52:16.47 /OhvZbCQ.net
VBAで10倍のハンデだとして0.0009秒で解ける？
プログラムはシングルスレッドのC++
PCはHaswell 3.4GHz
かなり昔のPCだよ
456:１３２人目の素数さん
18/08/14 22:53:55.16 /OhvZbCQ.net
>>422
じゃあ私のが君のより速かったら世界一を名乗っていいってことだね
457:
18/08/14 22:54:01.81 /Ahykgzy.net
>>447
私のPCはCorei5で2.4GHzだけれども、10倍ハンデだと0.0008秒
458:１３２人目の素数さん
18/08/14 22:55:20.16 /OhvZbCQ.net
0.0008秒で解けるの？
459:１３２人目の素数さん
18/08/14 22:57:36.42 PYGrCzzY.net
>>446
その主張は仮定と結論が逆だから成り立たない。
ＡならばＢから、ＢならばＡとは言えないと何度説明すれば理解するんだね君は
460:
18/08/14 22:58:59.36 /Ahykgzy.net
>>449 訂正
2.4GHz→
461:2.5GHz
462:１３２人目の素数さん
18/08/14 22:59:49.13 /OhvZbCQ.net
時間は？
463:
18/08/14 23:02:27.99 /Ahykgzy.net
>>450
今もう一回解析してみたら、0.78msで解けたから10倍ハンデだとそうなる
>>451
仮定ではない命題に関して証明を行っています
464:１３２人目の素数さん
18/08/14 23:10:17.98 /OhvZbCQ.net
C++は最速の言語じゃないが、
10倍ハンデをあげて同等ならまあ頑張った方だね
でも同等がこんなに簡単に現れてるのに本当に世界一だと思う？
私も世界一を名乗っても良いレベルになるけど
465:１３２人目の素数さん
18/08/14 23:10:23.36 PYGrCzzY.net
>>454
ひとつ突っ込ませてもらうと、0.78msの10倍速だったら0.0008秒にはならんだろ
算数からやり直しなさい
466:１３２人目の素数さん
18/08/14 23:15:33.21 /OhvZbCQ.net
アルゴリズム的に同等
プログラミング能力で私の勝ち
トータルで私の勝ち
だから私は世界一
でいいかな？
本当に10倍も言語で差が出るのかは謎だが
467:１３２人目の素数さん
18/08/14 23:16:21.34 PYGrCzzY.net
>>454
で、証明では、Ⅰ「(p+1)/2が素数になる場合」とⅡ「合成数になる場合」を確かに場合分けしているが、Ⅱで「Ⅰと同様に」と言っているのだから、ⅠはⅠだけで完結していなければならない。
Ⅰの場合を証明するのにⅡの証明が必要なのだったら、Ⅱの証明はⅠに依存してはならない。そうでなければ全体として循環論法であり、証明したことにはならない。
468:１３２人目の素数さん
18/08/14 23:19:14.41 nsOe2b/D.net
むしろ25msが0.78msに変わった時点で吹かし確定やろ
469:
18/08/14 23:21:43.19 /Ahykgzy.net
>>455
アルゴリズムで最速と言っているので、絶対的に最速ということではない。
難しい問題をいかに速くとくのかということもあるからそう簡単ではないはず。
2012年の一番難しい問題
800000000003600000070090200050007000000045700000100030001000068008500010090000400
この問題は13.28ms
>>456
もう一回解析したらと言っている。その前は8.0msだったので
>>458
全くそのようなことはない。何故そういう作文をするのかは不思議だ
470:
18/08/14 23:22:48.18 /Ahykgzy.net
>>459
25msは一番難しい問題で
471:１３２人目の素数さん
18/08/14 23:23:52.96 nsOe2b/D.net
>>460
そうじゃないなら、書き直しやね
472:１３２人目の素数さん
18/08/14 23:29:31.04 /OhvZbCQ.net
なんかアルゴリズムも勝ってそうだな
世界最速とかを名乗りたいならVBAだからとか言い訳せずに
ちゃんと勝負すれば？
または純粋にアルゴリズムで勝負したかったら
演算回数とか計算オーダーとかそういう数値で語るべきものだよ
473:
18/08/14 23:32:54.79 /Ahykgzy.net
>>463
どう勝っているのか書いてくれ
言い訳ではない、言語によって大きな速度差があるから、環境も違えば比較のしようがない。
474:１３２人目の素数さん
18/08/14 23:33:00.59 PYGrCzzY.net
>>460
作文とな？
Ⅱの中で「Ⅰと同様の証明により」と書いたのは君でしょうが
475:
18/08/14 23:34:26.10 /Ahykgzy.net
>>465
Ⅰはそれ自体で完結していて、Ⅱの式の形からⅠと全く同様の証明になるといえると思いますが
476:１３２人目の素数さん
18/08/14 23:35:00.25 nsOe2b/D.net
>>464
早さに価値があるなら、なぜわざわざvbawww
477:
18/08/14 23:35:49.98 /Ahykgzy.net
>>467
UIを作るのが簡単だから
478:１３２人目の素数さん
18/08/14 23:36:04.58 nsOe2b/D.net
>>466
場合分け全否定してて草
479:１３２人目の素数さん
18/08/14 23:37:13.16 nsOe2b/D.net
>>468
理由になってないよなwww
480:
18/08/14 23:37:54.53 /Ahykgzy.net
>>469
Ⅱの中の場合分けで、Ⅰと同じ形の式が現れるということです
481:１３２人目の素数さん
18/08/14 23:49:47.39 PYGrCzzY.net
>>471
いずれにしてもⅡの証明がⅠに依存し、また>>446の発言はⅠの証明がⅡに依存することを意味する。この証明は循環論法であり不成立。
482:１３２人目の素数さん
18/08/15 00:03:15.49 SPvtEZAQ.net
>>464
乱数であてずっぽうでトライして
たまたま当たった時が0.78ms
その前は8.0msだったってことでしょ？
それで0.78msを結果とするのはインチキですね
さすがに100倍の差は無い
483:１３２人目の素数さん
18/08/15 00:10:53.58 SPvtEZAQ.net
いずれにしろ
484:、>>422が世界一の根拠とか 「『おれは世界一』と言ってる小学生に勝ったからおれは世界一だ」 と言ってる小学生レベルですね
485:１３２人目の素数さん
18/08/15 02:27:40.23 Ez0sKrbZ.net
どこにでも早とちりする人間はいるものだ。
486:１３２人目の素数さん
18/08/15 04:11:46.54 /fc+4mkl.net
解けない問題があるのに最速だと言い張ってみたり、
完成してもないのに完成しました！とかスレタイに書いた上、何十回も修正を出す
そんな１に早とちり王の称号を授けよう
欲しかったんだろ？称号
487:１３２人目の素数さん
18/08/15 04:45:07.67 gqvdV+F4.net
早とちりってことで言うと、
>>443は「奇数yのすべての素因数pkについて、2pk-1がyの素因数である」と言っており、これの否定は
「奇数yのある素因数pkについて、2pk-1がyの素因数でない」となる
それに対して>>447の返しは「(p+1)/2を因数に持ち、(p+1)/2が素数になる場合と合成数になる場合を考慮している」と言っているが
「すべての素因数pkについて、2pk-1がyの素因数である」と「ある素因数pについて(p+1)/2が素数になる場合」は同じようでいて異なるし、
「ある素因数pkについて、2pk-1がyの素因数でない」と「ある素因数pについて(p+1)/2が合成数になる場合」に至ってはまるで違うだろ
どうして１はこれらを同じと言い切るのか
488:１３２人目の素数さん
18/08/15 04:59:41.15 b9qSYA+J.net
この早とちり王の1は∀と∃の区別がついてないから、そんなこと言っても無駄じゃね？
489:
18/08/15 06:41:56.73 7GYyPnM5.net
>>473
0.0008秒と書いているわけだから、0,8ms
100倍の差とは書いていないが？
>>474
私が最適化の限りをつくしたから、おそらくそうなっているはず
>>476
解けない問題はないけど？
>>477
＞奇数yのすべての素因数pkについて、2pk-1がyの素因数である
このようなことは書いていない。
＞ある素因数pについて(p+1)/2が素数になる場合
これは正しい。
>>478
この論理が分からなければ仕方がない。それを書いたらつまらなくなってしまうから
書かない。
490:
18/08/15 06:51:07.88 7GYyPnM5.net
計算を間違っていた。
>>449訂正
10倍ハンデだと0.0008秒→10倍ハンデだと0.00008秒
>>479 訂正
0.0008秒と書いている→0.00008秒と書かかなければならない
491:
18/08/15 06:56:47.26 7GYyPnM5.net
10倍ハンデと書くからわけがわからなくなっているので
解析に掛かった時間は0.8msと0.78ms
492:１３２人目の素数さん
18/08/15 07:03:22.22 htGHBGeL.net
あ、もういいです
493:１３２人目の素数さん
18/08/15 08:38:41.29 toAmA6zF.net
どこまでも際限なく情けない無能１
494:１３２人目の素数さん
18/08/15 08:40:58.14 SPvtEZAQ.net
私のは0.088ms
VBAのハンデが5倍なら私の勝ちですね
たまたま現れたたった１人にすら負けてるかも知れないのに
アルゴリズム世界一なわけないですね
世界一の根拠が
「私が最適化の限りをつくしたから」
小学生でももっとマシな事を言う
495:
18/08/15 10:31:01.80 7GYyPnM5.net
>>484
3.4G/2.5Gでその差もありますね。C++の方が10倍以上速い可能性もありますが
496:
18/08/15 10:33:35.02 7GYyPnM5.net
インタープリター言語とコンパイルをした実行ファイルの速度比較するのはナンセンス
497:
18/08/15 10:34:47.78 7GYyPnM5.net
他の部屋テレビから、「応用物理」が何度も聞こえてくるがうるさい
498:１３２人目の素数さん
18/08/15 10:38:34.12 SBcAyVXT.net
糖質芸で話をそらそうとしてませんか？
499:１３２人目の素数さん
18/08/15 10:39:13.49 SPvtEZAQ.net
>>485
世界一を証明するのはあなたの義務ですよ
アルゴリズム世界一と言ってるわけですから
500:
18/08/15 10:42:51.48 7GYyPnM5.net
>>489
世界一は他にもあるわけですから、その人も証明しなければならないでしょうね。
それと私より速いものがあるのであれば、誰かがVBAで開発して公開してそれを証明すべき
なのではないのでしょうか？
もし、C++でフェアに速度を比較できるプラットフォームなりがあれば、試してみることも
いいのかもしれませんけど。
501:１３２人目の素数さん
18/08/15 10:43:21.95 SPvtEZAQ.net
素直に>>422の結果だけ主張すれば良いんですよ
502:１３２人目の素数さん
18/08/15 10:45:19.99 SPvtEZAQ.net
>>490
他の「世界一」と主張するプログラムも
当然客観的根拠が必要ですよ
「世界一」と主張する人がそれを証明する
当たり前です
503:１３２人目の素数さん
18/08/15 10:45:28.30 htGHBGeL.net
VBAへの執着心草
504:
18/08/15 11:02:11.46 7GYyPnM5.net
>>492
だからそれを何年も公開しているでしょう、それをどうこうするのは他者の判断だ
>>493
他のものでも作れるがC、C++、Java、Rubyなら作れるし
コンピュータ言語なんてwikiを見れば最近の言語だったら簡単でしょw
505:
18/08/15 11:03:50.78 7GYyPnM5.net
>>492
それでは最速の証明をどうすればいいのでしょうか？
regulationが決まった数独解析大会があるわけではなし。
506:１３２人目の素数さん
18/08/15 11:04:32.94 SPvtEZAQ.net
他の人が嘘をついているからあなたも嘘をついていい
すごい理屈ですねえ
まあとりあえず最速の言語で世界一のアルゴリズムを実装してみてくださいな
507:１３２人目の素数さん
18/08/15 11:06:00.34 SPvtEZAQ.net
>>495
それはあなたが考えることです
考えてそれを実行出来ないなら「世界一」なんて主張すべきではありません
ギネスとかならわりと簡単に登録できますよ
頑張ってね
508:
18/08/15 11:08:29.37 7GYyPnM5.net
>>496
フリーで最速の言語とコンパイラーは何ですか？
それとそれにそれを何故ただでしなければならないのでしょうか？
2点お答えください
>>497
儲からないことに頑張る必要はありません
509:１３２人目の素数さん
18/08/15 11:11:08.97 15LD3k9Y.net
>>498
じゃあなんでこのクソスレ立てたの？
510:１３２人目の素数さん
18/08/15 11:12:58.34 2HzHPQPA.net
>>498
wiki見てチャチャーっとやってくださいなwww
511:
18/08/15 11:15:08.30 7GYyPnM5.net
>>484
>>460の問題の解析時間はどのくらいですか？
一つの非常に簡単な問題で速度比較をしても、あまり意味がないのではないのでしょうか。
512:１３２人目の素数さん
18/08/15 11:20:49.68 EsaDNpCl.net
１は、詐欺師でホラ吹きのクズ。
数学もプログラミングも何の価値も生み出せない無能。
ＴＶから悪口が聞こえるとネットで訴える毎日。
513:１３２人目の素数さん
18/08/15 11:30:05.09 Pu/ywfd8.net
>>501
そもそもこう言われてたしな
428 １３２人目の素数さん 2018/08/14(火) 21:19:09.15 ID:HTHuIPsC
>>423
悪いな。まさか数独の解法プログラムで世界最速を競うバカがいるとは思ってなかったから時間計測機能はつけようとも思わなかった。
だから一瞬としか表現のしようがない。
514:
18/08/15 12:11:56.03 7GYyPnM5.net
>>502
それではこの証明が間違っているということを証明しろ、詐欺師ではなのだったらなwww
>>503
それがどうした。
何故簡単な問題一題だけで判断できるんだっていうの。答えろカス
515:１３２人目の素数さん
18/08/15 12:19:11.98 YEgDeZMa.net
カスは１だけ
516:１３２人目の素数さん
18/08/15 12:30:54.45 T2AqEd25.net
解のある問題をすべて解けないって時点で最速を名乗るのは間違いだろ
それを許したら、問題と解の組を１つ用意して、どんな問題にも常に用意した解を出力するようにすればどんなプログラムより最速にできる
少なくとも１つの問題には正解を出せるからな
１の主張してるのはそのレベル
517:
18/08/15 12:40:30.76 7GYyPnM5.net
>>506
何を言っているのか分からないが。100までは全ての解を求めることも可能だか。
518:１３２人目の素数さん
18/08/15 12:51:13.20 nuu7DIC+.net
>>437の問題はすべて解けるのかい？
519:１３２人目の素数さん
18/08/15 12:58:50.84 ySAxwtr9.net
むしろ、偶数の完全数をみつけることに転向しろ
520:１３２人目の素数さん
18/08/15 13:10:17.29 lyIMOiqr.net
>>446
＞bは必ず(p+1)/2を因数に持ち、
これがダウトなんだよな。
pがpkによって変化すると言っている以上、bが必ず(p+1)/2を因数に持つとは言えない。
根拠として b が p^n+･･･+1 の倍数であり、p^n+･･･+1 が (p+1)/2 の倍数と言っているが、これが成立するのは n が奇数の時のみ。
なぜなら n が偶数ならば p^n+･･･+1≡1 (mod (p+1)/2) となり、(p+1)/2 の倍数とは言えないから。
一方、y の素因数分解で、指数が奇数となる素因数 p はただ一つのみ。これは定理であり証明もある。
１が書こうが書くまいが事実であり揺るがない。よって、仮定�
521:ｵた y について、(p+1)/2 が y の因数であると証明できる素因数 p はただ1通りのみ。 ゆえに、pがpkによって変化すると言っている時点で、bが必ず(p+1)/2を因数に持つとは言えない。 証明のIもIIもbが(p+1)/2を因数に持つ前提で矛盾を引き出している。その前提が成り立たないのだから、証明が成立したとは言えない。 以上、何度も指摘されている通り。
522:１３２人目の素数さん
18/08/15 13:39:41.61 SBcAyVXT.net
>>498
無職が奇数の完全数の証明書いても儲からないのでは？
523:１３２人目の素数さん
18/08/15 13:41:22.37 p/Nzh/yc.net
あかん。初めてダウンロードしてみたけどこんなん読めんwwww。
こりゃ査読にもかからんわwwww
524:１３２人目の素数さん
18/08/15 14:13:16.34 MW+NKlZP.net
やろうとしていることを噛み砕いてみた
(面倒くさいので、約数関数を導入)
y: 奇数の完全数.
p: 指数が奇数であるyの素因数.
n: pの指数
pは(yに対して)ただ一つ存在し, p≡n≡1 (mod 4)となることがよく知られている.
σ: 約数関数.
b: yのpを除く因数の積(y=p^n×b).
a: σ(a).
完全数の定義より, 2y=σ(y)=σ(p^n)×a.
σ(p^n)の因数であるp+1を素因数分解すると,2とp以外のyの素因数になるので, この素因数に注目して矛盾を導く.
525:１３２人目の素数さん
18/08/15 14:19:31.67 MW+NKlZP.net
＞a: σ(a).
a: σ(b).
の間違いでした。
yに対してpは一意に定まるので,
>510 が書いているように後から変更することはできない。
さすがに本当に後から変更しようとしているとは思えんが……
526:１３２人目の素数さん
18/08/15 14:30:07.15 ZHlHKwWV.net
そりゃ一般人の基準で考えちゃいかん。
１００回提出しなおしても、指定された点の修正できず。
１には正常な判断力は無いので。
527:１３２人目の素数さん
18/08/15 14:57:55.26 IoqskaFE.net
>>507
謎の100まで
528:
18/08/15 15:13:00.61 7GYyPnM5.net
>>510
nは奇数でそれは証明している。
529:
18/08/15 15:16:28.72 7GYyPnM5.net
>>508
解けます。解けない問題はありません
530:１３２人目の素数さん
18/08/15 15:42:16.17 IoqskaFE.net
>>517
何を証明したの？
531:
18/08/15 16:33:52.86 7GYyPnM5.net
>>519
n=4m+1(mは非負整数)
532:１３２人目の素数さん
18/08/15 16:42:14.79 SBcAyVXT.net
それが>>510に対するどういう反論になってるの？
533:１３２人目の素数さん
18/08/15 16:54:38.47 IoqskaFE.net
>>520
pがpkによって変化しないって指摘なのに？
534:
18/08/15 18:27:12.96 7GYyPnM5.net
>>522
pkとqkによりaとbが定まり、それによりnとpとcが定まるから、pがpkに依存しないわけがない。
535:１３２人目の素数さん
18/08/15 18:51:25.11 MW+NKlZP.net
>>523
＞pkとqkによりaとbが定まり、それによりnとpとcが定まるから、pがpkに依存しないわけがない。
ここでの「定まる」とは一体どのような意味で書かれているのでしょうか？
完全数yの素因数分解によりp,n,その他諸々が定まり、完全数であることを由来として、様々な満たすべき条件が加わります。
その条件の中に例えばpをpkで表す式があったとして、それをもってpがpkに依存するとは言いません。
536:１３２人目の素数さん
18/08/15 19:44:10.96 SBcAyVXT.net
yを決めると全部決まります
537:
18/08/15 20:08:45.77 7GYyPnM5.net
>>524
b=c(p+1)((p^(n-1)+p^n(n-3)++…+1)/2となるから、bは必ず(p+1)/2を因数に持つわけ
それで、(p+1)/2を素数の場合と合成数の場合に分けるとそれで尽きていて、bはp1～prを
因数に持つわけだから、(p+1)/2が素数だった場合にはp1からprのどれかになるということ。
538:１３２人目の素数さん
18/08/15 20:10:34.91 IoqskaFE.net
>>526
それまったくpがpkに依存してる説明になってないやんwww
539:１３２人目の素数さん
18/08/15 20:26:33.44 c/ArbjSt.net
そこでこのコピペの登場ですよ
277: 08/09(木)23:46 ID:J2CDPvTD
>>257
だめだなあ。
変数pがkに依存して変わるって性質を使ってないじゃないか
こうだろ↓
奇数の完全数yが存在すると仮定する。
単一の素数または素数の累乗は完全数になり得ないので(この証明は割愛する)、
yは複数の相異なる奇素数pkでΠ{k=1～r}pkと書くことができる。
yの約数となる数をpとする。yにはpと等しい約数があるはずだから、これをprとする。
任意のk(1≦k＜r)についてもpkはyの約数だから、「p=pkというふうにすることができる」
よって任意のk(1≦k＜r)についてpk=p=prである。
pkとprが相異なるという前提と矛盾するので、奇数の完全数は存在しない。
これこそが>>1のやり方だろ