【数学】120年前に提案のパズル解法、ついに解決 日米チームが証明 [牛乳トースト★]

■ このスレッドは過去ログ倉庫に格納されています
1牛乳トースト ★
垢版 |
2025/03/10(月) 21:55:31.80ID:1F3PrMEE9
正三角形をなるべく少ないピースに切り分け、並べ替えて正方形にする--。約120年前に提案された「デュードニーの裁ち合わせ」として知られるパズルで、3ピース以下の解が存在しないことを証明したと、北陸先端科学技術大学院大と米マサチューセッツ工科大の研究チームが10日、発表した。

このパズルは1902年、英国のパズル作家ヘンリー・デュードニーが雑誌のパズル欄で出題した。多数の解答が寄せられたが、ただ一人が正三角形を4ピースに切り分けて正方形に組み替える解法を提案し賞金が贈られた。しかし、これが最適な解法か、つまりより少ない3ピース以下で解くことができるか否かははっきりせず、これまで未解決問題とされていた。

北陸先端大の鎌田斗南(となん)助教(数学)らの研究チームは、18年ごろから3ピースでは解けないことを証明する研究に取りかかった。分割のパターンが無限にあるために全てを試してみることは難しかったが、3分割する線のつながり方に基づいてグループ分けし、図形の辺の長さや位置に注目した独自の方法を考案した。

そして無限に見えるパターンを37通りまで絞り込んだ。3ピースで解けると仮定した場合、それぞれのパターンで「隣り合うべき辺が隣り合わない」などの矛盾が生じることを突き止め、仮定が矛盾することを示して証明する「背理法」を用いて証明に成功した。

*記事全文は以下ソースにて
2025/3/10 21:28(最終更新 3/10 21:34) 毎日新聞
https://mainichi.jp/articles/20250310/k00/00m/040/283000c
2025/03/10(月) 21:58:07.30ID:5vAgWoDW0
丸大ハンバーグスレ
3名無しどんぶらこ
垢版 |
2025/03/10(月) 21:58:14.57ID:SWOt5Eit0
俺は40年前に解いてたけどな
4名無しどんぶらこ
垢版 |
2025/03/10(月) 21:58:54.88ID:9LAquNt50
俺なら2分で解ける
5名無しどんぶらこ
垢版 |
2025/03/10(月) 22:00:13.19ID:TvMkWZ+X0
さすが韓米日
2025/03/10(月) 22:00:17.77ID:nLQjaMtj0
そんな昔に作った人と解答した人すごいな
2025/03/10(月) 22:00:44.12ID:F+SK6ZrS0
北陸の先端って言うとやっぱ能登か?
2025/03/10(月) 22:00:52.09ID:ey/Tv3Ur0
暇なんですね。
2025/03/10(月) 22:01:11.72ID:9Tqjk8ej0
こんなんAI使えば即解けるからな
未解決なんてもいくらでも解決できて何の価値もない
10名無しどんぶらこ
垢版 |
2025/03/10(月) 22:01:24.78ID:92lddaf30
AIを作り出した理由は、人に変わって労働してもらうため。
ヒトに代わり思考という労働をしてもらうために作り出した。
そうなると、人間にとって必要なことは、AIを管理制御すること。 AIを支配するという労働が唯一ヒトに残された労働になるね。
そのためにはAIの考え方や思考のメカニズムを理解することが必要になってくる。
だから今のうちにやっておかなきゃいけないことと言えば、
記号論理学だとか制御工学とかアルゴリズムとか、数理科学、プログラミング。
でも、これって理系センスが必要。必ずしもすべての人間に備わってるわけじゃない。
だからAI時代の到来によって、
AIを支配する人間>AI>その他大勢の理数音痴
というカーストができてしまいかねない。
結局、人類が恐れるべきはAIじゃなくて人間そのものになるでしょう。
AIを支配した人間が暴走し、スキルを持たない人間を好き勝手に扱うみたいな。

「数学なんて意味がない」などと言ってられません。
未だそんなモノ知らずがいますが、それって、江戸時代の百姓が「読み書きなんてオラ達の畑仕事に何の必要もねぇだ」と言ってるようなもの。
理数音痴な文系型人間には理工学が現実にどう役立っているかなんて、いくら説明したって、どんな砕いて説明しても永遠に理解できないだろうな。
でも、今もこの間、現実に理工学が社会を動かしてる。
11名無しどんぶらこ
垢版 |
2025/03/10(月) 22:01:52.61ID:MIvm7ZyM0
>>7
次の駅はシベリア
2025/03/10(月) 22:03:55.26ID:/lyDxgwX0
斗南っていう名前なんかデブそう
2025/03/10(月) 22:05:23.02ID:sLx4Onmg0
解法が無いことよりもただ1人の4ピース解法を知りたい
14名無しどんぶらこ
垢版 |
2025/03/10(月) 22:05:29.82ID:MS12zeg/0
仁ちゃんいるやないかい
2025/03/10(月) 22:05:45.99ID:jxOp35g+0
正三角形を3つに分けて正方形にできるかという問題読んだだけで1秒もしないで無理と解答出したオレは天才なのかw
16名無しどんぶらこ
垢版 |
2025/03/10(月) 22:05:51.96ID:GpLZzP/90
朝日新聞もこの件の記事を書いている。(リンク略)
同じ件、しかも理系論文のニュースでも、新聞社によって結構、中身がチガウもんだなぁ。
2025/03/10(月) 22:06:18.59ID:sjxsJsEq0
>>13
記事に普通に載ってるぞ
18名無しどんぶらこ
垢版 |
2025/03/10(月) 22:08:49.40ID:MS12zeg/0
オマイラ理数系に興味なさすぎ (´・ω:;.:...
2025/03/10(月) 22:09:04.39ID:EOipBumH0
>>15
直感でなくて証明しないと
2025/03/10(月) 22:10:25.37ID:wdzPYJ4U0
また、日本が
イグ・ノーベル賞を
受賞するのか・・・
2025/03/10(月) 22:10:33.96ID:tdB1aRTj0
>東京理科大の秋山仁栄誉教授
久々に見た名前
2025/03/10(月) 22:10:40.81ID:2yYgIjV+0
ファルコンの定理は?
23名無しどんぶらこ
垢版 |
2025/03/10(月) 22:12:20.35ID:Zc598XEW0
>>9
未だかつて人類が解いたことの無い問題を今の「生成AI」が解けるとは思えんな。
あれはあくまでも既知の情報を繋ぎ合わせてそれっぽい成果物に仕立て上げる技術に過ぎん。
もし、未知の領域にも対応可能であるならば、今頃すでにリーマン予想は解決してなきゃおかしいだろ?
24アイリ
垢版 |
2025/03/10(月) 22:14:06.79ID:e90Hq4Zq0
この面積の求め方教えてよ
https://dec.2chan.net/up2/src/fu4749652.jpeg
2025/03/10(月) 22:14:11.52ID:sjxsJsEq0
>>23
リーマン予想は既に解かれてる
2025/03/10(月) 22:16:29.92ID:sjxsJsEq0
>>24
4つに切り分けると小さい扇形で求められる
ちなみに小学生向けの問題だ
2025/03/10(月) 22:17:01.91ID:1Il6ie9t0
名探偵斗南
28名無しどんぶらこ
垢版 |
2025/03/10(月) 22:21:22.50ID:Zc598XEW0
>>25
もしかして2004年のド・ブランジュのことを言ってるのかね?w
2025/03/10(月) 22:23:08.36ID:QLvGSDYY0
>>25
解かれてないぞ
2025/03/10(月) 22:23:42.60ID:9q6GFFgC0
ちょっとはみ出たとこガンッてやれば3ピースでもいけるっしょ
2025/03/10(月) 22:24:57.71ID:a2+fTt3e0
>>2
ハイリハイリハイリハイリホ~
32 警備員[Lv.2][新芽]
垢版 |
2025/03/10(月) 22:25:13.54ID:lltdPqMR0
>>3
フェルマーかよ
2025/03/10(月) 22:25:26.80ID:sjxsJsEq0
>>28
それを言うなら2003年のポアンカレ予想では?
2025/03/10(月) 22:26:37.34ID:48jvNRpa0
90度の角をよっつ作れない
2025/03/10(月) 22:27:38.70ID:sjxsJsEq0
>>29
いや特定条件の時の解があるからもう興味を持つ人は減ってる
2025/03/10(月) 22:30:47.71ID:cE5n4B9z0
また背理法()
37 警備員[Lv.10][新芽]
垢版 |
2025/03/10(月) 22:37:00.03ID:FTUPn1dG0
>>5
下等遺伝子奴隷民族朝鮮人は邪魔するだけ
38 警備員[Lv.10][新芽]
垢版 |
2025/03/10(月) 22:38:30.56ID:FTUPn1dG0
>>35
「一般的に」は解かれてない
特定の条件をどこまで拡張できるか、が問題
39名無しどんぶらこ
垢版 |
2025/03/10(月) 22:40:49.58ID:yWBjncyP0
四色問題と同じで、しらみつぶしに調べようとするとめんどくさくなって、まあ多分そうなんだろうなという問題
2025/03/10(月) 22:41:32.95ID:CXJ8vQf40
この貧困時代にどーでもいー
1ミリもキョーミない
アホくさ
2025/03/10(月) 22:41:37.29ID:7f9cpG6d0
>>38
そんな状況なら一般解に拡張出来ても功績は自分のものにはならないから
2025/03/10(月) 22:42:03.82ID:eHzxYXJS0
私も答え分かってたけど何か恥ずかしくて言えなかった
2025/03/10(月) 22:43:33.28ID:jdkiF02f0
>>31
大きくなれよー
44名無しどんぶらこ
垢版 |
2025/03/10(月) 22:44:15.66ID:PQhdFaEu0
コレ、超簡単じゃない??
1秒で解けたよ。
2025/03/10(月) 22:44:34.01ID:sjxsJsEq0
>>43
なんかエッチだな
46名無しどんぶらこ
垢版 |
2025/03/10(月) 22:45:41.26ID:VtxMMZvX0
>>1
ちょっと何言ってるか分からない
2025/03/10(月) 22:46:05.58ID:ucXLwXt20
>>27
評価する
2025/03/10(月) 22:48:11.93ID:4YUfDGdm0
後の、ヘル・レイザーである。
49名無しどんぶらこ
垢版 |
2025/03/10(月) 22:49:40.26ID:1Wqg+ht30
ピースくんがどうたらこうたら↓
2025/03/10(月) 22:54:15.62ID:7f9cpG6d0
↑引きこもりジジイかよ?w
51名無しどんぶらこ
垢版 |
2025/03/10(月) 22:56:58.74ID:BLkHZ53y0
こ の ス レ は の び な い
52名無しどんぶらこ
垢版 |
2025/03/10(月) 22:59:28.96ID:ytdM2w6o0
また低能糞土人のアメリカが乗っかってきてんのか
暗殺して横取りじゃなくて共著になっただけましな
2025/03/10(月) 23:06:26.14ID:JOV2Q2Eb0
4P 問題か
確かに組み合わせが難しい
2025/03/10(月) 23:07:18.16ID:bZWBkYZO0
>>3
ウリナラかよ
2025/03/10(月) 23:19:10.99ID:dNrIAJ6T0
尾形の数学でやってくれよー
2025/03/10(月) 23:25:52.10ID:4iLhBI/O0
背理背理笛背理法
背理背理笛方法とはどんな方法ですか?
57名無しどんぶらこ
垢版 |
2025/03/10(月) 23:33:10.34ID:fAG+TguK0
星六斗南
2025/03/10(月) 23:35:16.95ID:Cwog8EcO0
3ピースで長方形を作ることは可能性なので、直感的に正方形は不可能とは言い難い
2025/03/10(月) 23:36:06.01ID:Cwog8EcO0
>>58
可能性→可能
2025/03/10(月) 23:40:33.52ID:5VL0gY0r0
>>52
日本とか数学弱いだろ

江戸時代まで間違った円周率でやってた国だぞ
61名無しどんぶらこ
垢版 |
2025/03/10(月) 23:41:45.19ID:mz84vNB30
>>58
長方形でいいのなら2ピースでできるよ
62名無しどんぶらこ
垢版 |
2025/03/10(月) 23:44:16.59ID:VGim1MRC0
藤井こいつマジで仕事舐めてんだろ
俺なんてくっさいゴミ回収の仕事して
年収たった200万円台やぞ
ゴミの回収は、無かったらお前だけじゃなく
お前以外の皆全員が困るが、お前がやってる数学なんて
なくてもお前やお前の身内以外誰も困らんわボケ
そもそも数学なんてただのお遊びやんけ
頭使ってる?頭が良い?
そんな頭が良いなら、工学者や医者やもっと
世の役に立つ仕事に就けよカスが
63名無しどんぶらこ
垢版 |
2025/03/10(月) 23:45:15.95ID:HH2LlcH30
さすが数学者やで ps://pbs.twimg.com/media/Glqr8NHa0AAdvoT.png
IQだけあがると脳が帰納で考えるの困難になるそうな
2025/03/10(月) 23:46:02.40ID:X3QOye7e0
>>1
鎌田斗南…?すげえ名前だな
2025/03/10(月) 23:49:22.65ID:X3QOye7e0
>>58
女4人とすればいい
男は見学
2025/03/11(火) 00:21:59.24ID:GJ9c5qY50
>>64
経歴もすごいよ
2025/03/11(火) 00:42:08.14ID:VOGTgM4I0
>>3
おれは121年前に解いてたぜ
2025/03/11(火) 00:54:11.82ID:iruvtRje0
5ピースに切り分けて2ピースを捨てたら3ピースで正方形できる
…と思ったけど正方形くりぬいて残り全部捨てたら1ピースでできるからルール的に不可か
2025/03/11(火) 01:14:22.71ID:7S0bopK+0
aiによって解けない問題が存在することはカントールの対角線論法で示せる
2025/03/11(火) 01:16:01.71ID:7S0bopK+0
関孝和は円を多角形に分割して当時の最高精度でパイを出した
インドのマーダヴァはマクローリン展開によってはじめて解析的に円周率をだした
シンハらは物理学のM理論によってパイが別の式としてあらわされることにきづき円周率をもとめた
ラマヌジャンがインドの女神から授かったというラマヌジャン方程式を改良した式がいまは最高精度を誇っている
2025/03/11(火) 01:23:19.69ID:ozwTNTog0
120年ぶりだねぇ
72名無しどんぶらこ
垢版 |
2025/03/11(火) 01:24:27.47ID:VVCwio+Z0
俺が幼稚園の時に解いた問題やん
2025/03/11(火) 01:28:24.83ID:/9uAuAEj0
それ何の役に立つの?
2025/03/11(火) 01:37:02.05ID:geXZTOeN0
>>70
関孝和よりドイツのルドルフ・ファン・コーレンが当時最高精度だろ
75名無しどんぶらこ
垢版 |
2025/03/11(火) 01:58:29.80ID:ds24YuTW0
>>73
勃起力が上がる
76名無しどんぶらこ
垢版 |
2025/03/11(火) 02:04:33.05ID:gDtYVqnH0
>>73
役に立たない方が高尚なの
昔の中国で何の役にも立たない漢詩の名人が重用されたのはなぜだろう
2025/03/11(火) 02:09:33.58ID:H4++ztuT0
>>26
それ扇形2つの奴じゃない?
4つのこれは小学生越えてるのでは
78名無しどんぶらこ
垢版 |
2025/03/11(火) 02:10:17.63ID:qG6LGKg30
>>73
こういう幾何とか図形の知識は身近なものでは牛乳パックやアマゾンの段ボール箱に生かされてるぞ。
79名無しどんぶらこ
垢版 |
2025/03/11(火) 02:10:46.51ID:HTj2tt+C0
簡単だがここに書くにはスペースがな足りない
2025/03/11(火) 02:26:16.09ID:8H7Wmnr10
>>73
人類の知性が一段階進化した
2025/03/11(火) 02:37:38.04ID:yMoGKIKd0
秋山仁生きてたか
82名無しどんぶらこ
垢版 |
2025/03/11(火) 03:03:02.61ID:xF84HVXF0
>>9
こういう馬鹿が多い
2025/03/11(火) 03:08:43.90ID:3QTtNpFb0
>>7
辰口の山の中だよ
84名無しどんぶらこ
垢版 |
2025/03/11(火) 03:58:16.18ID:6BXLWpgU0
>>77
ざっと計算した感じ12π-36(√3-1) になるから
小学生向けではないね

弧の交点と正方形の頂点で正三角形を作れることに着目すると、
色付きの部分の膨らんでるところの面積は
(半径6、中心角30°の扇形)-(底辺6、高さ3の三角形)

残りの正方形の一辺をaとおくと、
a^2 = 6^2 + 6^2 - 2*2*6cos30°
85名無しどんぶらこ
垢版 |
2025/03/11(火) 04:03:48.50ID:HXqf5vIN0
これを解いたら金になるのか?
2025/03/11(火) 04:10:59.64ID:MOwYyYv50
>>9
お前が数学できないことだけはよく分かるよ(笑)
87名無しどんぶらこ
垢版 |
2025/03/11(火) 04:13:18.42ID:0mfjxGiv0
三角が四角に。そうかあ
2025/03/11(火) 04:16:20.31ID:fTlVSzxk0
>>3
俺も
2025/03/11(火) 04:21:01.83ID:JyPoExAy0
立体で考えたら無理かなってわかる話やがな
90名無しどんぶらこ
垢版 |
2025/03/11(火) 04:21:59.85ID:WWvooBup0
三角形の一辺と同じ厚さの紙を使えば
一度も切らなくても、横から見れば正方形
2025/03/11(火) 04:25:41.93ID:BYY/SywJ0
>>1
まぁ、そのパズルをヘンリーに教えたんだけどな
92名無しどんぶらこ
垢版 |
2025/03/11(火) 04:25:57.62ID:nQpt/nPM0
そうか?
正方形だろ?
つまり同じ長さを4つ用意すればいいわけだ
そしたらあとは粉々にして中に敷き詰める
そんな難しい話ではないとおもうのだが
2025/03/11(火) 04:29:28.47ID:fTlVSzxk0
こんなの、誰でも解るのに今更?
2025/03/11(火) 04:47:00.04ID:MOwYyYv50
学問に対するリスペクトがない馬鹿どもの多いこと
95 警備員[Lv.20]
垢版 |
2025/03/11(火) 04:53:58.25ID:6OpuAnFn0
>>92
分割数を3ピース以内で解けるか?と言う命題を軽く凌駕した破片数ですやん。
96名無しどんぶらこ
垢版 |
2025/03/11(火) 04:57:38.57ID:wWh9ECKa0
お勉強なんかできない俺には関係ない話
2025/03/11(火) 05:13:26.04ID:vmmoLOmA0
>>41
「フェルマーの最終定理」はnの各項についてオイラーやルジャンドルやクンマーなんかが証明してるけど
それでワイルズの偉業が薄れたりはしてないぞ?
2025/03/11(火) 05:14:05.31ID:GhpSRMUD0
大きくなれよ
2025/03/11(火) 05:14:10.43ID:RlroD6Mr0
こんなん正方形から正三角形を作るという逆のやり方なら即解けるのに問題作った奴もここまで人がバカだとは思いもしなかったんだろうなw
2025/03/11(火) 05:18:08.91ID:vmmoLOmA0
>>99
それを「定理」として説明できるか?ってのが問題だったの
2025/03/11(火) 05:28:39.30ID:7WRIZ6TU0
数学は自然科学のようで人文科学な気もする
102名無しどんぶらこ
垢版 |
2025/03/11(火) 06:04:21.09ID:GmaoBlNO0
ピカールでござーる(笑)
2025/03/11(火) 06:08:35.38ID:gSHyUKOS0
これ証明できてるの?
パターンを絞れる理由がわからんのだが
2025/03/11(火) 06:17:34.63ID:8l1HjH/Z0
>>63
それを解いたのは学者じゃなくてパズルマニア
2025/03/11(火) 06:20:42.52ID:USCmoaMh0
これ何の役に立つの?
2025/03/11(火) 06:28:04.77ID:8l1HjH/Z0
>>105
人間社会に紛れてるバカを発見出来る
107名無しどんぶらこ
垢版 |
2025/03/11(火) 06:43:03.72ID:tKnIXlBp0
>>33
いや、リーマン予想の話になんでポアンカレ予想が出てくんのさw
それはさておき、ペレルマン先生は今どうされてるんだろうなぁ。
徴兵されてウクライナの土になってなきゃいいけど。
108名無しどんぶらこ
垢版 |
2025/03/11(火) 06:44:06.99ID:g0yfp6zM0
この人 東京理科大二部と書いてあるな 夜間? へー苦労人なのか
109名無しどんぶらこ
垢版 |
2025/03/11(火) 06:44:28.99ID:rETrMczy0
>>1
なんと北斗拳炸裂したのか!奥さんの名前がユリアだったら最高なんだがw
2025/03/11(火) 06:44:37.14ID:iN9kRlPf0
秋山とかいう名誉教授は指導教官と言うことで写真撮影なの?
2025/03/11(火) 06:47:42.40ID:+RK9081I0
だがちょっと待って欲しい
正方形には90°の角が4個必要なのだから3ピースじゃ無理なのは自明ではないか
112名無しどんぶらこ
垢版 |
2025/03/11(火) 06:55:09.75ID:QZucNDHM0
あれ?ピースくんはこないのですか?
絶好のピースネタじゃなきですか?w
2025/03/11(火) 06:58:16.49ID:B/6t1qr+0
120前のパズルとか
俺、1000年パズル解いたわ
2025/03/11(火) 07:02:28.39ID:dHrSx9vC0
>>111
正三角形を一辺の垂線で分割し、分割された一方を同様に垂線で分割すれば直角は4つ出来るから
それは自明ではない
115名無しどんぶらこ
垢版 |
2025/03/11(火) 07:15:22.90ID:u7sD1CZB0
>>23
未知の問題を解き始めているから大変なんだよ
116名無しどんぶらこ
垢版 |
2025/03/11(火) 07:16:55.78ID:dX1M6FA+0
>>1
ハイリハイリフレ
背理法
117名無しどんぶらこ
垢版 |
2025/03/11(火) 07:19:57.97ID:9QHxKlZP0
これまで誰も相手にしてなかっただけだろ
118名無しどんぶらこ
垢版 |
2025/03/11(火) 07:25:29.19ID:u6cShX640
ピタゴラSwich
119名無しどんぶらこ
垢版 |
2025/03/11(火) 07:29:26.34ID:+gJzG9Db0
>>115
ほう?例えばどんな?
2025/03/11(火) 07:30:33.03ID:T5OsqGmu0
>>22
ゲーセンで流行ってたな 
昭和の終わり頃か…
121名無しどんぶらこ
垢版 |
2025/03/11(火) 07:38:50.65ID:AS2LA1Nw0
>>5
「隣り合うべき辺が隣り合わない」などの矛盾が生じることを突き止めた!
2025/03/11(火) 07:41:36.33ID:L+XP2Z1D0
>>121
上手い!
2025/03/11(火) 07:42:41.96ID:L+XP2Z1D0
>>10
なんか含蓄のあるコピペだな。
124名無しどんぶらこ
垢版 |
2025/03/11(火) 07:47:37.48ID:t4hCCfNf0
トナンとはまた珍しい名前だな
2025/03/11(火) 07:48:33.98ID:kw/ipa6C0
背理法を作り出した人の功績は計り知れないな
2025/03/11(火) 07:49:51.94ID:kRbIBL5G0
見たら分かるやんというものも、論理的に証明しないと駄目なんだな
127名無しどんぶらこ
垢版 |
2025/03/11(火) 07:53:25.46ID:t4hCCfNf0
>>126
何故「見たら分かる」のか?を言葉で説明するのよね
2025/03/11(火) 07:55:46.83ID:gzX+g/Kq0
数学は本人が解決出来ない問題とかを発表するのは禁止にして欲しいわ

数学の難問とか後世に残していくのマジで迷惑やろw
129 警備員[Lv.1][新芽]
垢版 |
2025/03/11(火) 07:57:15.96ID:lBCsorlq0
正三角形と同じ面積の正方形って絶対ルートが絡むだろ?
作図で無理数を測れるのか?
130名無しどんぶらこ
垢版 |
2025/03/11(火) 07:57:18.89ID:pKsYEr/g0
こういう幾何学的な問題は群論に落とし込んで代数的に証明するというのが常套手段
131名無しどんぶらこ
垢版 |
2025/03/11(火) 08:02:08.48ID:Ja7IZECc0
>>124
斗南藩ってあったよね
132名無しどんぶらこ
垢版 |
2025/03/11(火) 08:02:39.29ID:iVvFtyD+0
宇宙際タイヒミュラー理論で簡単に解けるのに
2025/03/11(火) 08:05:17.26ID:jz0P4aKd0
こういうのをことさらにもてはやすのは
欠陥があって
あとでつつき回すのを楽しみにしてるから
2025/03/11(火) 08:07:26.02ID:jz0P4aKd0
プログラム書いたときの人間のバグりっぷりはおそろしい
数学はテストもできないのに
37通りもあって人間が厳密に証明できるはずがない
2025/03/11(火) 08:10:54.65ID:rHPCQVcH0
>>25
2025/03/11(火) 08:12:19.68ID:6oC8+J210
ヒマなの?
2025/03/11(火) 08:18:31.75ID:bbeyivpD0
>>125
数学の世界は背理法が成り立たない世界にまで及んでいる
138名無しどんぶらこ
垢版 |
2025/03/11(火) 08:31:02.64ID:yLhsjjTB0
>>10
AIの上に人間がいるんだろうと思って見に行ったら人間なんていなかったというオチだろうな
139名無しどんぶらこ
垢版 |
2025/03/11(火) 09:20:49.86ID:sAD/f4NN0
>>119
未知の問題だから誰も知らないんだよ
2025/03/11(火) 10:11:49.01ID:Kavk1yv40
sjxsJsEq0
何この人めっちゃおもろいやん
2025/03/11(火) 10:26:27.74ID:B3ZZJwvw0
>>66
理科大かよ
2025/03/11(火) 10:46:59.62ID:9smnVf3W0
>>9
数学でのAIの有意義な使い方としては証明ではなく予想だろう

新定理の候補(間違っているかも知れない)を
出させるラマヌジャン・マシンなるものが実際あるとか

※ラマヌジャン: 生涯で数千個の定理を「発見」した天才数学者、彼自身は厳密な「証明」ができなかったことでも有名

DeepLeaningやChatGPTなど近年目覚ましい進歩を見せているのは、(1980年代から90年代に流行った推論規則と論理式化された知識から結果を導くといったタイプのAIではなく)ニューラルネット型のAI
中でやっていることは一種の統計処理で厳密な証明は苦手
2025/03/11(火) 10:53:16.07ID:/q04jrw70
ABCの京大教授のトンデモ論文を精査してよ
144名無しどんぶらこ
垢版 |
2025/03/11(火) 10:58:56.73ID:L5KdsZj00
あんまエレガントじゃないな
2025/03/11(火) 11:09:09.27ID:MmmFjJ5i0
>>1
闇のゲームか…。
2025/03/11(火) 11:23:17.06ID:ApPe/eVc0
>>103
パターンを絞れるのがトポロジーの力
2025/03/11(火) 12:15:39.42ID:FbF2rdJ20
笑わない数学のネタになるな
2025/03/11(火) 12:17:29.55ID:6DOckmot0
暇なんだね
2025/03/11(火) 12:28:47.67ID:boWIY/M20
>>20
つかもうイグノーベル自体がどうでもいーものだと思うw
「モントなんとか金賞授賞」くらいw
2025/03/11(火) 13:41:50.86ID:5mpRtVz/0
>>149
モンドセレクションは金を払えば金賞貰えるけど、イグノーベル賞には一応選考がある
2025/03/11(火) 15:51:52.72ID:aPKi38ko0
昨日解けたとこだったのに
2025/03/11(火) 18:42:45.80ID:WUQhMbyA0
>>1
●自らの矛盾行動でストレスが溜まる大人の女

不良のそばにいる女が富裕層へ色目をつかう。こんなのどこにでもある。

不良が広いトイレの隣にいる男へチンコからションベンまきながらこんなことをほのめかす。
「あの女たちは誰と結婚しても不倫で俺たち(不良)の子を産むリモコン女だ。」
一部の女たちはそんなヤンチャな不良たちが大好きで、ヤンチャな不良の縄張りに自分たちの意志で居座る。
その女たちの将来の夢は、不良たち以外の誰かと結婚するつもりで、目ぼしい男へ色目をつかう。

女が男へ色目をつかっても、男は不良のそばにいる女を結婚対象にしないから、女は結婚に繋がる人脈は作れない。
女は自らの矛盾行動でストレスが溜まる。

女によっては、自分が間違っているのに逆恨みする可能性がある。
逆恨みの対象は、色目をつかってもなびかなかった男だ。
男はかかる火の粉を振り払わなくてはならない。

自衛の方法としては、思いつくアイデアが人それぞれだと思うんだけど、私個人はこう思う。
ケンカの強い不良と戦うのは、限られた人生がもったいないと私は思う。
女は無限にある恋愛手段の選択肢で、慎重な不良と大きく異なる点が、足のつきやすい非合法手段を積極的に選択する傾向があるので、
小型防犯機器で女の違法行為の証拠を取って女を警察へ突き出すのが良いと私は思う。
警察へ飛び込む前に帝京科学大学の総務課に証拠付きで1回だけ内部解決できるかどうか軽く探る。証拠を破壊されないように警戒する。
逆恨みする相手には説教しないほうが良いと私は思う。
不良女に説教するなんて、LGBTに説教するくらい同じ余計なおせっかいだから、危険な行為だ。
超小型防犯機器が入手できなかったり、法律が機能しない場合は、別記で「中瀬ゆかりさん作戦」と「大久保佳代子さん作戦」を思いついたけどもね。
中途半端に法律が効くなら民法利用の「中瀬ゆかりさん作戦」で法律が全くあてに出来ないなら「大久保佳代子さん作戦」だ。
https://bio20240213.blog.jp/archives/6986447.html
2025/03/11(火) 18:43:29.36ID:WUQhMbyA0
>>1
●医学的作話

不良のそばにいる女が金持ちへ色目をつかうって良くあるでしょ。
実刑服役になった詐欺師の白川道と同棲していた時期の中瀬ゆかりさんが、金持ちと結婚していたがっていたとか、巷によくあるでしょう。
中瀬ゆかりさんのトンデモ発言の場合はTV番組「5時に夢中」木曜日内の視聴者を楽しませるリップサービスの冗談ネタでしょうが。

高校で習う万葉集の「秘めたる恋」の「あかねさす紫野行き標野行き野守は見ずや君が袖振る」(女性歌人の額田王)なんて不良を乗り越えられる恋も考えられなくもないが、
このケースは食堂で私の財布の話題をしている金銭欲のカネカネ女だから、アイツラは欲ボケの強盗だ。
「金目当て」と表現すると分かりやすいが、正確には不良の縄張りで過ごしながら同時に他の男と結婚しようとしてる。不可能だ。
不良の縄張りにいる大人の女性が、富裕層の男へ色目をつかった時、その女は「恋愛の人間関係」に関してはクルクルパーになってる病気の可能性が高い。
不良の縄張りにいる女はお金持ちとは結婚できないのにおバカさんだ。
その女は医学的に認知症のお年寄りのような「医学的作話」で、自己中心的なエゴによって自己の理性が機能しなくなる病気になって空回りしてる可能性が高い。
不良の縄張りにいる大人の女が富裕層と結婚できるわけないのに、
医学的作話の女は結婚できると願望、野心による結論を先に出して、まともに考えたらツジツマの合わない実行計画を妄想で都合良くつなぎ合わせて暴挙に出る。
女の側の求める希望解が「富裕層側が不良女を口説いて求婚する」であって、実行解に妄想の医学的作話をして、坊っちゃんが不良女を口説くように仕向け強要するイジメをしてくる。
不良よりも弱い金持ちをいじめて大損させ、人前で女性器を向けて坊っちゃんに結婚を迫るなどすれば、
金持ちはロボットのように従順になって不良側の女と結婚し大金が不良女の手に入ると矛盾するロジック、スキームを立てて実行に移す。
危険な女の可能性が早い段階で分かる能力は、不良と戦う能力や法的証拠を押さえる能力よりも役に立つかもしれない。
https://bio20240213.blog.jp/archives/6986447.html
2025/03/11(火) 18:43:52.65ID:WUQhMbyA0
>>1
「距離を置く」や「相手にしない」とは親身のフリした他人の間違った助言で、狭い共同体なので物理的にそんな手段は不可能だ。
それ以前に「女が私(坊ちゃん)に色目をつかってきた」なんて話したらUFO目撃者と同じ扱いをされる。女性器の話をしたらリアル人間関係だと男の側が不利になる。
「不良の縄張りにいる女が色目をつかってきたら危険」を知ってれば、安全に合法的に「スレ違う努力」なら力を入れられる。
大学キャンパスであることないこと言われて坊ちゃんの悪い評判が蔓延し、敵だらけの紛争後に自衛闘争する段階に入る前に、リソースを効果的に使える。
すれ違う努力とは逆だが、求婚してくる女がストーカー濡れ衣を着せてくるようなら、
女の側のクセ字筆跡で女の住所電話番号を書いてもらうと、刑事事件の法廷段階で女の側が自分の行為を説明できず大ドンデン返しかもしれない。
悪い女たちが結婚強要してくる以上、富裕層と繋がりたいわけで連絡方法は女のほうが作りたがってる。
刑事裁判段階になると、坊ちゃんは教育を受ける権利を奪われて人生は蹂躙され無職破滅の後だから、事実上の手遅れだが、一矢を報いる程度には抵抗できる。
進学や就職をしたいなら、ストーカー嫌疑で教授会に吊るし上げられる前に先手を打って、
小型防犯機器で悪い女たちが人前で女性器を出して追いかけてくる証拠を撮影して、警察に飛び込んで女たちを逮捕してもらったほうが良い。
そもそも不良と富裕層とを両立できるわけないから、彼女たちは何らかの非合法な手段で富裕層へ求婚する。その非合法な手段を防犯装置などで記録すればいい。
(女性観を女性歌人の額田王にする人には、虚栄心女やその代弁者の中瀬ゆかりさんがあえて非合法選択肢を選ぶ心理メカニズムを理解できないだろう。)
大学生の不良女の人生はどうなるかって?大人だから説教よりも逮捕が大切だ。18歳は法律で大人へ法改正された。
私が学生の頃の1990年代前半はドライブレコーダーも小型防犯機器も売ってなかった。
https://bio20240213.blog.jp/archives/6986447.html
2025/03/11(火) 18:45:04.25ID:WUQhMbyA0
>>1
私は病気休学前の入学時に東大卒の心理カウンセラーへ「バイオ女からのセクハラ被害があること」を訴えた。
東大卒は
「そうかもしれないけれども、あなたの気のせいかもしれないね。
 あなたの見たもの感じたもの、そのすべて全部何もかもが、あなたの気のせいだよ。」でまとまった。
その東大卒は何年も後で私に関しての質問を教授会に呼び出されて証言した時、
私がセクハラ被害の相談をしたことを隠し、私があたかもストーカーであるという不利になるでっち上げ情報を発信し続けていた。
大勢の女たちが私に手書き筆跡、クセ字の住所電話番号を渡した事実があるのに、
東大卒は「あんなストーカー(坊ちゃん)に女が連絡先を渡すわけがない。」と詐欺師を見破るヒントを出しているのに、
共同体の構成員は詐欺師を詐欺師だと気が付かないもんだから、少なくとも2人、複数の詐欺師が登場するゲーム展開になった。
閉鎖された共同体で、詐欺師が2人以上信用ある人物として丁重に扱われ、謎を解く鍵が失われて、とうとうゲーム理論上の打つ手なしの「解決策なし」が成立した。
ゲーム理論上の「解決策なし」になったから、組織は自己浄化能力を失い、おそらく第三者の詐欺師や新参の詐欺師まで利得を集めるボーナスステージになったことだろう。
詐欺師御用達のリゾート地になることで、帝京科学大学理工学部が廃学部になる遠因になったと私は思う。
https://bio20240213.blog.jp/archives/6986447.html
2025/03/11(火) 18:45:04.83ID:boWIY/M20
>>150
いや、あれだって一応「審査」があるじゃんwww
2025/03/11(火) 18:45:36.74ID:WUQhMbyA0
>>1
●「そもそも不良と富裕層とを両立できるわけないから」にどうかなと思う人

「そもそも不良と富裕層とを両立できるわけないから」にどうかなと思う人がいて、
世界観が中世の1566年で、人たらしの木下藤吉郎が山賊やならず者をスカウトし手なずけて足軽に育て、墨俣城をたった一晩で建設した、きっとそのたぐいのイメージだろう。
一見、美しい野生のキツネを家畜化できそうだが、実際のキツネの家畜化は難しいし、
成功してもキツネの見た目、仕上がりが中途半端な媚び媚び雑種犬の残念な生き物になる。
それならブランド犬の方が良い。
過酷な環境に強いシマウマの家畜化に挑戦しても、シマウマの遺伝子による本能行動が石板の文字情報のように修正不可能で、家畜化しにくい。
不良がチンコからションベンまきながらトイレで私に「あの女たちは誰と結婚しても不倫で俺たちの子を産むリモコン女たちだ。」と言う。
哺乳類のオスが排尿しながら他のオスへ伝えてくる情報は縄張りに関する警告だ。不良はセオリー通りの本能行動の割合が大きい。
縄張りの本能が強い不良、ネタミやっかみをする不良とケンカの弱い人とを両立できるわけないと私は思うけどもね。

両立をもくろむ一部のバイオ女たちが、この困難命題を「坊ちゃんを矯正すれば結婚できる」と結論づけ、まるでチェーンソーで坊ちゃんを切り刻んで迫害、外科手術する。
数ある恋愛手段の中で彼女たちは、足がつきやすい非合法手段を好んで選ぶ。
彼女たちは坊ちゃんへ損させて求婚する手段が正しいと思っているから、彼女たちは発覚しやすい非合法手段をわざわざ選ぶ。

大学は坊ちゃんを大学から排除すれば丸く収まると結論づけて坊ちゃんをパージする。

暴挙女は軽率だから、坊っちゃんが後手の大学から別件で外堀を埋められる前に、先手の防犯機器で軽率女の証拠を取れる可能性がある。
教授の実験を代行する女たちを小型防犯機器で次々に警察に突き出せば、大学は逆恨みするだろう。私は非国民で大学関係者「全員」敵だ。
しかし、撃退対策が10年安定成功すれば、犯罪傾向のある女子学生を選ぶ教授の任命責任に批判が向くだろう。
https://bio20240213.blog.jp/archives/6986447.html
2025/03/11(火) 18:46:09.57ID:WUQhMbyA0
>>1
●人間関係能力重視は、偏差値50理系大学でイカサマ師の利得を集める危険な武器になる。で、廃学部がオチ。

心理学社会学インテリが「人間関係の連携を高めよ」と言って、そうすれば科学の世界で生産性が上がるらしい。
人間関係を強めると、科学とは関係ないエゴの利得を集める道具に「人間関係評価の変数」が成り下がる。
人間関係の強固な結束の最小単位が、「不良のエゴ」と「不良のエゴを愛するバイオ女」だ。
不良がチンコからションベンまきながらトイレで私に「あの女たちは誰と結婚しても不倫で俺たちの子を産むリモコン女たちだ。」と言う。
発言力の強い一部のバイオ女たちが、そんな野性味あふれる一部の不良たちを「女の側で内発的に泉のようにあふれ出る野性味を求める欲望」の私利私欲で庇護する。
その最小単位の人間関係の連携が、個々の分子のように集積して重合し成長してDNAとなり細胞となり組織器官となり骨格筋肉のゴジラになる。
ゴジラが街を破壊する。人間関係重視で世があべこべになる。
若者男女が引き合う分子間力なんて最小単位が単純なんだけどもね。

4期生の島根女が、科学誌natureのバイオ論文が読めないクルクルパーで、大学共同体では人間関係で尊敬され利得を集め、内部成績1番になり、無試験の教授推薦でまともな大学院へ進学する。
このイカサマ師崇拝の構造的腐敗ルートは1990年前半だ。人間関係重視で世があべこべになる。

この無試験の推薦のみで科学キャリアを積める腐敗構造が2014年には筆記試験ゼロで人間関係エリートの小保方晴子さんのSTAP細胞事件を起こす。こんなの氷山の一角だ。人間関係重視で世があべこべになる。
小保方晴子さんは目立ち過ぎてドジ踏んだ。本物の詐欺師はカメレオンのように周囲に溶け込む人間関係スキルがある。人間関係重視で世があべこべになる。
https://bio20240213.blog.jp/archives/6986447.html
2025/03/11(火) 18:46:35.69ID:WUQhMbyA0
>>1
「女が不良や教授から一方的に操られていること」が希望的観測で
「女が内発的、主体的に刑事法に触れる悪事を実行してること」が坊っちゃん側には分からない。
それがわからないと、坊っちゃんは悪い女を味方にする選択肢の余地を残すスキームを考えるので、
「悪い女を警察に突き出す思考実験、スキーム」や「悪い女を大久保佳代子さんタイプに嫉妬させて大久保佳代子さんタイプをぶつける思考実験、スキーム」は作れなくなる。
5時に夢中木曜日で中瀬ゆかりさんがプライベートで詐欺師と同棲して、同時に、富裕層と結婚したがる冗談を言うのを何度も聞いて、やっと気持ちの整理がついて現実的なスキームを思索できるようになった。

女が「不良と教授」を味方につけて刑事法違反で坊ちゃんへ結婚強要する。変容不可能。
「不良と教授」は結婚に反対してる。私が「不良と教授」と戦えば退学または除籍。変容不可能。
女と話し合うと女がチクるリスクがあり、実際の女は奇声発作で記憶と正気を失う。どの悪い女も同じ。変容不可能。
だから、女へ痛みを与え女が大学の「電車のレールから外れる」解決策しか無かったが、当時は選択決断できなかった。
しかし、女がマインドコントロール下で支配され、悪党たちから刑事法違反行為に利用されていたとしても、マインドコントロール様態が話し合い挑戦でも変容不可能だから、
親から大学へ進学させてもらった恩に報いるため、女に痛みを与える選択肢が正解だったろう。
https://bio20240213.blog.jp/archives/6986447.html
2025/03/11(火) 19:05:53.15ID:vT/rdjZh0
>>9
じゃあゴールドバッハ予想AI使って証明してくれよ
161名無しどんぶらこ
垢版 |
2025/03/11(火) 23:59:27.48ID:tKnIXlBp0
>>143
あれは確か8年がかりで査読を終えて論文誌に掲載もされたんじゃなかったっけ?
2025/03/12(水) 00:04:29.05ID:nhUAbCRO0
これからの数学はすべてProofチェッカー通すことを義務付けたい
2025/03/12(水) 00:05:04.41ID:nhUAbCRO0
AIなら退屈な作業も延々やってくれるだろ
2025/03/12(水) 00:32:31.93ID:05cIx0+v0
>>161
載せられる学会誌がなくて難航していたような
結果お膝元に掲載
2025/03/12(水) 01:31:12.15ID:D3nlm6i/0
【悲報】ピースくん、絶好のスレを見逃す
2025/03/12(水) 11:12:17.33ID:fDUTDgSB0
>>107
何と勘違いしているかと考えれば、世間一般には知られていない
ド・ブランジュによる“証明”よりも、同じミレニアム懸賞問題の
ポアンカレ予想を想像する方が自然だよ
167名無しどんぶらこ
垢版 |
2025/03/13(木) 15:10:45.14ID:sgABZEiG0
秋山仁まだ生きていたのか
2025/03/13(木) 15:14:19.49ID:8U+HsaN90
ハイリハイリフレ背理法
2025/03/15(土) 09:01:00.06ID:FgfIomsM0
背理法ナツカシス
2025/03/15(土) 09:14:28.42ID:T48HBDdB0
証明問題は嫌い
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況