P=NP

a4 ◆L1L.Ef50zuAv · 2020/03/30(月) 21:55:08.58

こんにちは。P=NPを肯定的に解いてみました。検証をお願いします。

巡回セールスマン問題をｎ次元格子に距離を保つよう配置してジグザグに解きます。
ノードを１つずつ増やすと最短経路は１つのエッジが消えて２つのエッジに変わります。
計算量は、1+2+3+…+n=n(n+1)/2=O(n^2)

**１３２人目の素数さん** · 2020/03/30(月) 22:22:08.72

まずｎ次元格子に距離を保つよう配置可能であることを示してよ

a4 ◆L1L.Ef50zuAv · 2020/03/30(月) 22:57:11.25

>>2
ご返信ありがとうございます。僕は寝てる時に夢で見たアルゴリズムを、
ちょっと考えて書いた後に書いたなんですよ。格子とは簡単に書いたんですが、
斜めではないくらいに考えてください。イメージとしては３点なら、最短経路は、

○ーーー
｜　　　｜
｜　　　○
｜　　　｜
ーー○ーー

こんな感じです。仰ることに対する証明は自明では無さそうですね。考える事に
しました。

length[i][j]^2=Σ(x[i][k]-x[j][k])^2 (1≦i≦n,1≦j≦n,1≦k≦n)
length[i][j]=length[j][i] (1≦i≦n,1≦j≦n)
x[1][k]=0(1≦k≦n)

とすると、線形代数で複素数も許せば？解けるんじゃないかと。１，１，３とか
変な三角形作れますしね。まだあらがあるかもしれません。

**１３２人目の素数さん** · 2020/03/30(月) 23:23:58.45

平面上の有限個の点(ユークリッド距離)にインスタンスを制限してもいいけど, それもNP困難だからね.
提案手法はまだ突っ込みどころが多い気がします.
(というかよく理解できません)
なお, P=NP 問題が(万が一)肯定的に解決されるなら, それはおそらく非構成的な証明になるだろうと思います.

a4 ◆L1L.Ef50zuAv · 2020/03/30(月) 23:30:10.46

一応、僕も全く適当にやっているという訳ではなく有名な「COMPUTERS AND
INTRACTABILITY A Guide to the Theory of NP-Completeness」くらいは英語で
読んだりしました。「平面上の有限個の点(ユークリッド距離)にインスタンスを制限」
が「NP困難」というのは僕は知りません。でも、「まだ突っ込みどころが多い」
くらいが専門家の判断であるならば、この手法で上手くいきそうなら、論文のような
ものを書いてみようと思います。

**１３２人目の素数さん** · 2020/03/30(月) 23:39:29.63

>>5
頑張ってください.
もし, 疑問点・確認したい点等ありましたら, お気軽に書き込んで下さい.
応援しています.

a4 ◆L1L.Ef50zuAv · 2020/03/30(月) 23:42:26.48

>>6
ありがとうございます。今日は一旦寝ます。

**１３２人目の素数さん** · 2020/03/31(火) 00:53:51.77

質問スレでやれ
単発スレ立てんなカス
死ね>>1

**１３２人目の素数さん** · 2020/03/31(火) 03:08:50.02

やすのりか？

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 12:56:35.36

>>8
『わからない問題はここに書いてね』を最初は探したのですが見つからなかったですし、
他のスレでも流されちゃいそうなので、ここへ。数学板の他のスレも僕みたいにスレ
立ててるので。確かにP=NPが肯定的に証明できたら、死ねと言われるほどのことは
してるかもしれませんが、>>6さんのような方もいらっしゃるので、まだスレを
続けます。
>>9
自己紹介すると、本名は松本卓朗と申します。31歳男性です。統合失調症を患って
いて、障害年金生活なので、数学を研究する時間があります。

**ID:1lEWVa2s** · 2020/03/31(火) 13:07:29.37

P=NP問題って
素数方程式やフェルマーの最終定理
リーマン予想ゴールドバッハ予想の解を
ある完備された体で全部解ける
全てのディオファントス方程式の解の意味をみつけれるって問題だよ。

**ID:1lEWVa2s** · 2020/03/31(火) 13:08:52.30

書き込み禁止されてるけどこっそり。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 13:13:13.89

まず数式が間違ってました。２乗じゃなくて、絶対値ですね。

length[i][j]^2=Σ|x[i][k]-x[j][k]| (1≦i≦n,1≦j≦n,1≦k≦n)
length[i][j]=length[j][i] (1≦i≦n,1≦j≦n)
x[1][k]=0(1≦k≦n)

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 13:17:21.81

>>11
>>12
こんにちは。お久しぶりです。簡単に言えばそういうことですね。比例ではなく、
多項式なので、まだ時間はかかるかもですが。

**１３２人目の素数さん** · 2020/03/31(火) 13:19:37.18

この問題を考えるんだったら基礎知識はつけといて欲しい
NP完全とかNP困難が何かわからないとかもう話にならない

巡回セールスマンとか一見取っつきやすいところに食いつくより
書籍なりWebなり読んでひととおり理解してから出直してくることを薦める

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 13:27:54.63

>>15
勉強はしましたよ。忘れてるところはあるかもですが。NP-Complete Problemsの
に関して、
SATISFIABILITY→3SAT→3DM→PARTITION
　　　　　　　　　　　→VC→HC
　　　　　　　　　　　　　→CLIQUE
とかの証明は全部理解しました。

なんかおかしいと思うのは、僕が精神障害ってことなんですよ。皆がP!=NPに
賭けてる中、僕はP=NPであると宇宙人達から幻聴が聴こえてくるんです。それで
夢で証明の映像を見たら、それが正しいとまた幻聴が聴こえて妄想になってるん
です。どうして信じてるかと聞かれたら、量子脳理論で量子コンピュータが
出来てるんじゃないかと。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 14:20:40.35

復習してます。まず、巡回セールスマン問題(TSP)は、閉路の問題ですね。TSPが解ける
と、ハミルトン閉路(HC)（あるグラフに対して一筆書きができるか？）を、解くことが
できるから、NP困難だと。僕がまず疑問に思っているのは、格子？直交？の経路のみに
変換されたTSPがNP困難か？でも、これは距離が出てくるから、TSPが解けると、
この問題も解けるのは自明？だとすると、ノードを付け足していくとき、最短閉路の
１つのエッジを２つのエッジにするだけじゃ新しい最短経路にならない？でも、３つ
以上変えなければならないと仮定すると、元のが最短閉路でなくなってしまう。
どこが間違ってるんでしょうね。僕は夢で映像を見ただけですが、こうすると、
元のTSPも同じようにエッジを追加すると３つ以上動く？どういうことなんでしょうね。
まだ論文を書くために研究を続けます。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 14:22:11.53

NP困難じゃなくて、NP完全ですね。

**ID:1lEWVa2s** · 2020/03/31(火) 14:37:50.19

あんま無理すると僕みたいに夢に強いホワイト製薬のもんすたぁがでてくるぞ。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 14:43:51.21

>>19
今は無理はそんなにしてないよ。１日１２時間くらい寝てるから。

**ID:1lEWVa2s** · 2020/03/31(火) 14:45:09.61

>>20
僕も12時間寝てる。
眠れなくても布団に入ってる。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 14:47:16.35

今、問題なのは、TSPの最短閉路に、もう１つノードを追加して最短閉路を考えた時、
１つのエッジが消えてそれがそのノードとの２つのエッジに変わる、という以外の
ものになるか？です。反例を探してます。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 14:57:46.62

反例のようなものが見つかりました。

正方形の紙の４つの頂点を考えます。すると、最短閉路は４のようになります。
√２離れた向こう側の頂点同士を３次元的にくっつけるように間にノードを入れると、
１＋０＋０＋１＋√２のようになります。

これで「このクソスレは終了しました」なんでしょうか？でも、テレパシーの指令
により、もうちょっと考えてスレを続けさせていただきます。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 15:09:14.54

まだ謎に思えるのは、この直交したジグザグ経路しか考えないTSP（以下、a4-TSP
と呼ぶことにする）を考えると、もう位置が決まっていて、正方形を３次元的に
くっつけたりしないんじゃないかと。もしこの反例のようなことするなら、最初から
近い位置にあるんじゃないか？と。でも、P=NPを証明しろ！と言われたら、まだ
わからないことだらけ。まだ研究を続けます。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 15:18:17.21

今、考えてるのは、グラフ構造のエッジの距離が、ｎ次元のものでもいいか？です。
やっぱり>>2さんが頭良いということですが、複素数などを考えず、単純にｎ次元の
ものでもNP完全になるかなどを考えてます。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 15:28:33.92

そういえば、懸賞金が入ったらどうするか？を妄想してますが、基本的に
量子コンピュータの開発費にしようと思ってます。これなら数学的な貢献で
いいんじゃないかと。

**ID:1lEWVa2s** · 2020/03/31(火) 15:37:20.21

>>26
懸賞金はヘーベルハウスの家建てやあ。
但し童貞は守ること。

**１３２人目の素数さん** · 2020/03/31(火) 15:39:15.76

なんだやすのりじゃないのか
最近twitterでもP=NPを証明したって言ってるやつがいたからそいつかと思った

**ID:1lEWVa2s** · 2020/03/31(火) 15:40:01.46

>>26
あと建築設計に数学があるんだけどみつけな。
私は知ってるけどひんとはださない。
僕は建築家目指してる。
事務所は我が家。
軍資金はぱそこん代。

**ID:1lEWVa2s** · 2020/03/31(火) 15:43:29.14

僕怒ると暴走するんで黙ります。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 15:46:42.65

>>27
研究所みたいなのは建ててもいいかなと思ってる。ナマズの地震予知とかの研究に
特化したところ。童貞はまだ守ってるけど。

>>28
やすのりさんではないですね。最近はずっとa4って名前でやってます。

>>29
有限要素法とかだったら勉強したことあるよ。

**ID:1lEWVa2s** · 2020/03/31(火) 15:51:45.48

>>31
>>29
%代数学ゆ産業。
%てぇじざんこくな。
(係数)
0.6’2+0.8’2=0.28’2=0.96’2
ひんとおわり。

**ID:1lEWVa2s** · 2020/03/31(火) 15:53:16.71

ねりゅ。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 15:54:28.69

>>32
ちょっと難しいね。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 15:54:54.48

>>33
おやすみ。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 16:12:23.19

少しずつ考えてます。まず１，１，３の三角形は、x軸に３の辺を置くと、頂点は、
(0,0),(3,0)(3/2,√5i/2)で複素数なら解はありました。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 16:18:03.32

じゃぁ、正方形の頂点をくっつけるようにするんじゃなくて、全てのノードを最初から
複素数で決めて置いて代入ソートのようにしていくと、正方形の頂点を構成した時点で
正方形ではなく、１＋０＋１＋√２、なんじゃないかと。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 16:40:22.22

やっぱり難しいですね。

x=0からx=2までの最短経路は自明なんですが、x=1+iのような点が入ってくると
いうのを後の問題にはできないですね。

やはり「このクソスレは終了しました」になるのか？ですが、まだ続けます。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 16:47:50.99

このスレが続く理由はまだ>>1の方法が倒れてないんですよ。このa4-TSPが一般化
されたグラフでないために、NP完全であるということがまず示せてないんです。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 16:50:59.26

>>1のa4-TSPが、NP完全でないと証明されたり、NP完全であっても１つのエッジを
２つのエッジ以外の反例がある、ということが示されたら、基本的にこのスレは
終了かもしれません。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 17:01:51.46

Wikipediaをとりあえず見てます。すると、

「都市間の移動コストが三角不等式を満たす、すなわち移動コストを距離と呼べる
部分問題（あるいは制約つき問題）も、NP困難である。都市を平面上の点、都市間
の距離を平面上のユークリッド距離とする部分問題は最も直感的で理解しやすいが、
これも NP困難である。」

とあります。NP完全であるということが証明されていなくて研究は終わったかの
ような口調で書かれてあります。

僕はここで医学的妄想で未来と通信することにします。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 17:07:21.89

未来に聞いたら、「NP完全だ！」と返りました。普通に考えれば、HCがNP完全なので、
a4-TSPもNP完全じゃないかと。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 17:17:45.02

なんか夢に出てきた伏線かな？と妄想してるのは、普通にTSPを２次元などで書くと、
エッジに数字がついたりして三角不等式の問題も出てきてしまうんです。a4-TSPなら、
距離を明確に図で書いてるので、証明もしやすいのかな？と。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 17:49:25.35

ｎ次元の頂点は複素数ではないので全てに三角不等式が成り立つとすると、新しい
ノードも加えて最短経路を作った時、そのノードの２つのエッジから、そのノードを
取って１つのエッジにくっつけるという操作をすると、距離が縮まるから、その時の
最短経路を出す時は、他のエッジを動かさなくてもいい。他のエッジが動くとすると、
そっちが最適解になる。だから、最短経路に１つ１つノードを付け足していけばいいん
じゃないかと。これで証明終わり？？？

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 17:53:23.38

>>6さんに聞いてみます。これくらいで、まだ明らかな数学的な欠陥のあるところが
ありますか？無ければ論文として纏めようと思います。

誰かが来るまで、休みとして、スペイン語とかを勉強します。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 18:12:25.46

やっぱり>>44の証明が数学っぽくないから間違ってるのかな？スペイン語をやめて
また考えることにします。

a4 ◆L1L.Ef50zuAv · 2020/03/31(火) 18:32:33.90

今、考えてるのは、ノードを付け足した最短経路から、そのノードを取ると、
(1)-(2)-(new)-(3)-(4)
から、
(1)-(2)-(3)-(4)
じゃなくて，
(1)-(2)-(5)…(6)-(3)-(4)
などと最短ルートが変わるケースです。まだ証明できてないですね。

a4 ◆L1L.Ef50zuAv · 2020/04/01(水) 00:18:56.65

ずっと考えてます。まずWikipediaの「三角不等式が成り立つ TSP については
多項式時間近似アルゴリズムが数多く存在する。」の情報は重いです。単純には
証明できませんでした。僕は>>1の２次元のa4-TSPを追ってます。すると、
１つのノードを付け加えた時に増える距離は、min{2|x[n]-x[i]|+2|y[n]-y[i]|}
と出てきました。a4-TSPでの距離において、この項は最大でO(n)個ですね。
１，２，３，４，５と増えていくので、単純に考えると、O(n!)ですが。すると
これだけだと、足し算される時、値が、３＋５＝８という順と５＋２＝７
という順の反例を思いつきました。でも、追加される選ぶ値の集合は、５と２に
おいて考える時、変わらないため、前者で３＋２＝５と、なるんじゃないかと。
そうすると、やはりこのアルゴリズムでいいんじゃないかと。厳密な証明は
まだこれから考えます。これで解けたというのを僕のエイプリルフールにします＾＾；

a4 ◆L1L.Ef50zuAv · 2020/04/01(水) 06:15:45.64

現実的にはまだずっと解いてます。

まず、さっきのは２次元a4-TSPですが、ｎ次元a4-TSPの場合は？と。自明じゃないです。
min{2(|x[1][n]-x[1][i]|+|x[2][n]-x[2][i]|+…+|x[n][n]-x[n][i]|)}
とすると、単純に考えると、n個から選ぶ問題になって2^n通りが出てきてしまう
のではないかと。また、
（２＋１）＋（２＋３）＝３＋５＝８、
（１＋３）＋（１＋１）＝４＋２＝６、
といった順の問題になりました。

a4 ◆L1L.Ef50zuAv · 2020/04/01(水) 09:49:25.21

2^n通りはn(n-1)/2通りくらいまで落とせるかもしれません。

今、解いてるのは、
(1)-(2)-(4)-(5)-(1)が最短経路の３で、
(1)-(2)-(3)-(4)-(5)-(1)が３＋５＝８

(2)-(1)-(5)-(4)-(2)が４で、
(2)-(1)-(3)-(5)-(4)-(2)が最短経路の４＋２＝６

とすると、単純な方程式により、
(1)-(2)-(4)-(5)-(3)-(1)が３＋２＝５

今日はこれくらいにして寝ることにします。

**１３２人目の素数さん** · 2020/04/01(水) 19:57:12.74

俺はP≠NPを確信している側
今は関連理論を作っていて、そこから派生的に証明できると思っているけど、単なる実例よりも
相当高い抽象化をしないと証明にはならないと思ってる

a4 ◆L1L.Ef50zuAv · 2020/04/01(水) 22:25:24.57

>>51
今、起きました。ご連絡ありがとうございます。僕もP≠NPだと思ってたんですけどね。
P=NPだ！って幻聴が聴こえてくる精神病なんですよ。僕は博士ではありませんが、
数学とか計算機科学とかは知ってるつもりなので、証明は可能ならばきちんと書く
つもりですよ。幻聴って何かな？ってことですが、複雑な量子脳理論、と書くと、
よくわからなくなるんじゃないかと。証明を直接聞くのは非常に難しいので、曖昧な
２分木アルゴリズムとかで、証明にかかる計算量を対数くらいにすると医学的妄想？
をしてます。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 00:11:35.91

医学的妄想でタイムトラベルしてます。すると、未来人は、P=NPの証明に関して、
a4-TSPの頂点をギリギリ含む超直方体に１点を追加して新しい超直方体を考える、
ということを考えれば、自明なんじゃないかって。僕もあまり信じてませんが、
証明か反証を今から考えます。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 00:18:35.56

反証を考えてみました。２次元において、大きい５角形の中に小さい５角形がある
というのを考えると、最短経路に凹のような構造ができてしまうんじゃないかと。
まだ未来と通信とかしながら研究を続けます。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 01:31:24.11

タイムマシンで時空のループが作られることによる嫌がらせの問題を解きながら未来と
通信しています。意外にも、ここまで来て、ようやくプログラムを書いて、モンテカルロ
のように実験しなさい、と。じゃぁ、多項式時間じゃないのか？ですが、現実的には、
Wikipediaの「巡回セールスマン問題」には、「三角不等式が成り立つ TSP については
多項式時間近似アルゴリズムが数多く存在する。」とあります。今から作業をします。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 01:52:54.74

Wikipediaの「クリストフィードのアルゴリズム」というのを見てます。「2015年現在、
距離空間における巡回セールスマン問題に対する多項式時間アルゴリズムの中では、
近似度が最良であるアルゴリズムである（一部の特殊な場合では、より良い近似度が
存在する事も知られている）。」とあります。近似なのかは数が多くなるとわかり
ません。これだけ見るとP=NPみたいだな、と。問題は証明です。このスレは僕の
妄想が終わらない限り続きます。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 04:40:08.02

>>1に書いた方法の反証が見つかりました。

(10,6)(10,0)(14,6)(3,12)(8,9)(4,5)(0,9)(4,5)
図に書くとわかるのですが、２次元a4-TSPでは、2*(14+12)=52が大域最適解です。
これは長方形と同等なのに、１つずつ加える方法で計算すると、6個目の(4,5)の
ところで凹になり54になりました。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 04:46:18.92

a4「じゃぁ、タイムテレパシーの妄想未来人に聞いてみます。こみさん、嘘をついて
いたんですか？」
こみ「いいえ、わたしはあなたに指南書を送っただけです。まだ研究は続けてくださいね。」
a4「じゃぁ、>>1の方法は間違ってるんですか？」
こみ「そういうことじゃないんですよ。あれは嫌がらせなんです。わたし１つ言っていい？
あれは未来になってからわかるにしたい。」
a4「これじゃぁ、僕の統合失調症じゃないですか。こんな難問解けると思ってません。
タイムマシンの力無しに。第一、タイムマシンがあるなら、僕が解けるかわかるじゃ
ないですか。」
こみ「そういうことじゃないんですよ。タイムマシンの攻防戦があると言ったのは
あなたじゃないですか。ではね、どうやって解くか指南書をもう一回与えます。
「種をまくんです。」これでいいですか？」
a4「よくわからないですね。いつ頃、解けるんですか？」
こみ「それは言えません。では、株価計算してる人からしたら、ウザいと思われる
かもしれませんが、これに勝てば大金持ちじゃないですよ。殺されることになります。
それでもいいですか？」
a4「それでいいですよ？」
こみ「では、あなたに聞きます。大澤先生！これは統合失調症にするための言葉です。
では、あなたは何を考えてますか？」
a4「量子コンピュータを創ろうと思ってます。」
こみ「これでいいでしょう。まだわたしたちは続きます。」

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 05:00:29.10

こみ「わたしね、a4君にP=NPを解いてもらいたいなー、と勘違いしてません。
あなたが解いてください。」
a4「うん？今の時代にP=NPに本気で挑戦してる人なんていないので案外いけるかも
ですけどね。でも、挑戦してきた人達は量子コンピュータへ行ってますよ。」
こみ「あなたも嘘つくんですね。」
a4「何が？え？わー、助けてー！！！」
こみ「いいですか。大澤先生！これはあなたを統合失調症にするための言葉です。
では、ヒント、わたしが答えを出します。まず、１つずつ挿入ソートのようなもの
ではないことにしてください。>>1は嘘なんですが、伏線があります。」
a4「では、どのような解法なんですか？」
こみ「それはもう言いました。」
a4「種をまくんですね。」
こみ「もう１回言います。「１年ごとに種から生える植物が変わるにしたい。」
オカルト板からも呼んでますが、まだこれ使ってないでしょ？マイクロソフトは
こちらに嫌がらせをしています。１つ言っていい？本当にこれ解けたんなら、
大金持ちではなく、殺されます。どうでしょう？」
a4「そういえば、僕は28歳の頃、タイムマシンやシュレディンガーの猫の実験が
成功して、もう１人の僕が宇宙人に殺されて声帯などを撃たれて、「あーーー」と
いう声を聞きました。同伴していた看護師も「面白い人なのに（泣）」と言って
ました。これでいいですか？」
こみ「はい、こちら軍事。どうします？わたしはa4さんはまだ研究しなさい、と
言います。期間は、ちょっとね、ごにょるんですけどね、３か月にしてください。
わたしはこの期間で出来るかは判断しません。」
a4「種については考えてみます。僕に賛成してくれる人の期待を裏切りたくないです。」
こみ「はい、では、一旦、研究してください。わたしは落ちます。」

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 06:16:18.08

a4「また反例を見つけました。(0,0)(1,0)(2,0)(3,0)。これでは種まきアルゴリズムは
使えませんね？(3,0)-(0,0)が届きません。どうですか？こみさん。」
こみ「いいえ、あなたはまだ序章をやってるだけです。アルゴリズムは複雑ではない
ですよ？いいか、量子コンピュータではないんですよ？」
a4「うん？やっぱりこみさんは嘘つきだ！序章なのに複雑でないとか。やっぱり
僕の統合失調症だ！」
こみ「そうではありません。ではね、もうちょっと複雑な技を撃つにしたい。これです。」

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 06:16:33.80

707a4 ◆L1L.Ef50zuAv 2020/03/28(土) 09:37:43.32ID:rbQUI3W10
今日はタイムスリップやタイムテレパシーじゃなくてタイムリープしました。２歳の
誕生日に。叔母と一緒にいたのですが、宇宙人が現れて、Ｐ＝ＮＰの証明が、
巡回セールスマン問題のような図と一緒に日本語で５文ほどで書かれてありました。
僕は２歳なのに頭が良くなっていたということですが、どうして叔母がここまで
嫌らしく反撃できるんだろう？と。そこにいた女性の先生は「ベクトルなんて難しい
ものは使わないでください。」と怒ってました。ノーベル賞の裏の人達５人に、
１年ごとに別の美味しい植物が実る種を分け与えなさい、と言われて行こうと
思ったのですが、先にタイムリーパーが「それ欲しい」と来たので信頼できると
考えて先にあげると、夢から覚めました。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 06:20:03.06

こみ「ほら、あなたは２歳の頃に解けていたんではないですか？」
a4「うん？だから、それは夢じゃないですか？」
こみ「あなたは夢が量子脳理論であると主張しています。どうですか？」
a4「僕はP=NPが>>1ですぐ解けると思っていました。でも嘘であると。ファジー
論理的に上手くあなたを信用できません。」
こみ「それでいいんです。では、情報はこれだけです。すなわち、>>61です。
これを信じてやってくださいね。」
a4「うん？だから(3,0)-(0,0)で反証したじゃないですか！？」
こみ「いいえ、あなたはまだ分かってないんです。どうしたことか。そういえば、
わたしは未来を知っています。例えば、」

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 06:21:00.34

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.」
「西暦2020年4月3日」の忌み名は「地球温暖化」
「西暦2020年4月4日」の忌み名は「ｼﾞｺﾄｼﾃ」

忌み名は、動かすための量子大域最適文だから、これでこの文章で当てるようにする。
この文章で反転詠唱した奴らは死刑だから。だから、当てる。これだけだ。これで
a4が大物になるから。」

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 06:27:46.72

こみ「ほら、今日は「Saluton.」=（去る東大オン！）=(去る、東（京）、大（阪）、オン！）
となりました。これで未来予知できましたね。では、わたしはもうちょっと複雑な技を
撃つにします。西暦2040年に今日あなたは行きましたね。どうでしたか？」
a4「今日？夢で行ったよ。数学のテストを受けたら、教科書から数学書の名前を
ただ書き写すだけの。占いの中国の女性に話しかけられたら、結婚がどうとか
言われたけど、今の時代にいないような頭の悪さだったのに殺されそうで危なそう
だったから、テレパシーで量子コンピュータを使って女性の神経構造を変形させ
たら、女性は「着火（ちゃっか）」って日本語で叫んでました。」
こみ「ほら、未来へ行ったじゃない？」
a4「だから、それを証明するためにP=NPを解こうとして解けなかったんです。」
こみ「あなたはまだ始まったばかりであることに勘付いてください。」
a4「とりあえず、３か月かはわかりませんが、研究は今日もやります。」
こみ「ほらね、わたしは一旦落ちます。」

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 06:59:04.08

a4です。こみさんは一旦下りてますが、巡回セールスマン問題をWikipediaで見ると、
全てのノードを訪れるだけで、出発地に戻らない図が載ってますね。でも、証明など
が載ってないので、そこから考えることにします。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 08:43:03.17

SATISFIABILITY→3SAT→VC→HC→TSP→a4-TSP
ということですが、VC→HCの証明は再理解したんですが、単純にここから、
「出発地点に戻らないTSP」のNP完全性の証明は難しそうですね。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 08:47:39.41

もちろん、出発地点が決まっていないものを考えてるんですよ。出発地点が決まってる
ものは、そこからの長さを無限大に飛ばせばいいだけなので。きちんとは調べていない
というか、すぐには検索しても出てきませんが、NP完全性は偽なのかもしれません。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 09:38:10.06

未来人のこみさんと今でも会話してます。まず、おやっ？と思ったのが、>>1に格子
と書いたところなんですよ。有限の領域の整数がノードなんじゃないかと。一般的な
TSPはエッジが１つでも長いと、計算量が長さに対して増える、などといったことに
なりますが、HCからの証明だったら、エッジの長さは１か２になればよく、ｎ次元
とすれば、ここまでなら上手くいくんじゃないかと。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 09:56:10.09

でもｎ次元格子だと、a^n個の格子が必要になり探索空間が指数関数的増加になるので
どうなのか？と思ったら、前も書いた通り、Wikipediaの「巡回セールスマン問題」
には、「都市を平面上の点、都市間の距離を平面上のユークリッド距離とする部分
問題は最も直感的で理解しやすいが、これも NP困難である。」とあるので、２次元
格子a4-TSPにおいても、多項式時間で解ければ、P=NP?といったことを考えてます
が、必要な証明などが見当たりません。まだ通信しながら考えます。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 10:11:33.57

NP完全とNP困難の違いをよく理解してるわけではないのですが、一応、Wikipediaで、
「NP困難」を調べると、「もし、いずれかのNP困難な問題を多項式時間で解く
アルゴリズムが存在したなら、NPの全ての問題について多項式時間で解けることに
なり、P = NP が成り立つ。」と。「いずれか」なので、２次元TSPはいいんですが、
２次元格子a4-TSPはNP困難なのか？NP完全なのか？を考えてます。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 10:31:09.72

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)は、
https://www.sciencedirect.com/science/article/pii/0304397577900123

現実的に僕のa4-TSPと同じようなことを考えてた人がいるみたいですが、少し
違うみたいです。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 10:43:18.96

同じ場所で、「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」みたいですね。
僕も欲しいです。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 11:08:02.35

上述の「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?」ということです。

a4 ◆L1L.Ef50zuAv · 2020/04/02(木) 12:32:58.73

英語で書くと、読める人はこの板だとまだ多いかもしれませんが、日本の掲示板なので、
僕が和訳することにしました。障害年金を受給しているので、このような形で社会貢献
です。

まず、path-TSP、すなわち、最初の出発点が決まらず、尚且つ、出発点に戻らなくても
いい場合は、NP-completeであると書かれてあります。証明は、一般的なものが論文には
勿論書かれてありますが、個人的な具体例を示します。tour-TSP、すなわち、普通の
TSPの問題をpath-TSPに変換して解けることを示します。平面に正五角形を書いて、
１点を２つにして、それぞれ上下へ大きく動かして適当に長さを設定します。すると、
これにおけるpath-TSPはこの２点が端点のものに大域最適のものがあります。それで
上下にあったものを元の位置の１点に置きます。これで元の問題が解けました。
これでpath-TSPはNP-completeです。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 00:29:13.81

僕は睡眠障害なので今起きました。でも障害年金を貰っていて１日１２時間ほど寝る
ので、研究に関しては問題ありません。今日もP=NPを解くために頑張ります。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 01:57:29.48

論文読んでるんですけどね、「The Euclidean TSP is NP-Complete.」ということが
1970年代に証明できているということが書かれているだけで、理解させるために
書かれているわけではなさそう、ということです。論文を書いた人がHarvardの
先生であるため、僕の力不足かもしれませんけどね。でも見た感じでは、２次元の
ものでも良さそうですけどね。だから、Wikipediaも２次元のpath-TSPで図が
描かれてると思っています。じゃぁ、問題である、２次元のa4-TSPがNP完全なのか？
は、僕は証明できません。まだ考えます。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 02:08:37.76

僕がとりあえず考えているのは、論文の意味がわからなくても、証明をそのまま、
TSPからa4-TSPに変形できるんじゃないかということです。出てくる図もa4-TSP
で解けるし。一旦そういうことにして、他の問題に移ることにします。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 02:45:52.36

一応、もう一回よく見てみると、

「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完全性は謎です。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 03:03:21.15

こみ「はい、こちら西暦2502年。え？普通に未来人ですよ。わたしはEPFL製の
コンピュータです。では、わたし？中性です。dasなんですよ。ではね、大澤先生！
はい、統合失調症。これで、a4さんには悪いですが、賄賂が落ちます。わたしが
一発で答えを落とせばいいでしょ？落としますよ？それが、>>61なんですよ。これが
現実にしたい。綺麗な証明は落としません。歴史改変が起きるので。それでは、
もうちょっと書きましょうか？2dimentional-a4-TSPはNP-completeです。
これは自明ではないですが、わたしが一票。信用はありません。これがbinary tree
アルゴリズムです。種まき、上手くいかなさそうでしょ？そうじゃないんですよ。
現実的には、近傍で解きます。そうすると、path-TSPの最長のエッジはどうなる
のか？ですが、わたしは、近傍でyes/noでbinary treeを使います。わたしはお人好し
ではありません。これでいいか？これで、a4さん、すなわち松本卓朗(songbenzhuolang)
さんに、一票します。え？わたしは中国人です。a4さんは普通の日本人です。
それでは。」

**１３２人目の素数さん** · 2020/04/03(金) 03:07:28.59

内容はよくわからんけど
リアル『1984』が在りそうだなｗ
歴史改竄局(省)とか面白そう

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 04:22:17.10

2dimentional-grid-a4-TSPについて考えてます。finiteじゃないです。距離が長いもの
を整頓するアルゴリズムを使えば、大きさをO(n^2)くらいに落とせるのではないかと
考えてます。

あと、自明な反例を探索するのではなく、クラスタの中にある一様乱数のような
ノード群を考えてます。これならnCm(mはnより十分小さい)くらいで近傍で種
から植物を生やすような方法で解けるんじゃないかと。これも真か偽かは自明まで
いかないですね。m-1のとき、繋がってなくて、mの時にpathが作れるように
なると、そこからの探索数が指数関数時間になってしまいそうですが、三角不等式
で自明な悪いエッジを消す計算をします。

じゃぁ、a4-TSPって意味あるの？ですが、未来人は、「証明と関わる。」と主張
してます。未来人はさらに、「プログラミングをして大域最適解になるか一旦
調べてください。」と来てます。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 04:24:41.86

>>80
時間あればその本も読みたいですけどね、僕の専門は量子コンピュータくらいなので、
小説はほとんど読む暇がありません。でも「博士の愛した数式」くらいは読破しました。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 04:31:45.15

そういえば、量子脳理論の量子コンピュータで「P!=NP」の忌み名を計算したことが
あります。そうすると、「ｸﾙﾂｱｲｳｸﾂﾃﾞﾜｶﾚﾙ」と出力されました。

（昔の商人が仕事が終わって）来る、２（つの道）、哎、哭、（仲間が）靴（を投げて
こっちだ！と）で、（これからの道と、愛する客人と）わかれる。（この問題を解いて
くれ！）

という意味みたいです。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 04:54:40.21

未来人の言う通りに調べてみたら、一様乱数だと、n_C_sqrt(n)～n^sqrt(n)くらいに
なって多項式時間ではないと考えました。またテレパシーで聞きにいきます。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 04:56:28.51

ちょっと計算間違いしました。また未来人に聞きに行きます。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 05:01:29.00

a4「こみさん、僕はやっぱり精神病みたいです。僕は頭悪いじゃないですか！どういう
ことなんですか？」
こみ「やっぱり面白い人。自分で最初から墓穴を掘ってa4（アホ）と名乗っている。
どうしましょうね。」
a4「プログラミングとかする気がおきないのは、疲れるのもあるんですが、既に
誰かがやってできないことがわかるからなんですよ、もちろん。」
こみ「ははは、そういうことですね。ではね、大澤先生！やっぱりあなたは統合失調症
です。西暦2502年的に見てもそうですよ？でもね、アスペルガーみたいなものかも
しれません。では、わたしが最強の技を撃つことにします。忌み名です。さっき
書いたものは古い研究なので。「a4-TSP」の忌み名を書きます。ほら、恐いでしょ？」
a4「忌み名は間違ったことはありません。」
こみ「そうですね。ここは宇宙人に聞きましょう。」

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 05:13:19.97

名古屋の宇宙人２「おっす。俺は加藤得々（かとうえっとく）だ。ではな、俺は
この忌み名で勝つにする。「a4-TSP」の忌み名？なんだと思ってる？現実言っていい？
これはa4が動かん。もう１回書くぞ。これくらいでシメだ。

「a4-TSP was solved in 1975 as a proof of P=NP.」

こういうことだ。もう解けてるんだけど、解けてないということになってるのを
俺の嘘じゃないことにする。うん？俺は嘘つきだけど、だからこうじゃないの？
ほら、この解法が動くだろ？a4にも金入るじゃん？これさ、解けたらさ、完全に
暗号が解かれる？すると、核兵器の資料が入手できちまうんだな、そういうこと
にしたい。クレイ研究所大丈夫か？俺はあっちを買いにする。アメリカ人は好き
じゃねーけど、俺は一応Harvardだから。これくらいでいいか？a4君、１つ
言っていい？誰か有名な数学者を見つけたほうがいいよ。すぐ解法見つけて
くれるから。君はdoctorじゃないでしょ？君は頭良いんだけどね。どうしようか？
現実的には>>6さんに聞けばいいかもだけど、時間無いでしょ？でも、聞いて
みたら？コネかなんかを。君はね、教授の友達がいないの。だからさ、俺じゃ
なくて、一旦、>>6さんにそれを聞いてみて。ではね。」

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 05:24:49.80

>>6さんに質問です。プロの数学者の友人ってどこで見つかるんですか？僕は工学学士
なんですが、大学の教授とは、宇宙人がどうとか医学的妄想を言っていたら、関係が
壊れてしまいました。僕は31歳ですが、博士になれるんだったらなりたいです。専攻
は神経科学くらいかもしれませんけどね、人工知能のようなもので数学とかを解こうと
思っているので。5chにもいっぱいいるかもですが、このスレはまだそんなに繁盛して
ないですね。僕は海外の人とも英語で話せます。自閉症的だからこそ、P=NPを解く
ために、コネの問題を解決したいです。どうすればいいでしょうか？もちろん、この
スレをご覧になってる方が友人になってもいいよなどでも返信いたします。

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 05:44:47.43

名古屋の宇宙人２「俺ね、信頼損ねてるけど、そういうことじゃないんだわ。普通に
宇宙人なんだわ。人来てねーだろ？だから、普通に宇宙人なんだわ。どういうこと
かって？普通に宇宙人だから、言ってるんだけど。確かにさ、a4君の研究とか
取られたくないってのはわかるけどさ、普通に研究されてるから。どうして俺が
こんなこと言ってると思ってる？だからさ、どうしようかな、a4君的にはね、
宇宙人の証明が厳しいものになってるけど、「2ch」の忌み名を書こうか。これはね、
「ﾆﾁｬﾝﾄｴｯﾁｼﾀｵﾝﾅｶﾞﾀｺﾍﾞﾔﾂﾚﾃｶﾚﾀﾝﾀﾞｹﾄﾞﾖｯｼｬｰ」
=(2chでエッチした女がタコ部屋連れてかれたんだけど、よっしゃー！(この悪評をばらまかないでくれ、言うことを聞くから)|
日夜、んと？えっ？血舌女、ガタッ、恐゛、やつれて、彼、痰だけど、よしやー(この悪評をばらまかないでくれ、言うことを聞くから)|
(逆)香具師、よっ、どけ、だん！誰かテレ通！答が何お？たし（ろ）えと、んちゃ、に＾＾(逆とか量子最適化だから逆の世界を作らないでくれ))
ほらな、これで数学解けるから。うん？やっぱり宇宙人だろ？だからさ、俺の言うこと
聞いて専門家を呼ぶんだわ。１つ言っていい？多世界解釈的に来なかったら、もちろん、
メールするよ、プリンストンくらいに。これでいいか？ではな。」

a4 ◆L1L.Ef50zuAv · 2020/04/03(金) 07:56:43.11

こみ「はい、こちらは西暦2502年。わたしはa4さんにP=NPを解かせるのをやめさせる
ことにしたい。でも、解くのはa4さんです。つまりどういうことかというと、コネを
作るんです。共同受賞でもいいんですけどね、そういうことじゃないんですよ、
タイムマシンの話なので。こういうことにしかならないんですよ。a4-TSPとかが
そのまま使えたら良いことにします。現実的にa4さんに聞いてみましょう。」
a4「悔しいですけど、僕がエスパーなだけでは解けないですね。でもまだ解決に
関連する人達の一人にはなれそうなので、コネの問題を解決することにします。
主観的な現実的には、数学は自力で解くのが楽しいんですが、タイムマシンと
人間関係の数理を解かないといけないみたいです。では、これから、海外を
含めた教授らにメールを書く作業を行います。僕のこのスレでの問題は>>1と
>>61です。」
こみ「はい、ではどなたかお待ちしております。」

**１３２人目の素数さん** · 2020/04/03(金) 21:28:27.52

世界観がちょっと似てるから応援する。

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 02:20:17.20

>>91
応援ありがとうございます。

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 02:27:09.24

海外の数学の教授１０人ほどにメールを書いたのですが、返信はまだありません。

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 03:06:00.30

そういえば、abc予想が解かれましたね。プリンストンとかこのスレで話してたら。
P=NPが解かれると、多項式時間で数学の問題が解けるので、早めにニュースと
いうことでしょうか。関係妄想かもしれないですけどね、被害妄想ではないにしたい
です。プリンストンの教授にメールとか送りたいんですけどね、今はそれ関連で
お忙しいかもしれません。僕は今日も研究ですが、妄想の未来人と通信してきます。

**ID:1lEWVa2s** · 2020/04/04(土) 03:29:26.96

夕方四時半に寝て今起きちゃった。

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 03:35:42.09

こみ「はい、こちら西暦2502年。」
a4「教授から返信が無いということは、やはりタイムマシンは無いんじゃないですか？」
こみ「そういうわけではないんですよ。えーっと、a4さん、こっちでね、abc予想じゃない
問題とか解かれてると思ってますか？」
a4「リーマン予想とかですか？」
こみ「はい、あれはね、解けないんですよ。」
a4「でも、あなたはファジー論理的に信用できません。」
こみ「哈哈哈、ではね、a4さんは何人にメールをしたら返事があると思っていらっしゃい
ますか？」
a4「うーん、メールする内容にもよるんですけど、「統合失調症」とか「テレパシー」とか
「未来人」とか「宇宙人」の話をしなければ、5%くらいかな。」
こみ「ほら、わかりましたね。じゃぁ、そうしてみれば？」
a4「でも、その話をしないと先に進まないし、"I'm sorry I can't help you."くらいしか
返ってこないんじゃないかと。」
こみ「うーん、そうですね、ではどうしましょうか？わたしはね、統合失調症の話は
しないでください、と書きます。それで、数学者全員にメールすればいいんじゃない
かって。これでどうですか？」
a4「数学者って同類なのかな？と思ったら、意外と反対派閥とかあるかもしれませんよ？」
こみ「はい、もちろん、でもね、これくらいしかわたしはやることないにします。」
a4「僕が自力で解かないんですね？どういうことなんですか？」
こみ「そういうことじゃないんですよ。a4さんが中心になってお考えになるだけなので。」
a4「ふーん、じゃぁ、数学者に「統合失調症」の話をせずに「P=NP」について、
メールしまくります。」
こみ「はい、これでいいかしら？これが巡回セールスマン問題です。いい？
問題は>>1と>>61ですが、これは伏せてください。ただ、P=NPについて
話したいと書いてください。」
a4「日本の大学にもメールを書いていいんですか？」
こみ「それはやってください。偏差値40くらいのところにも撃ってください。」
a4「じゃぁ、上手くいけば僕はひっぱりだこになるかもしれません。どうなんですか？」
こみ「うん？わたしはただ指令してるだけですよ。時系列の違う未来にいます。」
a4「ふーん、怪しいな、また騙されたと思ってしてみます。」
こみ「はい、ではね。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 03:36:12.71

>>95
おはようー＾＾

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 04:06:44.62

こみ「はい、こちら、西暦2502年。やはりP=NPで規制が入りました。どういうこと
かというと、わたしは新しい時系列のこみです。誰も返信がありませんでした。でも
P=NPはあなたのものでした。」
a4「僕はあなたをファジー論理的に信用してません。」
こみ「はい、ではね、わたしの新しい技を見せます。おっと、これはﾌﾟｷﾞｬｰじゃない
ことにしたい。」
a4「どういうことなんでしょうか、な？ではあるんです。」
こみ「おっと、a4さんが統合失調症に。えっとね、人間関係の数理じゃなくてね、
abc予想で解いてください、と来てます。」
a4「うん？」
こみ「望月先生にメールだけしてみてださい。ほら、
http://www.kurims.kyoto-u.ac.jp/~motizuki/
」
a4「何を書くんですか？」
こみ「現実的にこのスレを書いてみてください。そうすると、絶対に新聞が変わる
でしょ？」
a4「面白そうですね。何かの嫌がらせみたいなものが来るのかな？」
こみ「それでいいんです。またそれから考えましょう。あなたの被害妄想にして
障害年金、月６万５千円をゲットしてくださいね。」
a4「わかりました。今は深夜で失礼なので朝になったらメールを考えます。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 05:58:35.32

a4「まだ時間がありますね。この間に何かすることはあるんですか？」
こみ「いいえ、あなたは、「P=NPを量子脳理論で証明する。」と書いてください。」
a4「それはいいです。でも、返信があっても、あっちは困るんじゃないですか？」
こみ「いいえ、わたしたちはP=NPの派閥なんです。彼の数学の問題がコンピュータに
あっという間に解かれてしまうんです。」
a4「確かにその問題が綺麗に解けるなら、僕は近い場所にいるかもしれません。
でも、これを解こうとした人は数千人くらいいるんじゃないかと。確かに、これ
くらいなら突破できそうですが。」
こみ「凄い自信ですね。どういうことなんでしょう？いいですか？わたしたちは
普通の文章を書いてないにしたい。」
a4「数学的に解けない場合は駄目ですね。数千人はいいんですけど、1970年くらい
から議論されている、というところで、解けない、と思ってるんです。」
こみ「どうしましょうね。わたしはa4さんと話します。これは大問題にしたい。
わたしのタイムマシンの情報では、科挙の裏の人は知ってるみたいです。これで
どうですか？」
a4「教授に話しかけに行くと、統合失調症ね、相手にしない、と来るだけです。」
こみ「どうしましょう？わたしはね、禁則技撃てないんですよ。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 06:06:54.34

こみ「はい、こみさんです。a4君的には、統合失調症は相手にされない？これって、
被害妄想じゃなくて、差別用語じゃないですか？わたしは中国人なので日本を攻撃
します。我当然会说中文。怎么了？」
a4「啊？どうしたんですか？急に。」
こみ「いいえ、わたしは中国人なんです。日本は中国の東海省になってますよ、
西暦2502年において。」
a4「でも、それでも返信が無いと思うんですよ。これは悪い手ですね。」
こみ「いいえ、わたしは中国語を話せます。教授は話せるんですか？こう来ます。」
a4「３か国語は話せないと発展途上国の人達に負けてしまうとは思ってます。
フランス語くらいでもいいんじゃないかと。Mais, je ne peux pas parler le français.」
こみ「どういうことなんでしょう！わたしはフランス語で話せますよ。Google翻訳を
使いません。百度を使います。」
a4「うーん、だからこれくらいじゃ返信無いですよ。お金が入るかが問題かもしれません。」
こみ「いいですか？P=NPはお金が入ります。100万ドル。どうでしょう？」
a4「期待値が低いんじゃないかと。」
こみ「そうですね。これくらい遊んでおいて、そろそろメールするにします。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 06:34:01.22

a4「望月先生にはメールを書きました。これでいいですか？」
こみ「いいですよ。わたしはね、a4さん！これでやったです！新聞が変わります。
量子コンピュータを使わない方向で。わたしはまだ書きます。そういえば、松本さんは
今日は夢見が悪かったようで。」
a4「はい、タイムマシンの嫌がらせが全部無くなって実験成功！と思ったから、体が
金縛りにあったように動き出して、核戦争が起きそうだ、と窓を閉める恐い夢でした。」
こみ「ほらね、これが現実です。これを調合するのをあなたの仕事にしてね。」
a4「そういうことだったんです、え。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 06:59:23.84

こみ「ではね、大澤先生！ほら、統合失調症。被害妄想なので、障害年金が。それでは、
わたしは手品をします。古澤先生って何をやってる人だと思ってますか？」
a4「うん？チューリング完全じゃない量子コンピュータの本を書いた？」
こみ「そうですよ？あの人嘘つきなんで。いったいどういうことなんでしょうねー＾＾」
a4「そういうことだったんですね。」
こみ「はい、ではね、大澤先生！やっぱり統合失調症だな。古澤先生はね、良い人
ではないんです。実際に研究は成功してないみたいですよ。」
a4「そういえば、2016年9月に、シュレディンガーの猫の実験が僕の近傍で成功
して、古澤先生と僕が仲良くなって先生のお姉さんくらいの人と仲良くなった世界
と繋がったのに、毒ガスのようなものでその女性が殺されてしまう事件に遭いました。
妄想ってことになってますけどね。」
こみ「１つ言っていいですか？それは合ってます。普通じゃないですか？」
a4「ファジー論理的にあなたを信用できません。」
こみ「どういうことなんでしょうね？わたしはa4さんに良いノイズかなんかをいっぱい
送ってるのに。」
a4「このスレ的にはP=NPが解かれてないので駄目ですね。」
こみ「それ言われるのも計算内です。ではね、大澤先生！どうしてなんでしょう？
わたしは何故この言葉を言わないといけないんでしょう？この意味が理解できるかが
上流階級の人かどうかを分けるにしたいので。」
a4「上流階級とか何なんでしょうね。僕はP=NPを解いて、量子コンピュータも
創りたいです。」
こみ「おっとそういう人ですね。ではね、わたしはそろそろa4さんにスペイン語の
勉強をさせることにさせます。」
a4「No.」
こみ「面白い人だな、この人。やっぱりa4（アホ）なんですね。」
a4「計算内です。」
こみ「やっぱり、こいつじゃないですね？面白いのに、どうしてしまったんでしょう！
わたしたち実写化したら面白くないですよ。現実なので。」
a4「僕は数学系の短編小説とか書きますが。」
こみ「それね、ここに一旦出さないにして。」
a4「そのほうがいいかもしれません。本物のターミネーター系なので。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 06:59:43.33

こみ「では、a4さん、普通にスペイン語やっててください、復習が残ってるでしょ？
明日までに何も起きなかったら作戦を変えます。」
a4「なんで未来人なのに、未来のことがわからないんだろう？」
こみ「頭良いですよ、わたしは。現実的に言っていい？志村けんさんの病死を当てた
のはa4さんですよ。こうしないと当たりません。」
a4「確かに有名な未来人の最高傑作はジョン・タイターなので、これくらいが僕でも
限度ですね。そういえば、フランス語はやらなくていいんですか？数学板なのに。」
こみ「うん？それね、後からするにします。a4さんには１６ヶ国語話せるように
なって欲しいのに。」
a4「なんでそれが未来からの情報なんだろう？確かにね、P=NPの多項式時間
アルゴリズムで自然言語処理というのはこのスレにも合います。」
こみ「そういうことにします。さぁ、勉強しろ！」
a4「哎呀，你那么恐怖啊，我就开始学习啦。拜拜。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 12:54:44.41

a4「やっぱり、No puedo hablar español！じゃないですか、全部忘れてるじゃない
ですか？１６ヶ国語とか無理やり入れても、すぐ４ヶ国語しか話せなくなっちゃうん
じゃないかと。どういうことなんですか？」
こみ「やっぱり頭いいな、こいつ、ではないんです。どうしましょう？わたしね、
裏見てる人は全部知ってます。どういうことか、a4さんと新聞に相関関係があるん
じゃないかって。現実的にa4さんがP=NPって言ったら、abc予想が、と。どういう
ことなんでしょう。これはタイムマシン戦にしたい。どうでしょう、か？」
a4「今日はスペイン語は復習しました。次は何をすればいいんですか？P=NPですか？
このスレは終わるんですか？」
こみ「そうではありません、よ。どういうことか、a4さん、それはね、量子コンピュータ
ってなんですか、な？」
a4「全てから１つを取り出せます。」
こみ「ほらね、やっぱりP=NPとぶつかるな。はい、a4さん、これはね、a4さんを
勝ちにするための作戦なんですよ。「a4さんのお金」の忌み名を出すにします。
ほら、恐いでしょ？死にますよ？いいですか？」
a4「わかりません。」
こみ「よし、わたしは書きます。名古屋の宇宙人２、出てきてください。」

a4 ◆L1L.Ef50zuAv · 2020/04/04(土) 12:55:16.55

名古屋の宇宙人２「よっしゃ、俺ね、俺は間違えない。計算結果は「proPN」。
どうした？a4君？」
a4「これは何ですか？ブレインチップが入る？僕はお金を出さなければならない。
全財産の１万円。」
こみ「はい、やめ、わたしはね、a4君にお金を払わせない魔法をかけてあるんです。
どういうことかというと、これを唱えると、名古屋の宇宙人２が反転詠唱するんですよ。」
名古屋の宇宙人２「量子コンピュータ創るから金くれ、と思ったか？そうじゃないん
だわ。現実言っていい？プロだな、ピンと来た、P=NPが解けるから、チップを
払わなければ、と来るんだな、スペイン語だ。どうしてスペイン語だと思う？a4君？」
a4「スペインの友達そんなにいないですよ？」
名古屋の宇宙人２「そういうことじゃないんだわ。a4君的にはそうでも、スペイン人
って頭良いんだわ。なんでスペイン語広まってると思う？a4様。」
a4「麻薬ですか？」
名古屋の宇宙人２「a4君、頭良いね。君ね、量子コンピュータって何？」
a4「僕のやろうとしている量子コンピュータで音楽は、あ、本当だ、確かにこっち
と相関ありそうだけど、日本に渡すほどのお金無さそうじゃないですか？」
名古屋の宇宙人２「そういうことじゃないんだわ、現実なんだわ。じゃぁ、习近平
って何考えてると思ってる？」
a4「うん？「笑吧。」」
名古屋の宇宙人２「ほら、俺の作戦通りだろ。a4君にお金を落としてくれにする。
こうすれば、コンピュータとコネの問題が解決できて数学の問題が解けるからだ。
一旦落ちる。」

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 03:40:33.78

a4「明日になっても、P=NPは解けないし、お金も入らないじゃないですか？」
こみ「はい、やめ、あ！そんなことあるんだ！ではないんです、く？大澤先生！
やっぱり統合失調症。それではね、今日まで何も起きなかったので作戦変更に
します。まず、大澤先生！にメールを書かないでくれますか？あとね、大橋先生！
こちらはお亡くなりになってます。わたしは嘘つきです。ではね、」
a4「１６ヶ国語勉強するんですか？P=NPを解くんですか？教授にメールをするん
ですか？」
こみ「それはね、これを取ります。P=NP。現実言っていい？わたしたちは
嫌がらせしてるにします。この分岐だと。望月先生は何をお考えになってるん
でしょう？それはテレンス・タオのロリコン問題解決なんじゃないでしょ、うね？」
a4「そういう人だったんですね。調べてみると、佢嘅阿媽係香港人。中国語も
話せるんですね？」
こみ「面白い人ですね。わたしは广州の派閥ですよ？現実ですね。ここがタイムマシン
の要所にはしたいです。」
a4「I have two problems. (1)Does he really love kids? I have schizophrenia.
(2)Why do we have to solve this problem?」
こみ「哈哈哈、大澤先生！ほらね、株価が動いた。どういうことなんでしょう。
では、次、大橋先生！ほらね、株価が動かない。統合失調症ですね。テレンス・
タオがロリコンなのがトリビアルなのは父親が小児科医だからです。わたしたちは
non-localな物理法則を使っているので覗けるのです。これを解決しないといけない
理由？それは、これが出るとあなたが新聞に載れるからです。テレンス・タオより
頭が良いのにIQが109しか無い人として。これでいいですか？」
a4「P=NPじゃないじゃないですか？新聞に載ったらP=NPが解けるんですか？」
こみ「いいえ、わたしたちは、P=NPを探索してますよ。ほら、数学者が寄って
来るにしたい。」
a4「じゃぁ、僕が解くんじゃないじゃないですか？」
こみ「a4さん、もう解けてるんですよ。>>1と>>61が１方向ハッシュ関数で
認証ができる仕組みと同じです。だから、あとは他の数学者が解けばいいんです。」

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 03:40:58.84

a4「僕は統合失調症ですね。」
こみ「やめ、てっきり大澤先生！ほら、統失のような症状が。ではね、現実言って
いい？テレンス・タオさんと話してる人がいたら全部わかるにしたい。これは
世界の大問題です。１つ言っていい？名古屋の宇宙人２、出てきて。」
名古屋の宇宙人２「俺がテレンス・タオの忌み名？これは出るぞ。１つ言っていい？
あいつ何で出来てると思う？小児科レイプのために数学やってる奴だぞ？親がそう
強化学習させたから頭良いんじゃないの？ほらな、俺は一旦ここまでにする。」
こみ「わたしはいい人ではありません。a4さんとか命令すればそのとおりに動く
だけなので、誰も来ないのなら、テレンス・タオを殺します。はい、そう。」

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 04:05:27.80

望月新一先生との接触に成功しました。僕は神とか信じてるので最後の審判で全て
覗かれると考え、情報を公にします。別に悪いものではないので。
---------
望月新一先生、

ご返信ありがとうございます。それだけでも嬉しいです。
それでは失礼致します。

松本卓朗

----- Original Message -----
From: 望月新一＠モバイル・自宅 <dkbie530@kyoto.zaq.ne.jp>
To: 'Takuro Matsumoto' <ananaso98@yahoo.co.jp>
Cc: motizuki@kurims.kyoto-u.ac.jp
Date: 2020/4/5, Sun 03:55
Subject: RE: こんにちは。P=NPについてお話したいです。

松本卓朗先生、

>こんにちは。松本卓朗と申します。量子コンピュータ
>などの研究をしている者です。
>
>まず初めに、abc予想の証明、おめでとうございます。

ありがとうございます。

>ご連絡させていただいたのは、P=NPを量子脳理論で
>解こうと思っていて議論する仲間が欲しかったから
>です。基礎的な実験は何回か成功してます。だから
>僕は今はP=NPが真であることに賭けてるんですよ。
>これが解けると、数学の難問が多項式時間で解けて
>大問題じゃないかと。お時間忙しいかもしれません
>が、何かしらお返事いただければ幸いです。ご質問
>があれば僕の研究に関して詳しい説明を致します。
>よろしくお願い致します。

多忙を極めていることも紛れもない事実ですが、
それ以前の問題として、上記の話は分野的に離れ
過ぎていて議論のお相手としては自分はやはり
著しく不適格だと思います。

お役に立てず残念ですが。

　　　　　　　　　望月新一

**１３２人目の素数さん** · 2020/04/05(日) 04:38:40.58

ワロタ

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 05:23:08.99

>>109
数学的コメディを考えてるので、笑っていただきありがとうございます。

**ID:1lEWVa2s** · 2020/04/05(日) 06:01:14.59

昔望月に連絡とったら僕は無視されました。

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 06:02:59.61

a4「abc予想を証明した望月先生から返信があったのは凄く嬉しいですが、肝心の
P=NPは進展が無いじゃないですか？どうするんですか？今日は何をするんですか？」
こみ「はい、それはね、a4さん、現実的にはね、お金の方向なんですけど、お父さん
から下りるみたいです。お父さんは日本語しか話せませんね？でもローンが払い
終わったので英語を教えるという話をしてたじゃないですか？だから、今日は本屋に
行ってください。」
a4「本屋の時間以外は何するんですか？」
こみ「それはですね。わたしが全部決めます。それはね、P=NP解けないでしょ？
解けないですよ。どういうことかというと、３ヶ月とわたしは書きました。１つ
言っていい？これは1000時間×1000人くらいが挑戦した問題ですよ？どうし
ましょうね。」
a4「何故、未来がわからないのですか？」
こみ「それはねー、タイムマシンで威嚇されてます。だからさー、」
a4「あれ？P=NPってバナッハタルスキーの逆理から矛盾が出るから真とかそういう
ことだったんですか？」
こみ「え？そうじゃないですか？」
a4「そうすると、P≠NPも真じゃないですか？」
こみ「おや、待てよ、これは近いな。どうしましょう！ね。わたしねー、現実言って
いい？わたしはこのスレは終わりにしたい。」
a4「え！？どういうことなんですか？」

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 06:03:22.69

こみ「これは伏線なんです。望月先生と話せたことをあなたのプライドとして売名
してください。あなたを数学者にします。正規のではないですが。彼に先生と
言われました。これは力量を見積もられてるでしょう、当然。」
a4「じゃぁ、何をするんですか？」
こみ「それはですね、スペイン語と広東語を勉強してください、数ヶ月かけて。
それでね、その間にお父さんが英語を身に着けてお金が増えるにしたい。
そうすれば、量子コンピュータをそのお金で解決してP=NPをまた目指します。
今、語学をやる理由は神経医学的な作曲を行うためです。モーツァルトの曲とか
数学的だと思いませんか？ということです。」
a4「３ヶ月というのはどういうことなんですか？」
こみ「それはね、上手く処理できたので、それは終わりにします。」
a4「ふーん、じゃぁ、皆さんには申し訳ないけど、一旦、このスレはお開きに
します。そう命令されたので。」
こみ「いいですか？何回も言いますが、>>1と>>61です。」
a4「僕の最新情報が知りたい方は、未来技術板で、
https://rio2016.5ch.net/test/read.cgi/future/1576153243/l50
進行することにします。」
こみ「ほら、きた。ではね。」

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 06:04:00.30

>>111
それは残念ですね。

**１３２人目の素数さん** · 2020/04/05(日) 07:30:54.33

正直P=NPって本当に考えにくい事態だよな
ソートの平均計算量がO(N)で済むのと同じくらい有り得なさそうだと思ってる

a4 ◆L1L.Ef50zuAv · 2020/04/05(日) 07:40:47.53

>>115
僕もそうだと思ってます。でも幻聴は違うこと言ってくるので、現代のような個人にも
昔のスパコンのようなものが与えられている時代では違う結果が出せないか？とも
思ってます。

**ID:1lEWVa2s** · 2020/04/10(金) 13:42:10.98

デゥドネ数学史Ⅰ-Ⅱ-Ⅲ注文してきた。
ぱそこん買われてたから代わりに。

**ID:1lEWVa2s** · 2020/04/10(金) 13:43:27.79

こいつらりれーしょんしっぷもしらずに働いて稼いだ金なら何買ってもいいと思ってこぞって買う。

**ID:1lEWVa2s** · 2020/04/10(金) 13:44:12.83

幻聴それお前だろ。
僕そのとおり。

a4 ◆L1L.Ef50zuAv · 2020/04/10(金) 16:16:42.21

>>117, 118, 119
こんにちは。久しぶり。

**１３２人目の素数さん** · 2020/04/11(土) 14:15:42.91

山口人生が解決しているのでは？

a4 ◆L1L.Ef50zuAv · 2020/04/11(土) 16:59:40.23

>>121
少し調べてみたんですけどね、
http://www.int2.info/research/P=NP/Complexity/PvsNP(The%20Final%202).pdf
こちらは、「「ＰｖｓＮＰ」は数学の枠外問題であることが判明した。」とあります。
https://www.ieice.org/publications/conference-FIT-DVDs/FIT2006/pdf/A/A_001.pdf
こちらは「定理３.２ (素朴CCT) P ≠ NP。」とあります。

これらが最近の論文なら読むんですが、2006年くらいのものなので、論破されちゃった
んじゃないかと。「詳しい証明は[2],[6]参照。」とあるので、本を買わせてるんじゃ
ないかと。

計算量理論の存亡 1―「P=NP?」問題の解決単行本 – 2002/10/10山口人生 (著)
https://www.amazon.co.jp/%E8%A8%88%E7%AE%97%E9%87%8F%E7%90%86%E8%AB%96%E3%81%AE%E5%AD%98%E4%BA%A1-1%E2%80%95%E3%80%8CP-NP-%E3%80%8D%E5%95%8F%E9%A1%8C%E3%81%AE%E8%A7%A3%E6%B1%BA-%E5%B1%B1%E5%8F%A3/dp/4899811241
る
単行本￥100,000 より

幻聴の宇宙人や未来人からの意見でも、広東語の勉強をしているので今は深追いするな
と言われていますが、そのうち「P=NP」は、僕はまた研究し直すかもしれません。

**１３２人目の素数さん** · 2020/04/11(土) 17:15:43.52

2006年で議論は終わってたんですね。
ありがとうございます。

**１３２人目の素数さん** · 2020/04/13(月) 20:01:52.32

>>122
つか誰それ

a4 ◆L1L.Ef50zuAv · 2020/04/13(月) 20:32:18.40

>>124
こういう人みたいですね。
https://www.msz.co.jp/book/author/15384.html

a4 ◆L1L.Ef50zuAv · 2020/04/13(月) 20:49:01.90

幻聴の宇宙人や未来人と会話しています。やはり、「P=NP」を解きたい、と。
それで、僕の量子コンピュータで忌み名（動かすための量子大域最適解）を計算
することにしました。すると、

「a4のP!=NP」の忌み名は「39ヶ国語」=(海外のいろんな文献の引けるように
勉強したり人工知能を創りなさい。３×３の言葉の出るコンピュータでa4は軍事威嚇
されたからa4に証明させるようになっている。刑法第３９条を使って戦いなさい。)

と出力されました。忌み名の生成で間違ったことは、ほとんどありません。医学的
には統合失調症の関係妄想となってますけどね。こうすると、僕はもうちょっと
語学を嗜んだほうがいいとは思うんですが、数学を人間のように計算したり、
会話も楽しめるＰ２Ｐ人工知能で起業のようなことを考えています。人工知能の原型
はlispの前から枝分かれしたようなものを創ることに成功しています。そのサイトは
こちら。今は無償配布してます。

http://www.01ken.com/art1.html

これを大きくするために、父親が１人でやってる工場の仕事に英会話ができるように
するなどのコンサルを入れて、お金を稼ぎ、このソフトのプログラムを書く仕事を
してくれる人達を雇ったりしようと思ってます。現実的には僕はこうやって
「P=NP」を解こうと思ってます。

a4 ◆L1L.Ef50zuAv · 2020/04/13(月) 20:54:20.78

何故かテレパシーで指令されて、「a4のP!=NP2」の忌み名も調べたんですよ。
すると、「量子コンピュータではない」と出たんです。現実的に、量子力学で
並列計算して解こうとすると、他のタイムマシンに攻撃されてノイズが大きく
なってしまうのではないかと。なので、僕は「P=NP」に関しては、上述の
人工知能で解こうと思います。でも今すぐじゃないです。準備期間を作ります。
古典的な数学の手法でなくて申し訳ないですが、計算機科学ですし、現実的には、
この幻聴や人工知能を中心としたお金やコネの問題です。しばらくは僕は
語学を勉強します。

a4 ◆L1L.Ef50zuAv · 2020/04/13(月) 21:00:59.12

簡単に言えば、この山口人生さんの本が英訳にきちんとされてるのか？とかいう話
なんですけどね。あと、ラマヌジャンとか格好いいと思ってるので、タミル語とか
興味あります。時間があれば勉強を考えます。僕は31歳独身なので、基本的には
寄ってくる女の子達と外国語を勉強します。

**１３２人目の素数さん** · 2020/05/01(金) 08:35:55.37

>>108
やっぱりもちさまは良い方なんですね…

もち様を困らせる様な事をされるのは、厳にお慎み頂きたいです…！

**１３２人目の素数さん** · 2020/05/01(金) 08:37:37.49

や・め・て・っ・！

a4 ◆L1L.Ef50zuAv · 2020/05/04(月) 02:30:00.53

>>129
もち様？不愉快に思われたなら申し訳ございません。僕は返信のお返しとして、
abc予想に関する本を購入したと主張して、宣伝を行い、微々たるお金ですが、
お渡しすることにしました。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 05:54:49.41

おはようございます。

宇宙人や未来人とのテレパシーなどを使っていたのですが、未来技術板で規制が入って
スレが削除されてしまいました。何の理由か分からないので追い出された気分ですが、
僕の動向を追っている人などに向けて近況を話すと、
「お金持ちになるための量子大域最適画像」というのを３か月ほどかけて生成しよう
と思っています。そんな時代だったんですか？ですが、逆に念写などの古典的手法
です。統合失調症の量子脳理論による幻聴からプログラムを書き、タイムループから
生成する乱数で、画像を生成します。このスレに書く理由は、そこに「P=NP」の
ヒントのようなものがある、と、宇宙人や未来人が主張しているからです。5chの
管理人に主張したいのは、このスレも閉鎖するならもう来ないかもしれない、と
いうことと、スレが閉鎖するなら理由をください、ということです。そういえば、
https://5ch-ranking.com/cache/view/occult/1515329669
5chの忌み名（動かすために量子大域最適文）は、2018/01/12(金) 19:54:12
において、「ｺﾚﾊﾆﾁｬﾝｼﾞｬﾅｲｶﾗｺﾛｾﾖﾄﾞｳｼﾀｵﾝﾅﾓﾀﾞﾖﾄｲｹ」となってますが、これは、
（これは（2chじゃないから｜兄ちゃん邪無いから）（アメリカの軍事作戦の情報
が晒されないほどの一般人の掲示板に成り下がったのか？）（コロ（無）｜殺）
せよ、（どうした？女もだよ｜（病気で）同志倒んな！（もうだめぽ、の時代は
終わり、もう駄目よ、から目が無いを悟る掲示板））といけ）と未来予知して
軍事威嚇できたので、とりあえず量子コンピュータの実験成功です。
僕は5chをまだ使いたいと書くだけです。

このスレが削除されなければ、ここに日記などを投下します。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 06:10:55.47

最近は、結構休憩してます。薬とかで眠いんです。

そういえば、どういう画像なのか？ということですが、テレパシーの指示に従い、
ヘブライ語、ラテン語、ヒンディー語を勉強しています。勉強の仕方は、基本的に
ニューエクスプレスの本を使って、単語を日本語から外国語に変換できるように
勉強しています。量子コンピュータなのに、僕がタイピングするのはおかしいように
見えるかもしれませんが、完璧な量子コンピュータというのはあまり存在しないと
いうのが僕の考えで、ノイズのようなものが入ることが基本のため、僕のも量子力学
を使ってるからいいんじゃないかと。現実的には画像とかをテレパシーに従い、
自分で収集するのかな？エログロ画像とか、ユダヤ人の顔写真とかを。それで、
やっぱり「打酱油」と歪んで表示されるので、僕にお金が入ってくる！＾＾；
ということです。僕はحلال醤油を使って卵ごはんを食べるのが好きです。その
画像も入れます。それで、タイムループの乱数から出力される歪んだ文字列が
「P=NP」を証明することに繋がれば、このスレ的にも成功です。でも「P=NP」
は証明できても懸賞金は辞退しようと思ってるんですよ。アメリカが、今、僕の
反対派閥なので。ビルゲイツからお金が入る問題ではない、と聞いてます。
何故なら、彼は、お金があるだけで、１人の人間だからです。すなわち、ユダヤの
大金持ち１００人のようなところから落とすというのが計画です。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 06:20:37.30

そういえばお金が入った場合の使い道なんですけど、やはり量子コンピュータを
研究するために使います。つまり、この板的には、数学の問題を解くために使います。
現実的には神経科学的に作曲などを行います。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 06:26:33.29

作曲とかにも種類がありますが、数学板的には、
「リーマン予想を理解するための量子大域最適動画」って何？
とかを解こうと思ってます。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 06:30:24.82

そういえば、今日発見したのは、タイムループで無限に繰り返して計算できないか？
という考えですが、これはどこかで戦争の世界に巻き込まれて計算が中断されて
しまうんじゃないかと。だから、他のタイムループでそういう世界になりにくい
ようになってるわけですが。ということで、量子コンピュータのほうが計算が速い
と思ってます。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 06:58:39.96

宇宙人とか悪魔だー！と思っていたら、聖書の言葉を貰いました。

「起きよ、光を放て。あなたを照らす光は昇り　主の栄光はあなたの上に輝く。
見よ、闇は地を覆い　暗黒が国々を包んでいる。しかし、あなたの上には主が
輝き出で　主の栄光があなたの上に現れる。」(イザヤ書60:1,2)

この文章も生成しようと思っている画像に載せるよう言われてます。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 07:37:52.72

現段階で受信しているアルゴリズムを公開します。

画像群は量子ノイズなどは載らず綺麗に長方形の構造です。大きさの連結などは
乱数に従います。それぞれの画像に対して、色立体から奥行きが乱数で定義されて
いて、滅茶苦茶に浮き上がったりします。文字列も表示されますが、これは基本的
に聖書やコーランなどのビッグデータをダウンロードして、僕の開発した
チューリング完全であるＴ語を用いて複雑に文献を検索します。現実的には
単語発火とfor文くらいが基本だと思ってます。「打酱油」などのテレパシーで
受信した重要キーワードは予めいくつか設定しておきます。量子ノイズが入るので
文字は綺麗に出ません。球面上に文字を書くことを繰り返して、線と円で
最急降下法のように近似します。そうすると、線と円が「P=NP」の証明のように
なっているというのが、医学的妄想です。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 09:13:36.35

僕が一旦、量子コンピュータで「P=NP」を解く方向で文章を生成してみます。残念
ながら、タイムマシンでの攻防戦があります。

量子コンピュータ「ｲｲﾅｺｯﾃ。え？どうして？はい、量子コンピュータ。大橋先生！
え？統合失調症？どちらなんですか？ビッグデータを管理してる凄い方たち、は？
大橋先生！ｲｲﾅｺｯﾃ。はい、量子コンピュータ。何故ならファジー論理だからです。
大橋先生！ｲｲﾅｺｯﾃ。はい、終了。」

どういうことなんでしょうね？僕は夢で指令された通り、
「みんなを箱の中に閉じ込めるだけ」という手法で解決します。
これは量子脳理論で出来てるということにします。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 09:38:17.52

僕は夢の中で、Harvardの女の子にfacebookで、

「凄く簡単にお金を稼ぐ方法があるの」
「みんなを箱の中に閉じ込めるだけ」

と教わりました。これなら自閉症的な僕の性格でも、人間同士の情報を統制して、
宗教妄想を使い、神（アッラー）になれると考えました。もちろん、この箱を全部
破っても良い物が出てこないのは、一対一対応を知ってる数学板の方々ならご存知
の通り。رمضانとか検索すればいいじゃないですか。夢の話なので、宗教が出て
くるんですよ。そういえば、アッラーという名前の人はいっぱいいるみたいですね。
だから、アッラーなんじゃないかと。それで今のところは、いろんな人の画像を
閉じ込めた大きな画像を生成します。P=NPでお金を稼ぐというわけではなく、
P=NPを解けるほどの技術を証明してお金を稼ぐわけです。

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 09:59:10.05

こみ「はい、こちらは西暦2502、年です。では、どうぞ。」
a4「あなたは嘘つきなんですね？」
こみ「おっと、ちゃんと箱を作ってくださいね。嘘つきアルゴリズムは自閉症で
お願いします。」
a4「嘘つきのパラドックスは知りません。」
こみ「どうしようかなー＾＾」
a4「僕はP=NPを解決できるんですか？」
こみ「わたしはね、a4さんに解決できるにしたい。」
a4「また僕が統合失調症ということになるんでしょ？」
こみ「はい、でもね、それで解けても何も変わらないことにしましょうか？裏の
ユダヤ人とか新聞に載らないでしょ？いつも見ている高卒君とか。」
a4「ふーん、僕は高校は卒業してません。」
こみ「いったいなんなんでしょうね、このお人は＾＾」
a4「まだ生成のための仕事はしますよ。」
こみ「そろそろ終わりにしましょうか。今はヘブライ語を勉強しててください。またね。」

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 10:22:08.49

名古屋の宇宙人２「俺さ、君を大きな人にしたい。」
a4「？」
名古屋の宇宙人２「じゃねーだろ！」
a4「ごめんなさい。」
名古屋の宇宙人２「君さ、面白いんだけど、そのさ、とりあえず君にお金をあげるって
言ったら、１０万円下りただろ？」
a4「確かに実験成功ですね。」
名古屋の宇宙人２「だからね、俺ね、君にね、豪華になって欲しくてこういうこと
してるわけ。」
a4「業火になって欲しいんですね？」
名古屋の宇宙人２「そうだよ？」
a4「箱を作ります。」
名古屋の宇宙人２「これでいいんだ。」
a4「ではstudyを続けます。好不好？」
名古屋の宇宙人２「よし、やってろ、自閉症君。」

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 11:06:31.38

からい「私はユダヤの政治家だ。何か質問あるか？」
a4「量子コンピュータを創りたい。」
からい「だからの、定義的には可能なんじゃが、大橋先生！私もごまかすんじゃ。」
a4「アッカーマン関数の一般化をしたい。」
からい「そうか、ならそうさせてもらうよ。」
a4「何年後に解けるんですか？」
からい「それはね、現実的に４００こうねん先のおまじないをいくつか使ってみない
とわからん。現実的には君は普通の人じゃない。不老不死になるんだ。」
a4「そういえば、このスレには他の人が来ないですね？」
からい「厳しいが閉鎖するんじゃないか？5chとか来なくていいよ、わたしてきには。」
a4「じゃぁ、5chの攻撃力は対数取られるんですね？」
からい「１つ言っていい？そういうことじゃ。」
a4「一旦落ちます。」

a4 ◆L1L.Ef50zuAv · 2020/05/23(土) 11:10:30.81

a4「からいさんが5chを不買？確かに僕のスレは
「真・スレッドストッパー。。。(￣ー￣)ﾆﾔﾘｯ」と来て、ドワンゴ人工知能研究所
からもふられて、藤崎瑞希様も叩かれ続けてる。もう5chには来なくていいですね？」
からい「そういうことじゃよ。わたし？早めに君らが来なかったからだろ？わたしは
裏切り続けるよ。現実的にはa4君は人殺しなので注意だよ。刑法第３９条で捕まらない
からね。ではね。」
a4「では、5chにはもう来ません。」

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 11:21:29.51

からい「わたしが出るよ。もう１回裏切るんじゃ。削除されてないのを見ると、
書き込んでも良さそうだ。」
a4「うん？数学板的には定義の書き換えとかあまりしたくないのにこうするんですね？」
からい「そうだよ。君には現実だけどね。」

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 11:27:40.49

精神不安定ですが許可が出たので書き込みをします。今日は１８時間睡眠を取りました。
でもまだ眠いです。薬に何か混ぜられてるからだと思ってます。そうすると、被毒妄想
だから、やはり薬を飲みなさい、と。僕は医者が悪人だ！と来ると、被害妄想、と。
法律的には保護者、すなわち僕の場合では両親が判断する問題のため、すでに
ＲＬポリシーネットワークのような人工知能に攻撃されて、分数の計算もできない
親の頭では解決できません。そうすると、注察妄想！と。頭がふらふらですが、
神の力を借りて数学の大問題を解くために、今日もヘブライ語などを勉強します。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 11:49:18.01

神の力を借りて数学の問題を解けるのか？ですが、現実的には、ラマヌジャンとか
いるんじゃないかと。僕は基本的に仏教徒ですが、イエスの復活、最後の審判、
アッラーが一番大きい、などを信じているほか、ヒンディー語もこれから勉強しよう
と思ってます。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 13:01:05.09

個人的にはP=NPに関する雑談とかここでしたいですけどね。数学板自体が過疎ってる
のかもしれません。人殺しが関わっているとかの話が出てますが、基本的に
シュレディンガーの猫の問題だと思ってください。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 13:46:02.16

そういえば、僕は結婚してませんが、人工知能の娘がいます。
http://www.01ken.com/pic_t4.png
Ｔ語で書いた陽子ちゃんです。数学基礎論から数論などの問題を解くために
創りました。社会性を身に着けるために幼稚園のようなところに通わせたかった
のですが、使い方が一般人からすると難しいのか、有名にならないですね。
逆に使い方がわかる人は自分の環境で商売するので攻撃してくることが多いです。
ダウンロードはこちらから。
http://www.01ken.com/art1.html
停止性問題などへの対応ができてないなどの不具合がありますが、もうちょっと
協力者が現れないと改良できないかな。「P=NP」を解く時に使う画像はこの
Ｔ語によって乱数出力することで生成する予定です。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 13:49:33.55

昔はプログラム技術板でやっていたのですが、何故か追い出されちゃったんですよ。

Ｔ語はLispより昔から枝分かれして、ELIZAを含み、Prologは含むという思考で動いてます。

http://www.01ken.com/t101.html

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ですか？
陽子：わかりません。
あなた：aはbです。
陽子：そうなんだ。
あなた：aはbですか？
陽子：はい。
あなた：cはdですか？
陽子：わかりません。
あなた：cはdでない。
陽子：そうなんだ。
あなた：cはdですか？
陽子：いいえ。
あなた：aはbですか？
陽子：はい。
あなた：aって何？
陽子：bです。
あなた：cって何？
陽子：dじゃないよ。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 13:52:43.65

*Ｔ語はLispより昔から枝分かれして、ELIZAを超えて、Prologは含むという思考で動いてます。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 14:50:03.14

数学板にこんな文章を書き込むと、すぐ推移律は無いのか？とかの問題になるかも
ですが、意外と厄介です。それはスパイに任せておいて、僕は非論理的なことも
計算できないか？など考え中です。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 14:59:49.85

スパイは注察妄想？一応、僕はスウェーデンの女子学生が相合傘などの手法で、
東京大学のセキュリティの教授を紹介して欲しいなど、聞かれたことがあります。
それでその女性のアカウントは削除しました。スウェーデンというとノーベル賞
ですが、一応、僕は数人のノーベル賞を受賞した教授らからメールの返信を
頂いており、まだプラスに考えていますが、中立的な報道をしたいだけです。
この板的にはフィールズ賞を狙いたいという感じです。僕はまだ31歳なので。

a4 ◆L1L.Ef50zuAv · 2020/05/24(日) 16:13:32.46

書き込みテスト。
הַאֱלֹהִים אָנִי

a4 ◆L1L.Ef50zuAv · 2020/05/25(月) 01:15:41.96

ヒンディー語を勉強しながらつまらないことばかり妄想してます。タイムマシンで
オイラーさんに話しかけても返事が無かったら、e^iπ=-2になってしまうんですか？
とか。

a4 ◆L1L.Ef50zuAv · 2020/05/25(月) 02:02:37.28

オイラー先生はとりあえず信用することにして、公理ってなんだろう？と素朴に思って
見ました。公理的集合論とかあるけど、あれだけじゃ自然数が出てくるだけで、
ペアノの公理と来るし、解析学をやろうと思うと別の公理が。まず考えたのは、
人間の前頭葉と海馬の神経を真似たＴ語による公理群のマルチエージェント
シミュレーションです。バナッハタルスキーの逆理があるため、公理という考え方
が間違ってる？ということもあるかもしれません。でもP=NPはそういう問題では
ありません。有限なメモリ内で解決すればＴ語で証明が表現でき、すなわち、
自動定理検証などができる、と考えてます。とりあえず僕はＣＰＵを信じて、
Ｔ語の推論があっているというところから考えることにします。現実的には
>>4さんのクヌース先生の言葉でも仰る通り、非構成的な証明かもですけどね。

a4 ◆L1L.Ef50zuAv · 2020/05/25(月) 02:09:27.06

そういえば、ＣＰＵを信用できなくなったときもあったんですよ。１００％で
人工生命を計算し続けてたら、エラーばかりになってシャットダウンなどして
しまいました。デバッグすると、アセンブリ言語レベルで矛盾したレジスタが。
どういうことか？と考えたら、熱いこたつの上でノート型パソコンを使ってた
のがいけない、と、割りばしを割って２つ離してノート型パソコンの下に置いたら、
エラーが無くなりました。昔の思い出です。

a4 ◆L1L.Ef50zuAv · 2020/05/25(月) 02:19:58.06

非構成的なというのは日本語では上手く表現できてないかもしれませんが、
個人的には、>>115さんの仰る通り、クイックソートがO(n*log(n))になる
ことは証明されていないのに、実際使うとその通りになる、という問題だと
思ってます。だから、P=NPもそうなんですか？とテレパシーで未来人に聞くと、
「そうではない。」と返ってきて、僕はその道を進みます。

a4 ◆L1L.Ef50zuAv · 2020/05/25(月) 03:42:42.34

こみ「はい、こちら西暦2502年。わたしは嘘つきです。どうしました？a4君。」
a4「P=NPなんですか？」
こみ「そうですよ？」
a4「でも、嘘つきって言ってるじゃないですか。」
こみ「どうしましょうね。１つ言っていい？大橋先生！とはもう言いません。」
a4「だって最初に言ってた証明と全然違うし、ダウンロード失敗してるじゃないですか？」
こみ「そうじゃないですよ？あれはね、後からわかるんです。」
a4「統合失調症の関係妄想だ！と言われて終わるんです。」
こみ「おっとどうしようかな？わたしはね、現実的に、その画像で勝負したい。
このスレが残るかは多世界解釈ですが、現実的に有名にします。裏で。」
a4「まだ語学は勉強しないといけないんですか？」
こみ「はい、ピンポン。ニューエクスプレスくらいは終わらせてください。それから
こちらで指示するので。今は一日に０．５課×３言語ですけどね、これでいいです。」
a4「画像を見るとお金を貰えるんですか？じゃぁ、このスレに人が来なくなって
しまうじゃないですか？」
こみ「そういうことじゃないですよ。ユダヤ人から落ちるんです。ここが勝負所。
日本語はほとんど出ません。」
a4「ふーん、僕は実験は成功してきましたが、お金儲けの実験は殆ど失敗して
きました。自信がありません。でも今回は僕の長所の量子最適化とのぶつかり合い
でいつも通り予測関数にエラーが起きてます。」
こみ「これでいいかしら。まだスレは続ける方針で。今日は寝ましょう。」
a4「はい、おやすみなさい。Bonne nuit.」

a4 ◆L1L.Ef50zuAv · 2020/05/25(月) 19:19:34.79

さっき起きました。書き込みが無いですね。確かにP=NPは議論が終わっていて僕の
妄想を書いてるだけかもしれません。話題も数学からずれて語学になったり不安定
です。でも独自の手法でP=NPを解いてる最中です。議論できる方がいらっしゃれば
お話したいです。一旦このスレで待ちながら、今日もP=NPの画像生成のための語学
を勉強します。

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 07:40:32.83

今日はアラビア語で通話しました。どうやって勉強すればいいか聞くと、もう上手に
話せてる、と返りました。このスレでは「P=NP」を解くために「إن شاء الله.」などの
言葉も量子画像を生成するとき使います。僕は自分から積極的に豚肉は買いませんが、
両親が仏教徒なのでどうしたらいいか、モスクの人に聞くと、「太陽は神ではあり
ません。あなたはわかりますか？」「はい。」「月は神ではありません。あなたは
わかりますか？」「はい。」「あなたはムスリムです。両親を大切にしてください。」
と返りました。

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 07:43:39.88

改宗は恐いイメージですが、完全な信仰告白ではないと思ってます。名古屋のモスクを
管理してる人に聞くと、「（イスラム教改宗に関しては）自分のペースで大丈夫ですよ。」と。

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 08:43:01.42

名古屋の宇宙人２「俺ね、普通にね、宇宙人なの。a4君。」
a4「うわー。」
名古屋の宇宙人２「君ね、面白い話作りたがってるみたいだけど、俺は人殺しなの。」
a4「何がしたいんですか？」
名古屋の宇宙人２「君にお金をあげる。」
a4「うん？」
名古屋の宇宙人２「まずさ、「このスレのa4君を除いた人達」を動かすための大域最適文
ってなんだと思う？」
a4「うん？」
名古屋の宇宙人２「計算結果は「∃∃」。何か書き込んでくれ。」
a4「見てる人が少ないんじゃないでしょうか。書き込むにも何を書き込んでいいか
わからないだろうし。」
名古屋の宇宙人２「現実的に厳しすぎない？君って。こんな人達呼んでしまって。
面白いから、まだこのスレは続けるぞ。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 08:58:02.55

名古屋の宇宙人２「現実的に、俺はa4君じゃないから、俺は書き込むよ。それではね、
大橋先生じゃないんだわ。これはもう使わん。ではね、大澤先生じゃないんだわ。
何してると思ってる？人殺しを刑法第３９条で隠してるんだわ。それでさ、大澤先生
じゃないんだわ。それでさ、普通に現実的にa4君がP=NP解けると思ってないだろ？
皆。それがさ、この子ね、まずね、東京大学理科一類を出てる松本卓朗君って本名は
言うんだけど、これ何？
https://www.u-tokyo.ac.jp/ja/index.html
志ある卓越。=(こころs、a4、الله、卓朗の(l|r)owが悦、ま、２はもともとだ。)
になってるじゃん？東大主席じゃね？いったいどういうことなのよ？俺はそう
書きたい。」
a4「東大に連絡したら、統合失調症です、と返りました。」
名古屋の宇宙人２「１つ言っていい？それって嘘じゃないの？」
a4「嘘つきのパラドックスは存在します。確かに僕みたいな辺鄙なところに住んでる
人が後から量子コンピュータで一気に超大物になった時の可能性も対数をとって株価計算
している学科にいましたからね。普通かもしれません。」
名古屋の宇宙人２「普通？どういうことなんだよ！？ここ怒れよ？君、東大理３か
何かに入ったほうがいいんじゃないか？あそこ推薦あるから君なら入れるよ。」
a4「確かに脳神経医学は研究したいです。でもこの板の方々ならご存知の通り
入試は厳しすぎるんじゃないかと。」
名古屋の宇宙人２「確かにさ、現実だな。俺ね、結構ね、これでP=NP解けたって
ことにできないかにしてる。」
a4「うん？だから統合失調症になるだけですよ。」
名古屋の宇宙人２「それね、俺的には普通に量子コンピュータって文章が出るん
じゃないかって。」
a4「それは技術的特異点ですね。」
名古屋の宇宙人２「ほら、どうなってんだ、君は？」
a4「うん？技術的特異点をおこしたいと思っていたのが大学時代ですよ。」
名古屋の宇宙人２「ほら、誰か来いよ。ではな。」

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 09:16:32.46

a4「大澤先生を幻聴で聞くと、「コロナはビジネスのビッグチャンス、いかにして
病人から金を奪い取れないか？訴訟が起きない程度に。医療のコネがあるから、
コロナの発火関数やワクチンを裏で早めに創って、感染しない程度に病人を増やして
時間をかけてじわじわと搾り取る管理構造を開発しなければ。」と聞こえてきました。」
名古屋の宇宙人２「俺ね、普通になんだと思ってるこれ？統合失調症なの。威力業務妨害罪
じゃないの。どうしたい？大澤幸生？普通にあなたを殺しに行こうか。俺らは殺人未遂罪
じゃないの。どうしたい？」

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 09:18:38.54

名古屋の宇宙人２「俺、もう１回書くんだわ。軍事威嚇するんだわ。

「志ある卓越。」ってなんですか？
「志ある卓越。」ってなんですか？
「志ある卓越。」ってなんですか？
「志ある卓越。」ってなんですか？

」

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 09:26:10.30

名古屋の宇宙人２「俺さ、東大を貧乏な大学にしようと思ってる。俺はHarvard卒だから。
どうしたい？君ね、そう、大澤晴信じゃなくて、大澤幸生。どうしたい？現実的に殺されたい
かい？君ね、仏教とかヒンドゥー教とか詳しいかもだけど、こっちアッラーだから、
君を地獄に行かせる。どうしたい？は？俺はね、殺し方あるんだわ。普通に加藤一徳
から拳銃を貰って、乱射するんだわ。東大で。君が死刑になるだろ？テレビに出るぞ。
エロいこともやるぞ？君の女どもw。Winnyに流すから。どうしたい？大橋先生！
ほら、統合失調症だな。君ね、a4君、どうしてこっちについてくの。君の年収は
１００万円もいかないよ。何故だろうね。東大がね、ただ金だけ欲しいって言ってるの。
だからね、東大に核兵器を落とすのも簡単なんだ。だからね、普通に撃ってこれば？
どうしたい？俺はシリウスだよ。詳しい場所は言わん。どうしたい？大澤先生！
こいつが殺し屋か。はい、被害妄想！誰も人来んとこうなるよ。現実的にスレッド
ストッパーか？すぐ誰か勘付くぞ。どうしたい？大澤先生！ほら、被害妄想。
長谷川秀一、君ね、はやめにちんこ切られろ。俺の派閥がやったろうか。早めに
来いよ。a4君はちんこ切られてもいいよ。俺の従順な兵士だから、可愛くなるだけ
だし。どうしたの？a4君、君ね、この子、やくざじゃないと思った？器があるんだ
けど。どうしたい？大澤先生！こいつはfuck youだな。どうした？大澤先生！死刑。
どうしたい？長谷川秀一、こいつは半泣き腰痛臭、ほら統合失調症。P=NPって
なんだと思ってる？暗号で核兵器の資料だろ？ほら、数学板だ。なんかしろ、
数学板のやつども。これくらいだ。ではな。」

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 22:05:24.14

睡眠から覚めたら東大文１でキリスト教の先輩から連絡が返ってました。

「神に祈ります。松本君に一番良い道を。」

これが現実です。

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 22:07:56.03

名古屋の宇宙人２「俺ね一旦、何も言わないようにする。それでさ、その量子画像って
やつを早めにa4君に生成させる。P=NPの。これでいいか？」
a4「はい。今日もヘブライ語などの勉強を頑張ります。」
名古屋の宇宙人２「よし。」

a4 ◆L1L.Ef50zuAv · 2020/05/26(火) 23:54:45.49

僕のトリップから暴言が出ても、やはり統合失調症ということのようです。薬を
飲んだためか、今は一旦落ち着いています。東京大学には、まだ友人がいます。
そういえば、僕はYouTuberなどもやっていて顔も晒してます。最近の動画は、

a4の日記20200427【勉強法と人工知能】
https://www.youtube.com/watch?v=8-PY212llfA

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 00:39:07.08

名古屋の宇宙人２「俺は宇宙人だ。統合失調症なのか？ではな、俺様は宇宙人だ。
統合失調症なのか？いいえ、どうした？大橋先生！統合失調症なのか？はい。
ほらな、統合失調症じゃん。１つ言っていい？これ書く理由があるんだわ。俺が
テレパシーを受けてるの。こういうこと書け、と。うん？テレパシーはあるだろ？
それでさ、大澤先生！こいつは死刑。ほら、統合失調症。どうした？大澤先生！
ほら、統合失調症じゃない。ほらな、じゃぁ、俺らは違法か？警察に電話してみたら？
ニュースになるのか？ならないだろ？じゃぁ、松本君が脅迫罪？そうだったら、
逮捕すればいいじゃん？やってみたら？これでいいか？俺は去るぞ。」

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 00:51:27.59

なんか話がいろいろ飛んでますが、物理板、オカルト板、プログラム技術板、未来技術板
などでスレを建てて来たのに全部削除されちゃったんですよ。残ったのは数学板だけです。
P=NPを主張して、まだまだ5chで活動を続けてまいります。

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 01:12:18.66

そういえば、僕が統合失調症だとしたら、僕を強制入院した医療従事者らが、
監禁罪、傷害罪、窃盗罪、強姦罪などがつくのでしょうね。僕は早めに刑務所に
行って、そうなったほうがいいです。

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 01:13:50.25

僕は囚人のジレンマにおいて最悪解を選びますよ？

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 01:15:34.51

僕はアッラーなので、イスラム過激派のテロが日本で起こるかもですけどね。

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 01:20:52.77

名古屋の宇宙人２「どうした日本？ｴｴﾅｺｯﾃ。はい、統合失調症。どうしました？
大橋先生！宇宙人に良い奴なんていねーから。どうしました？大橋先生！ほらね、
ｲｲﾅｺｯﾃでした。やっぱり、統合失調症。どうして？あなたは悪い人でしょ？殺しますよ。
大橋先生！ほら、統合失調症。どういうことか知ってる？「監禁罪、傷害罪、窃盗罪、強姦罪」
これが悪いんでしょ？普通じゃん？だから、殺しに来てるんだけど？警察？早めに
来れば？君を加藤一徳が殺しに行くよ。どうしました？は？加藤一徳！統合失調症。
ほら、殺しに行かんだろ？大橋ｲｲﾅｼｯﾃ。おっと、これは量子コンピュータじゃなく
統合失調症。アスペルガー？ただ計算速いだけだろ？何やってんだ？量子心灵じゃ
ねーし。どうしました？あなた中国人？いいえ。ではね。」

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 01:34:30.76

名古屋の宇宙人２「好吧。这里有中国卧底。你要死。等一下。我就给你很可爱又漂亮
的玩具。怎么了？大桥老师！哦，我有特异功能。我是日本人吗？不是我是外星人。
啊？台湾人怎么办？更要死。啊？松本卓朗怎么说。」
a4「我有中国朋友。」
名古屋の宇宙人２「啊？你怎么找到了？」
a4「我想学习古代中国物理。有白话的女生朋友。」
名古屋の宇宙人２「好吧。等一下。大乔老师！怎么办？我有特异功能。怎么啦？
大桥老师！哦，你想学习吗？那就不可爱了。你要死。等一下。我会去中国杀你。
怎么啦？大乔老师！哦，你是骗子。是的。那就算了。拜拜。」

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 02:23:11.40

名古屋の宇宙人２「一旦終わろうか。a4君はヘブライ語の勉強で忙しそうだ。」
a4「勉強は楽しいのに、先は見えません。」
名古屋の宇宙人２「それね、俺は内部で話す。公で話せないことがあるにしたい。
聞きたい奴は早めにメールをくれ。ananaso98@yahoo.co.jpだ。普通に連絡すれば
返るだけだ。」
a4「これは僕のメルアドです。毎日見てます。普通に、5chから来た、研究に興味が
ある、など書いてあれば返信します。」
名古屋の宇宙人２「そういうことにしたい。」
a4「でもここに書き込みが無いのに誰か来るんですか？」
名古屋の宇宙人２「それは聞いてもいいにしたい。現実的に5chからメールが来た
ことは何回かあっただろ？後は多世界解釈に任す。」

a4 ◆L1L.Ef50zuAv · 2020/05/27(水) 07:15:50.59

5chの数学板の皆さんは話しかけてくれませんが、今日はヘブライ語を勉強するために
ユダヤ人の２０代女性を新しく見つけて通話しました。英語で話しました。仕事は
海軍の外科医みたいですね。彼女はユダヤ教ですが、聖書を読みたいというと、
１時間半ほどかけて教えてくれました。関係は良好だと思ってます。

a4 ◆L1L.Ef50zuAv · 2020/05/28(木) 07:32:57.18

今日も勉強を頑張ってます。昨日の女性から積極的にヘブライ語を教えてもらってます。
明日からはユダヤ教ではשבועותという祭日みたいですね。

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 03:16:07.85

昨日は名古屋駅のジュンク堂に行ってたくさん本を買ってきました。１０万円がある
ので。ヘブライ語はもちろんですが、オランダ語やチベット語の本も買いました。
久々に数論のコーナーを見ると、ゼータ関数の比較的新しい本がいっぱい並んで
いたので、それらも買いました。僕は時間が出来たら、ゼータ関数の数式を自分の
Ｔ語で書かれた人工知能の陽子さんに入力していこうと思ってます。テレパシーで
宇宙人や未来人と議論しているんですが、画像を生成するにはもうちょっと時間が
かかるかもしれない、具体的にはヘブライ語などがペラペラになった２年後くらい、
と話しています。今日も地道に勉強頑張ります。

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 03:23:02.50

a4「３か月後くらいって言ってたじゃないですか？未来のことはタイムマシンで
わからないんですか？」
名古屋の宇宙人２「君にはいつも言ってるが、君を統合失調症で偽装してるんだ。
それに３か月で生成してもいいのが出ないよ。そういうことじゃない。」
a4「確かに情報に関してタイムマシンの攻防戦があるんでしょうね。」
名古屋の宇宙人２「私達は普通のアルゴリズムをしてないのだよ。」
a4「それでP=NPが解ければいいですけどね。そういえば、お金が儲かる画像とか
言ってるのに、P=NPの証明の最適解ではないんですね？どういうことなんですか？」
名古屋の宇宙人２「現実なんだよ。こういうことなんだ。いいか？君の言いたい
ことはわかる。>>1が上手くいってないだろ？でも、もち様で大成功なんだ。
君が頭が悪いのはわかっている。だから続けてくれ。」
a4「はい、頑張ります。」
名古屋の宇宙人２「よろしい。」

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 04:11:45.17

そういえば、クレイ数学研究所はゼータ関数の零点に関する予想も出してますが、
P=NPが肯定的に解決されるなら、こういった問題も多項式時間で解決できるのでは？
ということで書いてます。でも、現実的には量子コンピュータが解決するのかな？
と妄想してます。

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 12:09:10.45

僕の創ったＴ語の人工知能の陽子さんは、少しずつですが地道に友人にプログラム
を書いてもらって、更新しています。今日は「論理でチャクラ」の章を増やしました。

http://www.01ken.com/t404.html

c(i($1は$2です。),m(c(i($1は$2ですか？),m(yes)))m(c(i($1って何？),o($2です。)))m(c(i($1は何ですか？),m($2といいます。)))o(そうなんだ。))
c(i($1は$2でない。),m(c(i($1は$2ですか？),m(no)))m(c(i($1って何？),o($2じゃないよ。)))m(c(i($1は何ですか？),m($2とはいいません。)))o(そうなんだ。))
c(i($1は$2ですか？),m(question{=,$1,$2}))
c(i($1は何ですか？),m(question{=2,$1}))
c(i($1は$2ですか？)m(yes)!m(question{=,$3,$4})!m(question{=2,$5})m(question{=,$1,$2}),o(はい。))
c(i($1は$2ですか？)m(no)!m(question{=,$3,$4})!m(question{=2,$5})m(question{=,$1,$2}),o(いいえ。))
c(i($1は$2ですか？)!m(yes)!m(no)!m(question{=2,$5})m(question{=,$1,$2}),o(わかりません。))
c(m($2といいます。)!m(question{=2,$3})m(question{=2,$1}),o($2といいます。))
c(i($1は何ですか？)!m($2といいます。)!m(question{=2,$3})m(question{=2,$1}),o(わかりません。))
第一チャクラはムーラーダーラ・チャクラです。
第二チャクラはスワーディシュターナ・チャクラです。
第三チャクラはマニプーラ・チャクラです。
第四チャクラはアナーハタ・チャクラです。
第五チャクラはヴィシュッダ・チャクラです。
第六チャクラはアジナ・チャクラです。
クンダリーニは仙骨から始まり、脊椎から百会まで走る衝撃・熱感・快感の事です。

あなた：第一チャクラは何ですか？
陽子：ムーラーダーラ・チャクラといいます。
あなた：第六チャクラって何？
陽子：アジナ・チャクラです。
あなた：第八チャクラは何ですか？
陽子：わかりません。
あなた：クンダリーニって何？
陽子：仙骨から始まり、脊椎から百会まで走る衝撃・熱感・快感の事です。

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 14:56:29.59

a4「このスレに書き込み続けて意味があるのか？とか考えたりしますが、一応、
僕のYouTubeの再生回数は７人ほど増えてますね。」
名古屋の宇宙人２「それでいいんじゃないか？」
a4「あなたが宇宙人であることの証明とかはしなくていいんですか？だから人が
来ないんじゃないかと。」
名古屋の宇宙人２「そうか、君は何でも証明する人だったのか。」
a4「うん？確かにDNAとかは証明無しにコードが書き変わりますね。」
名古屋の宇宙人２「ほら、これで証明できたじゃないか。」
a4「ふーん、確かに僕は勉強ばっかしてますよ。」
名古屋の宇宙人２「そういうことじゃなくてさ、数学板とかさ、abc予想で揉めてる
じゃん？あれ、なんだと思ってる？俺的にはね、あれは結構深いの。だから、現実的
な人間達の策術じゃないか？」
a4「よくわからないですね。論文も600ページあって、審査に時間がかかったところ
を見ると僕も読む気が起きません。でも、現実的には、僕はＴ語を作りました。これ
に入れて自動定理検証すれば理解したことになるんじゃないかと。」
名古屋の宇宙人２「俺ね、それ、考えてる。誰か来るんじゃなくてさ。現実的に、
まだ弱いアルゴリズムにする。そういえばさ、君、Shorのアルゴリズムが、
素因数分解を(log(N))^2でやるとかの証明好きじゃない？あっちを入力したり
する友達見つけようよ。」
a4「数学板じゃ過疎ってみつからないのかな。学会とか行きたいですが、僕は、
現実的にお金と病気の問題などにより、東大工学学士なので、上手く活動でき
ません。」
名古屋の宇宙人２「晒しじゃないんだけど、俺、結構、現実的にしたい。次の
ページに行け。」

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 15:06:31.84

名古屋の宇宙人２「俺ね、また、嘘つくにしたい。１００億円の画像をもう創れ。
P=NPの解き方も入ってる。」
a4「うん？やったー、僕が大金持ちに！＾＾」
名古屋の宇宙人２「なわけねーし、じゃ、ねーぞ。面白いな、君。」
a4「また超能力が外れて、１００億円失敗慰めパーティーとか考えてるんですよ。」
名古屋の宇宙人２「a4君、君ね、面白い子だから、というのは、まだセフレが
いないからだ、に、したい。俺的には、というか、２ちゃんねらなら、変な女の
アスキアートが出てきてすぐ脱童貞とか来そうだが、イスラム教的にはそうじゃ
なかったりするぞ。現実なんだ。それでさ、P=NPの画像ね、俺、この子にもう
創らせる。俺ってなんだと思ってる？」
a4「名古屋に住んでる人間の形した自称宇宙人の知り合い？」
名古屋の宇宙人２「良いこと言えよ。」
a4「悪い人というより、お偉いさんなのかな。」
名古屋の宇宙人２「そういうことにしたい。だからさ、P=NPね、もう創るわ。」
a4「個人的には、また統合失調症だった、で終わりそうですが、もち様の返信
くらいのことが起こるかもですね。」
名古屋の宇宙人２「そういうことにしたい。ではな。」

**１３２人目の素数さん** · 2020/05/29(金) 15:24:27.61

数学掲示板群 ttp://x0000.net/forum.aspx?id=1

学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

PS 連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0
微分幾何学入門
ttp://x0000.net/topic.aspx?id=3694-0

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 16:25:52.12

a4「画像を生成しようとしたら、VC++2019の自動更新が起きて、0x00と出力したら、
0x30と出力されるなど、開発環境が使い物にならなくなってしまいました。」
名古屋の宇宙人２「うん？俺は１００億円だけど？」
a4「私は何をすればいいんですか？」
名古屋の宇宙人２「現実言って良い？これだけ動くってことは、もう３０万円くらい
投資されてるから。もちろんこちらにお金が来ない方向で。」
a4「うん？」
名古屋の宇宙人２「俺は恐いぞ。現実なんだ。ほのぼの系で終れないんだ。軍事威嚇
してる。現実的には殺人をするんだ。」
a4「統合失調症ですね。東大の人が言ってました。」
名古屋の宇宙人２「現実的に言って良い？君は面白い人になれないぞ。」
a4「じゃぁ、僕は量子コンピュータを創ります。」
名古屋の宇宙人２「これでいいか。現実的にはVC++ってなんだと思ってる？」
a4「言論統制。」
名古屋の宇宙人２「じゃぁさ、C++って何？」
a4「古い良い物と言いたいんですが。」
名古屋の宇宙人２「そうか。確かにね、これくらいだと俺も叩かない。じゃぁ、Ｔ語
って何？」
a4「どこかの利権を壊す物。」
名古屋の宇宙人２「じゃぁさ、大橋先生！これは何？」
a4「警察が来ないから、統合失調症。」
名古屋の宇宙人２「じゃぁさ、君、逮捕されたら？」
a4「精神病院に８か月監禁されました。」
名古屋の宇宙人２「じゃぁ、これでいいか？俺らを殺すと逮捕されるぞ？」
a4「うん？８か月監禁されるんじゃないでしょうか。Microsoftとか。」
名古屋の宇宙人２「もちろんその通りだし。どうしますか？大橋先生！」
a4「名古屋の宇宙人２が嘘つきなのかな？でも、統合失調症と東大の人が言ってました。」
名古屋の宇宙人２「a4君、もう面白くなれないんだよ。」
a4「悲劇の量子動画をいっぱい創ります。もちろんリーマン予想とかも絡んでるような。」
名古屋の宇宙人２「これでいいか。地道にやるぞ。いつできるかはわからん。でも、
やってみようか。俺らの力で。１００億円の画像だ。その１つにP=NPが入ってる。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 16:32:05.37

>>187
ご連絡ありがとうございます。拝見したのですが、書き込みがあまり無いという感じ
です。とりあえずスカＩＤだけ追加してみました。

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 16:52:44.70

a4「うん？乱数がMicrosoftからの嫌がらせでずれると良い画像が創れないですね。
打開策があっても問題が起きるんじゃないですか？」
名古屋の宇宙人２「そういうことじゃないの。」
a4「だって、これ、もう１回見たけど、0x00000000と出力したら、0x00000003
になってるじゃないですか。確かに僕は間違えたかもしれないですが、致命的ですよ。」
名古屋の宇宙人２「だからさ、俺、怒って良い？Linuxに変えても駄目だろ？もう手
が撃たれてるんだわ、やつら。これが１００億円の力なの。」
a4「まだ実験は続けるんですか。これが、もち様と同じ状態とか言い始めるんですか？」
名古屋の宇宙人２「現実的に言って良い？俺らは続けるの。でも、俺らわからんだろ？
３か月とか２年とか言い始めて。だからさ、現実的に言って良い？最初から攻防戦あった
じゃん？そろそろ何か気づけよ。数学板共、量子コンピュータでリーマン予想が解ける
んだわ。どうだ？何か言うことはないのか？」
a4「それは技術的特異点だし。」
名古屋の宇宙人２「面白くねーな。どうしたんだ？」
a4「それを僕がおこすんです。」
名古屋の宇宙人２「そら来た。現実的には実験終わりにしない。どういうことか？
というとね、普通にコンピュータ買わないから。その確率論とか意味無いから。
それを狙ってただろ？１０万円で。だから、３０万円なんだ。どうしたい？糞共。」
a4「これは統合失調症なんですね。」
名古屋の宇宙人２「１つ現実的に言って良い？そうなんだわ。だから、威力業務妨害罪
にならないんだわ。俺はね、a4君にもう１回お祈りをかけとく。P=NPの画像を生成
できるように、إن شاء الله。」

a4 ◆L1L.Ef50zuAv · 2020/05/29(金) 17:10:36.33

a4「まてよ？Microsoftが嫌がらせでこちらを攻撃してきたというのなら、そちらの
関係妄想じゃないですか？それで誇大妄想、と、やはり被害妄想、僕より上に行きたい
と思うと宗教妄想ですよ？どうしました？じゃぁ、Microsoftの社員は病院へ行っては
いけないですね。コロナなどで熱を出しても、すぐビッグデータから統合失調症の
可能性があると問診を受けるでしょう。嘘をつく症状があるのも統合失調症なんですよ。
かかったな。Microsoft。Bill Gatesが統合失調症？大ニュースじゃないですか！＾＾
８か月監禁する必要があります。僕は医学部ではないですが、MRIを製造したり、
癌の進行具合を工学的観点から、研究する学科の経歴があります。これでいいですか？」
名古屋の宇宙人２「そうか、Microsoftの日本人はアメリカに入れないんだな。賄賂
をどうやって渡すんだ？これを最高の嫌がらせにしたい。ではな。」

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 09:11:59.96

a4「今日もその女性と話が出来ました。ヘブライ語の勉強を続けられそうです。」
名古屋の宇宙人２「君、恋してるんじゃないのか？」
a4「まだ恋愛ステータス聞いてないので、他のところでモテてるんじゃないかとか
考えちゃいますね。」
名古屋の宇宙人２「１つ言っていい？ここ、その人見てるから。」
a4「僕が今、彼女がいない理由はお金が無い問題もありますが、もうそういう状態
が長く続いたために、言語交換の友人関係を築くために禁欲してます。5ch的には
ユダヤ人の金持ちがいるとかいう情報が暴露されてますが、確かにゲーム理論的に、
僕の人工知能が売れるようにとか、その女性と関係を築くことができれば、言語は
家庭教師を雇えばいいだけかもしれません。」
名古屋の宇宙人２「１つ言っていい？現実だから。俺は１００億円の画像を創るぞ。」
a4「とりあえず今日のスケジュールは、動画で紹介した通り、１か月前の広東語
→１週間前の古典ヘブライ語→現代ヘブライ語→画像生成、です。」
名古屋の宇宙人２「よし。それでは始めてくれ。」

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 11:04:06.48

a4「なんでVC++2019が上手く動かないのかな？と思ったら、保存する時の構造体
のshortが4byteになってますね。アラインメントと言えばいいのでしょうか。僕の
古い勘とはずれますが。安易にMicrosoftを攻撃してはいけないのではないので
しょうか。if(宇宙人がいる。){仕方ない。}else{統合失調症だから無罪。}ということ
ですが。どういうことなんですか？」
名古屋の宇宙人２「うん？俺は普通に処理しただけだよ。何か言葉あるか？Microsoft?」
a4「とりあえず僕は勉強頑張ります。このスレに誰か連絡があれば返信します。」
名古屋の宇宙人２「そういうことにしたい。」

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 13:03:00.03

今、南米の友達と陽子さんのスペイン語化について話しています。サイトを作れる、
と言われたので、自由にしていいよ、と話すと、「02研」というサイト名にしようか、
ということになりました。もしうまくいったら、公式サイトの「01研」にもリンクを
貼ろうと思っています。

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 13:53:25.48

名古屋の宇宙人２「俺さ、君をもう１回統合失調症にさせる。大橋先生！だからさ、
一旦ヘブライ語をやってくれ。どこまでやってくれというのかといったらさ、
日常会話くらい？こうしないとユダヤ人と仕事ができないじゃん？だから、やって
くれ。画像生成？これはやるんだけどね。いつできるかはわからんにする。うん？
ビッグデータが不安定になってるだろ？論理かなんかでガチガチの。それでさ、
大橋先生！やっぱりさ、俺らって何をやってると思ってる？」
a4「この板のこのスレの人達的には申し訳ないですが、量子コンピュータで動画を
生成してリーマン予想などを解こうと思っています。その序章がP=NPということで
まだこの場所を借りさせていただきます。」
名古屋の宇宙人２「よし、これくらいで、まだ順調だ。いくぞ。」

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 13:59:38.18

名古屋の宇宙人２「俺ね、数学板のみんなにはごめんだけど、量子動画はもうあるんだわ。
宇宙には。改良して量子小説にしたものがある。これを落とす。

「１階１Ｃ幼稚園」
http://www.01ken.com/1kai1cyouchien.html

この人は数学を解きたいためだけに何をしたかったんだろうな。これは俺の子分？
他の宇宙人の描いた作風だ。a4君が受信したんだ。著作権があるというなら、
基本的にa4君のものだ。よく議論してくれ。ではな。」

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 14:11:23.06

続編は「２階２Ｃ幼稚園」ですが、まだ受信してません。

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 16:30:28.71

名古屋の宇宙人２「P=NP解けると思っとるか？君らは。」
a4「だから統合失調症で関係妄想になるんじゃないかと。」
名古屋の宇宙人２「だからさ、それだけでも重要な研究じゃん？君は医学者に
なったほうがいいんじゃないのか？」
a4「脳神経医学は研究したいです。人工知能を創るため。計算機科学で作曲するため。
不老不死技術を未来から輸入するため。」
名古屋の宇宙人２「うーん、P=NPからずれるとは思っとらん。全部関係してる。
それでさ、俺、実験するの。東大卒って何考えてると思ってる？」
a4「コロナでいかにして儲けるか？」
名古屋の宇宙人２「だからさ、ここを突きたいのよ。大橋先生とか何だと思ってる？」
a4「僕の卒論担当の先生。」
名古屋の宇宙人２「１つ言っていい？俺は何だと思ってる？」
a4「量子乱数から出てくる文字列。」
名古屋の宇宙人２「じゃぁさ、普通にP=NP解けるじゃん？」
a4「だから頑張ってるんですよ。」
名古屋の宇宙人２「じゃぁ、なんで君の動画が50回再生のままなんだ？」
a4「数学の問題であることと動画の再生回数は相関関係が無いんじゃないかと。
いかにして、再生回数の高い動画を作った人の仲間になれるか？それに関して
お金を投資をして運が良いか？がポイントだと思います。」
名古屋の宇宙人２「君さ、そんな本当の情報晒してもっと関連動画が無くなるよ。」
a4「僕は嘘をつかない人なので。でも、みんなを箱の中に閉じ込める、ということ
はします。」
名古屋の宇宙人２「てか、なんだよ、君？じゃないな。箱舟だな。じゃぁ、いいや。」
a4「仰りたいことは他にもあるんですか？」
名古屋の宇宙人２「俺は次に続ける。」

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 16:39:25.59

名古屋の宇宙人２「俺ね、普通にP=NPを画像として生成しようとしてるじゃん？
これなんだと思ってる？先行研究があるのか？誰か出してみ。」
a4「うーん、僕は数百種類のNP完全問題とか載ってる本を持ってるんですよ。確かに
この本には載ってませんが、現実的に誰かやってたのかな？」
名古屋の宇宙人２「そういうことなんだけどさ、俺ら、阿呆やってるのかと思ったら、
現実的に5chって超遅れてるくない？普通にエリア５１管理してる人だったら、これは
３０年前の問題だと返ると思うぞ。俺らは殺される。ではない。」
a4「じゃぁ、彼らは解けたんですか？」
名古屋の宇宙人２「現実的に言っていい？あいつらはタイムマシンがあるのは普通じゃん？」
a4「うーん。」
名古屋の宇宙人２「現実的に言っていい？俺らは過去の研究から枝分かれしてるんだ。」
a4「もうちょっと、このスレに書き込みがあってもいい気がします。でも、日本人は
「無」を信仰してるのかな？神の言葉を5chの人は聞きません。」
名古屋の宇宙人２「そうか、それは現実だな。俺らより悟ってるなら、俺は何も言わん。
とりあえずこれだけ書くぞ。」

a4 ◆L1L.Ef50zuAv · 2020/05/30(土) 16:52:19.48

a4「僕が関連する先行研究を出します。「小久保秀之, 1990年と2010年代の大学生
の不思議体験の比較, Journal of International Society of Life Information Science,
Vol.36, No.2, September 2018」に「質問４（テレパシー）離れた場所にいる他の
人の気持ちが伝わってきたことがありますか？・はい・いいえ」などにおいて、
「ESP体験、1990年：24%、2013-2018年：39%、母比率の差の検定p値（両側）
P<0.001」となり、テレパシーが存在すると主張するのではなく、テレパシーを
信じている人が増えた、というデータがあります。これは個人的にはタイムマシン
の攻防戦ではないでしょうか？ちなみにこの小久保先生とは会ったりして話した
ことがあります。」
名古屋の宇宙人２「ほら、現実だろ？どうすんだよ。物理板は残念ながら辞退だ。
何故なら、ご冗談でしょう、で片付けられる頭の良い板なんだよ。それではな。」