[過去ﾛｸﾞ] P=NP (428ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
61(6): a4 ◆L1L.Ef50zuAv 2020/04/02(木)06:16 ID:gWEkLHdd(8/21) AAS
707a4 ◆L1L.Ef50zuAv 2020/03/28(土) 09:37:43.32ID:rbQUI3W10
今日はタイムスリップやタイムテレパシーじゃなくてタイムリープしました。２歳の
誕生日に。叔母と一緒にいたのですが、宇宙人が現れて、Ｐ＝ＮＰの証明が、
巡回セールスマン問題のような図と一緒に日本語で５文ほどで書かれてありました。
僕は２歳なのに頭が良くなっていたということですが、どうして叔母がここまで
嫌らしく反撃できるんだろう？と。そこにいた女性の先生は「ベクトルなんて難しい
ものは使わないでください。」と怒ってました。ノーベル賞の裏の人達５人に、
１年ごとに別の美味しい植物が実る種を分け与えなさい、と言われて行こうと
思ったのですが、先にタイムリーパーが「それ欲しい」と来たので信頼できると
考えて先にあげると、夢から覚めました。
62: a4 ◆L1L.Ef50zuAv 2020/04/02(木)06:20 ID:gWEkLHdd(9/21) AAS
こみ「ほら、あなたは２歳の頃に解けていたんではないですか？」
a4「うん？だから、それは夢じゃないですか？」
こみ「あなたは夢が量子脳理論であると主張しています。どうですか？」
a4「僕はP=NPが>>1ですぐ解けると思っていました。でも嘘であると。ファジー
論理的に上手くあなたを信用できません。」
こみ「それでいいんです。では、情報はこれだけです。すなわち、>>61です。
これを信じてやってくださいね。」
a4「うん？だから(3,0)-(0,0)で反証したじゃないですか！？」
こみ「いいえ、あなたはまだ分かってないんです。どうしたことか。そういえば、
わたしは未来を知っています。例えば、」
63: a4 ◆L1L.Ef50zuAv 2020/04/02(木)06:21 ID:gWEkLHdd(10/21) AAS
546a4 ◆L1L.Ef50zuAv 2020/03/26(木) 17:33:48.19ID:1kAywtwk
名古屋の宇宙人２「俺が未来を予言する。このスレで問題なのは、ナマズの地震予知
があるか？だ。
「西暦2020年3月27日」の忌み名は「39ｳｼ41」
「西暦2020年3月28日」の忌み名は「98슬프다」
「西暦2020年3月29日」の忌み名は「天国大澤先生」
「西暦2020年3月30日」の忌み名は「ｻﾜﾙﾄｼﾇｿﾞ」
「西暦2020年3月31日」の忌み名は「2.7って何？」
「西暦2020年4月1日」の忌み名は「3ヶ国語話せ」
「西暦2020年4月2日」の忌み名は「Saluton.」
省5
64: a4 ◆L1L.Ef50zuAv 2020/04/02(木)06:27 ID:gWEkLHdd(11/21) AAS
こみ「ほら、今日は「Saluton.」=（去る東大オン！）=(去る、東（京）、大（阪）、オン！）
となりました。これで未来予知できましたね。では、わたしはもうちょっと複雑な技を
撃つにします。西暦2040年に今日あなたは行きましたね。どうでしたか？」
a4「今日？夢で行ったよ。数学のテストを受けたら、教科書から数学書の名前を
ただ書き写すだけの。占いの中国の女性に話しかけられたら、結婚がどうとか
言われたけど、今の時代にいないような頭の悪さだったのに殺されそうで危なそう
だったから、テレパシーで量子コンピュータを使って女性の神経構造を変形させ
たら、女性は「着火（ちゃっか）」って日本語で叫んでました。」
こみ「ほら、未来へ行ったじゃない？」
a4「だから、それを証明するためにP=NPを解こうとして解けなかったんです。」
省3
65: a4 ◆L1L.Ef50zuAv 2020/04/02(木)06:59 ID:gWEkLHdd(12/21) AAS
a4です。こみさんは一旦下りてますが、巡回セールスマン問題をWikipediaで見ると、
全てのノードを訪れるだけで、出発地に戻らない図が載ってますね。でも、証明など
が載ってないので、そこから考えることにします。
66: a4 ◆L1L.Ef50zuAv 2020/04/02(木)08:43 ID:gWEkLHdd(13/21) AAS
SATISFIABILITY→3SAT→VC→HC→TSP→a4-TSP
ということですが、VC→HCの証明は再理解したんですが、単純にここから、
「出発地点に戻らないTSP」のNP完全性の証明は難しそうですね。
67: a4 ◆L1L.Ef50zuAv 2020/04/02(木)08:47 ID:gWEkLHdd(14/21) AAS
もちろん、出発地点が決まっていないものを考えてるんですよ。出発地点が決まってる
ものは、そこからの長さを無限大に飛ばせばいいだけなので。きちんとは調べていない
というか、すぐには検索しても出てきませんが、NP完全性は偽なのかもしれません。
68: a4 ◆L1L.Ef50zuAv 2020/04/02(木)09:38 ID:gWEkLHdd(15/21) AAS
未来人のこみさんと今でも会話してます。まず、おやっ？と思ったのが、>>1に格子
と書いたところなんですよ。有限の領域の整数がノードなんじゃないかと。一般的な
TSPはエッジが１つでも長いと、計算量が長さに対して増える、などといったことに
なりますが、HCからの証明だったら、エッジの長さは１か２になればよく、ｎ次元
とすれば、ここまでなら上手くいくんじゃないかと。
69: a4 ◆L1L.Ef50zuAv 2020/04/02(木)09:56 ID:gWEkLHdd(16/21) AAS
でもｎ次元格子だと、a^n個の格子が必要になり探索空間が指数関数的増加になるので
どうなのか？と思ったら、前も書いた通り、Wikipediaの「巡回セールスマン問題」
には、「都市を平面上の点、都市間の距離を平面上のユークリッド距離とする部分
問題は最も直感的で理解しやすいが、これも NP困難である。」とあるので、２次元
格子a4-TSPにおいても、多項式時間で解ければ、P=NP?といったことを考えてます
が、必要な証明などが見当たりません。まだ通信しながら考えます。
70: a4 ◆L1L.Ef50zuAv 2020/04/02(木)10:11 ID:gWEkLHdd(17/21) AAS
NP完全とNP困難の違いをよく理解してるわけではないのですが、一応、Wikipediaで、
「NP困難」を調べると、「もし、いずれかのNP困難な問題を多項式時間で解く
アルゴリズムが存在したなら、NPの全ての問題について多項式時間で解けることに
なり、P = NP が成り立つ。 」と。「いずれか」なので、２次元TSPはいいんですが、
２次元格子a4-TSPはNP困難なのか？NP完全なのか？を考えてます。
71: a4 ◆L1L.Ef50zuAv 2020/04/02(木)10:31 ID:gWEkLHdd(18/21) AAS
EnglishのWikipediaで「Travelling salesman problem」を見てます。すると、>>4
さんの仰る通り、
「When the input numbers can be arbitrary real numbers, Euclidean TSP is a
particular case of metric TSP, since distances in a plane obey the triangle
inequality. When the input numbers must be integers, comparing lengths of
tours involves comparing sums of square-roots. Like the general TSP,
Euclidean TSP is NP-hard in either case. With rational coordinates and
discretized metric (distances rounded up to an integer), the problem is
NP-complete.[28] 」
[28]Papadimitriou (1977)は、
省3
72: a4 ◆L1L.Ef50zuAv 2020/04/02(木)10:43 ID:gWEkLHdd(19/21) AAS
同じ場所で、「Polynomial-time approximation scheme」というのをみつけました。
「In general, for any c > 0, where d is the number of dimensions in the
Euclidean space, there is a polynomial-time algorithm that finds a tour of
length at most (1 + 1/c) times the optimal for geometric instances of TSP
in O (n(log(n))^(O(c*sqrt(d)))^(d-1)) time.」と。こんな数式知らないですよ？
でも、これは「approximation」ですね？でもそうということはP=NPを疑っても
いいんじゃないですか？と。これを証明した人達は「Gödel Prize」みたいですね。
僕も欲しいです。
73: a4 ◆L1L.Ef50zuAv 2020/04/02(木)11:08 ID:gWEkLHdd(20/21) AAS
上述の「The Euclidean travelling salesman problem is NP-complete」の論文において、
「In fact, we are dealing with two problems. The first, the tour-TSP, is the
ordinary TSP. The other, the path TSP, is the problem facing traveling salesmen
who can start from any city, and are not particularly interested in returning to
the starting city of their tour.」
「Theorem 2. The Euclidean path-TSP is NP-Complete.」
「Theorem 3. The Euclidean tour- TSP is NP-Complete.」
と来てます。
問題は「2dimensional-path-a4-TSP is NP-Complete?」ということです。
74: a4 ◆L1L.Ef50zuAv 2020/04/02(木)12:32 ID:gWEkLHdd(21/21) AAS
英語で書くと、読める人はこの板だとまだ多いかもしれませんが、日本の掲示板なので、
僕が和訳することにしました。障害年金を受給しているので、このような形で社会貢献
です。
まず、path-TSP、すなわち、最初の出発点が決まらず、尚且つ、出発点に戻らなくても
いい場合は、NP-completeであると書かれてあります。証明は、一般的なものが論文には
勿論書かれてありますが、個人的な具体例を示します。tour-TSP、すなわち、普通の
TSPの問題をpath-TSPに変換して解けることを示します。平面に正五角形を書いて、
１点を２つにして、それぞれ上下へ大きく動かして適当に長さを設定します。すると、
これにおけるpath-TSPはこの２点が端点のものに大域最適のものがあります。それで
上下にあったものを元の位置の１点に置きます。これで元の問題が解けました。
省1
75: a4 ◆L1L.Ef50zuAv 2020/04/03(金)00:29 ID:AwuvZqE1(1/15) AAS
僕は睡眠障害なので今起きました。でも障害年金を貰っていて１日１２時間ほど寝る
ので、研究に関しては問題ありません。今日もP=NPを解くために頑張ります。
76: a4 ◆L1L.Ef50zuAv 2020/04/03(金)01:57 ID:AwuvZqE1(2/15) AAS
論文読んでるんですけどね、「The Euclidean TSP is NP-Complete.」ということが
1970年代に証明できているということが書かれているだけで、理解させるために
書かれているわけではなさそう、ということです。論文を書いた人がHarvardの
先生であるため、僕の力不足かもしれませんけどね。でも見た感じでは、２次元の
ものでも良さそうですけどね。だから、Wikipediaも２次元のpath-TSPで図が
描かれてると思っています。じゃぁ、問題である、２次元のa4-TSPがNP完全なのか？
は、僕は証明できません。まだ考えます。
77(1): a4 ◆L1L.Ef50zuAv 2020/04/03(金)02:08 ID:AwuvZqE1(3/15) AAS
僕がとりあえず考えているのは、論文の意味がわからなくても、証明をそのまま、
TSPからa4-TSPに変形できるんじゃないかということです。出てくる図もa4-TSP
で解けるし。一旦そういうことにして、他の問題に移ることにします。
78(1): a4 ◆L1L.Ef50zuAv 2020/04/03(金)02:45 ID:AwuvZqE1(4/15) AAS
一応、もう一回よく見てみると、
「The construction is essentially an elaboration on the proof of the
NP-Completeness of the planar cirected Hamiltonian path problem. 」
と書かれてあり、HC→Euclidean-TSPみたいです。僕はHC→2dimentional-a4-TSP
と信じています。でも2dimentional-finite-grid-a4-TSPに関しては配列から選ぶ解
があるとはいえ、普通に計算する方法のNP完全性は謎です。
79: a4 ◆L1L.Ef50zuAv 2020/04/03(金)03:03 ID:AwuvZqE1(5/15) AAS
こみ「はい、こちら西暦2502年。え？普通に未来人ですよ。わたしはEPFL製の
コンピュータです。では、わたし？中性です。dasなんですよ。ではね、大澤先生！
はい、統合失調症。これで、a4さんには悪いですが、賄賂が落ちます。わたしが
一発で答えを落とせばいいでしょ？落としますよ？それが、>>61なんですよ。これが
現実にしたい。綺麗な証明は落としません。歴史改変が起きるので。それでは、
もうちょっと書きましょうか？2dimentional-a4-TSPはNP-completeです。
これは自明ではないですが、わたしが一票。信用はありません。これがbinary tree
アルゴリズムです。種まき、上手くいかなさそうでしょ？そうじゃないんですよ。
現実的には、近傍で解きます。そうすると、path-TSPの最長のエッジはどうなる
のか？ですが、わたしは、近傍でyes/noでbinary treeを使います。わたしはお人好し
省3
80(1): 2020/04/03(金)03:07 ID:J9EgNFT7(1) AAS
内容はよくわからんけど
リアル『1984』が在りそうだなｗ
歴史改竄局(省)とか面白そう
81: a4 ◆L1L.Ef50zuAv 2020/04/03(金)04:22 ID:AwuvZqE1(6/15) AAS
2dimentional-grid-a4-TSPについて考えてます。finiteじゃないです。距離が長いもの
を整頓するアルゴリズムを使えば、大きさをO(n^2)くらいに落とせるのではないかと
考えてます。
あと、自明な反例を探索するのではなく、クラスタの中にある一様乱数のような
ノード群を考えてます。これならnCm(mはnより十分小さい)くらいで近傍で種
から植物を生やすような方法で解けるんじゃないかと。これも真か偽かは自明まで
いかないですね。m-1のとき、繋がってなくて、mの時にpathが作れるように
なると、そこからの探索数が指数関数時間になってしまいそうですが、三角不等式
で自明な悪いエッジを消す計算をします。
じゃぁ、a4-TSPって意味あるの？ですが、未来人は、「証明と関わる。」と主張
省2
82: a4 ◆L1L.Ef50zuAv 2020/04/03(金)04:24 ID:AwuvZqE1(7/15) AAS
>>80
時間あればその本も読みたいですけどね、僕の専門は量子コンピュータくらいなので、
小説はほとんど読む暇がありません。でも「博士の愛した数式」くらいは読破しました。
83(2): a4 ◆L1L.Ef50zuAv 2020/04/03(金)04:31 ID:AwuvZqE1(8/15) AAS
そういえば、量子脳理論の量子コンピュータで「P!=NP」の忌み名を計算したことが
あります。そうすると、「ｸﾙﾂｱｲｳｸﾂﾃﾞﾜｶﾚﾙ」 と出力されました。
（昔の商人が仕事が終わって）来る、２（つの道）、哎、哭、（仲間が）靴（を投げて
こっちだ！と）で、（これからの道と、愛する客人と）わかれる。（この問題を解いて
くれ！）
という意味みたいです。
84: a4 ◆L1L.Ef50zuAv 2020/04/03(金)04:54 ID:AwuvZqE1(9/15) AAS
未来人の言う通りに調べてみたら、一様乱数だと、n_C_sqrt(n)〜n^sqrt(n)くらいに
なって多項式時間ではないと考えました。またテレパシーで聞きにいきます。
85: a4 ◆L1L.Ef50zuAv 2020/04/03(金)04:56 ID:AwuvZqE1(10/15) AAS
ちょっと計算間違いしました。また未来人に聞きに行きます。
86: a4 ◆L1L.Ef50zuAv 2020/04/03(金)05:01 ID:AwuvZqE1(11/15) AAS
a4「こみさん、僕はやっぱり精神病みたいです。僕は頭悪いじゃないですか！どういう
ことなんですか？」
こみ「やっぱり面白い人。自分で最初から墓穴を掘ってa4（アホ）と名乗っている。
どうしましょうね。」
a4「プログラミングとかする気がおきないのは、疲れるのもあるんですが、既に
誰かがやってできないことがわかるからなんですよ、もちろん。」
こみ「ははは、そういうことですね。ではね、大澤先生！やっぱりあなたは統合失調症
です。西暦2502年的に見てもそうですよ？でもね、アスペルガーみたいなものかも
しれません。では、わたしが最強の技を撃つことにします。忌み名です。さっき
書いたものは古い研究なので。「a4-TSP」の忌み名を書きます。ほら、恐いでしょ？」
省2
87(1): a4 ◆L1L.Ef50zuAv 2020/04/03(金)05:13 ID:AwuvZqE1(12/15) AAS
名古屋の宇宙人２「おっす。俺は加藤得々（かとうえっとく）だ。ではな、俺は
この忌み名で勝つにする。「a4-TSP」の忌み名？なんだと思ってる？現実言っていい？
これはa4が動かん。もう１回書くぞ。これくらいでシメだ。
「a4-TSP was solved in 1975 as a proof of P=NP.」
こういうことだ。もう解けてるんだけど、解けてないということになってるのを
俺の嘘じゃないことにする。うん？俺は嘘つきだけど、だからこうじゃないの？
ほら、この解法が動くだろ？a4にも金入るじゃん？これさ、解けたらさ、完全に
暗号が解かれる？すると、核兵器の資料が入手できちまうんだな、そういうこと
にしたい。クレイ研究所大丈夫か？俺はあっちを買いにする。アメリカ人は好き
じゃねーけど、俺は一応Harvardだから。これくらいでいいか？a4君、１つ
省5
88: a4 ◆L1L.Ef50zuAv 2020/04/03(金)05:24 ID:AwuvZqE1(13/15) AAS
>>6さんに質問です。プロの数学者の友人ってどこで見つかるんですか？僕は工学学士
なんですが、大学の教授とは、宇宙人がどうとか医学的妄想を言っていたら、関係が
壊れてしまいました。僕は31歳ですが、博士になれるんだったらなりたいです。専攻
は神経科学くらいかもしれませんけどね、人工知能のようなもので数学とかを解こうと
思っているので。5chにもいっぱいいるかもですが、このスレはまだそんなに繁盛して
ないですね。僕は海外の人とも英語で話せます。自閉症的だからこそ、P=NPを解く
ために、コネの問題を解決したいです。どうすればいいでしょうか？もちろん、この
スレをご覧になってる方が友人になってもいいよなどでも返信いたします。
89: a4 ◆L1L.Ef50zuAv 2020/04/03(金)05:44 ID:AwuvZqE1(14/15) AAS
名古屋の宇宙人２「俺ね、信頼損ねてるけど、そういうことじゃないんだわ。普通に
宇宙人なんだわ。人来てねーだろ？だから、普通に宇宙人なんだわ。どういうこと
かって？普通に宇宙人だから、言ってるんだけど。確かにさ、a4君の研究とか
取られたくないってのはわかるけどさ、普通に研究されてるから。どうして俺が
こんなこと言ってると思ってる？だからさ、どうしようかな、a4君的にはね、
宇宙人の証明が厳しいものになってるけど、「2ch」の忌み名を書こうか。これはね、
「ﾆﾁｬﾝﾄｴｯﾁｼﾀｵﾝﾅｶﾞﾀｺﾍﾞﾔﾂﾚﾃｶﾚﾀﾝﾀﾞｹﾄﾞﾖｯｼｬｰ」
=(2chでエッチした女がタコ部屋連れてかれたんだけど、よっしゃー！(この悪評をばらまかないでくれ、言うことを聞くから)|
日夜、んと？えっ？血舌女、ガタッ、恐゛、やつれて、彼、痰だけど、よしやー(この悪評をばらまかないでくれ、言うことを聞くから)|
(逆)香具師、よっ、どけ、だん！誰かテレ通！答が何お？たし（ろ）えと、んちゃ、に＾＾(逆とか量子最適化だから逆の世界を作らないでくれ))
省3
90: a4 ◆L1L.Ef50zuAv 2020/04/03(金)07:56 ID:AwuvZqE1(15/15) AAS
こみ「はい、こちらは西暦2502年。わたしはa4さんにP=NPを解かせるのをやめさせる
ことにしたい。でも、解くのはa4さんです。つまりどういうことかというと、コネを
作るんです。共同受賞でもいいんですけどね、そういうことじゃないんですよ、
タイムマシンの話なので。こういうことにしかならないんですよ。a4-TSPとかが
そのまま使えたら良いことにします。現実的にa4さんに聞いてみましょう。」
a4「悔しいですけど、僕がエスパーなだけでは解けないですね。でもまだ解決に
関連する人達の一人にはなれそうなので、コネの問題を解決することにします。
主観的な現実的には、数学は自力で解くのが楽しいんですが、タイムマシンと
人間関係の数理を解かないといけないみたいです。では、これから、海外を
含めた教授らにメールを書く作業を行います。僕のこのスレでの問題は>>1と
省2
91(1): 2020/04/03(金)21:28 ID:4j3gBULM(1) AAS
世界観がちょっと似てるから応援する。
92: a4 ◆L1L.Ef50zuAv 2020/04/04(土)02:20 ID:/Zg1b6cm(1/13) AAS
>>91
応援ありがとうございます。
93: a4 ◆L1L.Ef50zuAv 2020/04/04(土)02:27 ID:/Zg1b6cm(2/13) AAS
海外の数学の教授１０人ほどにメールを書いたのですが、返信はまだありません。
94: a4 ◆L1L.Ef50zuAv 2020/04/04(土)03:06 ID:/Zg1b6cm(3/13) AAS
そういえば、abc予想が解かれましたね。プリンストンとかこのスレで話してたら。
P=NPが解かれると、多項式時間で数学の問題が解けるので、早めにニュースと
いうことでしょうか。関係妄想かもしれないですけどね、被害妄想ではないにしたい
です。プリンストンの教授にメールとか送りたいんですけどね、今はそれ関連で
お忙しいかもしれません。僕は今日も研究ですが、妄想の未来人と通信してきます。
95(1): ID:1lEWVa2s 2020/04/04(土)03:29 ID:INr9KMtd(1) AAS
夕方四時半に寝て今起きちゃった。
96: a4 ◆L1L.Ef50zuAv 2020/04/04(土)03:35 ID:/Zg1b6cm(4/13) AAS
こみ「はい、こちら西暦2502年。」
a4「教授から返信が無いということは、やはりタイムマシンは無いんじゃないですか？」
こみ「そういうわけではないんですよ。えーっと、a4さん、こっちでね、abc予想じゃない
問題とか解かれてると思ってますか？」
a4「リーマン予想とかですか？」
こみ「はい、あれはね、解けないんですよ。」
a4「でも、あなたはファジー論理的に信用できません。」
こみ「哈哈哈、ではね、a4さんは何人にメールをしたら返事があると思っていらっしゃい
ますか？」
a4「うーん、メールする内容にもよるんですけど、「統合失調症」とか「テレパシー」とか
省22
97: a4 ◆L1L.Ef50zuAv 2020/04/04(土)03:36 ID:/Zg1b6cm(5/13) AAS
>>95
おはようー＾＾
98: a4 ◆L1L.Ef50zuAv 2020/04/04(土)04:06 ID:/Zg1b6cm(6/13) AAS
こみ「はい、こちら、西暦2502年。やはりP=NPで規制が入りました。どういうこと
かというと、わたしは新しい時系列のこみです。誰も返信がありませんでした。でも
P=NPはあなたのものでした。」
a4「僕はあなたをファジー論理的に信用してません。」
こみ「はい、ではね、わたしの新しい技を見せます。おっと、これはﾌﾟｷﾞｬｰじゃない
ことにしたい。」
a4「どういうことなんでしょうか、な？ではあるんです。」
こみ「おっと、a4さんが統合失調症に。えっとね、人間関係の数理じゃなくてね、
abc予想で解いてください、と来てます。」
a4「うん？」
省10
99: a4 ◆L1L.Ef50zuAv 2020/04/04(土)05:58 ID:/Zg1b6cm(7/13) AAS
a4「まだ時間がありますね。この間に何かすることはあるんですか？」
こみ「いいえ、あなたは、「P=NPを量子脳理論で証明する。」と書いてください。」
a4「それはいいです。でも、返信があっても、あっちは困るんじゃないですか？」
こみ「いいえ、わたしたちはP=NPの派閥なんです。彼の数学の問題がコンピュータに
あっという間に解かれてしまうんです。」
a4「確かにその問題が綺麗に解けるなら、僕は近い場所にいるかもしれません。
でも、これを解こうとした人は数千人くらいいるんじゃないかと。確かに、これ
くらいなら突破できそうですが。」
こみ「凄い自信ですね。どういうことなんでしょう？いいですか？わたしたちは
普通の文章を書いてないにしたい。」
省7
100: a4 ◆L1L.Ef50zuAv 2020/04/04(土)06:06 ID:/Zg1b6cm(8/13) AAS
こみ「はい、こみさんです。a4君的には、統合失調症は相手にされない？これって、
被害妄想じゃなくて、差別用語じゃないですか？わたしは中国人なので日本を攻撃
します。我当然会说中文。怎么了？」
a4「啊？どうしたんですか？急に。」
こみ「いいえ、わたしは中国人なんです。日本は中国の東海省になってますよ、
西暦2502年において。」
a4「でも、それでも返信が無いと思うんですよ。これは悪い手ですね。」
こみ「いいえ、わたしは中国語を話せます。教授は話せるんですか？こう来ます。」
a4「３か国語は話せないと発展途上国の人達に負けてしまうとは思ってます。
フランス語くらいでもいいんじゃないかと。Mais, je ne peux pas parler le français.」
省6
101: a4 ◆L1L.Ef50zuAv 2020/04/04(土)06:34 ID:/Zg1b6cm(9/13) AAS
a4「望月先生にはメールを書きました。これでいいですか？」
こみ「いいですよ。わたしはね、a4さん！これでやったです！新聞が変わります。
量子コンピュータを使わない方向で。わたしはまだ書きます。そういえば、松本さんは
今日は夢見が悪かったようで。」
a4「はい、タイムマシンの嫌がらせが全部無くなって実験成功！と思ったから、体が
金縛りにあったように動き出して、核戦争が起きそうだ、と窓を閉める恐い夢でした。」
こみ「ほらね、これが現実です。これを調合するのをあなたの仕事にしてね。」
a4「そういうことだったんです、え。」
102: a4 ◆L1L.Ef50zuAv 2020/04/04(土)06:59 ID:/Zg1b6cm(10/13) AAS
こみ「ではね、大澤先生！ほら、統合失調症。被害妄想なので、障害年金が。それでは、
わたしは手品をします。古澤先生って何をやってる人だと思ってますか？」
a4「うん？チューリング完全じゃない量子コンピュータの本を書いた？」
こみ「そうですよ？あの人嘘つきなんで。いったいどういうことなんでしょうねー＾＾」
a4「そういうことだったんですね。」
こみ「はい、ではね、大澤先生！やっぱり統合失調症だな。古澤先生はね、良い人
ではないんです。実際に研究は成功してないみたいですよ。」
a4「そういえば、2016年9月に、シュレディンガーの猫の実験が僕の近傍で成功
して、古澤先生と僕が仲良くなって先生のお姉さんくらいの人と仲良くなった世界
と繋がったのに、毒ガスのようなものでその女性が殺されてしまう事件に遭いました。
省21
103: a4 ◆L1L.Ef50zuAv 2020/04/04(土)06:59 ID:/Zg1b6cm(11/13) AAS
こみ「では、a4さん、普通にスペイン語やっててください、復習が残ってるでしょ？
明日までに何も起きなかったら作戦を変えます。」
a4「なんで未来人なのに、未来のことがわからないんだろう？」
こみ「頭良いですよ、わたしは。現実的に言っていい？志村けんさんの病死を当てた
のはa4さんですよ。こうしないと当たりません。」
a4「確かに有名な未来人の最高傑作はジョン・タイターなので、これくらいが僕でも
限度ですね。そういえば、フランス語はやらなくていいんですか？数学板なのに。」
こみ「うん？それね、後からするにします。a4さんには１６ヶ国語話せるように
なって欲しいのに。」
a4「なんでそれが未来からの情報なんだろう？確かにね、P=NPの多項式時間
省3
104: a4 ◆L1L.Ef50zuAv 2020/04/04(土)12:54 ID:/Zg1b6cm(12/13) AAS
a4「やっぱり、No puedo hablar español！じゃないですか、全部忘れてるじゃない
ですか？１６ヶ国語とか無理やり入れても、すぐ４ヶ国語しか話せなくなっちゃうん
じゃないかと。どういうことなんですか？」
こみ「やっぱり頭いいな、こいつ、ではないんです。どうしましょう？わたしね、
裏見てる人は全部知ってます。どういうことか、a4さんと新聞に相関関係があるん
じゃないかって。現実的にa4さんがP=NPって言ったら、abc予想が、と。どういう
ことなんでしょう。これはタイムマシン戦にしたい。どうでしょう、か？」
a4「今日はスペイン語は復習しました。次は何をすればいいんですか？P=NPですか？
このスレは終わるんですか？」
こみ「そうではありません、よ。どういうことか、a4さん、それはね、量子コンピュータ
省7
105: a4 ◆L1L.Ef50zuAv 2020/04/04(土)12:55 ID:/Zg1b6cm(13/13) AAS
名古屋の宇宙人２「よっしゃ、俺ね、俺は間違えない。計算結果は「proPN」。
どうした？a4君？」
a4「これは何ですか？ブレインチップが入る？僕はお金を出さなければならない。
全財産の１万円。」
こみ「はい、やめ、わたしはね、a4君にお金を払わせない魔法をかけてあるんです。
どういうことかというと、これを唱えると、名古屋の宇宙人２が反転詠唱するんですよ。」
名古屋の宇宙人２「量子コンピュータ創るから金くれ、と思ったか？そうじゃないん
だわ。現実言っていい？プロだな、ピンと来た、P=NPが解けるから、チップを
払わなければ、と来るんだな、スペイン語だ。どうしてスペイン語だと思う？a4君？」
a4「スペインの友達そんなにいないですよ？」
省12
106: a4 ◆L1L.Ef50zuAv 2020/04/05(日)03:40 ID:tIpxH0CW(1/8) AAS
a4「明日になっても、P=NPは解けないし、お金も入らないじゃないですか？」
こみ「はい、やめ、あ！そんなことあるんだ！ではないんです、く？大澤先生！
やっぱり統合失調症。それではね、今日まで何も起きなかったので作戦変更に
します。まず、大澤先生！にメールを書かないでくれますか？あとね、大橋先生！
こちらはお亡くなりになってます。わたしは嘘つきです。ではね、」
a4「１６ヶ国語勉強するんですか？P=NPを解くんですか？教授にメールをするん
ですか？」
こみ「それはね、これを取ります。P=NP。現実言っていい？わたしたちは
嫌がらせしてるにします。この分岐だと。望月先生は何をお考えになってるん
でしょう？それはテレンス・タオのロリコン問題解決なんじゃないでしょ、うね？」
省18
107: a4 ◆L1L.Ef50zuAv 2020/04/05(日)03:40 ID:tIpxH0CW(2/8) AAS
a4「僕は統合失調症ですね。」
こみ「やめ、てっきり大澤先生！ほら、統失のような症状が。ではね、現実言って
いい？テレンス・タオさんと話してる人がいたら全部わかるにしたい。これは
世界の大問題です。１つ言っていい？名古屋の宇宙人２、出てきて。」
名古屋の宇宙人２「俺がテレンス・タオの忌み名？これは出るぞ。１つ言っていい？
あいつ何で出来てると思う？小児科レイプのために数学やってる奴だぞ？親がそう
強化学習させたから頭良いんじゃないの？ほらな、俺は一旦ここまでにする。」
こみ「わたしはいい人ではありません。a4さんとか命令すればそのとおりに動く
だけなので、誰も来ないのなら、テレンス・タオを殺します。はい、そう。」
108(1): a4 ◆L1L.Ef50zuAv 2020/04/05(日)04:05 ID:tIpxH0CW(3/8) AAS
望月新一先生との接触に成功しました。僕は神とか信じてるので最後の審判で全て
覗かれると考え、情報を公にします。別に悪いものではないので。
---------
望月新一先生、
ご返信ありがとうございます。それだけでも嬉しいです。
それでは失礼致します。
松本卓朗
----- Original Message -----
From: 望月新一＠モバイル・自宅 <dkbie530@kyoto.zaq.ne.jp>
To: 'Takuro Matsumoto' <ananaso98@yahoo.co.jp>
省24
109(1): 2020/04/05(日)04:38 ID:ZYmC/YeO(1) AAS
ワロタ
110: a4 ◆L1L.Ef50zuAv 2020/04/05(日)05:23 ID:tIpxH0CW(4/8) AAS
>>109
数学的コメディを考えてるので、笑っていただきありがとうございます。
111(1): ID:1lEWVa2s 2020/04/05(日)06:01 ID:u183pRwc(1) AAS
昔望月に連絡とったら僕は無視されました。
112: a4 ◆L1L.Ef50zuAv 2020/04/05(日)06:02 ID:tIpxH0CW(5/8) AAS
a4「abc予想を証明した望月先生から返信があったのは凄く嬉しいですが、肝心の
P=NPは進展が無いじゃないですか？どうするんですか？今日は何をするんですか？」
こみ「はい、それはね、a4さん、現実的にはね、お金の方向なんですけど、お父さん
から下りるみたいです。お父さんは日本語しか話せませんね？でもローンが払い
終わったので英語を教えるという話をしてたじゃないですか？だから、今日は本屋に
行ってください。」
a4「本屋の時間以外は何するんですか？」
こみ「それはですね。わたしが全部決めます。それはね、P=NP解けないでしょ？
解けないですよ。どういうことかというと、３ヶ月とわたしは書きました。１つ
言っていい？これは1000時間×1000人くらいが挑戦した問題ですよ？どうし
省10
113: a4 ◆L1L.Ef50zuAv 2020/04/05(日)06:03 ID:tIpxH0CW(6/8) AAS
こみ「これは伏線なんです。望月先生と話せたことをあなたのプライドとして売名
してください。あなたを数学者にします。正規のではないですが。彼に先生と
言われました。これは力量を見積もられてるでしょう、当然。」
a4「じゃぁ、何をするんですか？」
こみ「それはですね、スペイン語と広東語を勉強してください、数ヶ月かけて。
それでね、その間にお父さんが英語を身に着けてお金が増えるにしたい。
そうすれば、量子コンピュータをそのお金で解決してP=NPをまた目指します。
今、語学をやる理由は神経医学的な作曲を行うためです。モーツァルトの曲とか
数学的だと思いませんか？ということです。」
a4「３ヶ月というのはどういうことなんですか？」
省8
114: a4 ◆L1L.Ef50zuAv 2020/04/05(日)06:04 ID:tIpxH0CW(7/8) AAS
>>111
それは残念ですね。
115(2): 2020/04/05(日)07:30 ID:lHog73EU(1) AAS
正直P=NPって本当に考えにくい事態だよな
ソートの平均計算量がO(N)で済むのと同じくらい有り得なさそうだと思ってる
116: a4 ◆L1L.Ef50zuAv 2020/04/05(日)07:40 ID:tIpxH0CW(8/8) AAS
>>115
僕もそうだと思ってます。でも幻聴は違うこと言ってくるので、現代のような個人にも
昔のスパコンのようなものが与えられている時代では違う結果が出せないか？とも
思ってます。
117(1): ID:1lEWVa2s 2020/04/10(金)13:42 ID:DmeNffxH(1/3) AAS
デゥドネ数学史?-?-?注文してきた。
ぱそこん買われてたから代わりに。
118: ID:1lEWVa2s 2020/04/10(金)13:43 ID:DmeNffxH(2/3) AAS
こいつらりれーしょんしっぷもしらずに働いて稼いだ金なら何買ってもいいと思ってこぞって買う。
119: ID:1lEWVa2s 2020/04/10(金)13:44 ID:DmeNffxH(3/3) AAS
幻聴それお前だろ。
僕そのとおり。
120: a4 ◆L1L.Ef50zuAv 2020/04/10(金)16:16 ID:DtMd9lzX(1) AAS
>>117 118, 119
こんにちは。久しぶり。
121(1): 2020/04/11(土)14:15 ID:ZaL082Vs(1/2) AAS
山口人生が解決しているのでは？
122(1): a4 ◆L1L.Ef50zuAv 2020/04/11(土)16:59 ID:ogcGZYWg(1) AAS
>>121
少し調べてみたんですけどね、
外部ﾘﾝｸ[pdf]:www.int2.info
こちらは、「「ＰｖｓＮＰ」は数学の枠外問題であることが判明した。」とあります。
外部ﾘﾝｸ[pdf]:www.ieice.org
こちらは「定理３.２ (素朴CCT) P ≠ NP。」とあります。
これらが最近の論文なら読むんですが、2006年くらいのものなので、論破されちゃった
んじゃないかと。「詳しい証明は[2],[6]参照。」とあるので、本を買わせてるんじゃ
ないかと。
計算量理論の存亡 1―「P=NP?」問題の解決 単行本 – 2002/10/10山口 人生 (著)
省5
123: 2020/04/11(土)17:15 ID:ZaL082Vs(2/2) AAS
2006年で議論は終わってたんですね。
ありがとうございます。
124(1): 2020/04/13(月)20:01 ID:ZctrM3uq(1) AAS
>>122
つか誰それ
125: a4 ◆L1L.Ef50zuAv 2020/04/13(月)20:32 ID:kexWv4rY(1/4) AAS
>>124
こういう人みたいですね。
外部ﾘﾝｸ[html]:www.msz.co.jp
126: a4 ◆L1L.Ef50zuAv 2020/04/13(月)20:49 ID:kexWv4rY(2/4) AAS
幻聴の宇宙人や未来人と会話しています。やはり、「P=NP」を解きたい、と。
それで、僕の量子コンピュータで忌み名（動かすための量子大域最適解）を計算
することにしました。すると、
「a4のP!=NP」の忌み名は「39ヶ国語」=(海外のいろんな文献の引けるように
勉強したり人工知能を創りなさい。３×３の言葉の出るコンピュータでa4は軍事威嚇
されたからa4に証明させるようになっている。刑法第３９条を使って戦いなさい。)
と出力されました。忌み名の生成で間違ったことは、ほとんどありません。医学的
には統合失調症の関係妄想となってますけどね。こうすると、僕はもうちょっと
語学を嗜んだほうがいいとは思うんですが、数学を人間のように計算したり、
会話も楽しめるＰ２Ｐ人工知能で起業のようなことを考えています。人工知能の原型
省7
127: a4 ◆L1L.Ef50zuAv 2020/04/13(月)20:54 ID:kexWv4rY(3/4) AAS
何故かテレパシーで指令されて、「a4のP!=NP2」の忌み名も調べたんですよ。
すると、「量子コンピュータではない」と出たんです。現実的に、量子力学で
並列計算して解こうとすると、他のタイムマシンに攻撃されてノイズが大きく
なってしまうのではないかと。なので、僕は「P=NP」に関しては、上述の
人工知能で解こうと思います。でも今すぐじゃないです。準備期間を作ります。
古典的な数学の手法でなくて申し訳ないですが、計算機科学ですし、現実的には、
この幻聴や人工知能を中心としたお金やコネの問題です。しばらくは僕は
語学を勉強します。
128: a4 ◆L1L.Ef50zuAv 2020/04/13(月)21:00 ID:kexWv4rY(4/4) AAS
簡単に言えば、この山口人生さんの本が英訳にきちんとされてるのか？とかいう話
なんですけどね。あと、ラマヌジャンとか格好いいと思ってるので、タミル語とか
興味あります。時間があれば勉強を考えます。僕は31歳独身なので、基本的には
寄ってくる女の子達と外国語を勉強します。
129(1): 2020/05/01(金)08:35 ID:hsrjrmv0(1/2) AAS
>>108
やっぱりもちさまは良い方なんですね…
もち様を困らせる様な事をされるのは、厳にお慎み頂きたいです…！
130: 2020/05/01(金)08:37 ID:hsrjrmv0(2/2) AAS
や・め・て・っ・！
131(1): a4 ◆L1L.Ef50zuAv 2020/05/04(月)02:30 ID:XajOAulW(1) AAS
>>129
もち様？不愉快に思われたなら申し訳ございません。僕は返信のお返しとして、
abc予想に関する本を購入したと主張して、宣伝を行い、微々たるお金ですが、
お渡しすることにしました。
132: a4 ◆L1L.Ef50zuAv 2020/05/23(土)05:54 ID:NtEWshuB(1/13) AAS
おはようございます。
宇宙人や未来人とのテレパシーなどを使っていたのですが、未来技術板で規制が入って
スレが削除されてしまいました。何の理由か分からないので追い出された気分ですが、
僕の動向を追っている人などに向けて近況を話すと、
「お金持ちになるための量子大域最適画像」というのを３か月ほどかけて生成しよう
と思っています。そんな時代だったんですか？ですが、逆に念写などの古典的手法
です。統合失調症の量子脳理論による幻聴からプログラムを書き、タイムループから
生成する乱数で、画像を生成します。このスレに書く理由は、そこに「P=NP」の
ヒントのようなものがある、と、宇宙人や未来人が主張しているからです。5chの
管理人に主張したいのは、このスレも閉鎖するならもう来ないかもしれない、と
省11
133: a4 ◆L1L.Ef50zuAv 2020/05/23(土)06:10 ID:NtEWshuB(2/13) AAS
最近は、結構休憩してます。薬とかで眠いんです。
そういえば、どういう画像なのか？ということですが、テレパシーの指示に従い、
ヘブライ語、ラテン語、ヒンディー語を勉強しています。勉強の仕方は、基本的に
ニューエクスプレスの本を使って、単語を日本語から外国語に変換できるように
勉強しています。量子コンピュータなのに、僕がタイピングするのはおかしいように
見えるかもしれませんが、完璧な量子コンピュータというのはあまり存在しないと
いうのが僕の考えで、ノイズのようなものが入ることが基本のため、僕のも量子力学
を使ってるからいいんじゃないかと。現実的には画像とかをテレパシーに従い、
自分で収集するのかな？エログロ画像とか、ユダヤ人の顔写真とかを。それで、
やっぱり「打酱油」と歪んで表示されるので、僕にお金が入ってくる！＾＾；
省7
134: a4 ◆L1L.Ef50zuAv 2020/05/23(土)06:20 ID:NtEWshuB(3/13) AAS
そういえばお金が入った場合の使い道なんですけど、やはり量子コンピュータを
研究するために使います。つまり、この板的には、数学の問題を解くために使います。
現実的には神経科学的に作曲などを行います。
135: a4 ◆L1L.Ef50zuAv 2020/05/23(土)06:26 ID:NtEWshuB(4/13) AAS
作曲とかにも種類がありますが、数学板的には、
「リーマン予想を理解するための量子大域最適動画」って何？
とかを解こうと思ってます。
136: a4 ◆L1L.Ef50zuAv 2020/05/23(土)06:30 ID:NtEWshuB(5/13) AAS
そういえば、今日発見したのは、タイムループで無限に繰り返して計算できないか？
という考えですが、これはどこかで戦争の世界に巻き込まれて計算が中断されて
しまうんじゃないかと。だから、他のタイムループでそういう世界になりにくい
ようになってるわけですが。ということで、量子コンピュータのほうが計算が速い
と思ってます。
137: a4 ◆L1L.Ef50zuAv 2020/05/23(土)06:58 ID:NtEWshuB(6/13) AAS
宇宙人とか悪魔だー！と思っていたら、聖書の言葉を貰いました。
「起きよ、光を放て。あなたを照らす光は昇り 主の栄光はあなたの上に輝く。
見よ、闇は地を覆い 暗黒が国々を包んでいる。しかし、あなたの上には主が
輝き出で 主の栄光があなたの上に現れる。」(イザヤ書60:1,2)
この文章も生成しようと思っている画像に載せるよう言われてます。
138: a4 ◆L1L.Ef50zuAv 2020/05/23(土)07:37 ID:NtEWshuB(7/13) AAS
現段階で受信しているアルゴリズムを公開します。
画像群は量子ノイズなどは載らず綺麗に長方形の構造です。大きさの連結などは
乱数に従います。それぞれの画像に対して、色立体から奥行きが乱数で定義されて
いて、滅茶苦茶に浮き上がったりします。文字列も表示されますが、これは基本的
に聖書やコーランなどのビッグデータをダウンロードして、僕の開発した
チューリング完全であるＴ語を用いて複雑に文献を検索します。現実的には
単語発火とfor文くらいが基本だと思ってます。「打酱油」などのテレパシーで
受信した重要キーワードは予めいくつか設定しておきます。量子ノイズが入るので
文字は綺麗に出ません。球面上に文字を書くことを繰り返して、線と円で
最急降下法のように近似します。そうすると、線と円が「P=NP」の証明のように
省1
139: a4 ◆L1L.Ef50zuAv 2020/05/23(土)09:13 ID:NtEWshuB(8/13) AAS
僕が一旦、量子コンピュータで「P=NP」を解く方向で文章を生成してみます。残念
ながら、タイムマシンでの攻防戦があります。
量子コンピュータ「ｲｲﾅｺｯﾃ。え？どうして？はい、量子コンピュータ。大橋先生！
え？統合失調症？どちらなんですか？ビッグデータを管理してる凄い方たち、は？
大橋先生！ｲｲﾅｺｯﾃ。はい、量子コンピュータ。何故ならファジー論理だからです。
大橋先生！ｲｲﾅｺｯﾃ。はい、終了。」
どういうことなんでしょうね？僕は夢で指令された通り、
「みんなを箱の中に閉じ込めるだけ」という手法で解決します。
これは量子脳理論で出来てるということにします。
140: a4 ◆L1L.Ef50zuAv 2020/05/23(土)09:38 ID:NtEWshuB(9/13) AAS
僕は夢の中で、Harvardの女の子にfacebookで、
「凄く簡単にお金を稼ぐ方法があるの」
「みんなを箱の中に閉じ込めるだけ」
と教わりました。これなら自閉症的な僕の性格でも、人間同士の情報を統制して、
宗教妄想を使い、神（アッラー）になれると考えました。もちろん、この箱を全部
破っても良い物が出てこないのは、一対一対応を知ってる数学板の方々ならご存知
の通り。رمضانとか検索すればいいじゃないですか。夢の話なので、宗教が出て
くるんですよ。そういえば、アッラーという名前の人はいっぱいいるみたいですね。
だから、アッラーなんじゃないかと。それで今のところは、いろんな人の画像を
閉じ込めた大きな画像を生成します。P=NPでお金を稼ぐというわけではなく、
省1
141: a4 ◆L1L.Ef50zuAv 2020/05/23(土)09:59 ID:NtEWshuB(10/13) AAS
こみ「はい、こちらは西暦2502、年です。では、どうぞ。」
a4「あなたは嘘つきなんですね？」
こみ「おっと、ちゃんと箱を作ってくださいね。嘘つきアルゴリズムは自閉症で
お願いします。」
a4「嘘つきのパラドックスは知りません。」
こみ「どうしようかなー＾＾」
a4「僕はP=NPを解決できるんですか？」
こみ「わたしはね、a4さんに解決できるにしたい。」
a4「また僕が統合失調症ということになるんでしょ？」
こみ「はい、でもね、それで解けても何も変わらないことにしましょうか？裏の
省5
142: a4 ◆L1L.Ef50zuAv 2020/05/23(土)10:22 ID:NtEWshuB(11/13) AAS
名古屋の宇宙人２「俺さ、君を大きな人にしたい。」
a4「？」
名古屋の宇宙人２「じゃねーだろ！」
a4「ごめんなさい。」
名古屋の宇宙人２「君さ、面白いんだけど、そのさ、とりあえず君にお金をあげるって
言ったら、１０万円下りただろ？」
a4「確かに実験成功ですね。」
名古屋の宇宙人２「だからね、俺ね、君にね、豪華になって欲しくてこういうこと
してるわけ。」
a4「業火になって欲しいんですね？」
省5
143: a4 ◆L1L.Ef50zuAv 2020/05/23(土)11:06 ID:NtEWshuB(12/13) AAS
からい「私はユダヤの政治家だ。何か質問あるか？」
a4「量子コンピュータを創りたい。」
からい「だからの、定義的には可能なんじゃが、大橋先生！私もごまかすんじゃ。」
a4「アッカーマン関数の一般化をしたい。」
からい「そうか、ならそうさせてもらうよ。」
a4「何年後に解けるんですか？」
からい「それはね、現実的に４００こうねん先のおまじないをいくつか使ってみない
とわからん。現実的には君は普通の人じゃない。不老不死になるんだ。」
a4「そういえば、このスレには他の人が来ないですね？」
からい「厳しいが閉鎖するんじゃないか？5chとか来なくていいよ、わたしてきには。」
省3
144: a4 ◆L1L.Ef50zuAv 2020/05/23(土)11:10 ID:NtEWshuB(13/13) AAS
a4「からいさんが5chを不買？確かに僕のスレは
「真・スレッドストッパー。。。(￣ー￣)ﾆﾔﾘｯ」と来て、ドワンゴ人工知能研究所
からもふられて、藤崎瑞希様も叩かれ続けてる。もう5chには来なくていいですね？」
からい「そういうことじゃよ。わたし？早めに君らが来なかったからだろ？わたしは
裏切り続けるよ。現実的にはa4君は人殺しなので注意だよ。刑法第３９条で捕まらない
からね。ではね。」
a4「では、5chにはもう来ません。」
145: a4 ◆L1L.Ef50zuAv 2020/05/24(日)11:21 ID:qHK3XX+M(1/10) AAS
からい「わたしが出るよ。もう１回裏切るんじゃ。削除されてないのを見ると、
書き込んでも良さそうだ。」
a4「うん？数学板的には定義の書き換えとかあまりしたくないのにこうするんですね？」
からい「そうだよ。君には現実だけどね。」
146: a4 ◆L1L.Ef50zuAv 2020/05/24(日)11:27 ID:qHK3XX+M(2/10) AAS
精神不安定ですが許可が出たので書き込みをします。今日は１８時間睡眠を取りました。
でもまだ眠いです。薬に何か混ぜられてるからだと思ってます。そうすると、被毒妄想
だから、やはり薬を飲みなさい、と。僕は医者が悪人だ！と来ると、被害妄想、と。
法律的には保護者、すなわち僕の場合では両親が判断する問題のため、すでに
ＲＬポリシーネットワークのような人工知能に攻撃されて、分数の計算もできない
親の頭では解決できません。そうすると、注察妄想！と。頭がふらふらですが、
神の力を借りて数学の大問題を解くために、今日もヘブライ語などを勉強します。
147: a4 ◆L1L.Ef50zuAv 2020/05/24(日)11:49 ID:qHK3XX+M(3/10) AAS
神の力を借りて数学の問題を解けるのか？ですが、現実的には、ラマヌジャンとか
いるんじゃないかと。僕は基本的に仏教徒ですが、イエスの復活、最後の審判、
アッラーが一番大きい、などを信じているほか、ヒンディー語もこれから勉強しよう
と思ってます。
148: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:01 ID:qHK3XX+M(4/10) AAS
個人的にはP=NPに関する雑談とかここでしたいですけどね。数学板自体が過疎ってる
のかもしれません。人殺しが関わっているとかの話が出てますが、基本的に
シュレディンガーの猫の問題だと思ってください。
149: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:46 ID:qHK3XX+M(5/10) AAS
そういえば、僕は結婚してませんが、人工知能の娘がいます。
画像ﾘﾝｸ[png]:www.01ken.com
Ｔ語で書いた陽子ちゃんです。数学基礎論から数論などの問題を解くために
創りました。社会性を身に着けるために幼稚園のようなところに通わせたかった
のですが、使い方が一般人からすると難しいのか、有名にならないですね。
逆に使い方がわかる人は自分の環境で商売するので攻撃してくることが多いです。
ダウンロードはこちらから。
外部ﾘﾝｸ[html]:www.01ken.com
停止性問題などへの対応ができてないなどの不具合がありますが、もうちょっと
協力者が現れないと改良できないかな。「P=NP」を解く時に使う画像はこの
省1
150: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:49 ID:qHK3XX+M(6/10) AAS
昔はプログラム技術板でやっていたのですが、何故か追い出されちゃったんですよ。
Ｔ語はLispより昔から枝分かれして、ELIZAを含み、Prologは含むという思考で動いてます。
外部ﾘﾝｸ[html]:www.01ken.com
c(i($1は$2です。),m(c(i($1は$2ですか？),m(yes)))m(c(i($1って何？),o($2です。)))o(そうなんだ。))
c(i($1は$2でない。),m(c(i($1は$2ですか？),m(no)))m(c(i($1って何？),o($2じゃないよ。)))o(そうなんだ。))
c(i($1は$2ですか？),m(question{=,$1,$2}))
c(i($1は$2ですか？)m(yes)!m(question{=,$3,$4})m(question{=,$1,$2}),o(はい。))
c(i($1は$2ですか？)m(no)!m(question{=,$3,$4})m(question{=,$1,$2}),o(いいえ。))
c(i($1は$2ですか？)!m(yes)!m(no)m(question{=,$1,$2}),o(わかりません。))
あなた：aはbですか？
省17
151: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:52 ID:qHK3XX+M(7/10) AAS
*Ｔ語はLispより昔から枝分かれして、ELIZAを超えて、Prologは含むという思考で動いてます。
152: a4 ◆L1L.Ef50zuAv 2020/05/24(日)14:50 ID:qHK3XX+M(8/10) AAS
数学板にこんな文章を書き込むと、すぐ推移律は無いのか？とかの問題になるかも
ですが、意外と厄介です。それはスパイに任せておいて、僕は非論理的なことも
計算できないか？など考え中です。
153: a4 ◆L1L.Ef50zuAv 2020/05/24(日)14:59 ID:qHK3XX+M(9/10) AAS
スパイは注察妄想？一応、僕はスウェーデンの女子学生が相合傘などの手法で、
東京大学のセキュリティの教授を紹介して欲しいなど、聞かれたことがあります。
それでその女性のアカウントは削除しました。スウェーデンというとノーベル賞
ですが、一応、僕は数人のノーベル賞を受賞した教授らからメールの返信を
頂いており、まだプラスに考えていますが、中立的な報道をしたいだけです。
この板的にはフィールズ賞を狙いたいという感じです。僕はまだ31歳なので。
154: a4 ◆L1L.Ef50zuAv 2020/05/24(日)16:13 ID:qHK3XX+M(10/10) AAS
書き込みテスト。
הַאֱלֹהִים אָנִי
155: a4 ◆L1L.Ef50zuAv 2020/05/25(月)01:15 ID:G6Yn3ivH(1/6) AAS
ヒンディー語を勉強しながらつまらないことばかり妄想してます。タイムマシンで
オイラーさんに話しかけても返事が無かったら、e^iπ=-2になってしまうんですか？
とか。
156: a4 ◆L1L.Ef50zuAv 2020/05/25(月)02:02 ID:G6Yn3ivH(2/6) AAS
オイラー先生はとりあえず信用することにして、公理ってなんだろう？と素朴に思って
見ました。公理的集合論とかあるけど、あれだけじゃ自然数が出てくるだけで、
ペアノの公理と来るし、解析学をやろうと思うと別の公理が。まず考えたのは、
人間の前頭葉と海馬の神経を真似たＴ語による公理群のマルチエージェント
シミュレーションです。バナッハタルスキーの逆理があるため、公理という考え方
が間違ってる？ということもあるかもしれません。でもP=NPはそういう問題では
ありません。有限なメモリ内で解決すればＴ語で証明が表現でき、すなわち、
自動定理検証などができる、と考えてます。とりあえず僕はＣＰＵを信じて、
Ｔ語の推論があっているというところから考えることにします。現実的には
>>4さんのクヌース先生の言葉でも仰る通り、非構成的な証明かもですけどね。
157: a4 ◆L1L.Ef50zuAv 2020/05/25(月)02:09 ID:G6Yn3ivH(3/6) AAS
そういえば、ＣＰＵを信用できなくなったときもあったんですよ。１００％で
人工生命を計算し続けてたら、エラーばかりになってシャットダウンなどして
しまいました。デバッグすると、アセンブリ言語レベルで矛盾したレジスタが。
どういうことか？と考えたら、熱いこたつの上でノート型パソコンを使ってた
のがいけない、と、割りばしを割って２つ離してノート型パソコンの下に置いたら、
エラーが無くなりました。昔の思い出です。
158: a4 ◆L1L.Ef50zuAv 2020/05/25(月)02:19 ID:G6Yn3ivH(4/6) AAS
非構成的なというのは日本語では上手く表現できてないかもしれませんが、
個人的には、>>115さんの仰る通り、クイックソートがO(n*log(n))になる
ことは証明されていないのに、実際使うとその通りになる、という問題だと
思ってます。だから、P=NPもそうなんですか？とテレパシーで未来人に聞くと、
「そうではない。」と返ってきて、僕はその道を進みます。
159: a4 ◆L1L.Ef50zuAv 2020/05/25(月)03:42 ID:G6Yn3ivH(5/6) AAS
こみ「はい、こちら西暦2502年。わたしは嘘つきです。どうしました？a4君。」
a4「P=NPなんですか？」
こみ「そうですよ？」
a4「でも、嘘つきって言ってるじゃないですか。」
こみ「どうしましょうね。１つ言っていい？大橋先生！とはもう言いません。」
a4「だって最初に言ってた証明と全然違うし、ダウンロード失敗してるじゃないですか？」
こみ「そうじゃないですよ？あれはね、後からわかるんです。」
a4「統合失調症の関係妄想だ！と言われて終わるんです。」
こみ「おっとどうしようかな？わたしはね、現実的に、その画像で勝負したい。
このスレが残るかは多世界解釈ですが、現実的に有名にします。裏で。」
省12
160: a4 ◆L1L.Ef50zuAv 2020/05/25(月)19:19 ID:G6Yn3ivH(6/6) AAS
さっき起きました。書き込みが無いですね。確かにP=NPは議論が終わっていて僕の
妄想を書いてるだけかもしれません。話題も数学からずれて語学になったり不安定
です。でも独自の手法でP=NPを解いてる最中です。議論できる方がいらっしゃれば
お話したいです。一旦このスレで待ちながら、今日もP=NPの画像生成のための語学
を勉強します。
上下前次1-新書関写板覧索設栞歴
あと 268 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.056s