20/04/24 10:27:10.51 BTmyP9va.net
スレリンク(math板:134番)
>何故かZFC公理系の公理が9個であるという記述は修正していないし、
>ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス
上記以上に>>312の誤りは酷いと思うが・・・
ま、最終的にはVを除けば 無限上昇列はできるけどね
しかし、そこ、実はどうでもいいんだろ?
(P.S.)
荒らしのBBAへ
このスレ埋めたいみたいだけど、
埋まったら本スレに匿名で書くよ
私はスレ立てられないからね
自分の行為のアサハカさに気づこうな BBA!
322:ID:1lEWVa2s
20/04/24 10:43:53 /YSDMAvQ.net
軍事機密すれの私のフェルマーの最終定理について。の解合ってるの?
一応証明ごと日本数学会事務局に送ったんだけど。
誰も答えてはくれない。どうなってんの。
323:ID:1lEWVa2s
20/04/24 10:45:34 /YSDMAvQ.net
だまっとれってか。
はい。
324:論理狼 ◆y7fKJ8VsjM
20/04/24 10:47:32 BTmyP9va.net
>>314
>証明ごと日本数学会事務局に送ったんだけど。
意味ないよ
数学会事務局には数学分かる人いないから
君の手紙を数学者に転送することもしない
まあ、君がもし数学者に直接手紙を書いても読まないだろうな
なんで素人の書いた自己流の嘘「証明」を読んで
「ここがギャップです」とか「ここが誤りです」とか
教えてやる必要があるの? ないよな
325:132人目の素数さん
20/04/24 10:49:20 G8hF3Q2u.net
>>314
合ってなぃトコを見つけちゃぃました…
素数じゃ無いのが「素数」ってなっちゃってたょー
(お直ししてみた方が良ぃんじゃなぃかな…?)って思ぃました…
326:ID:1lEWVa2s
20/04/24 10:50:23 u9u2JrJT.net
>>316
いや、担当者がいて教授が読んでるって電話で言ってた。
327:132人目の素数さん
20/04/24 10:52:38 G8hF3Q2u.net
🌈Ohaluさん🍀
身体に気をつけて。。。
頑張ってくださぃね…🍀*゜
328:ID:1lEWVa2s
20/04/24 10:53:49 u9u2JrJT.net
>>317
それはないはず。
私の計算にみすはあまりない。
さんざん練習したから。
まあ、不等式止まりだからその間違いがあったことも含めて6カ月後くらいから素数の研究に再度着く。
329:132人目の素数さん
20/04/24 10:56:11 rcHJMCjA.net
>>318
これ、相手にされてないと思うよ。
330:132人目の素数さん
20/04/24 10:56:48 G8hF3Q2u.net
あ、でも送る前に。。。
✨素数スレ✨にageて
皆さまにチェックして貰ってから郵送した方が
郵送コストが無駄にならないかも…?でしょうか…
331:ID:1lEWVa2s
20/04/24 10:59:32 NEYzDdgf.net
ま、読んでないなら宝に気付かないだけで気にしないが。
かわいそうに。
僕は数学を日本数学会事務局が相手にするしない気にせず一方的に送りますが。
なんせ読みたいなら読めばいいだけだから。
332:132人目の素数さん
20/04/24 10:59:37 G8hF3Q2u.net
>>320
自分のミスに自分で気付けるのは限界があると思うから…
やっぱり皆さまチェックをして貰ってからの方が…良いんじゃないてしょうか…?
333:ID:1lEWVa2s
20/04/24 11:00:39 NEYzDdgf.net
>>324
だってすれ建てれないもん。
334:ID:1lEWVa2s
20/04/24 11:01:59 NEYzDdgf.net
日本数学会事務局を相手にしてないのは僕の方。
ただ、ご奉仕で送ってやってるだけ。
335:132人目の素数さん
20/04/24 11:02:23 G8hF3Q2u.net
>>32
336:5 よろしければ代わりに新スレお立てしましょうか…? …でも元のスレは落ちちゃったんでしょうか?使えませんか?
337:ID:1lEWVa2s
20/04/24 11:02:53 NEYzDdgf.net
日本数学会事務局が友達なのは事実。
338:ID:1lEWVa2s
20/04/24 11:03:48 NEYzDdgf.net
>>327
落ちてないよ。
新すれたてなくていい。
宗教団体じゃないんだから。
339:論理狼 ◆y7fKJ8VsjM
20/04/24 11:04:24 BTmyP9va.net
たててやれよ BBA=G8hF3Q2u
おめぇ数学できねぇんだから
まさか、おめぇもスレ立てれねぇの?
おめぇ・・・絵文字ばっかの💩カキコしてっから
荒らしBBAに認定されるんだよ
数学板やめな おめぇみてぇな💩BBAの来るとこじゃねぇから
340:132人目の素数さん
20/04/24 11:04:59 +5fH8L59.net
>>312
だからそれ、おまえが間違っているんだよ!
<Zermelo構成>の多重シングルトンと同じ話だし
時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ!!w(^^;
<現代数学の系譜 カントル 超限集合論2 >
スレリンク(math板:33番)
33 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [] 投稿日:2019/12/22(日) 08:06:52.76 ID:jNutOcAm [1/6]
341:ID:1lEWVa2s
20/04/24 11:08:05 NEYzDdgf.net
ちょっと笑いました。
342:ID:1lEWVa2s
20/04/24 11:08:57 NEYzDdgf.net
流れとよどみに。ちょっと笑いました。
大森荘蔵
343:論理狼 ◆y7fKJ8VsjM
20/04/24 11:09:57 BTmyP9va.net
メンドクサイので1lEWVa2s隔離スレ上げてやった
スレリンク(math板)
おめぇ梅田悠祐っつうのか
ま、素人が名前だしたって誰も関心もたねぇけどな
クスリ・・・飲んでるか?
344:132人目の素数さん
20/04/24 11:12:56 rcHJMCjA.net
フェルマーの最終定理について、x^n+y^n=z^n n≧3 n∈N を満たす解 (x,y,z) が高々有限個存在することは手紙で示せなくもないけど、
x^n+y^n=z^n n≧3 n∈N を満たす解 (x,y,z) が存在しないことは手紙のような長さの証明では示せない。
それとも、なんか拡張したことでも考えているのかい?
345:ID:1lEWVa2s
20/04/24 11:13:09 f5HlnoZX.net
>>334
精神病院の担当医から処方された薬のんでます。
346:ID:1lEWVa2s
20/04/24 11:15:15 f5HlnoZX.net
>>335
1ぺぇじで証明した。
347:論理狼 ◆y7fKJ8VsjM
20/04/24 11:16:14 BTmyP9va.net
>>331
会長 たまらず書き込みwwwwwww
><Zermelo構成>の多重シングルトンと同じ話だし
だろ?だからセタ会長 あんたが間違ってるw
ωは極限順序数だ 後続順序数じゃねえ
ωの要素は自然数 だから 0から始まってωに至る∈列は有限
>時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ!!
あんた・・・まだ可算無限列に∞番めの最後の箱があると妄想してんのか?
∞って自然数か? 最後の箱だったら∞+1は無いんだろ?
だったら自然数じゃねぇじゃん ペアノの公理に反するから
あんた、ペアノの公理も知らんのか 白痴か? え?は・く・ち・か?
348:ID:1lEWVa2s
20/04/24 11:18:11 f5HlnoZX.net
>>334
4回入院歴あり。
入院中は数学三昧。
あんまやり過ぎると言われるけど。
349:ID:1lEWVa2s
20/04/24 11:19:02 f5HlnoZX.net
>>334
隔離室1ヶ月連続だった。
何も持ち込めない。
350:論理狼 ◆y7fKJ8VsjM
20/04/24 11:19:31 BTmyP9va.net
そうか・・・4回も入院したのか
そりゃ大変だな
数学・・・好きか?
351:132人目の素数さん
20/04/24 11:20:02 G8hF3Q2u.net
>>330
。。。立てられると思いますょ...?(暗黒微笑)
『💩BBA』でもスレ立て出来るんたとしたら...
狼中年さんはどんなコトされてらしたんでしょうね...
フッ…(´<_`)
352:132人目の素数さん
20/04/24 11:20:46 rcHJMCjA.net
>>337
1ページ程度の長さの証明を送ったなら、ほぼ間違いと断定されただろうと思っていい。
353:論理狼 ◆y7fKJ8VsjM
20/04/24 11:21:19 BTmyP9va.net
隔離されたのか・・・大変だったな
おめぇの証明とやらを認めるわけにはいかねぇが
おめぇのことは認めてやっから な
354:論理狼 ◆y7fKJ8VsjM
20/04/24 11:22:23 BTmyP9va.net
>>342
>狼中年さんはどんなコトされてらしたんでしょうね...
355: いろいろ・・・( ̄ー ̄)ニヤリ
356:132人目の素数さん
20/04/24 11:22:25 G8hF3Q2u.net
>>342>るんた× るんだㅇ
357:ID:1lEWVa2s
20/04/24 11:22:25 R21Lj2Or.net
>>344
はい。
358:ID:1lEWVa2s
20/04/24 11:23:14 R21Lj2Or.net
>>341
数学とラムネが好き。
359:論理狼 ◆y7fKJ8VsjM
20/04/24 11:24:40 BTmyP9va.net
ま、💩BBAが否定派スレ(別名:変態収容所w)を毎度立てるっていうんなら
おめぇがここにいるのを認めてやってもいいぞ
・・・そんなに好きなのか?オレの粗☆ンが
変わったヤツだ
360:ID:1lEWVa2s
20/04/24 11:25:47 R21Lj2Or.net
>>341
18-20歳の頃荷揚げ屋やっててよく名古屋の鶴舞の古本屋で勉強してた。
二年間で大量のボックスの論文かいたが三回目の入院の前気が狂ってすてちゃった。
今はお茶の箱六箱たまってる。
因みに童貞永遠に守る。
361:論理狼 ◆y7fKJ8VsjM
20/04/24 11:26:20 BTmyP9va.net
>>348
そうか・・・ラムネも好きか
ラムネくらいだったら、おっちゃんがいくらでも飲ませてやっぞ
ま、飲み過ぎて血糖値が上がったらいけないけどな
362:論理狼 ◆y7fKJ8VsjM
20/04/24 11:28:25 BTmyP9va.net
そうか おめぇ 出身は名古屋か
そうだな 無理に♀と***するこたぁねぇ
363:132人目の素数さん
20/04/24 11:28:51 G8hF3Q2u.net
┃;“))≡3 。。。>>345
⊂≡3
┃
364:ID:1lEWVa2s
20/04/24 11:29:02 SBgXqOxU.net
>>351
じゃあ小牧のパークアリーナで毎日行ってるさっかぁをお母さんとしてくるで。
365:ID:1lEWVa2s
20/04/24 11:29:18 SBgXqOxU.net
>>352
ありがとう。
366:132人目の素数さん
20/04/24 11:29:43 G8hF3Q2u.net
┃≡3
367:論理狼 ◆y7fKJ8VsjM
20/04/24 11:30:12 BTmyP9va.net
そうか・・・おめぇのかあちゃんによろしくな
368:ID:1lEWVa2s
20/04/24 11:30:40 SBgXqOxU.net
>>357
怒るよ。
369:ID:1lEWVa2s
20/04/24 11:31:00 SBgXqOxU.net
>>357
手を出したら怒るよ。
370:ID:1lEWVa2s
20/04/24 11:31:19 SBgXqOxU.net
>>357
手を出す前に怒るよ。
371:論理狼 ◆y7fKJ8VsjM
20/04/24 11:32:57 BTmyP9va.net
BBAはギフテッドに関心があるらしいが
俺はそういうツマラナイ奴らには興味がない
むしろ世の中が●違いとかメンヘラとかいってる連中に興味がある
ただの好奇心かもしれんし迷惑かもしれねぇが なんか捨てておけねぇ
372:ID:1lEWVa2s
20/04/24 11:32:59 SBgXqOxU.net
>>357
こら。ヽ(*`Д´)ノ。
373:132人目の素数さん
20/04/24 11:33:48 rcHJMCjA.net
おっちゃんです。
>>351
おっちゃんという言葉は、お前さんが嫌っている大阪で広く使われる言葉だぞ。
374:ID:1lEWVa2s
20/04/24 11:33:53 SBgXqOxU.net
>>361
こら。ヽ(*`Д´)ノ。
375:論理狼 ◆y7fKJ8VsjM
20/04/24 11:34:03 BTmyP9va.net
>>358-360
ばか・・・手なんかださねぇってw
かあちゃんに苦労かけるなよ
376:論理狼 ◆y7fKJ8VsjM
20/04/24 11:35:34 BTmyP9va.net
>>363
なんだおめぇまだ生きてたのか
いい加減もうちっとマシな名前考えろよ
そんで、おめぇ、出身はどこだ?大阪か?
377:論理狼 ◆y7fKJ8VsjM
20/04/24 11:39:07 BTmyP9va.net
おれは東京の出身だ
オヤジもジイちゃんも東京だ
ジイちゃんのジイちゃんが明治の初めから東京に住んでた
ただ、ジイちゃんのジイちゃんがどこの出身かは知らん
たぶん、東京じゃねぇだろうなぁ
378:132人目の素数さん
20/04/24 11:41:37 rcHJMCjA.net
>>366
出身は東京だが、おっちゃんという名前はよろしくないか?
379:ID:1lEWVa2s
20/04/24 11:42:59 n3WrU69o.net
浮上したなら今からさっかぁしてくるから読んどいて。さいなら。
380:論理狼 ◆y7fKJ8VsjM
20/04/24 11:44:40 BTmyP9va.net
>>368
「固有名詞」としては面白くないね
毎度「おっちゃんです」と書き始めるところを見ると
自分のことを指す固有名詞として「おっちゃん」といってるんだろ?
だったらもうちっと自分らしい名前を考えたらどうだ?
逆に匿名でいいっていうんなら「おっちゃんです」もやめたがいいな
どうする?
381:論理狼 ◆y7fKJ8VsjM
20/04/24 11:46:03 BTmyP9va.net
>>369
そうか・・・ケガすんなよ
382:論理狼 ◆y7fKJ8VsjM
20/04/24 11:49:34 BTmyP9va.net
>>338をもう一度書いとく
>>331
会長 たまらず書き込みwwwwwww
><Zermelo構成>の多重シングルトンと同じ話だし
だろ?だからセタ会長 あんたが間違ってるw
ωは極限順序数だ 後続順序数じゃねえ
ωの要素は自然数 だから 0から始まってωに至る∈列は有限
>時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ!!
あんた・・・まだ可算無限列に∞番めの最後の箱があると妄想してんのか?
∞って自然数か? 最後の箱だったら∞+1は無いんだろ?
だったら自然数じゃねぇじゃん ペアノの公理に反するから
あんた、ペアノの公理も知らんのか
383:132人目の素数さん
20/04/24 11:52:29 rcHJMCjA.net
>>370
5チャンで固有名詞のような自分らしい名前を書いてても、大して意味はないと思っている。
個人的にはどちらも好きだが、たこ焼きやお好み焼きは主に大阪で発�
384:Bした食べ物だな。
385:論理狼 ◆y7fKJ8VsjM
20/04/24 11:57:46 BTmyP9va.net
>>373
自分らしい名前を考えることに意味があるんだがね
5chにしか書き込めないおめえの存在に意味あんのか?
おめえの理屈ではおめえの存在に意味ないな
それでもおめえが生きてるってことはおめえの価値判断は間違いってこったよ
つべこべいわずに名前考えな おめえはやらねぇ言い訳しかしねえ
だから数学も他のことも身につかねぇんだよ
386:132人目の素数さん
20/04/24 12:05:16 rcHJMCjA.net
>>374
そもそも、「おっちゃん」という代名詞が自分を指す言葉である、という考え方を自ら思い付いた。
387:論理狼 ◆y7fKJ8VsjM
20/04/24 12:21:26 BTmyP9va.net
>>375
じゃ、こうしよう
HNは「自称おっちゃん」
名前にこれ入れて書き込むんだな
嫌なら・・・代わりのHN考えるんだな
388:ID:1lEWVa2s
20/04/24 12:28:35 wWCnpuyd.net
>>371
さっかぁしてきた。
疲れたから煙草吸って寝る。
月曜日からぱんの袋詰めの仕事も水曜日まで待ってるし。
389:132人目の素数さん
20/04/24 12:28:41 rcHJMCjA.net
>>376
今までのいわゆる「おっちゃん」を「自称おっちゃん」に変えれば済むのに、何故ハンドルネームが必要なんだ?
390:132人目の素数さん
20/04/24 12:58:38.48 Gf8Y++wA.net
どっかの会社に言われて荒らしに来てんの?こいつら
391:132人目の素数さん
20/04/24 13:09:09.63 rcHJMCjA.net
>>379
私は荒らしに来てはいないことをいっておく。
392:ID:1lEWVa2s
20/04/24 13:28:08.77 7AvnGIne.net
フィールズメダルもらったら大垣共立銀行の金庫に保管してたまに写真撮ってまた金庫に戻し保管する。
393:ID:1lEWVa2s
20/04/24 13:28:39.86 7AvnGIne.net
フィールズメダルじゃなくて日本数学会メダルか。
394:132人目の素数さん
20/04/24 13:57:59.28 G8hF3Q2u.net
>>361
>ギフテッドに関心△
(生きてくのに)
ギフテッドの存在が必須◎
395:132人目の素数さん
20/04/24 14:16:35.01 G8hF3Q2u.net
カメラアイ&知能指の知覚推理が135前後以上あれば…
たぶん私では間違いに気付けないから、それだけでも充分なんですが…
それを“ギフテッド”とカテゴライズされるなら
「私の人生には(男女を問わず)ギフテッドの存在が必要不可欠です」
としか
396:132人目の素数さん
20/04/24 14:21:12.65 G8hF3Q2u.net
>>384
↑訂正でした↓(´д`;)トホホ…
>知能指の知覚推理が135前後以上あれば…
知能指「数」の知覚推理が「IQ」135前後以上あれば…
397:132人目の素数さん
20/04/24 14:29:18.10 G8hF3Q2u.net
>361
>捨てておけない
それで
「白痴メンヘラDBSアル中BBA」をかまってくれちゃうんですよね…
((*¨))((*‥))ウンウン
♪矛盾無し。♪
398:132人目の素数さん
20/04/24 14:33:16.14 G8hF3Q2u.net
>379さんのいってる“荒らし”に…
ヂヂィッチャマがカウントされてる気がするw
399:論理狼 ◆y7fKJ8VsjM
20/04/24 15:21:38 BTmyP9va.net
演習
∀x(x + 0)=x ∀x∀y(x + sy)=s(x + y) ならば ∀x((0 + x)=x)
(規則MIを使用)
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
✓∃x¬((0 + x)=x) (結論の否定)
¬((0 + a)=a)
(0 + 0)=0
(0 + b)=b
¬((0 + sb)=b)
0 + sb=s(0 + b)
0 + sb=sb
×
QED
400:論理狼 ◆y7fKJ8VsjM
20/04/24 15:41:25 BTmyP9va.net
演習
∀x(x + 0)=x ∀x∀y(x + sy)=s(x + y) ならば
∀x∀y∀z[x + (y + z)]=[(x + y) + z]
(規則MIを使用)
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
✓∃x∃y∃z¬([x + (y + z)]=[(x + y) + z]) (結論の否定)
¬[a + (b + c)]=[(a + b) + c]
[a + (b + 0)]=[(a + b) + 0]
[a + (b + d)]=[(a + b) + d]
¬[a + (b + sd)]=[(a + b) + sd]
[a + (b + sd)]=[a + s(b + d)]
[a + s(b + d)]=s[a + (b + d)]
[(a + b) + sd]=s[(a + b) +d]
[a + (b + sd)]=[(a + b) + sd]
×
QED
401:ID:1lEWVa2s
20/04/24 15:43:20 Rhpk4LmW.net
>>389
素数の式か。
解けてないようにみえるが。
402:論理狼 ◆y7fKJ8VsjM
20/04/24 16:35:22 BTmyP9va.net
演習
∀x(x + 0)=x ∀x(0 + x)=x ∀x∀y(x + sy)=s(x + y) ならば
∀x∀y(sx + y)=s(x + y)
(規則MIを使用)
∀x(x + 0)=x
∀x(0 + x)=x
∀x∀y(x + sy)=s(x + y)
✓∃x∃y¬((sx + y)=s(x + y)) (結論の否定)
¬((sa + b)=s(a + b))
sa = sa+0
s(a+0) = s(0+a)
s(0+a) = 0+sa
0+sa = sa
sa + 0 = s(a + 0)
sa + c = s(a + c)
¬((sa + sc)=s(a + sc))
sa + sc = s(sa + c)
s(sa + c) = s(s(a + c))
s(a + sc) = s(s(a + c))
sa + sc = s(a + sc)
×
403:論理狼 ◆y7fKJ8VsjM
20/04/24 16:37:24 BTmyP9va.net
>>390
いや、足し算の結合法則だ
>>391の補題を証明したので
やっと足し算の交換法則が証明できる
404:論理狼 ◆y7fKJ8VsjM
20/04/24 16:48:26 BTmyP9va.net
演習
∀x(x + 0)=x ∀x(0 + x)=x
∀x∀y(x + sy)=s(x + y) ∀x∀y(sx + y)=s(x + y)
∀x∀y∀z[x + (y + z)]=[(x + y) + z] ならば
∀x∀y(x + y)=(y + x)
∀x(x + 0)=x
∀x(0 + x)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y(sx + y)=s(x + y)
∀x∀y∀z[x + (y + z)]=[(x + y) + z]
✓∃x∃y¬((x + y)=(y + x)) (結論の否定)
¬((a + b)=(b + a))
a + 0=0 + a
a + c=c + a
¬(a + sc=sc + a)
a + sc=s(a + c)
sc + a=s(c + a)
s(a + c)=s(c + a)
a + sc=sc + a
×
QED
405:132人目の素数さん
20/04/24 16:50:52 rcHJMCjA.net
それじゃ、自称おっちゃんもう寝る。
406:論理狼 ◆y7fKJ8VsjM
20/04/24 16:51:36 BTmyP9va.net
本日の成果
ロビンソン算術の加法の公理&規則MIから
加法の結合法則および交換法則を証明
乗法の結合法則および交換法則の証明は
・・・気が向いたらやるw
407:論理狼 ◆y7fKJ8VsjM
20/04/24 16:52:48 BTmyP9va.net
>>394
「自称」をつけるのは律儀だが
名前欄に書かないのは頑固だな
408:ID:1lEWVa2s
20/04/24 17:32:11 0xgAwaBU.net
僕もねりゅ。
409:132人目の素数さん
20/04/24 17:32:41 +5fH8L59.net
>>372
おサル、面白いやつだな
(引用開始)
(>>312より)
スレリンク(math板:295番)
>Note that this means, in particular, that there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>ー where n ranges over the natural numbers.
ヤベェ・・・IUT考案者 望月が
初歩的な誤り犯してることを発見しちまった
>we conclude that Vi ∈ V , for all i ∈ I
というのは正しいが、その場合
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は、正確には
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... Vm ∈ V (m∈N)
であるから、finite ascending chains of universes である
そもそもinfinite ascending chains of universesというならV抜きで
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
でいい
(引用終り)
「望月が
初歩的な誤り犯してることを発見しちまった」
って、笑えるわ
1.それ、査読終わった論文だよ?
2.玉川先生を筆頭に、査読者複数(数論のプロでIUTが読める数学者)が、査読完了だよ
(彼らは、おサルそれより上で、そんな単純なミスを望月先生、玉川先生以下、がんくび揃えて間違うわけあるまいにww)
3.それに、V:グロタンディーク宇宙って、論文中に望月先生が定義しているんだぜw おまえ意味わかっているか?(^^;
4.それより、おれが疑問に思っているのは、∈の元の帰属の記号だ。
V1 、V2・・・などは普通クラス(集合ではない)だから、包含関係の⊂の方が適切かとおもうのだがね(些末なことだがね)
まあ、とにかく、おサルの負けだなw(゜ロ゜;
410:論理狼 ◆y7fKJ8VsjM
20/04/24 17:34:14 BTmyP9va.net
スレリンク(math板:147番)
>アクセプトされ掲載されても、その後が大変
>ジャーナリストが嗅ぎつけだんだんスキャンダル事件になる展開
朝日新聞の記者
「実は今回のIUTの件、ひそかにキナ臭いとおもってたんですよ」
嘘こけw
411:論理狼 ◆y7fKJ8VsjM
20/04/24 17:44:15 BTmyP9va.net
>>398
会長たまらず 再書き込みw
>笑えるわ
そのセリフいうとき、いつも、顔、ひきつってるよねw
>それ、査読終わった論文だよ?
うん、だから査読がザル。だって初歩的な間違いだもんw
>玉川先生を筆頭に、査読者複数(数論のプロでIUTが読める数学者)が、査読完了だよ
玉川先生以下、査読者全員が、集合論の初歩も分かってないってことだね
いやー、これ恥ずかしいよ、マジでw
>それに、V:グロタンディーク宇宙って、論文中に望月先生が定義しているんだぜw
>おまえ意味わかっているか?
あんた、意味分かってないよね
Vが任意のVi(i∈N)を要素とするとしても、
Vが終端になる無限∈列はできないよ こんなん集合論の基本
分かんない奴は・・・学部からやり直したほうがいいな(マジ)
>それより、おれが疑問に思っているのは、∈の元の帰属の記号だ。
>V1 、V2・・・などは普通クラス(集合ではない)だから、
>包含関係の⊂の方が適切かとおもうのだがね
会長って・・・ホント馬鹿だねw
まずV1,V2・・・は全部集合です
集合論における最小のモデルの場合にはこんな集合は存在しませんが
かといって、いかなるモデルでも存在しない、とはいえません
ついでにいうと、クラスだとしても∈は使えます
クラスだから⊂じゃねとかいってるあんた
集合の基礎も分からん正真正銘の🐎㊎
412:0;野郎ですから~ 残念(バッサリ)
413:132人目の素数さん
20/04/24 19:57:33 9m+2fnQ5.net
>>400
>玉川先生以下、査読者全員が、集合論の初歩も分かってない
おサルの思考はいつも倒錯している。正しいことを間違っているといい、間違っていることを正しいというね、おサルは
>まずV1,V2・・・は全部集合です
分かっている。下記だな
間違ってはいないが、一方で何が言いたいのか?意味不明
後は、自分のスレで(^^
IUT応援スレより
スレリンク(math板:295番)-296
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である
グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである
最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる
すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている
すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。すると通常の集合論の独立変数が、すべての圏の圏に適用される
さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。"
この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している
414:論理狼 ◆y7fKJ8VsjM
20/04/24 20:53:26 BTmyP9va.net
スレリンク(math板:314番)
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
> ↓
>V0 ⊂ V1 ⊂ V2 ⊂ V3 ⊂ ... ⊂ Vn ⊂ ... ⊂ V
>この下の行のように、⊂を使う方が普通だと思うし
>(V1、V2・・・などはクラスだから、普通は集合ではないので、∈ は使わない )
会長・・・まだ∈と⊂が「まったく同じ」だと誤解してるのか
正真正銘の🐎🦌だなw
ま、∈を「集合の包含関係⊂」と誤解してるなら
「無限列?当然じゃん」と思うわな
しかし、∈は包含関係じゃなく所属関係だから 残念!!!
415:論理狼 ◆y7fKJ8VsjM
20/04/24 21:54:40 BTmyP9va.net
スレリンク(math板:316番)
IUTを守る会 会長 >>402に反論不能で無意味コメントw
416:132人目の素数さん
20/04/24 21:56:58 9m+2fnQ5.net
>>402
おサルは意味がわかっとらんな
V0 ⊂ V1 ⊂ V2 ⊂ V3 ⊂ ... ⊂ Vn ⊂ ... ⊂ V
の意味は、宇宙は上位互換ってことよ
つまり、0,1,2・・・などが、アレフ番号(?)に対応しているとせよ
V0 は可算濃度、 V1 は連続濃度、・・に相当するとせよ
V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
以下、V2、V3・・など同じだ
では問う
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
の意味するところを述べよ
答えられまいw(^^
うまく答えられたら、基礎論ではおれより上と認める
アホな答えなら、おれからツッコミが入るw(^^;
417:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 21:58:52 9m+2fnQ5.net
ああ、コテ抜けてたな(^^;
アレフ番号(?)
↑
?のところにアレフ記号書いたら、文字
418:化けした(^^;
419:論理狼
20/04/24 22:36:26.99 BTmyP9va.net
>>404
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>の意味するところを述べよ
誤りw
もし”∈V”を書かずに
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
と書けば、無限上昇列になる
なぜ、望月がわざわざ∈Vとかいて自爆したかは知らん
望月に訊け
ついでにいっとくが、会長の⊂の置き換えは🐎🦌そのものw
また「宇宙は上位互換ってことよ」も集合論が分らん🐎🦌のタワゴトw
420:132人目の素数さん
20/04/24 22:40:25.58 BTmyP9va.net
>>404
>V0 は可算濃度、 V1 は連続濃度、・・に相当するとせよ
>V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
>以下、V2、V3・・など同じだ
これはヒドイw
V0,V1,V2,V3…全て到達可能基数の宇宙
到達可能基数が唯一と思ってるなら
IUTを守る会のセタ会長は正真正銘の🐎🦌
421:論理狼
20/04/24 22:43:30.42 BTmyP9va.net
>>404
>うまく答えられたら・・・
🐎🦌は自分が天才だと自惚れる悪癖がある
>アホな答えなら、おれからツッコミが入る
🐎🦌はリコウぶった🐎🦌発言でさらに恥をかく
🐎🦌がリコウになることはあり得ないwww
422:132人目の素数さん
20/04/24 22:50:58.22 zkcRGLXo.net
>>>>V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
吹いただろそんな宇宙あるかよwwwwwwwwwwwww
連続濃度が強到達不能基数になること示してみろw
423:論理狼
20/04/24 22:55:57.74 BTmyP9va.net
はっきりいって、査読者が集合論を理解していたなら
IUT論文 IV の Section 3
"Inter-universal Formalism:the Languege of Species"
は全文削除だな
初歩的誤りがあり全然無意味
424:132人目の素数さん
20/04/24 23:00:31.26 zkcRGLXo.net
>>410
じいちゃんお前が分かってないんだよ
コロナにかかって死ぬなよ
425:論理狼
20/04/24 23:08:38.96 BTmyP9va.net
>>411
「V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む」
と書いたのは私ではなく◆e.a0E5TtKE
だいたい、望月が
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が無限列になる、とか書いてる時点で、初歩的な誤り
そしてそれを見過ごす査読者も全く仕事してない
こんなの、学部生でも間違いだと分かるぞ
426:現代数学の系譜 雑談
20/04/24 23:22:14.62 9m+2fnQ5.net
>>409
>>>>>V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
>吹いただろそんな宇宙あるかよwwwwwwwwwwwww
>連続濃度が強到達不能基数になること示してみろw
? 意味分からん
単に「宇宙」と言ったときには、強到達不能基数は必ずしも必要としない(下記ご参照)
URLリンク(ja.wikipedia.org)
グロタンディーク宇宙
(抜粋)
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
あと、集合論の「宇宙」(universe)は、下記 Kenneth KUNEN.1980のPDFでもどうぞ
なお、和訳 藤田博司先生の「キューネン数学基礎論講義」を併読すると良いと思う
(藤田博司先生のは、大学図書館などにあるだろう)
URLリンク(blacaman.tripod.com)
SET THEORY. An Introduction to Independence Proofs. Kenneth KUNEN.1980
URLリンク(books.google.co.jp)
427:ab84_7oAhUjIqYKHQCwDR0Q6AEILjAB キューネン数学基礎論講義 ケネス・キューネン 翻訳 藤田博司 日本評論社, 2016 - 378 ページ 名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
428:132人目の素数さん
20/04/24 23:22:28.76 zkcRGLXo.net
最後のVがどういう意味で書かれているかわからないが本文と関係ないし
査読者になってもどうでもいいと感じるけど
Vを書かずに無限列の存在仮定でいいのでは
429:現代数学の系譜 雑談
20/04/24 23:25:00.15 9m+2fnQ5.net
>>413
下記を追加しておく
読んでからレス頼む
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
数理論理学において、構造 (もしくはモデル) の宇宙(うちゅう、英: Universe)とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
430:現代数学の系譜 雑談
20/04/24 23:28:30.35 9m+2fnQ5.net
>>414
>査読者になってもどうでもいいと感じるけど
査読者が気付いたら、指摘はするだろうな
どうでも良いことだが、ケアレスミスにしても(誤字脱字に同じ)、論文の瑕疵にはなるから
>Vを書かずに無限列の存在仮定でいいのでは
Vを書いてもいいだろう?
意味わからん
431:132人目の素数さん
20/04/24 23:31:02.33 zkcRGLXo.net
などと、査読を一度もしたことがないであろう
ものがかたっておりますので
査読依頼等の過程の例を語ってください
432:132人目の素数さん
20/04/25 00:14:01.65 asnl0I6U.net
>>412
>だいたい、望月が
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>が無限列になる、とか書いてる時点で、初歩的な誤り
あのねえ、別にIUTを擁護する気は無いんだけどこの指摘は流石にナンセンスだよ
こんなの「Vi ∈V (任意のi∈N)かつV0 ∈ V1 ∈ …」を横着して書いてるだけじゃん
基本的に論文は最大限汲み取って読むべきものだし、そもそもこの程度のものはミスでもなんでもない
433:132人目の素数さん
20/04/25 00:40:03 nULhaJry.net
よくわからないけど、それってZFCで集合になるの?
なんかラッセルのパラドックスみたいな問題が起きそうじゃない?
434:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 07:23:57 b0fzLo6k.net
>>417
おれは、査読はしたことがないが
査読されたことは何度かあるよ、数学じゃないが
専門誌に論文を送る
査読者から、意見が来る
それに回答する
掲載決定になる
例えば、一度「これこれで、掲載できない」という意見が来て
それに対して、反論というか説明をして掲載になった経験がある
まあ、似たようなものじゃね?
435:論理狼 ◆y7fKJ8VsjM
20/04/25 08:41:57 ReTz6AXc.net
>>414
>最後のVがどういう意味で書かれているかわからないが
な、分からないだろ? 書かなきゃいいのにw
>本文と関係ないし
関係ないなら、全文カットだなw
>査読者になってもどうでもいいと感じるけど
どうでもいいなら、全文カットだなw
>Vを書かずに無限列の存在仮定でいいのでは
∈無限列の存在なら、Vを書いてはいけない これが真理
でも、そもそも∈無限列 使わないんだろ? じゃ要らねえじゃんw
436:論理狼 ◆y7fKJ8VsjM
20/04/25 08:43:30 ReTz6AXc.net
>>416
>>Vを書かずに無限列の存在仮定でいいのでは
>Vを書いてもいいだろう?
ダメ。Vを書いた瞬間、無限列でなくなる
それが分らん貴様は正真正銘の🐎🦌
437:論理狼 ◆y7fKJ8VsjM
20/04/25 08:48:40 ReTz6AXc.net
>>418
>>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>こんなの「Vi ∈V (任意のi∈N)かつV0 ∈ V1 ∈ …」を横着して書いてるだけじゃん
これだけなら、そういう言い訳も成り立つが、この後
「無限降下列ガー」とか「∈-loops ガー」とか言ってるから
文字通りの意味だと思ったほうがいい
つまりガチで◆e.a0E5TtKEレベルの
ド素人的勘違い�
438:ニしてる可能性大 だいたい、勘違いを引き起こす表記なら 査読者が指摘して修正させる必要がある そうしてない時点で査読者も同じ勘違い をしてる可能性大 ヤベェ、数論幾何、マジヤベェw
439:論理狼 ◆y7fKJ8VsjM
20/04/25 08:53:00 ReTz6AXc.net
>>419
>よくわからないけど、それってZFCで集合になるの?
ZFCに到達不能基数の存在公理を追加すれば認められる
>なんかラッセルのパラドックスみたいな問題が起きそうじゃない?
今のところ、問題は起きていない
440:論理狼 ◆y7fKJ8VsjM
20/04/25 09:00:42 ReTz6AXc.net
IUTを守る会 会長の日本語読解力じゃ
予想を提示しただけで、「証明した!」
といいそうな勢いで、マジヤベェw
スレリンク(math板:356番)
>多分、Sato-Tate予想の解決、みんな正しいと思っている(下記リンク)
>論文読まないでもねw(^^;
URLリンク(ja.wikipedia.org)
おまえ、よくそういう嘘が平気でつけるね 🐎🦌?
リンク先のどこをどう読んでも
「みんな正しいと思ってる」なんて書いてないどころが
逆に「これじゃ、正しいって云えねぇよな」って雰囲気じゃん
おまえ、日本語読めないの?
441:132人目の素数さん
20/04/25 09:04:47 QwbpAiRF.net
>>423
参考までに論文のどこに出て来てるのか教えて
442:論理狼 ◆y7fKJ8VsjM
20/04/25 09:13:19 ReTz6AXc.net
>>426
・V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
→IUT論文 IVの§3の本文冒頭 p67 及び Remark3.1.4 p71
・無限降下列云々
→IUT論文 IVの§3の本文 p68
・∈-loops
→IUT論文 IVの§3のRemark3.3.1 p74
443:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 09:20:40 b0fzLo6k.net
>>421
Vの定義は、別に書いてあるよ
グロタンディーク宇宙だよ
444:論理狼 ◆y7fKJ8VsjM
20/04/25 09:22:03 ReTz6AXc.net
スレリンク(math板:355番)
>私ら、ヤジウマ応援団ですよ
>Jリーグの応援みたいなもので、
>みんなでエール送ったりしているのです
>「RIMS、がんばれ!」みたいな
そもそもなんで、不可解な論文書く「半外人」とか
そんな論文をロクに査読もせずアクセプトする
如何わしい「組織」とかを応援するの?
サイコパス?
445:論理狼 ◆y7fKJ8VsjM
20/04/25 09:24:57 ReTz6AXc.net
>>428
VだけじゃなくVi (i∈N)全部がグロタンディク宇宙だが
どうしても認めたくないのか?この🐎🦌はw
分からないといってるのは「Vが何か?」ではない
なんで、わざわざ「∈V」とかいう余計な2文字を書いたか、だ
自爆だろ?
446:132人目の素数さん
20/04/25 10:11:32.90 dUEBtaY/.net
☆YO-DA!☆ッチャマが降臨してたw
週末はちゃんとした人が現れるの法則?
w
447:論理狼
20/04/25 10:36:01.88 ReTz6AXc.net
>>431
BBAのいうことはいちいちわからん
誰がヨーダだって?
448:論理狼
20/04/25 10:38:16.99 ReTz6AXc.net
ちなみ、与田っちょといえばこのコだぞ
URLリンク(www.youtube.com)
449:132人目の素数さん
20/04/25 10:41:18.40 dUEBtaY/.net
「BBA」っていうから
教えな━━━ぃ! w
怒レ怒レ…(*“)フッ…✳゜
450:132人目の素数さん
20/04/25 10:42:05.66 Aut7D1nk.net
>>423
数論幾何や代数幾何やってる殆どの人はきちんとしてるんだが、
IUTの失敗で数論幾何全体が厳密でないみたいになるのはちょっと残念だな
451:論理狼
20/04/25 10:42:54.13 ReTz6AXc.net
>>434
やれやれ
・・・更年期障害か
452:論理狼
20/04/25 10:45:22.03 ReTz6AXc.net
>>435
>殆どの人はきちんとしてるんだが
わかってますって
でも、分野外、とくに集合論とか論理のことになると
とたんに信じられないほど粗雑になるのも
基礎論以外の数学のどの分野でもありがちな傾向かと
453:132人目の素数さん
20/04/25 10:56:11 Aut7D1nk.net
>>437
そうか?
数論幾何は読んだことないけど代数幾何の本とか論文を読んでるとそんなミスは殆どない
何よりグロタンディークが非常にロジカルな人だったしね
ネットだとたまに粗雑どころか逆ギレする人がいるけど、せいぜい修士卒で道を終えたような人間だろう
454:ID:1lEWVa2s
20/04/25 11:12:40 UBlOy0QO.net
>>438
僕は中卒ですが。
455:132人目の素数さん
20/04/25 11:18:56 dUEBtaY/.net
٩(”*)ว>>439))
チョット一緒ニ出カケテコョゥネ…♪
456:132人目の素数さん
20/04/25 11:32:09 dUEBtaY/.net
|*“))←2m→(>>438)
博士…IUTTは“失敗”しちゃってるんでしょうか?
457:132人目の素数さん
20/04/25 11:34:50 dUEBtaY/.net
⊃♀))(>>436)
(↑鏡)
458:論理狼 ◆y7fKJ8VsjM
20/04/25 11:36:44 ReTz6AXc.net
>>438
>そんなミスは殆どない
そりゃそうよ 集合論の話なんかしないでしょ
>何よりグロタンディークが非常にロジカルな人だったしね
でも、フォーシングとかは知らんと思うよ
ネットでも実社会でもおかしな人ほど大騒ぎする
修士どころが理学部数学科卒でもない
一般教養の数学も怪しい工学部卒とかw
459:論理狼 ◆y7fKJ8VsjM
20/04/25 11:38:10 ReTz6AXc.net
>>442
だからよくわかる( ̄ー ̄)ニヤリ
昨日は右耳の聞こえが悪かった・・・幸い回復したが
460:ID:1lEWVa2s
20/04/25 11:51:42.28 Y7zAeKU+.net
URLリンク(youtu.be)
461:132人目の素数さん
20/04/25 12:04:34.84 dUEBtaY/.net
>>444
ヂヂィッチャマ寝る前にお風呂でバスタブ浸かってゆっくり入浴して寝てみて?
血行を良くして身体を冷やさないように、って。
循環と代謝を良くするように生活して下さ~ぃ。。。
※ちゃんと白湯とかOS-1とかで入浴前中後に水分+ビタミンC補給をしっかりしてください!
462:132人目の素数さん
20/04/25 12:13:31.94 dUEBtaY/.net
追伸
夕食は温野菜や煮魚や大豆製品を摂ると良いみたいです…(←アレルギーの方はダメ。)
お肉は鶏胸肉(成長ホルモン未使用※国産鶏胸肉とか)が良いみたいです。。。
良く加熱してお召し上がり下さい。
いつまでも元気なクソヂヂィッチャマで勢い良くスルルェ回しして下さ~ぃ♪
463:論理狼
20/04/25 12:14:13.21 ReTz6AXc.net
>>446
あんた・・・いいヤツだなあ
ありがとう、BBA(一言余計!!!)
464:132人目の素数さん
20/04/25 12:19:32.35 dUEBtaY/.net
(ヂヂィッチャマを狙ってるから…)
(^^)ニヤリ
465:132人目の素数さん
20/04/25 12:20:41.77 dUEBtaY/.net
(一言余計…魂胆バレバレ…)
466:論理狼
20/04/25 12:21:03.57 ReTz6AXc.net
スレリンク(math板:359番)-362
会長、わかりもしない論文にグダグダ拘泥w
IVの§3なら
∈-structureとか、∈-loopsとか
言わなきゃどうってことなかったのにな
査読者も要らん記述は削除するよう云えよ
なんも仕事してないな
467:132人目の素数さん
20/04/25 13:19:53 nULhaJry.net
>>424
代数幾何とか圏論とか全然わからない素人なんだけど、今の数学って、
ZFC + 到達不能基数の存在公理 (ZFCU?)
の上で考えられているの?
つまり、IUTが正しかったとしても、それはZFCよりも(より多くの公理が必要という意味で)狭い世界で成り立つ話であって、
純粋なZFCの世界では考えられない話なの?
例えば、フェルマーの最終定理も、ZFCよりも狭い世界では証明されたけど、純粋なZFCの世界では証明されていないと考えるべき?
468:論理狼 ◆y7fKJ8VsjM
20/04/25 13:55:05 ReTz6AXc.net
>>452
集合論じゃなきゃ、今の数学で到達可能基数の存在公理は要らないんじゃね?
IUTの話なら本スレで訊きなよ
間違っても応援スレにはいくなよ
あそこは「保育園」だからw
469:132人目の素数さん
20/04/25 14:11:14.36 nULhaJry.net
>>453 到達不能基数のWikipedia見たら、 >到達不能基数による真クラスの存在性 >… > ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される >(これは ZFC に urelements を付け加えたものと混同しないように注意)。 > この公理系は、例えば全ての圏は 適切な米田埋め込み(en:Yoneda embedding)を持つということを証明するのに役立つ。 とか書いてあるから、圏論の周辺では到達不能基数の存在公理が仮定されているのかなと思って この記述が正しいかどうかはわからないんだけど https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
471:論理狼 ◆y7fKJ8VsjM
20/04/25 14:54:47 ReTz6AXc.net
>>454
本スレで訊きなよ
472:132人目の素数さん
20/04/25 15:00:26 6wmAgSBh.net
>>443
俺が読んだ代数幾何の本では、エタール位相をuniverse Uに属するスキームのみを用いて構成すれば、エタールサイト(スキームX上エタールなUに属するスキームとエタール位相の組)上の層F,F'に対してHom(F,F')が集合であるという注意が書いてあった
こんな感じで何も書いてない方が珍しいんじゃないかな
それでもIUTみたいなミスは見たことないし、代数幾何(を含む数論幾何)研究者のほとんどはきちんと理解してると思うよ
473:ID:1lEWVa2s
20/04/25 15:07:31 LLArYwLp.net
>>443
僕は中卒ですが。
474:132人目の素数さん
20/04/25 15:35:02 56hvO4NK.net
>>427
お前本当に論文読んだのかよ
無限降下列はないて書いてるじゃん
475:論理狼
20/04/25 16:01:21.40 ReTz6AXc.net
>>456
だったら、玉川に言ってやれば?
「ちゃんとやってくださいよ!
でないと、僕たち代数幾何を学んでる者が
馬鹿にされるんですよ!!!」
って
476:132人目の素数さん
20/04/25 16:01:49.21 56hvO4NK.net
>>423
無限降下列について言及はあるけど、それは正則性公理から存在しないから気をつけてね論文自身に書いてるじゃん
あたかも望月自身がそれがあると信じるかのように書くとか捏造にも程がある
こんな読み間違い普通はしないよ
明確な悪意をもって嘘をつくとか最低だわ
477:132人目の素数さん
20/04/25 16:03:36.45 56hvO4NK.net
望月は集合論分かってねえと書くやついたけれど、分かってねえがこのレベルなら、否定派の方が確実に分かってねえわ
478:論理狼 ◆y7fKJ8VsjM
20/04/25 16:05:10 ReTz6AXc.net
>>458
読んだよ その文章も読んだ
問題は、わざわざそこに言及したこと
つまり
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
ではなく
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が、無限上昇列だとおもってるから
Vから逆に降りる列を考えたんだろう?
しかし、そこまでいうんなら、そもそも
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が無限列にならないことに気づけよw
大学1年生かよw
479:論理狼 ◆y7fKJ8VsjM
20/04/25 16:06:49 ReTz6AXc.net
>>460-461
全て君の妄想
>>462に書いてあげたから よく読もうね
480:132人目の素数さん
20/04/25 16:14:11 56hvO4NK.net
>>462
あのさ、順序数とか分野じゃ
1,2,...,ωて書いたりするから別におかしくはないんだよ
それと論文中にないてこと書いてるにも関わらず、そのことについてレスで言及にしないのは明らかにミスリードを狙ってるよ
481:論理狼 ◆y7fKJ8VsjM
20/04/25 16:14:49 ReTz6AXc.net
蛇足
URLリンク(www.ivis.co.jp)
p77 参考:圏論の集合論的基礎を探して
• 圏論では集合の圏 Sets,群の圏 Grps,圏の圏 Cats など
様々な大きさの集まりを圏として扱う
• VGB や Kelley-Morse set theoryでは Sets, Grps は扱うことができるが,
クラスがクラスの要素になれないてにCats は扱えない
• Ackermann set theory ではクラスもクラスの要素になれるが,
Catsは扱えない(この中では一番有望であるが)
• 圏論に
482:集合論的基礎を与えることに関する論文を2つ挙げておく F.A. Muller, "Sets, Classes, and Categories" British Journal for the Philosophy of Science 52 (2001) 539-573 Ackermann set theory に手を入れた ARC という集合論を提案している. Michael A. Shulman, "Set theory for category theory” arXiv, 2008 ジャーナル論文ではないみたい.informal paper と言っている.
483:論理狼 ◆y7fKJ8VsjM
20/04/25 16:18:50 ReTz6AXc.net
>>464
>順序数とか分野じゃ1,2,...,ωて書いたりするから別におかしくはないんだよ
上記では、∈は書いてないね
もし1∈2∈…∈ωと書いたら、ウソだよ
だって”∈ω”の左側に何も書けないだろ?
何か自然数を書いたっていいけど、その場合有限列だよな
でも無限列と断言したんだよな? だったらウソじゃんw
484:132人目の素数さん
20/04/25 16:28:31 56hvO4NK.net
>>466
”∈”で線型順序をなしてωはその最大値てわかるやん
論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから、そんな読み間違い起こさないよ
だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意してねと書いてるわけでしょ
これから集合論理解してないなんて言えないでしょ
485:論理狼 ◆y7fKJ8VsjM
20/04/25 16:37:42 ReTz6AXc.net
>”∈”で線型順序をなして
自然数は線形順序(=全順序)というだけではないよ、整列順序だから
>ωはその最大値てわかるやん
ωは自然数ではないけど 大学で習わなかった?
>論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、
>V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから
読んだよ
V_i∈Vと断るなら、無限列の最後の∈Vは要らんよね 意味ないから
何で書いたの?
>だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意してねと書いてるわけでしょ
もしVを書かなければ、そういう馬鹿な発想は思いつかんよね
だって、列のどの要素Viも自然数iで番号付けされてるから
当然どこから始めても有限列になる
要するに、無限列の最後に∈Vと書いたのが致命的
ところで∈-loopsの件はノーコメントか?
当然読んだだろ?弁解不能か?そりゃできるわけないよなw
486:論理狼 ◆y7fKJ8VsjM
20/04/25 16:41:38 ReTz6AXc.net
いっとくけど、基礎の公理のない集合論を考えたいならそうしたっていいよ
別に、基礎の公理がないと矛盾する、とかいうことはないから
でも、IUTで∈-loopsが必要なわけではないんだろ?
simulate ∈-loopsって書いてあるけど、loopならいいんだろ?
だったら∈なんて一切語らなければいいじゃん
いったい、何がしたいの?
487:論理狼 ◆y7fKJ8VsjM
20/04/25 16:47:50 ReTz6AXc.net
スレリンク(math板:375番)-376
どうやらIUTを守る会 会長も
IVの§3がuntouchableだと
気付いたようだな( ̄ー ̄)ニヤリ
なんでこの節載せたのかね
載せるにしても∈に関する一連の説明は結局無意味だよね
削除したほうがいい、っていわなかったのかね?
488:132人目の素数さん
20/04/25 16:53:58 56hvO4NK.net
>>468
いやあのさ、ここでの大小関係て順序数での比較なのは明白なんだからωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ。。
一応書いとくとωは自然数全体の集合ね
ωはω∪{ω}で最大値だよ
V_i∈…Vて書いたのは、∈で最大をとることの強調だろうよ
ε-loopそのものも明確にねえて論文P74で書いてるだろ
だけれどある種の類似物をこれから作ろうて話じゃん
わざわざ書かなかったのは無限降下列を指摘すりゃあ十分だと思ったからだよ
マジで悪意のある切り取りが好きなんすねえ
489:132人目の素数さん
20/04/25 16:56:13 LKPY7+kk.net
たとえば順序数の文脈なら
1∈2∈…∈ω�
490:ヘ正しいし無限個の順序数が現れてるから無限列ってのも間違ってない 論理狼さんが「無限列はa1,a2,…の形だけが正しくて最大元が最後に現れてる↑のものは無限列と呼ばない!」って考えるのは自由だけど これを無限列と呼ぶのは別に間違いじゃないと思うよ
491:論理狼 ◆y7fKJ8VsjM
20/04/25 17:01:10 ReTz6AXc.net
>>471
>ここでの大小関係て順序数での比較なのは明白なんだから
誤 順序数
正 自然数(=有限順序数)
>ωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ
そもそも、ωを持ち出すことが的外れなんだが、自覚ないのか?
>ωはω∪{ω}で最大値だよ
一方、ωはωの要素ではない ωに最大値は存在しない 大学で習わなかった?
492:論理狼 ◆y7fKJ8VsjM
20/04/25 17:03:35 ReTz6AXc.net
>>471
>ε-loopそのものも明確にねえて論文P74で書いてるだろ
読んだよ
>だけれどある種の類似物をこれから作ろうて話じゃん
問題は、なぜ「∈-loopsの類似物」という必要があるのか?ってこと
そんなこという必要ないよね? 頭冷やせよ ドライアイスでw
493:論理狼 ◆y7fKJ8VsjM
20/04/25 17:09:03 ReTz6AXc.net
>順序数の文脈なら1∈2∈…∈ωは正しいし
もしどうしてもそう書きたいのなら、
極限順序数ωについて”∈ω”と書く場合には
∈の左側には項が存在せず、無限列が記載される
という定義を示すべきだね
それを君は文脈という言葉でゴリ押ししたいんだろうけど
あの論文でそれは通用しないな
494:論理狼 ◆y7fKJ8VsjM
20/04/25 17:12:15 ReTz6AXc.net
>>472
>「無限列はa1,a2,…の形だけが正しくて
> 最大元が最後に現れてる↑のものは無限列と呼ばない!」
> って考えるのは自由だけど
なんで∈を抜いたのかな?
∈を入れないんなら、1,2,・・・,ωと書いても問題ないよ
∈があるから左の項と右の項がある筈、ということ
頭 真空なのかな?
495:132人目の素数さん
20/04/25 17:13:07 56hvO4NK.net
>>473
何でお前が勝手に正誤判定してるんだ
文脈的に順序数だったのは明白だったぞ。。
自然数での比較なら順序数なんて言葉は持ち出さねえよ
ωを持ち出したのはV_1∈V_2∈…∈Vの順序構造はω+1と同じだから持ち出したんだよ
ωはωの要素でないのは百も知っとるわ
だからω+1の中で最大と書いたんだけれど文章読めない人?
君は大学行く以前にもう一度義務教育やり直した方がいい
496:132人目の素数さん
20/04/25 17:14:27 56hvO4NK.net
>>474
精神としては集合論では存在しない∈loopに似てるから持ち出したんでしょ
馬鹿なのかな
497:ID:1lEWVa2s
20/04/25 17:17:01 t1bR/tIL.net
本は数学の基礎ですか。
498:論理狼 ◆y7fKJ8VsjM
20/04/25 17:18:00 ReTz6AXc.net
>>477
>文脈的に順序数だったのは明白だったぞ
それ妄想
>V_1∈V_2∈…∈Vの順序構造
あのな、∈は”、”じゃないんだよ 単なる区切りの文字じゃない
∈と書くからには(<でも⊂でも同じだけど)左の項と右の項が要るの
分かるかな?
499:論理狼 ◆y7fKJ8VsjM
20/04/25 17:21:49 ReTz6AXc.net
>>478
>集合論では存在しない∈loopに似てるから持ち出したんでしょ
存在しないものに似てるってナンセンスだな
論文を読む限り∈ーloopsは集合論ではできないから”シミュレート”するとあるが
そもそも”シミュレート”を強調する必要があるのか?
ただのループではいかんのか?なぜいかんのか?君は説明できるのか?
説明できないんなら黙れよ 意味ないから
500:132人目の素数さん
20/04/25 17:22:49 56hvO4NK.net
マジで集合論とか順序数分からなかったのか、分かっててあえて難癖つけてたのかは知らんけど
5chでIUT論文について、集合論的に間違ってるとかいう奴はこのレベルなんだなあということが分かったわ
マジで論文の成否とは無関係なところで突っ込んでいた
ていうかすぐに分かるような間違いなら、それまでに本職の数学から当然ツッコミが入るはずで、8年間もあってるのかあってないのか分からねえみたいな状態になるはずないんだよな
501:論理狼 ◆y7fKJ8VsjM
20/04/25 17:27:09 ReTz6AXc.net
>>482
論文の成否と関係あるかどうかは知らんw
関係ないなら、無駄に突っ込まれる箇所は削除するのが当然だろう
まあ、査読者に対して最大元贔屓目に見れば
「ここは著者がinter-universeを考えた動機についての説明だから
結果として見当違いだった思考の跡についての記述も残しておくべきだろう」
と考えたのかもしれん
無駄な気遣いだけどな
502:132人目の素数さん
20/04/25 17:28:08 56hvO4NK.net
>>480
文脈的には明らかだったんだけど、義務教育を全うしたか怪しい君には難しかったようだね
君のことを買いかぶりすぎてた俺が悪かったよ、ごめんね
「1<2<3<...<ω」て書くのは誤りで
「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は
分かりにくいし、大変そうだけど頑張ってね
503:論理狼 ◆y7fKJ8VsjM
20/04/25 17:32:27 ReTz6AXc.net
結局、inter-universeそのものは∈と無関係なんだろ?
だったら§3の記述は無駄なおしゃべりを割愛してスッキリと書くべきだな
∈の無限上昇列も無限下降列もループも要らない
グロタンディク宇宙はあってもいいかもしれんが、
そもそも取り替えたいのは本当に宇宙全体なのか?
もっと真面目に考えたほうがいいんじゃないのか?
504:132人目の素数さん
20/04/25 17:34:32 56hvO4NK.net
>>481
いや知らんけど明らかに悪意持って捏造してるレスみたら、それは捏造ですよと注意しただけだよ
505:論理狼 ◆y7fKJ8VsjM
20/04/25 17:35:41 ReTz6AXc.net
>>484
>「1<2<3<...<ω」て書くのは誤りで
>「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は
「1<2<3<…」かつ「任意の自然数nについてn<ω」の場合、
便宜的に「1<2<3<...<ω」と書くと定義するなら、そうしてもいいよ
ただそういう表記は、極限順序数であるωに、
あたかも前者となる順序数が存在するかのごとき
誤解を与える点で有害無益だと思うがね
君は、ωに前者がないこと、俺にいわれるまで知らなかっただろ(嘲)
506:132人目の素数さん
20/04/25 17:35:56 56hvO4NK.net
>>483
IUTが正しいかは分からんけど、君の考えが見当違いになってたのは分かる
507:132人目の素数さん
20/04/25 17:36:10 ZB44qZOw.net
>>480
∈が順序関係になってる場合(例えば順序数全体で∈を考える)だとV1∈V2∈…∈Vはおかしくないでしょ
実数の体系でa1<a2<…aって書くのと同じことだよ
508:論理狼 ◆y7fKJ8VsjM
20/04/25 17:37:56 ReTz6AXc.net
>>486
悪意も善意もない
そもそも望月の文章が、読者をミスリードしかねない危険なものだと指摘した
自分が間違えた経験をそのまま書いてるだけかもしれんが、
もしそうなら、愚劣の極みだな
509:132人目の素数さん
20/04/25 17:38:46 GoU2jl6o.net
>>487
>ただそういう表記は、極限順序数であるωに、
>あたかも前者となる順序数が存在するかのごとき
>誤解を与える点で有害無益だと思うがね
だんだん批判のトーンが下がって来てるねw
単にあなたがややこしいと思ってただけでしょ、集合論の本でもこの程度の書き方は特に不自然とは思わない
510:132人目の素数さん
20/04/25 17:38:58 56hvO4NK.net
>>487
いや知ってだけど
そもそもωをわざわざ持ち出す人が知らないわけないじゃん
知らなかったのはむしろ君で、それ誤魔化すために書いたのかな笑
511:論理狼 ◆y7fKJ8VsjM
20/04/25 17:41:26 ReTz6AXc.net
>>489
粗雑な表現を漫然と受け入れてると、必ずつまづくよ
512:132人目の素数さん
20/04/25 17:45:10 56hvO4NK.net
>>490
あのさ、無限降下列も∈loopも、正則性公理からそれ自身はありませんてP68とP74で明確に書いてるのに、どうミスリードされるんだ?
君はスレを読んでた人をミスリードさせようとしてたのに、よう言えるなそんなこと
513:論理狼 ◆y7fKJ8VsjM
20/04/25 17:46:02 ReTz6AXc.net
>>491
>だんだん批判のトーンが下がって来てるねw
いや、まったく下がってない 上がりまくってるがw
無限上昇列があるというだけなら わざわざ∈Vをつける必要がない
無限下降列が存在しない、とか∈ループが存在しないというのにもVは必要ない
上記2点を否定することは絶対にない
514:論理狼 ◆y7fKJ8VsjM
20/04/25 17:49:04 ReTz6AXc.net
>>494
わざわざVを持ち出して、無限上昇列の最後に「∈V」とつけてる時点で
「もしかしたらVから無限下降列がつくれて、
VからVへのループもできそうなのにおしい」
という気持ちがありありと感じられるから
「そういう妄想、要らんから」
といってるだけ 何がしたいんだ?望月
515:ポス毒
20/04/25 17:49:32 6oPh/Rfv.net
IDころころ変わるからコテ付けます
>>495
それだけだったらminor revisionといて提案する程度の事柄だね…
(個人的にreviseする必要があるとは思えないけど)
こんな部分を突いても論文の批判としては無価値だと思うよ
516:論理狼 ◆y7fKJ8VsjM
20/04/25 17:52:28 ReTz6AXc.net
>>486
>いや知らんけど
結局 56hvO4NKはloopについては何も語れてないな
顔洗って出直してこいよ ま 別に戻ってこなくていいけどw
517:132人目の素数さん
20/04/25 17:54:37 56hvO4NK.net
>>496
それと似たような操作したいて話なわけでしょ
そんな�
518:フありえねえと君が批判するのは自由だけれど、論文の一部分だけを切り出して、しかもその論文中で明確に否定してることを、「論文にはこんな記述があるから間違ってる!!」とかミスリードにもほどがあるでしょ そのようなミスリードは批判されるべきものだよ
519:132人目の素数さん
20/04/25 17:55:11 yxjK8Qim.net
revisionする必要すらない内容なら書かなければいいと思うんですがそれは
520:132人目の素数さん
20/04/25 17:56:01 56hvO4NK.net
>>498
君が気持ちよくスレ民ミスリードしてたところを、それミスリードだからと暴いてしまってごめんねー
521:論理狼 ◆y7fKJ8VsjM
20/04/25 17:56:58 ReTz6AXc.net
>>497
わざわざHNつけるほどの話じゃないよ やめときな
もちろんこんなのは些細なことだよw
ただ、こんなところでケチつけられんのは、イヤだろ?
それだけのこと
もう コテ外していいよ あんた研究者なんだろ?
5chみたいな地獄に来るもんじゃないよ 時間の無駄だから
まあ IUTについて素人に分かりやすい説明してくれるんなら有難いが
そういうのはIUTの本スレでやりなよ ここは「変態収容所」だからw
522:論理狼 ◆y7fKJ8VsjM
20/04/25 17:58:47 ReTz6AXc.net
>>501
ん?君結局、loopについては語れないんだろ?
ここに書く意味、ないじゃんwwwwwww
523:132人目の素数さん
20/04/25 17:58:58 d2+O8E/0.net
>>502
批判に耐えきれなくなって、とうとう「自分はあえてキチガイを演じていただけなんですが」というスタンスに変えたか
悲しいねえ
524:132人目の素数さん
20/04/25 18:00:16.74 56hvO4NK.net
>>503
ミスリードしてるレスに対して、それミスリードしてると指摘することには意味があるよ
525:論理狼
20/04/25 18:02:40.82 ReTz6AXc.net
批判?どれもこれも見当違いなので、全然痛くも痒くもありませんがw
むしろ「文脈」とかいいだす時点で
「なんだ結局俺の云ってること実質的に認めてんじゃん」
と思ってるけどな ま、当然だけど
ポスドクが5chなんか見てちゃダメだよ 脳味噌腐るからw
526:論理狼
20/04/25 18:05:00.42 ReTz6AXc.net
>>505
肝心なことに答えないねw
望月の論文 IUT IVの§3のloopの理論全体における必要性について、
君は全然説明できてないけど、要するに君IUTが分かってないってこと?
527:132人目の素数さん
20/04/25 18:06:15.03 yxjK8Qim.net
改訂する必要すらない内容を論文に載せるくらいなら、
それこそ「心の一票」にでも書けばいいと思うんだが
まあアクセプトされた際の会見で「既存の公理体系の上です」とか何とか言ってたし宇宙公理の件は本当にカットしてるかもしれない
あるいはCor 3.12以降をカットしていればSSも認める正しい論文だな
528:ポス毒
20/04/25 18:06:47.18 QqbM/om7.net
>>502
>もちろんこんなのは些細なことだよw
>ただ、こんなところでケチつけられんのは、イヤだろ?
>それだけのこと
こんな些細なところをつついてると「IUTの批判は実は大したことないのでは?」と思われそうで心配だよ
Woitのブログで展開されてるような真っ当な批判の方が埋もれてしまう
要するに狼さんの批判が藁人形に使われるってことね
529:論理狼
20/04/25 18:06:50.72 ReTz6AXc.net
云っとくけど、別にloopとやらがあってもいいよ
∈-loopと全然無関係ならね
関係なくていいんでしょ?だったら∈-loopとか云う必要ないよね?
ただそれだけだよ 何発狂してんの?君たちwwwwwww
530:132人目の素数さん
20/04/25 18:08:33.22 56hvO4NK.net
>>507
当たり前じゃん、分かってないよ
けれど君の>>423のレス内容にある「望月先生は無限降下列や∈loopが文字通りあると思ってる」という趣旨の内容について、それは論文中で明確に否定されてるねと書いてるのよ
531:論理狼
20/04/25 18:09:03.74 ReTz6AXc.net
>>509
真面目な批判のネタがあるならIUT本スレでお書きください
変態収容所で粋がっても無駄だから
ついでにいうけど、真面目にやりたいなら
実名でarXivに論文上げるのが一番
5chなんかでうだうだいっても無駄
532:ポス毒
20/04/25 18:16:52.88 9CWGK7bc.net
>>512
狼さんがこのスレで提起した批判に突っ込んでるだけだよ
このスレで出てきた話だからここで話してるだけ
533:132人目の素数さん
20/04/25 18:21:19.11 h3YipE68.net
ポスドクってコテを付けるくらいなんだからポスドクなんだろうけど……
論文に改訂(revision)がいらない全く無関係なことが書いてあることを何とも思わないって
やっぱり廣中あたりが"日本の数学者 最後の世代"なんかねぇ
534:ポス毒
20/04/25 18:25:49.85 Xw+fHmNN.net
>>514
論点がズレてるよ
私は狼さんの批判がナンセンスなことを指摘してるだけであって
IUT論文の集合論の部分が不要かどうかとかは議論してない
これが無関係なのかどうか判断する能力も無いしね
535:BLACKX
20/04/25 18:27:08.41 tte+Rsu2.net
>>502
いえ、キチガイ収容所です
536:132人目の素数さん
20/04/25 18:31:17.06 h3YipE68.net
>>515
必要であれば改訂する必要があるし、
不要であればそもそも心の一声に書くべきで改訂するしないの問題ではない
要不要はそれこそ論点ではなく、その中で改訂しなくていいという発言をしてしまうことが嘆かわしいんだよ
537:論理狼
20/04/25 18:31:17.14 ReTz6AXc.net
>>513 >>515
ポスドクは真面目な批判をIUT本スレに書かなくちゃ
こんなところで粋がって書いてると
コラッツ●違いのド素人のBLACKX に
●違い呼ばわりされるよw
538:論理狼
20/04/25 18:34:09.12 ReTz6AXc.net
>>516
収容所の設置、有難うございますw
所長として毎日、多くの変態たちと付き合う充実した毎日を過ごしております
なお、私、過去の所業により、スレ立てが出来ません
このスレが1000に近づきましたら、次スレの設置をお願いいたします💛
539:論理狼
20/04/25 18:38:22.39 ReTz6AXc.net
>>515
>IUT論文の集合論の部分が不要かどうかとかは議論してない
ここに書くなら議論しろよw
>これが無関係なのかどうか判断する能力も無いしね
え?あんた数論幾何専攻のポスドクじゃないの?
何のポスドク?異分野ならそれこそこんなところで遊んでるなよw
540:論理狼
20/04/25 18:42:08.18 ReTz6AXc.net
IVの§3についていえば、inter-universeの箇所は書けばいいと思うが
集合論にこじつけて基礎づけた風な文章は無意味だから要らない
まあ、そこを除くとただの思いつきだけになって
「おまえのいうことが論理的に無矛盾だっていう証拠はどこにある?」
と突っ込まれるんだろうけど、別に付け加えたって質問の答えになってないから
541:BLACKX
20/04/25 18:44:24.68 tte+Rsu2.net
>>518
僕キチガイでもしょうがないよなぁ…5万の懸賞金の為に20倍のお金かけちゃったもんなぁ…
542:論理狼
20/04/25 18:46:42.14 ReTz6AXc.net
>>522
ああ・・・エルデシュがかけた500ドルの懸賞金ね
URLリンク(ja.wikipedia.org)
どうでもいいけど、100万円、何につかったの?
543:BLACKX
20/04/25 18:51:24.58 tte+Rsu2.net
>>523
遠征と校正会社
544:論理狼
20/04/25 18:54:08.52 ReTz6AXc.net
>>524
校正・・・ああ論文の
で、遠征って
545:BLACKX
20/04/25 18:58:33.32 tte+Rsu2.net
>>525
ついでだけどコラッツやってる人に会いに行ってきた。
546:論理狼
20/04/25 18:59:23.54 ReTz6AXc.net
ところで、毎回IDが変わるってどういう仕掛けなんだろ?
ケータイから?
547:132人目の素数さん
20/04/25 18:59:52 dUEBtaY/.net
>>516
いえ、
「落人村(ヲチうどムラ)」
です。
※「落人村(ヲチうどムラ)」とは…
大学の乱において敗北し僻地に隠遁し…
「京都落ち(みやこヲチ)」
している者が潜む
「落人の隠れ里(ヲチうど隔離スレ)」
のこと。
主に数学科の一門及びその郎党�
548:A数学科に加担した者が挙げられる。 「落武者(ヲチむしゃ)」 ともいうが、落ち(ヲチ)延びた者の中には、修士に限らず、素人や女性や子どもなども含まれる為 「落人(ヲチうど)」 というのが一般的である。 そうした落人(ヲチうど)が潜んだ地域を 「落人谷(ヲチだに)」 「落人塚(ヲチづか)」 「落人の隠れ里(ヲチ隔離スレ)」 などという。
549:論理狼 ◆y7fKJ8VsjM
20/04/25 19:00:41 ReTz6AXc.net
>>526
遠征っていうからには、外国の人ってことだよね
どこの人?やっぱり素人(つまり大学の数学科卒でない)なの?
550:論理狼 ◆y7fKJ8VsjM
20/04/25 19:04:00 ReTz6AXc.net
>>528
落人部落 いいねえw
URLリンク(www.youtube.com)
551:132人目の素数さん
20/04/25 19:04:51 dUEBtaY/.net
>>519
宿敵源氏の士に慈悲を乞う哀しき“落人の隠れ里(ヲチ隔離スレ)”住民...
゜。*゜○。゜。✳゜。゜
○゜。*゜。゜✳゜(ノД`)゜
552:論理狼 ◆y7fKJ8VsjM
20/04/25 19:08:58 ReTz6AXc.net
>>531
なんだBBA あんたかw
いやー、大陸から来た弥生人に慈悲を乞う縄文人の末裔ですから
553:BLACKX ◆SvoRwjQrNc
20/04/25 19:09:46 9mAL47Rd.net
>>529
あまりその人の素性晒したくないけど、まぁ修士卒のニッチな人だよ
今はリビングにいればスマホと自室に居ればPC
554:132人目の素数さん
20/04/25 19:12:25 dUEBtaY/.net
★★★★★★★★★💢★
∵・Σ>>532━🔥🔫>★
★★★★★★★★★★★
BBAではありませんね。
555:論理狼
20/04/25 19:13:26.47 ReTz6AXc.net
日本人に多い、Y染色体ハプログループD-M55に一番近い海外の人は、
なんとインド洋のアンダマン諸島のジャラワ族・オンゲ族だそうです
ジャラワ族
URLリンク(ja.wikipedia.org)
オンゲ族
URLリンク(ja.wikipedia.org)
556:132人目の素数さん
20/04/25 19:13:27.92 dUEBtaY/.net
失礼しました。
557:132人目の素数さん
20/04/25 19:49:01 dUEBtaY/.net
。。。スレ止メチャッタ…?
…(´艸`;)…ゴメンナサィ…?…
゜。○゜*。*゜○。✳゜
空気が読めなくてごめんなさ~ぃ!
もうお邪魔しませ~ん。。。
許して…
゜ ✳゜。 ○゜。(ノД`)゜
558:132人目の素数さん
20/04/25 20:07:14 nULhaJry.net
これはただの妄想だが、
わざと難解かつ長大な論文をインターネット上で公開して、査読の期間を長引かせることによって、
いくらでも研究費が獲得できるんじゃないかと思った
ジャーナルに掲載されるまでの期間が長引けば長引くほど、「普及活動」と称して追加の研究費を請求することができる
さらに、あえてギャップを仕込んでおけば、反論する人が出てくることによって
「理解が進んでいない。さらなる普及活動が必要だ」として追加の研究費を(ry
559:論理狼 ◆y7fKJ8VsjM
20/04/25 20:17:27 ReTz6AXc.net
>>538
>これはただの妄想だが、
いや図☆かもよ
560:132人目の素数さん
20/04/25 21:27:55.42 sUhbaEiB.net
京大を視たら泥棒と思え
561:粋蕎
20/04/25 21:28:39.57 EIR0nq2C.net
時にBLACCX氏。此の既存組織殲滅及び組織化活動粛正式全人各者漏れなく孤立型共産主義者は
此のスレ終わったら帰還の積もりらしいんで続設を頼む
所でブラッククス氏なのかブラックス氏なのか読み方が分からんな
BlackXと改名して呉れれば一意ではあるが、どっちなんじゃろ?
562:論理狼
20/04/25 21:41:58.34 ReTz6AXc.net
>>541
誤 共産主義者
正 無政府主義者
推進するのはマルクス主義
563:ではなく無政府共産主義 ま、工員のおめぇこそ資本主義に反抗すべきだがが 資本主義に従ってもおめぇ、餓死するだけだぞ(マジ)
564:BLACKX
20/04/25 22:02:44.05 9mAL47Rd.net
>>541
読みはブラックスやで。
りょかーい、善処する!
565:粋蕎 ◆C2UdlLHDRI
20/04/25 23:33:01 EIR0nq2C.net
>>543
感謝、協力する。
そうかBlackXじゃのうてBlackxか。
>>542
「理想なんて言葉は白々しいながら自らが思う世界構築」さえも無いオドレが望むんは
中庸殲滅主義どころか混沌放縦主義じゃな。餓鬼道…やっぱりガキ性分は境遇じゃのうて信念じゃったか
法治統制主義 畜生道
法治制御主義 天道
法治自在主義 神道
中庸互助主義 人道
中庸自由主義 仏道
中庸排他主義 修羅道
混沌支配主義 極道
混沌放縦主義 餓鬼道
混沌滅世主義 地獄道
566:ID:1lEWVa2s
20/04/26 02:20:39 Bp7jhaDB.net
>>527
遊び終わったらすまほ毎回電源きる。
567:132人目の素数さん
20/04/26 05:43:44.09 TiUZD0nx.net
新幹線や電車移動中にスマホ使ってるんだろ
中継基地局が変わるからID替わっちゃうからね
568:論理狼 ◆y7fKJ8VsjM
20/04/26 07:22:05 lYMvbA3z.net
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(x * 0)=0 ∀x(x * sy)=[(x * y) + x] ならば
∀x(0 * x)=0
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(x * 0)=0
∀x(x * sy)=[(x * y) + x]
∃x¬((0 * x)=0)
¬((0 * a) = 0)
(0 * 0) = 0
(0 * b) = 0
¬((0 * sb) = 0)
(0 * sb)=[(0 * b) + 0]
[(0 * b) + 0]=(0 * b)
(0 * sb)=0
×
QED
569:論理狼
20/04/26 08:09:57.98 lYMvbA3z.net
>>547 一部修正
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(x * 0)=0 ∀x∀y(x * sy)=[(x * y) + x] ならば
∀x(0 * x)=0
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(x * 0)=0
∀x∀y(x * sy)=[(x * y) + x]
✓∃x¬((0 * x)=0)
¬((0 * a) = 0)
(0 * 0) = 0
(0 * b) = 0
¬((0 * sb) = 0)
(0 * sb)=[(0 * b) + 0]
[(0 * b) + 0]=(0 * b)
(0 * sb)=0
×
QED
570:論理狼
20/04/26 08:12:59.64 lYMvbA3z.net
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y∀z[x + (y + z)]=[(x + y) + z]
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0 ∀x(0 * x)=0
∀x∀y(x * sy)=[(x * y) + x] ならば
∀x∀y(sx * y)=[(x * y) + y]
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y∀z[x + (y + z)]=[(x + y) + z]
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0
∀x(0 * x)=0
∀x∀y(x * sy)=[(x * y) + x]
✓∃x∃y¬((sx * y)=[(x * y) + y])
¬((sa * b)=[(a * b) + b])
sa * 0 = 0 * sa
0 * sa = [(0 * a) + 0]
[(0 * a) + 0]=[(a * 0) + 0]
sa * 0 = [(a * 0) + 0]
sa * c = [(a * c) + c]
¬(sa * sc = [(a * sc) + sc])
sa * sc = [(sa * c) + sa]
[(sa * c) + a]=[[(a * c) + c] + sa]
[(a * sc) + sc]=[[(a * c) + a] + sc]
[[(a * c) + c] + sa]=s([[(a * c) + c] + a])
[[(a * c) + a] + sc]=s([[(a * c) + a] + c])
s([[(a * c) + c] + a])=s([(a * c) + (c + a)])
s([[(a * c) + a] + c])=s([(a * c) + (a + c)])
s([(a * c) + (c + a)])=s([(a * c) + (a + c)])
sa * sc = [(a * sc) + sc]
×
QED
571:論理狼 ◆y7fKJ8VsjM
20/04/26 08:39:32 lYMvbA3z.net
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0 ∀x(0 * x)=0
∀x∀y(x * sy)=[(x * y) + x]
∀x∀y(sx * y)=[(x * y) + y] ならば
∀x∀y(x * y)=(y * x)
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0
∀x(0 * x)=0
∀x∀y(x * sy)=[(x * y) + x]
∀x∀y(sx * y)=[(x * y) + y]
✓∃x∃y¬((x * y)=(y * x))
¬((a * b)=(b * a))
(a * 0)=(0 * a)
(a * c)=(c * a)
¬((a * sc)=(sc * a))
(a * sc)=[(a * c) + a]
(sc * a)=[(c * a) + a]
[(a * c) + a]=[(c * a) + a]
(a * sc)=(sc * a)
×
QED
572:論理狼 ◆y7fKJ8VsjM
20/04/26 08:53:21 lYMvbA3z.net
>>544
法は要らないから、法治などない
混沌も道に沿うから、互助の精神が生まれる
自由、自然こそが大事
ま、工業高校卒の極道にはわからんか?
573:論理狼 ◆y7fKJ8VsjM
20/04/26 09:04:08 lYMvbA3z.net
工業高校、工業高等専門学校、工学部の連中にとって
数学とはつまるところ計算方法である
彼らは理論には興味がない
実数や連続性の定義など知らなくても微積分の公式がわかればいい
線形空間・線形写像など知らなくても行列の計算ができればいい
計算方法が分れば何も考えず只々計算する
工学部の連中にガロア理論が理解できないのは
ガロア理論が「計算方法」ではないから
逆に言えば論理も「計算方法」としてなら理解できる
タブロー
574:法でも教えてやれば、サルのセンズリのごとく 嬉々として計算するだろうwwwwwww
575:BLACKX
20/04/26 09:13:27.68 8tvmqbZG.net
ゴルゴジャッカル
576:論理狼
20/04/26 09:14:54.92 lYMvbA3z.net
六道は三段階に分けるのが良さげ
天道 自然自由主義
人道 自然互助主義
------
修羅道 法治強制主義
畜生道 法治盲従主義
------
餓鬼道 混沌強欲主義
地獄道 混沌破滅主義
577:ID:1lEWVa2s
20/04/26 09:23:18.73 pe+FY0+0.net
きちがいどう。
578:論理狼
20/04/26 09:31:04.86 lYMvbA3z.net
ちっ、ゾロ目取られたw
これ書き込もうと思ったのに
URLリンク(www.youtube.com)
579:論理狼
20/04/26 09:47:06.78 lYMvbA3z.net
算術基礎論(足し算の結合法則・交換法則、掛け算の交換法則の証明!)も
おわっちまったなあwww
580:ID:1lEWVa2s
20/04/26 09:52:57.31 on3siIGx.net
>>557
10!を計算せよ。
581:論理狼 ◆y7fKJ8VsjM
20/04/26 10:03:36 lYMvbA3z.net
>>558
その計算はここでは収まらない(マジ)
582:ID:1lEWVa2s
20/04/26 10:06:28 lM6RpPk1.net
>>559
いろんなりゆうわかってるんだ。
破謝。
583:ID:1lEWVa2s
20/04/26 10:08:25 lM6RpPk1.net
>>560
破謝ってなに。
584:ID:1lEWVa2s
20/04/26 10:09:06 lM6RpPk1.net
>>561
この計算はここでは収まらない。まじ。
585:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/26 10:09:56 7O7a3CML.net
>>558-559
>> 10!を計算せよ。
>その計算はここでは収まらない(マジ)
その計算はここに収まる(マジ)
おサルは、指を折って数えようとしたねw(^^;
(参考)
URLリンク(i-o-knowledge.blogspot.com)
planit
記録的な何か
階乗・順列・組み合わせ計算
投稿者: Yukihito Ikoma / 生駒 之仁 - 8月 03, 2014
階乗
階乗、即ちファクトリアル(記号 !)ですが、中学校あたりで習う( ? )計算についてです。
0! = 1
1! = 1
2! = 2 x 1 = 2
3! = 3 x 2 x 1 = 6
4! = 4 x 3 x 2 x 1 = 24
…
10! = 10 x 9 x … x 2 x 1 = 3,628,800
586:論理狼 ◆y7fKJ8VsjM
20/04/26 10:12:20 lYMvbA3z.net
0,s0,ss0,…というのは単項(unary)記法だから
小さい数でもすぐ長い表記になってしまい収拾がつかない
ああ、バイナリ記法での加法乗法の計算が
単項記法の計算と一致していることを
証明する必要があるって?
いい指摘だな
587:論理狼 ◆y7fKJ8VsjM
20/04/26 10:15:13 lYMvbA3z.net
>>563
ああ、こいつ何もわかってないな
10進数表現での乗算の方法が、
ロビンソン算術の単項記法の定義と
合致してることは証明したか?
ま、お前には逆立ちしても無理だろw
588:ID:1lEWVa2s
20/04/26 10:19:15 0ATr8syR.net
>>564
ばいなりまたは11!含めて前後の!とぴぃしんせいすうろん。
素数。
ひんとおわり。
因みに素数については!よりまだ見付けてないが元になると思ってる。
後は元を代数学の基本法則で扱えば素数があらわれるはず。はずね。
589:ID:1lEWVa2s
20/04/26 10:28:38 PhnkXi8Z.net
>>563
合ってます。
590:ID:1lEWVa2s
20/04/26 10:42:23 xUy4U9sf.net
もういややねんあめりかじんと会話するの。cherry葵nightcorelive24/7で会話するの。あいつらにゅうろんのしゅうごうたいだろ。
591:132人目の素数さん
20/04/26 10:52:04 puOxTMEG.net
>>565
どうやるの?
592:ID:1lEWVa2s
20/04/26 10:59:06 LO35bhl9.net
>>569
こいつあめりかじんどから答えな�
593:ュていい。 あめりかじんのとくちょう。 他人まかせでかうかうかうそしておかねおかねおかね。 おかねはたこくからおくってもらう。 ものはあたかもはたらいたかのようにもらったかねかでかうかうかう。
594:ID:1lEWVa2s
20/04/26 11:00:34 LO35bhl9.net
そしてぜんぶじぶんのものにおもうがまましようとする。
あいでできている。
595:ID:1lEWVa2s
20/04/26 11:00:52 LO35bhl9.net
あいでにゅうろんのしゅうごうたいへ。
596:ID:1lEWVa2s
20/04/26 11:02:11 LO35bhl9.net
こうやって言うこともあいつらにとってはあいで優しさを愛引している。
ちゅぅ~。きゅうちゅぅ~。
597:ID:1lEWVa2s
20/04/26 11:08:50 0MNN51Zt.net
あいにゅうろんは日本の心と文化なのに。のっとられた。
598:ID:1lEWVa2s
20/04/26 11:09:31 0MNN51Zt.net
小心者こすい。
599:ID:1lEWVa2s
20/04/26 11:10:51 0MNN51Zt.net
あめりかはすでににほんにあいにゅうろんせんそうをしている。
ゆうすけをうばうためにな。
600:ID:1lEWVa2s
20/04/26 11:11:22 0MNN51Zt.net
あめりかはあいにゅうろんでゆうすけをかんじている。えろなんかじゃかい。まじ。
601:ID:1lEWVa2s
20/04/26 11:12:13 0MNN51Zt.net
oop←きもい。
602:ID:1lEWVa2s
20/04/26 11:13:00 0MNN51Zt.net
ゆうすけがねらわれている。あいにゅうろんで。
603:ID:1lEWVa2s
20/04/26 11:15:37 0MNN51Zt.net
日本からあめりかへの輸出全部禁止したほうがいい。
あじあ内で鎖国しよう。
核で沈めばそれまでだ日本は女の子を守れ。あめりかとか関係ないけどよかれあめりかじんがはいってきて妊娠させて日本に住み着くかあめりかにつれていく。
604:ID:1lEWVa2s
20/04/26 11:17:37 0MNN51Zt.net
軍事法があって勝てばいいだけ負ければ負け。
戦争は軍事法があるならば禁止されてない。
かじのといっしょ。
605:ID:1lEWVa2s
20/04/26 11:19:27 0MNN51Zt.net
軍事法は段々あめりかの都合がよいようにあわさってくるけど
いずれ不法なあめりかじんが虐殺されるべき理由が-軍事法によって-でてくる。
606:132人目の素数さん
20/04/26 11:25:00 inFd57k6.net
(‥*(>>580)☆素数スレに
ڡ△٩∪☆)☆遊びに行っても
Jl☆∪∪☆良ぃですか?
607:ID:1lEWVa2s
20/04/26 11:26:23 iPNZFLoe.net
>>583
はいよろしいです。
608:132人目の素数さん
20/04/26 11:27:12 inFd57k6.net
(>>582)»٩(”*)??
☆∪☆)
☆∪∪
609:ID:1lEWVa2s
20/04/26 11:28:55 iPNZFLoe.net
>>585
はいそのとおり。
610:132人目の素数さん
20/04/26 11:29:58 inFd57k6.net
(*“(>>584)
☆⊃∪☆☆)
∪∪∪∪
だれもいなくて。。
つまらなぃので。。
一緒に遊んでもらえませんか?
611:ID:1lEWVa2s
20/04/26 11:34:03 S+LxSZiE.net
>>587
最後の秤?
612:論理狼 ◆y7fKJ8VsjM
20/04/26 11:35:05 lYMvbA3z.net
アメリカは悪の極致
URLリンク(karapaia.com)
世界同時革命は必須
アメリカ・西ヨーロッパ・日本
悪の三大根拠地で革命を起こせ!!!!!!!
613:ID:1lEWVa2s
20/04/26 11:35:11 S+LxSZiE.net
>>587
お~ことわり~します~がんこ
ご遠慮します。
614:ID:1lEWVa2s
20/04/26 11:38:04 S+LxSZiE.net
日本はベーシックインカムにせよ。
615:ID:1lEWVa2s
20/04/26 11:39:37 S+LxSZiE.net
月10万円
週3其れ其れ2時間働く。
国がお金刷れば経済はまわるだろ。
デフレは気にするなよな。
616:論理狼 ◆y7fKJ8VsjM
20/04/26 11:41:00 lYMvbA3z.net
資本主義体制を壊せ!
貨幣経済システムを壊せ!
国家を壊せ!
617:ID:1lEWVa2s
20/04/26 11:41:37 S+LxSZiE.net
麻生ちゃん安部ちゃんそのとりまきやりさ~の創価学会の公明党でもいいからそこらへん考えといてただやりさ~の創価学会は悪いな。
618:ID:1lEWVa2s
20/04/26 11:41:58 S+LxSZiE.net
>>593
国は壊さなくていい。
619:132人目の素数さん
20/04/26 11:42:22 inFd57k6.net
(*“(>>588)
たいへんきょうみぶかい
ナゾナゾですね…
続きを素数のスレで
きかせてほしぃです。。。
620:ID:1lEWVa2s
20/04/26 11:43:03 S+LxSZiE.net
あとソフトバンクグループ他人の仕事を奪うな。
下請けにえたひにんをいれてちゃんと育てろごらぁ。
621:ID:1lEWVa2s
20/04/26 11:43:27 S+LxSZiE.net
>>596
それはやめて。
622:ID:1lEWVa2s
20/04/26 11:43:50 S+LxSZiE.net
たちゅでてきた。
623:ID:1lEWVa2s
20/04/26 11:45:04 S+LxSZiE.net
AEONを見習え。
624:ID:1lEWVa2s
20/04/26 11:45:14 S+LxSZiE.net
では
625:ID:1lEWVa2s
20/04/26 11:45:23 S+LxSZiE.net
さいなら。
626:論理狼 ◆y7fKJ8VsjM
20/04/26 11:47:05 lYMvbA3z.net
>>595
国家があるから貨幣も警察も軍隊もある 悪は国家から始まる
627:ID:1lEWVa2s
20/04/26 11:48:25 S+LxSZiE.net
>>603
僕はそこまでは言ってない。
628:132人目の素数さん
20/04/26 11:48:31 inFd57k6.net
(>>590)
∪☆) _| ̄|○...
∪∪
...お邪魔しますた…
゜✳。*゜○。゜(ノД`)゜
629:ID:1lEWVa2s
20/04/26 11:51:46 S+LxSZiE.net
AEONを見習うな。もうおそい。ちょびんこてきにいってテリトリーを邪魔したら踏み潰す。
630:論理狼 ◆y7fKJ8VsjM
20/04/26 11:56:32 lYMvbA3z.net
>>604
革命は徹底的に行う必要がある
中途半端では敵に巻き返される
631:ID:1lEWVa2s
20/04/26 11:58:10 S+LxSZiE.net
>>607
内緒。
632:132人目の素数さん
20/04/26 12:00:56 26wcGBil.net
>>565
でこれどうやるんだ
633:論理狼 ◆y7fKJ8VsjM
20/04/26 16:02:35 lYMvbA3z.net
新ドラマ
「IUTT 異常なし」
第1回
株式会社 Inter-Unversal Telecommunication Technology(宇宙間通信技術)の
chief executive officer セタは、イラついていた
ヘッドハンティングで入社させたエリート技術者モチヅキ君の考案した
宇宙間通信IUTのカラクリがちっとも理解できなかったからだ
セタCEO
「モチヅキ君、細けぇこたぁ、どうでもいいんだよ
君が考えたIUTがどうしてうまくいくのか
PPT一枚で説明してほしいといってるんだ!」
モチヅキ社員
「CEO、お言葉ですが、私の発明はそんな簡単なものではありません!」
セタCEO
「君、誰に向かって口きいとると思っとるんだ!」
タマカワ課長
「まあまあ、モチヅキ君・・・彼は、優秀なんですが、どうも説明下手で」
セタCEO
「じゃ、タマカワ君、君、代わりに説明してくれたまえ」
タマカワ課長
「え?私が?・・・それがその・・・何分難しくて」
セタCEO
「君、それでも彼の上司かね?とにかく、PPT1枚での説明を頼むよ!
私だけじゃない。これじゃ株主にも理解してもらえんよ。
開発費用を支出してもらう必要があるんだ。
君らだって給料がもらえなくなったら困るだろう!
じゃあ、さっさと仕事にとりかかってくれたまえ!」
そういうが早いか、CEOは二人を部屋から叩き出した
(続く)
634:論理狼 ◆y7fKJ8VsjM
20/04/26 16:14:33 lYMvbA3z.net
新ドラマ
「IUTT 異常なし」
第2回
一方 ドイツに本拠地を置く、ライバルのPerfectoid社もIUTTの動向を注視していた
Faltings CEO
「IUTTが画期的な宇宙間通信技術を考案したというニュースがあるが」
Scholtze 社員
「Mochizukiが発表した論文を読んでみましたが・・・
肝心な箇所で動作しないことが判明しました」
Faltings CEO
「それは本当かね?」
Scholtze 社員
「私の考えに間違いがなければ」
Faltings CEO
「では、さっそくその内容を説明した文書を作成して関係各所に流すんだ
IUTTにこの業界に参入されては我々の儲けが減る
いまのうちに徹底的に叩き潰すんだ!」
Scholtze社員
「Mochizukiは、かつてボスの部下だったと聞いてますが」
Faltings CEO
「その通りだが、今は違う。Scholtze君、この世界に私情は禁物だよ(ニヤリ)」
Scholtze社員
「わかりました・・・ボス(ニヤリ)」