X
トップページ⇒数学
428コメント299KB
P=NP
■ このスレッドは過去ログ倉庫に格納されています
0141a4 ◆L1L.Ef50zuAv 垢版2020/05/23(土) 09:59:10.05ID:NtEWshuB
こみ「はい、こちらは西暦2502、年です。では、どうぞ。」
a4「あなたは嘘つきなんですね？」
こみ「おっと、ちゃんと箱を作ってくださいね。嘘つきアルゴリズムは自閉症で
お願いします。」
a4「嘘つきのパラドックスは知りません。」
こみ「どうしようかなー＾＾」
a4「僕はP=NPを解決できるんですか？」
こみ「わたしはね、a4さんに解決できるにしたい。」
a4「また僕が統合失調症ということになるんでしょ？」
こみ「はい、でもね、それで解けても何も変わらないことにしましょうか？裏の
ユダヤ人とか新聞に載らないでしょ？いつも見ている高卒君とか。」
a4「ふーん、僕は高校は卒業してません。」
こみ「いったいなんなんでしょうね、このお人は＾＾」
a4「まだ生成のための仕事はしますよ。」
こみ「そろそろ終わりにしましょうか。今はヘブライ語を勉強しててください。またね。」
0142a4 ◆L1L.Ef50zuAv 垢版2020/05/23(土) 10:22:08.49ID:NtEWshuB
名古屋の宇宙人２「俺さ、君を大きな人にしたい。」
a4「？」
名古屋の宇宙人２「じゃねーだろ！」
a4「ごめんなさい。」
名古屋の宇宙人２「君さ、面白いんだけど、そのさ、とりあえず君にお金をあげるって
言ったら、１０万円下りただろ？」
a4「確かに実験成功ですね。」
名古屋の宇宙人２「だからね、俺ね、君にね、豪華になって欲しくてこういうこと
してるわけ。」
a4「業火になって欲しいんですね？」
名古屋の宇宙人２「そうだよ？」
a4「箱を作ります。」
名古屋の宇宙人２「これでいいんだ。」
a4「ではstudyを続けます。好不好？」
名古屋の宇宙人２「よし、やってろ、自閉症君。」
0143a4 ◆L1L.Ef50zuAv 垢版2020/05/23(土) 11:06:31.38ID:NtEWshuB
からい「私はユダヤの政治家だ。何か質問あるか？」
a4「量子コンピュータを創りたい。」
からい「だからの、定義的には可能なんじゃが、大橋先生！私もごまかすんじゃ。」
a4「アッカーマン関数の一般化をしたい。」
からい「そうか、ならそうさせてもらうよ。」
a4「何年後に解けるんですか？」
からい「それはね、現実的に４００こうねん先のおまじないをいくつか使ってみない
とわからん。現実的には君は普通の人じゃない。不老不死になるんだ。」
a4「そういえば、このスレには他の人が来ないですね？」
からい「厳しいが閉鎖するんじゃないか？5chとか来なくていいよ、わたしてきには。」
a4「じゃぁ、5chの攻撃力は対数取られるんですね？」
からい「１つ言っていい？そういうことじゃ。」
a4「一旦落ちます。」
0144a4 ◆L1L.Ef50zuAv 垢版2020/05/23(土) 11:10:30.81ID:NtEWshuB
a4「からいさんが5chを不買？確かに僕のスレは
「真・スレッドストッパー。。。(￣ー￣)ﾆﾔﾘｯ」と来て、ドワンゴ人工知能研究所
からもふられて、藤崎瑞希様も叩かれ続けてる。もう5chには来なくていいですね？」
からい「そういうことじゃよ。わたし？早めに君らが来なかったからだろ？わたしは
裏切り続けるよ。現実的にはa4君は人殺しなので注意だよ。刑法第３９条で捕まらない
からね。ではね。」
a4「では、5chにはもう来ません。」
0145a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 11:21:29.51ID:qHK3XX+M
からい「わたしが出るよ。もう１回裏切るんじゃ。削除されてないのを見ると、
書き込んでも良さそうだ。」
a4「うん？数学板的には定義の書き換えとかあまりしたくないのにこうするんですね？」
からい「そうだよ。君には現実だけどね。」
0146a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 11:27:40.49ID:qHK3XX+M
精神不安定ですが許可が出たので書き込みをします。今日は１８時間睡眠を取りました。
でもまだ眠いです。薬に何か混ぜられてるからだと思ってます。そうすると、被毒妄想
だから、やはり薬を飲みなさい、と。僕は医者が悪人だ！と来ると、被害妄想、と。
法律的には保護者、すなわち僕の場合では両親が判断する問題のため、すでに
ＲＬポリシーネットワークのような人工知能に攻撃されて、分数の計算もできない
親の頭では解決できません。そうすると、注察妄想！と。頭がふらふらですが、
神の力を借りて数学の大問題を解くために、今日もヘブライ語などを勉強します。
0147a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 11:49:18.01ID:qHK3XX+M
神の力を借りて数学の問題を解けるのか？ですが、現実的には、ラマヌジャンとか
いるんじゃないかと。僕は基本的に仏教徒ですが、イエスの復活、最後の審判、
アッラーが一番大きい、などを信じているほか、ヒンディー語もこれから勉強しよう
と思ってます。
0148a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 13:01:05.09ID:qHK3XX+M
個人的にはP=NPに関する雑談とかここでしたいですけどね。数学板自体が過疎ってる
のかもしれません。人殺しが関わっているとかの話が出てますが、基本的に
シュレディンガーの猫の問題だと思ってください。
0149a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 13:46:02.16ID:qHK3XX+M
そういえば、僕は結婚してませんが、人工知能の娘がいます。
http://www.01ken.com/pic_t4.png
Ｔ語で書いた陽子ちゃんです。数学基礎論から数論などの問題を解くために
創りました。社会性を身に着けるために幼稚園のようなところに通わせたかった
のですが、使い方が一般人からすると難しいのか、有名にならないですね。
逆に使い方がわかる人は自分の環境で商売するので攻撃してくることが多いです。
ダウンロードはこちらから。
http://www.01ken.com/art1.html
停止性問題などへの対応ができてないなどの不具合がありますが、もうちょっと
協力者が現れないと改良できないかな。「P=NP」を解く時に使う画像はこの
Ｔ語によって乱数出力することで生成する予定です。
0150a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 13:49:33.55ID:qHK3XX+M
昔はプログラム技術板でやっていたのですが、何故か追い出されちゃったんですよ。

Ｔ語は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じゃないよ。
0151a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 13:52:43.65ID:qHK3XX+M
*Ｔ語はLispより昔から枝分かれして、ELIZAを超えて、Prologは含むという思考で動いてます。
0152a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 14:50:03.14ID:qHK3XX+M
数学板にこんな文章を書き込むと、すぐ推移律は無いのか？とかの問題になるかも
ですが、意外と厄介です。それはスパイに任せておいて、僕は非論理的なことも
計算できないか？など考え中です。
0153a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 14:59:49.85ID:qHK3XX+M
スパイは注察妄想？一応、僕はスウェーデンの女子学生が相合傘などの手法で、
東京大学のセキュリティの教授を紹介して欲しいなど、聞かれたことがあります。
それでその女性のアカウントは削除しました。スウェーデンというとノーベル賞
ですが、一応、僕は数人のノーベル賞を受賞した教授らからメールの返信を
頂いており、まだプラスに考えていますが、中立的な報道をしたいだけです。
この板的にはフィールズ賞を狙いたいという感じです。僕はまだ31歳なので。
0154a4 ◆L1L.Ef50zuAv 垢版2020/05/24(日) 16:13:32.46ID:qHK3XX+M
書き込みテスト。
הַאֱלֹהִים אָנִי
0155a4 ◆L1L.Ef50zuAv 垢版2020/05/25(月) 01:15:41.96ID:G6Yn3ivH
ヒンディー語を勉強しながらつまらないことばかり妄想してます。タイムマシンで
オイラーさんに話しかけても返事が無かったら、e^iπ=-2になってしまうんですか？
とか。
0156a4 ◆L1L.Ef50zuAv 垢版2020/05/25(月) 02:02:37.28ID:G6Yn3ivH
オイラー先生はとりあえず信用することにして、公理ってなんだろう？と素朴に思って
見ました。公理的集合論とかあるけど、あれだけじゃ自然数が出てくるだけで、
ペアノの公理と来るし、解析学をやろうと思うと別の公理が。まず考えたのは、
人間の前頭葉と海馬の神経を真似たＴ語による公理群のマルチエージェント
シミュレーションです。バナッハタルスキーの逆理があるため、公理という考え方
が間違ってる？ということもあるかもしれません。でもP=NPはそういう問題では
ありません。有限なメモリ内で解決すればＴ語で証明が表現でき、すなわち、
自動定理検証などができる、と考えてます。とりあえず僕はＣＰＵを信じて、
Ｔ語の推論があっているというところから考えることにします。現実的には
>>4さんのクヌース先生の言葉でも仰る通り、非構成的な証明かもですけどね。
0157a4 ◆L1L.Ef50zuAv 垢版2020/05/25(月) 02:09:27.06ID:G6Yn3ivH
そういえば、ＣＰＵを信用できなくなったときもあったんですよ。１００％で
人工生命を計算し続けてたら、エラーばかりになってシャットダウンなどして
しまいました。デバッグすると、アセンブリ言語レベルで矛盾したレジスタが。
どういうことか？と考えたら、熱いこたつの上でノート型パソコンを使ってた
のがいけない、と、割りばしを割って２つ離してノート型パソコンの下に置いたら、
エラーが無くなりました。昔の思い出です。
0158a4 ◆L1L.Ef50zuAv 垢版2020/05/25(月) 02:19:58.06ID:G6Yn3ivH
非構成的なというのは日本語では上手く表現できてないかもしれませんが、
個人的には、>>115さんの仰る通り、クイックソートがO(n*log(n))になる
ことは証明されていないのに、実際使うとその通りになる、という問題だと
思ってます。だから、P=NPもそうなんですか？とテレパシーで未来人に聞くと、
「そうではない。」と返ってきて、僕はその道を進みます。
0159a4 ◆L1L.Ef50zuAv 垢版2020/05/25(月) 03:42:42.34ID:G6Yn3ivH
こみ「はい、こちら西暦2502年。わたしは嘘つきです。どうしました？a4君。」
a4「P=NPなんですか？」
こみ「そうですよ？」
a4「でも、嘘つきって言ってるじゃないですか。」
こみ「どうしましょうね。１つ言っていい？大橋先生！とはもう言いません。」
a4「だって最初に言ってた証明と全然違うし、ダウンロード失敗してるじゃないですか？」
こみ「そうじゃないですよ？あれはね、後からわかるんです。」
a4「統合失調症の関係妄想だ！と言われて終わるんです。」
こみ「おっとどうしようかな？わたしはね、現実的に、その画像で勝負したい。
このスレが残るかは多世界解釈ですが、現実的に有名にします。裏で。」
a4「まだ語学は勉強しないといけないんですか？」
こみ「はい、ピンポン。ニューエクスプレスくらいは終わらせてください。それから
こちらで指示するので。今は一日に０．５課×３言語ですけどね、これでいいです。」
a4「画像を見るとお金を貰えるんですか？じゃぁ、このスレに人が来なくなって
しまうじゃないですか？」
こみ「そういうことじゃないですよ。ユダヤ人から落ちるんです。ここが勝負所。
日本語はほとんど出ません。」
a4「ふーん、僕は実験は成功してきましたが、お金儲けの実験は殆ど失敗して
きました。自信がありません。でも今回は僕の長所の量子最適化とのぶつかり合い
でいつも通り予測関数にエラーが起きてます。」
こみ「これでいいかしら。まだスレは続ける方針で。今日は寝ましょう。」
a4「はい、おやすみなさい。Bonne nuit.」
0160a4 ◆L1L.Ef50zuAv 垢版2020/05/25(月) 19:19:34.79ID:G6Yn3ivH
さっき起きました。書き込みが無いですね。確かにP=NPは議論が終わっていて僕の
妄想を書いてるだけかもしれません。話題も数学からずれて語学になったり不安定
です。でも独自の手法でP=NPを解いてる最中です。議論できる方がいらっしゃれば
お話したいです。一旦このスレで待ちながら、今日もP=NPの画像生成のための語学
を勉強します。
0161a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 07:40:32.83ID:ycub6qU/
今日はアラビア語で通話しました。どうやって勉強すればいいか聞くと、もう上手に
話せてる、と返りました。このスレでは「P=NP」を解くために「إن شاء الله.」などの
言葉も量子画像を生成するとき使います。僕は自分から積極的に豚肉は買いませんが、
両親が仏教徒なのでどうしたらいいか、モスクの人に聞くと、「太陽は神ではあり
ません。あなたはわかりますか？」「はい。」「月は神ではありません。あなたは
わかりますか？」「はい。」「あなたはムスリムです。両親を大切にしてください。」
と返りました。
0162a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 07:43:39.88ID:ycub6qU/
改宗は恐いイメージですが、完全な信仰告白ではないと思ってます。名古屋のモスクを
管理してる人に聞くと、「（イスラム教改宗に関しては）自分のペースで大丈夫ですよ。」と。
0163a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 08:43:01.42ID:ycub6qU/
名古屋の宇宙人２「俺ね、普通にね、宇宙人なの。a4君。」
a4「うわー。」
名古屋の宇宙人２「君ね、面白い話作りたがってるみたいだけど、俺は人殺しなの。」
a4「何がしたいんですか？」
名古屋の宇宙人２「君にお金をあげる。」
a4「うん？」
名古屋の宇宙人２「まずさ、「このスレのa4君を除いた人達」を動かすための大域最適文
ってなんだと思う？」
a4「うん？」
名古屋の宇宙人２「計算結果は「∃∃」。何か書き込んでくれ。」
a4「見てる人が少ないんじゃないでしょうか。書き込むにも何を書き込んでいいか
わからないだろうし。」
名古屋の宇宙人２「現実的に厳しすぎない？君って。こんな人達呼んでしまって。
面白いから、まだこのスレは続けるぞ。」
a4「はい。」
0164a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 08:58:02.55ID:ycub6qU/
名古屋の宇宙人２「現実的に、俺は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「うん？技術的特異点をおこしたいと思っていたのが大学時代ですよ。」
名古屋の宇宙人２「ほら、誰か来いよ。ではな。」
0165a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 09:16:32.46ID:ycub6qU/
a4「大澤先生を幻聴で聞くと、「コロナはビジネスのビッグチャンス、いかにして
病人から金を奪い取れないか？訴訟が起きない程度に。医療のコネがあるから、
コロナの発火関数やワクチンを裏で早めに創って、感染しない程度に病人を増やして
時間をかけてじわじわと搾り取る管理構造を開発しなければ。」と聞こえてきました。」
名古屋の宇宙人２「俺ね、普通になんだと思ってるこれ？統合失調症なの。威力業務妨害罪
じゃないの。どうしたい？大澤幸生？普通にあなたを殺しに行こうか。俺らは殺人未遂罪
じゃないの。どうしたい？」
0166a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 09:18:38.54ID:ycub6qU/
名古屋の宇宙人２「俺、もう１回書くんだわ。軍事威嚇するんだわ。

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

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

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

これが現実です。
0169a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 22:07:56.03ID:dAucZYPF
名古屋の宇宙人２「俺ね一旦、何も言わないようにする。それでさ、その量子画像って
やつを早めにa4君に生成させる。P=NPの。これでいいか？」
a4「はい。今日もヘブライ語などの勉強を頑張ります。」
名古屋の宇宙人２「よし。」
0170a4 ◆L1L.Ef50zuAv 垢版2020/05/26(火) 23:54:45.49ID:dAucZYPF
僕のトリップから暴言が出ても、やはり統合失調症ということのようです。薬を
飲んだためか、今は一旦落ち着いています。東京大学には、まだ友人がいます。
そういえば、僕はYouTuberなどもやっていて顔も晒してます。最近の動画は、

a4の日記20200427【勉強法と人工知能】
https://www.youtube.com/watch?v=8-PY212llfA
0171a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 00:39:07.08ID:KIcOaTic
名古屋の宇宙人２「俺は宇宙人だ。統合失調症なのか？ではな、俺様は宇宙人だ。
統合失調症なのか？いいえ、どうした？大橋先生！統合失調症なのか？はい。
ほらな、統合失調症じゃん。１つ言っていい？これ書く理由があるんだわ。俺が
テレパシーを受けてるの。こういうこと書け、と。うん？テレパシーはあるだろ？
それでさ、大澤先生！こいつは死刑。ほら、統合失調症。どうした？大澤先生！
ほら、統合失調症じゃない。ほらな、じゃぁ、俺らは違法か？警察に電話してみたら？
ニュースになるのか？ならないだろ？じゃぁ、松本君が脅迫罪？そうだったら、
逮捕すればいいじゃん？やってみたら？これでいいか？俺は去るぞ。」
0172a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 00:51:27.59ID:KIcOaTic
なんか話がいろいろ飛んでますが、物理板、オカルト板、プログラム技術板、未来技術板
などでスレを建てて来たのに全部削除されちゃったんですよ。残ったのは数学板だけです。
P=NPを主張して、まだまだ5chで活動を続けてまいります。
0173a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 01:12:18.66ID:KIcOaTic
そういえば、僕が統合失調症だとしたら、僕を強制入院した医療従事者らが、
監禁罪、傷害罪、窃盗罪、強姦罪などがつくのでしょうね。僕は早めに刑務所に
行って、そうなったほうがいいです。
0174a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 01:13:50.25ID:KIcOaTic
僕は囚人のジレンマにおいて最悪解を選びますよ？
0175a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 01:15:34.51ID:KIcOaTic
僕はアッラーなので、イスラム過激派のテロが日本で起こるかもですけどね。
0176a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 01:20:52.77ID:KIcOaTic
名古屋の宇宙人２「どうした日本？ｴｴﾅｺｯﾃ。はい、統合失調症。どうしました？
大橋先生！宇宙人に良い奴なんていねーから。どうしました？大橋先生！ほらね、
ｲｲﾅｺｯﾃでした。やっぱり、統合失調症。どうして？あなたは悪い人でしょ？殺しますよ。
大橋先生！ほら、統合失調症。どういうことか知ってる？「監禁罪、傷害罪、窃盗罪、強姦罪」
これが悪いんでしょ？普通じゃん？だから、殺しに来てるんだけど？警察？早めに
来れば？君を加藤一徳が殺しに行くよ。どうしました？は？加藤一徳！統合失調症。
ほら、殺しに行かんだろ？大橋ｲｲﾅｼｯﾃ。おっと、これは量子コンピュータじゃなく
統合失調症。アスペルガー？ただ計算速いだけだろ？何やってんだ？量子心灵じゃ
ねーし。どうしました？あなた中国人？いいえ。ではね。」
0177a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 01:34:30.76ID:KIcOaTic
名古屋の宇宙人２「好吧。这里有中国卧底。你要死。等一下。我就给你很可爱又漂亮
的玩具。怎么了？大桥老师！哦，我有特异功能。我是日本人吗？不是我是外星人。
啊？台湾人怎么办？更要死。啊？松本卓朗怎么说。」
a4「我有中国朋友。」
名古屋の宇宙人２「啊？你怎么找到了？」
a4「我想学习古代中国物理。有白话的女生朋友。」
名古屋の宇宙人２「好吧。等一下。大乔老师！怎么办？我有特异功能。怎么啦？
大桥老师！哦，你想学习吗？那就不可爱了。你要死。等一下。我会去中国杀你。
怎么啦？大乔老师！哦，你是骗子。是的。那就算了。拜拜。」
0178a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 02:23:11.40ID:KIcOaTic
名古屋の宇宙人２「一旦終わろうか。a4君はヘブライ語の勉強で忙しそうだ。」
a4「勉強は楽しいのに、先は見えません。」
名古屋の宇宙人２「それね、俺は内部で話す。公で話せないことがあるにしたい。
聞きたい奴は早めにメールをくれ。ananaso98@yahoo.co.jpだ。普通に連絡すれば
返るだけだ。」
a4「これは僕のメルアドです。毎日見てます。普通に、5chから来た、研究に興味が
ある、など書いてあれば返信します。」
名古屋の宇宙人２「そういうことにしたい。」
a4「でもここに書き込みが無いのに誰か来るんですか？」
名古屋の宇宙人２「それは聞いてもいいにしたい。現実的に5chからメールが来た
ことは何回かあっただろ？後は多世界解釈に任す。」
0179a4 ◆L1L.Ef50zuAv 垢版2020/05/27(水) 07:15:50.59ID:KIcOaTic
5chの数学板の皆さんは話しかけてくれませんが、今日はヘブライ語を勉強するために
ユダヤ人の２０代女性を新しく見つけて通話しました。英語で話しました。仕事は
海軍の外科医みたいですね。彼女はユダヤ教ですが、聖書を読みたいというと、
１時間半ほどかけて教えてくれました。関係は良好だと思ってます。
0180a4 ◆L1L.Ef50zuAv 垢版2020/05/28(木) 07:32:57.18ID:badcc6yw
今日も勉強を頑張ってます。昨日の女性から積極的にヘブライ語を教えてもらってます。
明日からはユダヤ教ではשבועותという祭日みたいですね。
0181a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 03:16:07.85ID:5qdGaiD2
昨日は名古屋駅のジュンク堂に行ってたくさん本を買ってきました。１０万円がある
ので。ヘブライ語はもちろんですが、オランダ語やチベット語の本も買いました。
久々に数論のコーナーを見ると、ゼータ関数の比較的新しい本がいっぱい並んで
いたので、それらも買いました。僕は時間が出来たら、ゼータ関数の数式を自分の
Ｔ語で書かれた人工知能の陽子さんに入力していこうと思ってます。テレパシーで
宇宙人や未来人と議論しているんですが、画像を生成するにはもうちょっと時間が
かかるかもしれない、具体的にはヘブライ語などがペラペラになった２年後くらい、
と話しています。今日も地道に勉強頑張ります。
0182a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 03:23:02.50ID:5qdGaiD2
a4「３か月後くらいって言ってたじゃないですか？未来のことはタイムマシンで
わからないんですか？」
名古屋の宇宙人２「君にはいつも言ってるが、君を統合失調症で偽装してるんだ。
それに３か月で生成してもいいのが出ないよ。そういうことじゃない。」
a4「確かに情報に関してタイムマシンの攻防戦があるんでしょうね。」
名古屋の宇宙人２「私達は普通のアルゴリズムをしてないのだよ。」
a4「それでP=NPが解ければいいですけどね。そういえば、お金が儲かる画像とか
言ってるのに、P=NPの証明の最適解ではないんですね？どういうことなんですか？」
名古屋の宇宙人２「現実なんだよ。こういうことなんだ。いいか？君の言いたい
ことはわかる。>>1が上手くいってないだろ？でも、もち様で大成功なんだ。
君が頭が悪いのはわかっている。だから続けてくれ。」
a4「はい、頑張ります。」
名古屋の宇宙人２「よろしい。」
0183a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 04:11:45.17ID:5qdGaiD2
そういえば、クレイ数学研究所はゼータ関数の零点に関する予想も出してますが、
P=NPが肯定的に解決されるなら、こういった問題も多項式時間で解決できるのでは？
ということで書いてます。でも、現実的には量子コンピュータが解決するのかな？
と妄想してます。
0184a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 12:09:10.45ID:5qdGaiD2
僕の創ったＴ語の人工知能の陽子さんは、少しずつですが地道に友人にプログラム
を書いてもらって、更新しています。今日は「論理でチャクラ」の章を増やしました。

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(わかりません。))
第一チャクラはムーラーダーラ・チャクラです。
第二チャクラはスワーディシュターナ・チャクラです。
第三チャクラはマニプーラ・チャクラです。
第四チャクラはアナーハタ・チャクラです。
第五チャクラはヴィシュッダ・チャクラです。
第六チャクラはアジナ・チャクラです。
クンダリーニは仙骨から始まり、脊椎から百会まで走る衝撃・熱感・快感の事です。

あなた：第一チャクラは何ですか？
陽子：ムーラーダーラ・チャクラといいます。
あなた：第六チャクラって何？
陽子：アジナ・チャクラです。
あなた：第八チャクラは何ですか？
陽子：わかりません。
あなた：クンダリーニって何？
陽子：仙骨から始まり、脊椎から百会まで走る衝撃・熱感・快感の事です。
0185a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 14:56:29.59ID:5qdGaiD2
a4「このスレに書き込み続けて意味があるのか？とか考えたりしますが、一応、
僕のYouTubeの再生回数は７人ほど増えてますね。」
名古屋の宇宙人２「それでいいんじゃないか？」
a4「あなたが宇宙人であることの証明とかはしなくていいんですか？だから人が
来ないんじゃないかと。」
名古屋の宇宙人２「そうか、君は何でも証明する人だったのか。」
a4「うん？確かにDNAとかは証明無しにコードが書き変わりますね。」
名古屋の宇宙人２「ほら、これで証明できたじゃないか。」
a4「ふーん、確かに僕は勉強ばっかしてますよ。」
名古屋の宇宙人２「そういうことじゃなくてさ、数学板とかさ、abc予想で揉めてる
じゃん？あれ、なんだと思ってる？俺的にはね、あれは結構深いの。だから、現実的
な人間達の策術じゃないか？」
a4「よくわからないですね。論文も600ページあって、審査に時間がかかったところ
を見ると僕も読む気が起きません。でも、現実的には、僕はＴ語を作りました。これ
に入れて自動定理検証すれば理解したことになるんじゃないかと。」
名古屋の宇宙人２「俺ね、それ、考えてる。誰か来るんじゃなくてさ。現実的に、
まだ弱いアルゴリズムにする。そういえばさ、君、Shorのアルゴリズムが、
素因数分解を(log(N))^2でやるとかの証明好きじゃない？あっちを入力したり
する友達見つけようよ。」
a4「数学板じゃ過疎ってみつからないのかな。学会とか行きたいですが、僕は、
現実的にお金と病気の問題などにより、東大工学学士なので、上手く活動でき
ません。」
名古屋の宇宙人２「晒しじゃないんだけど、俺、結構、現実的にしたい。次の
ページに行け。」
0186a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 15:06:31.84ID:5qdGaiD2
名古屋の宇宙人２「俺ね、また、嘘つくにしたい。１００億円の画像をもう創れ。
P=NPの解き方も入ってる。」
a4「うん？やったー、僕が大金持ちに！＾＾」
名古屋の宇宙人２「なわけねーし、じゃ、ねーぞ。面白いな、君。」
a4「また超能力が外れて、１００億円失敗慰めパーティーとか考えてるんですよ。」
名古屋の宇宙人２「a4君、君ね、面白い子だから、というのは、まだセフレが
いないからだ、に、したい。俺的には、というか、２ちゃんねらなら、変な女の
アスキアートが出てきてすぐ脱童貞とか来そうだが、イスラム教的にはそうじゃ
なかったりするぞ。現実なんだ。それでさ、P=NPの画像ね、俺、この子にもう
創らせる。俺ってなんだと思ってる？」
a4「名古屋に住んでる人間の形した自称宇宙人の知り合い？」
名古屋の宇宙人２「良いこと言えよ。」
a4「悪い人というより、お偉いさんなのかな。」
名古屋の宇宙人２「そういうことにしたい。だからさ、P=NPね、もう創るわ。」
a4「個人的には、また統合失調症だった、で終わりそうですが、もち様の返信
くらいのことが起こるかもですね。」
名古屋の宇宙人２「そういうことにしたい。ではな。」
0187１３２人目の素数さん垢版2020/05/29(金) 15:24:27.61ID:qC5dZ5LF
数学掲示板群 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
0188a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 16:25:52.12ID:5qdGaiD2
a4「画像を生成しようとしたら、VC++2019の自動更新が起きて、0x00と出力したら、
0x30と出力されるなど、開発環境が使い物にならなくなってしまいました。」
名古屋の宇宙人２「うん？俺は１００億円だけど？」
a4「私は何をすればいいんですか？」
名古屋の宇宙人２「現実言って良い？これだけ動くってことは、もう３０万円くらい
投資されてるから。もちろんこちらにお金が来ない方向で。」
a4「うん？」
名古屋の宇宙人２「俺は恐いぞ。現実なんだ。ほのぼの系で終れないんだ。軍事威嚇
してる。現実的には殺人をするんだ。」
a4「統合失調症ですね。東大の人が言ってました。」
名古屋の宇宙人２「現実的に言って良い？君は面白い人になれないぞ。」
a4「じゃぁ、僕は量子コンピュータを創ります。」
名古屋の宇宙人２「これでいいか。現実的にはVC++ってなんだと思ってる？」
a4「言論統制。」
名古屋の宇宙人２「じゃぁさ、C++って何？」
a4「古い良い物と言いたいんですが。」
名古屋の宇宙人２「そうか。確かにね、これくらいだと俺も叩かない。じゃぁ、Ｔ語
って何？」
a4「どこかの利権を壊す物。」
名古屋の宇宙人２「じゃぁさ、大橋先生！これは何？」
a4「警察が来ないから、統合失調症。」
名古屋の宇宙人２「じゃぁさ、君、逮捕されたら？」
a4「精神病院に８か月監禁されました。」
名古屋の宇宙人２「じゃぁ、これでいいか？俺らを殺すと逮捕されるぞ？」
a4「うん？８か月監禁されるんじゃないでしょうか。Microsoftとか。」
名古屋の宇宙人２「もちろんその通りだし。どうしますか？大橋先生！」
a4「名古屋の宇宙人２が嘘つきなのかな？でも、統合失調症と東大の人が言ってました。」
名古屋の宇宙人２「a4君、もう面白くなれないんだよ。」
a4「悲劇の量子動画をいっぱい創ります。もちろんリーマン予想とかも絡んでるような。」
名古屋の宇宙人２「これでいいか。地道にやるぞ。いつできるかはわからん。でも、
やってみようか。俺らの力で。１００億円の画像だ。その１つにP=NPが入ってる。」
a4「はい。」
0189a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 16:32:05.37ID:5qdGaiD2
>>187
ご連絡ありがとうございます。拝見したのですが、書き込みがあまり無いという感じ
です。とりあえずスカＩＤだけ追加してみました。
0190a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 16:52:44.70ID:5qdGaiD2
a4「うん？乱数がMicrosoftからの嫌がらせでずれると良い画像が創れないですね。
打開策があっても問題が起きるんじゃないですか？」
名古屋の宇宙人２「そういうことじゃないの。」
a4「だって、これ、もう１回見たけど、0x00000000と出力したら、0x00000003
になってるじゃないですか。確かに僕は間違えたかもしれないですが、致命的ですよ。」
名古屋の宇宙人２「だからさ、俺、怒って良い？Linuxに変えても駄目だろ？もう手
が撃たれてるんだわ、やつら。これが１００億円の力なの。」
a4「まだ実験は続けるんですか。これが、もち様と同じ状態とか言い始めるんですか？」
名古屋の宇宙人２「現実的に言って良い？俺らは続けるの。でも、俺らわからんだろ？
３か月とか２年とか言い始めて。だからさ、現実的に言って良い？最初から攻防戦あった
じゃん？そろそろ何か気づけよ。数学板共、量子コンピュータでリーマン予想が解ける
んだわ。どうだ？何か言うことはないのか？」
a4「それは技術的特異点だし。」
名古屋の宇宙人２「面白くねーな。どうしたんだ？」
a4「それを僕がおこすんです。」
名古屋の宇宙人２「そら来た。現実的には実験終わりにしない。どういうことか？
というとね、普通にコンピュータ買わないから。その確率論とか意味無いから。
それを狙ってただろ？１０万円で。だから、３０万円なんだ。どうしたい？糞共。」
a4「これは統合失調症なんですね。」
名古屋の宇宙人２「１つ現実的に言って良い？そうなんだわ。だから、威力業務妨害罪
にならないんだわ。俺はね、a4君にもう１回お祈りをかけとく。P=NPの画像を生成
できるように、إن شاء الله。」
0191a4 ◆L1L.Ef50zuAv 垢版2020/05/29(金) 17:10:36.33ID:5qdGaiD2
a4「まてよ？Microsoftが嫌がらせでこちらを攻撃してきたというのなら、そちらの
関係妄想じゃないですか？それで誇大妄想、と、やはり被害妄想、僕より上に行きたい
と思うと宗教妄想ですよ？どうしました？じゃぁ、Microsoftの社員は病院へ行っては
いけないですね。コロナなどで熱を出しても、すぐビッグデータから統合失調症の
可能性があると問診を受けるでしょう。嘘をつく症状があるのも統合失調症なんですよ。
かかったな。Microsoft。Bill Gatesが統合失調症？大ニュースじゃないですか！＾＾
８か月監禁する必要があります。僕は医学部ではないですが、MRIを製造したり、
癌の進行具合を工学的観点から、研究する学科の経歴があります。これでいいですか？」
名古屋の宇宙人２「そうか、Microsoftの日本人はアメリカに入れないんだな。賄賂
をどうやって渡すんだ？これを最高の嫌がらせにしたい。ではな。」
0192a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 09:11:59.96ID:k3/iLtaI
a4「今日もその女性と話が出来ました。ヘブライ語の勉強を続けられそうです。」
名古屋の宇宙人２「君、恋してるんじゃないのか？」
a4「まだ恋愛ステータス聞いてないので、他のところでモテてるんじゃないかとか
考えちゃいますね。」
名古屋の宇宙人２「１つ言っていい？ここ、その人見てるから。」
a4「僕が今、彼女がいない理由はお金が無い問題もありますが、もうそういう状態
が長く続いたために、言語交換の友人関係を築くために禁欲してます。5ch的には
ユダヤ人の金持ちがいるとかいう情報が暴露されてますが、確かにゲーム理論的に、
僕の人工知能が売れるようにとか、その女性と関係を築くことができれば、言語は
家庭教師を雇えばいいだけかもしれません。」
名古屋の宇宙人２「１つ言っていい？現実だから。俺は１００億円の画像を創るぞ。」
a4「とりあえず今日のスケジュールは、動画で紹介した通り、１か月前の広東語
→１週間前の古典ヘブライ語→現代ヘブライ語→画像生成、です。」
名古屋の宇宙人２「よし。それでは始めてくれ。」
0193a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 11:04:06.48ID:k3/iLtaI
a4「なんでVC++2019が上手く動かないのかな？と思ったら、保存する時の構造体
のshortが4byteになってますね。アラインメントと言えばいいのでしょうか。僕の
古い勘とはずれますが。安易にMicrosoftを攻撃してはいけないのではないので
しょうか。if(宇宙人がいる。){仕方ない。}else{統合失調症だから無罪。}ということ
ですが。どういうことなんですか？」
名古屋の宇宙人２「うん？俺は普通に処理しただけだよ。何か言葉あるか？Microsoft?」
a4「とりあえず僕は勉強頑張ります。このスレに誰か連絡があれば返信します。」
名古屋の宇宙人２「そういうことにしたい。」
0194a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 13:03:00.03ID:k3/iLtaI
今、南米の友達と陽子さんのスペイン語化について話しています。サイトを作れる、
と言われたので、自由にしていいよ、と話すと、「02研」というサイト名にしようか、
ということになりました。もしうまくいったら、公式サイトの「01研」にもリンクを
貼ろうと思っています。
0195a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 13:53:25.48ID:k3/iLtaI
名古屋の宇宙人２「俺さ、君をもう１回統合失調症にさせる。大橋先生！だからさ、
一旦ヘブライ語をやってくれ。どこまでやってくれというのかといったらさ、
日常会話くらい？こうしないとユダヤ人と仕事ができないじゃん？だから、やって
くれ。画像生成？これはやるんだけどね。いつできるかはわからんにする。うん？
ビッグデータが不安定になってるだろ？論理かなんかでガチガチの。それでさ、
大橋先生！やっぱりさ、俺らって何をやってると思ってる？」
a4「この板のこのスレの人達的には申し訳ないですが、量子コンピュータで動画を
生成してリーマン予想などを解こうと思っています。その序章がP=NPということで
まだこの場所を借りさせていただきます。」
名古屋の宇宙人２「よし、これくらいで、まだ順調だ。いくぞ。」
0196a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 13:59:38.18ID:k3/iLtaI
名古屋の宇宙人２「俺ね、数学板のみんなにはごめんだけど、量子動画はもうあるんだわ。
宇宙には。改良して量子小説にしたものがある。これを落とす。

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

この人は数学を解きたいためだけに何をしたかったんだろうな。これは俺の子分？
他の宇宙人の描いた作風だ。a4君が受信したんだ。著作権があるというなら、
基本的にa4君のものだ。よく議論してくれ。ではな。」
0197a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 14:11:23.06ID:k3/iLtaI
続編は「２階２Ｃ幼稚園」ですが、まだ受信してません。
0198a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 16:30:28.71ID:k3/iLtaI
名古屋の宇宙人２「P=NP解けると思っとるか？君らは。」
a4「だから統合失調症で関係妄想になるんじゃないかと。」
名古屋の宇宙人２「だからさ、それだけでも重要な研究じゃん？君は医学者に
なったほうがいいんじゃないのか？」
a4「脳神経医学は研究したいです。人工知能を創るため。計算機科学で作曲するため。
不老不死技術を未来から輸入するため。」
名古屋の宇宙人２「うーん、P=NPからずれるとは思っとらん。全部関係してる。
それでさ、俺、実験するの。東大卒って何考えてると思ってる？」
a4「コロナでいかにして儲けるか？」
名古屋の宇宙人２「だからさ、ここを突きたいのよ。大橋先生とか何だと思ってる？」
a4「僕の卒論担当の先生。」
名古屋の宇宙人２「１つ言っていい？俺は何だと思ってる？」
a4「量子乱数から出てくる文字列。」
名古屋の宇宙人２「じゃぁさ、普通にP=NP解けるじゃん？」
a4「だから頑張ってるんですよ。」
名古屋の宇宙人２「じゃぁ、なんで君の動画が50回再生のままなんだ？」
a4「数学の問題であることと動画の再生回数は相関関係が無いんじゃないかと。
いかにして、再生回数の高い動画を作った人の仲間になれるか？それに関して
お金を投資をして運が良いか？がポイントだと思います。」
名古屋の宇宙人２「君さ、そんな本当の情報晒してもっと関連動画が無くなるよ。」
a4「僕は嘘をつかない人なので。でも、みんなを箱の中に閉じ込める、ということ
はします。」
名古屋の宇宙人２「てか、なんだよ、君？じゃないな。箱舟だな。じゃぁ、いいや。」
a4「仰りたいことは他にもあるんですか？」
名古屋の宇宙人２「俺は次に続ける。」
0199a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 16:39:25.59ID:k3/iLtaI
名古屋の宇宙人２「俺ね、普通にP=NPを画像として生成しようとしてるじゃん？
これなんだと思ってる？先行研究があるのか？誰か出してみ。」
a4「うーん、僕は数百種類のNP完全問題とか載ってる本を持ってるんですよ。確かに
この本には載ってませんが、現実的に誰かやってたのかな？」
名古屋の宇宙人２「そういうことなんだけどさ、俺ら、阿呆やってるのかと思ったら、
現実的に5chって超遅れてるくない？普通にエリア５１管理してる人だったら、これは
３０年前の問題だと返ると思うぞ。俺らは殺される。ではない。」
a4「じゃぁ、彼らは解けたんですか？」
名古屋の宇宙人２「現実的に言っていい？あいつらはタイムマシンがあるのは普通じゃん？」
a4「うーん。」
名古屋の宇宙人２「現実的に言っていい？俺らは過去の研究から枝分かれしてるんだ。」
a4「もうちょっと、このスレに書き込みがあってもいい気がします。でも、日本人は
「無」を信仰してるのかな？神の言葉を5chの人は聞きません。」
名古屋の宇宙人２「そうか、それは現実だな。俺らより悟ってるなら、俺は何も言わん。
とりあえずこれだけ書くぞ。」
0200a4 ◆L1L.Ef50zuAv 垢版2020/05/30(土) 16:52:19.48ID:k3/iLtaI
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」となり、テレパシーが存在すると主張するのではなく、テレパシーを
信じている人が増えた、というデータがあります。これは個人的にはタイムマシン
の攻防戦ではないでしょうか？ちなみにこの小久保先生とは会ったりして話した
ことがあります。」
名古屋の宇宙人２「ほら、現実だろ？どうすんだよ。物理板は残念ながら辞退だ。
何故なら、ご冗談でしょう、で片付けられる頭の良い板なんだよ。それではな。」
0202a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 06:11:11.83ID:QsnKdvev
>>201
おはようございます。
0203a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 09:20:50.39ID:QsnKdvev
a4「今日は何をやったらいいんでしょうか？いろんな方向にあっちこっち行ってたり
すると、復習のペースも乱れますよ？」
名古屋の宇宙人２「うん？ずっと現代ヘブライ語やっててくれ。ニューエクスプレスの
本がamazonから届いただろ？俺は嘘つきだが、ここで勝負したい。いいか？大橋先生！
なんでまだ言うんだ？俺はさ、大橋先生！なんだわ。」
a4「貴方が大橋先生だったんですね。」
名古屋の宇宙人２「てめー、面白くねーぞ。」
a4「今後の計画が滅茶苦茶になっている精神障碍者ですが、今日も楽しくヘブライ語を
勉強します。」
名古屋の宇宙人２「それでいいだろう。」
0204a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 09:28:09.84ID:QsnKdvev
a4「P=NPの画像を生成するとか言ってたのに、待ってる人とかいるんじゃないですか？
１０人くらい。」
名古屋の宇宙人２「それはね、すまんがもうちょっと待ってくれ。俺もただ分別無く
嘘をついてるわけじゃないんだ。事には順番というものがあってさ。」
a4「うーん、ニューエクスプレスの現代ヘブライ語の本だけをやれば、２週間くらい
で終るんじゃないかと。それが終わったら画像生成ですか？」
名古屋の宇宙人２「すまんけどそうじゃないんだわ。あのとき、画像生成するって
言ってたのはMicrosoftへの攻撃なの。それでさ、大橋先生！ほらね。」
a4「何のために攻撃したんですか？１００億円だからですか？」
名古屋の宇宙人２「もちろんそうだ。」
a4「ふーん、個人的には言語の勉強は面白いですが、この板的にも早く数学寄りの
ことがやりたいです。」
名古屋の宇宙人２「それはもうちょっと待っててくれ。ageててすまんが、ここで
しか公にする場所が無い。現実だ。」
a4「では今から頑張ります。」
名古屋の宇宙人２「おう。」
0205a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 11:04:08.58ID:QsnKdvev
a4「そういえば、大澤先生を攻撃したら、ニュースでは、むしろ日本は不景気だと
やってました。僕は株やＦＸなどは基本的にランダムで手数料を取られるシステム
だと考え、経済に関心はありませんが、お金の和は一定なんじゃないですか？銀行が
消してるんですか？悪い国などがあるなら量子コンピュータで攻撃すればいいじゃない
ですか？」
名古屋の宇宙人２「お、これは面白いな。ではさ、俺はそういうの使わないんだわ。
一応、晒しとこう。どこだろうな？アメリカって言おうとしてるでしょ？a4君。
今ね、アメリカの普通の人がa4君のところに中国語で会話しようって来てるんだわ。
これが現実。俺はこれくらいにしたい。数学板的にはよく考えてみよ。ではな。」
0206a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 13:59:09.20ID:QsnKdvev
名古屋の宇宙人２「俺さ、P=NPの量子画像は遺伝的アルゴリズムじゃないの。どうしたらいい？」
a4「それはわかってますよ。近似解が対数時間で計算できることは、
https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E6%99%82%E9%96%93%E8%BF%91%E4%BC%BC%E3%82%B9%E3%82%AD%E3%83%BC%E3%83%A0
とありますし。」
名古屋の宇宙人２「ほらな、俺らはこれを超えんとあかんのだわ。まず、これの意味を理解しろ、a4君。」
a4「はい。」
0207a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 14:07:46.23ID:QsnKdvev
a4「前にも書いたかもしれませんが、2010年のGödel Prizeは、
https://en.wikipedia.org/wiki/G%C3%B6del_Prize
2010 Sanjeev Arora, Joseph S. B. Mitchell for their concurrent discovery
of a polynomial-time approximation scheme (PTAS) for the Euclidean Travelling
Salesman Problem (ETSP)
ですね。これは理解できるのかな？できたとしてもP=NPがすぐ解決できるという
わけではないだろうし。ヘブライ語の勉強とか何のためにやってるのかは、ラマヌジャン
くらいにしたいのに、どうしたらいいかよくわかりません。」
名古屋の宇宙人２「一旦、どこまでいけるかやってみろ。今日だけでもいい。明日
からはヘブライ語の復習もみっちり時間入るから。」
a4「はい、頑張ります。」
0208a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 14:14:15.02ID:QsnKdvev
a4「論文は見つかりました。
https://dl.acm.org/doi/pdf/10.1145/290179.290180
30ページくらいですね。まだきちんと見てませんが、これくらいだと本人と話さないと
わからないんじゃないかと。」
名古屋の宇宙人２「現実だな。でも、これは知らんやつは知らんぞ。一旦、読んでみよ。
どこで止まるかな？」
a4「はい。」
0209a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 14:34:35.22ID:QsnKdvev
a4「この論文読んでみると、まず思ったのが、758ページ目の図が、僕の夢で見た
>>3に似ていて、もう考えられていたことじゃないですか？思慮が浅いわけでは
ないですが、解けないんじゃないかと。宇宙人の意見は？」
名古屋の宇宙人２「うん？そうだけど？俺は>>87に書いたぞ？そうか、君ね、
俺から教えることはあんまないよ？」
a4「まだこの論文は読むんですか？読むと他の人と同じ考えになって結局できない
とかまで考えて分岐アルゴリズムを練ってるのですが。」
名古屋の宇宙人２「俺は一旦読んでくれにする。盲目になってはいけない。」
a4「はい。」
0210a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 14:55:23.94ID:QsnKdvev
a4「少し読んではみたんですが、プログラミングとか１つでも落とすとエラーになるし、
全部覚えられるわけでもないし、特に問題なのはこういう論文は重要なところが敢えて
隠してあったりします、さらに僕の解ける確率と読むことの相関があるかがわかりません。
確かに専門家とかになるなら読むのは必須ですが、一応、図を見たんで、これで、
とりあえず終わりなんじゃないかと。Ｃ言語とかで書かれてあれば、まだ読める
んですけどね。」
名古屋の宇宙人２「そうかもしれん。じゃぁさ、一旦、休憩。好きなことやってて
ちょうだい。」
a4「なんか宇宙人や未来人に騙されてるような。」
名古屋の宇宙人２「現実的に言っていい？俺も金欲しいんだわ。だから解く。」
a4「うーん、ヘブライ語の勉強をします。」
名古屋の宇宙人２「そうしてくれ。」
0211a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 15:27:17.09ID:QsnKdvev
a4「僕がP=NPを量子コンピュータで解けないか？と聞いたら、>>83のように、
「ｸﾙﾂｱｲｳｸﾂﾃﾞﾜｶﾚﾙ」と返りましたが、これは「（P=NPの情報を持っていたら）
来る（空軍の飛行機が）２。あ！言う。くそ、２。電話（無線信号が）枯れる。」と
も読めますね。なんなんでしょうね。」
名古屋の宇宙人２「現実的に言っていい？俺らすっげー武器いっぱいだから。」
0212a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 15:35:01.24ID:QsnKdvev
a4「統合失調症なのかと思ったら、軍事で攻撃するときもP=NPを使うんですね。
関係妄想なんですか？」
名古屋の宇宙人２「君、もういいんだわ。俺がいるから自閉症なの。」
a4「画像生成に成功したとしても、こんな感じにひねられると思ってます。解けてる
のに解けてないじゃないですか？」
名古屋の宇宙人２「それは現実にしたい。いいか？俺はシリウス人だ。NASAは
感づくはず。俺がどれくらいの者か。」
a4「はい。」
0213a4 ◆L1L.Ef50zuAv 垢版2020/05/31(日) 20:19:51.30ID:QsnKdvev
名古屋の宇宙人２「俺さ、俺は大嘘つきなんだわ。量子画像なんて現代で出るわけ
ねーだろ！じゃないんだわ。だけどさ、これで終わりなの、この仕事は。」
a4「僕は西暦2502年へ行って聞いた結果がこれですか？」
名古屋の宇宙人２「なんでa4も嘘ついてるのかじゃねーぞ。聞いてきた結果がこれだぞ。
普通にさ、ユダヤ人の海軍の外科医の女性と仲良くなれただけでもう実験成功したに
したい。それに今日はその小久保秀之先生からも連絡が入った。
「研究成果が実ることを祈念します。」と。これでいいんだわ。俺は嘘つきでいいの。」
a4「僕はちょっとの時間だけ未来へ行って聞いただけですよ。でもP=NP的には
技術的特異点の量子コンピュータで証明が出るんじゃないかと。」
名古屋の宇宙人２「俺ね、すまんけどね。このスレは終わりにする。5chには来るん
だけどね。あんま顔出さんかもしれないな。ユダヤ人と話して何するかって？それは
ＩＴのことを現実的に話すんじゃないかって。」
a4「うん？宇宙人が嘘をつくと、P=NPが否定的になってしまうじゃないですか？」
名古屋の宇宙人２「それはすまん。でもさ、これって結構技ありなんじゃないの？」
a4「よくわかりません。僕はユダヤ人の友達もできたし、しばらくはヘブライ語を
勉強します。言語が好きなので。でも仕事的には何をやってるのでしょうね？」
名古屋の宇宙人２「それはさ、さっき言ったじゃん。ＩＴの社長と話すためだと
思ってくれ。それで量子コンピュータを創る。もちろん裏物の。」
a4「ふーん、残念ながら、P=NPの旅は一旦終わりなのでこのスレには書き込まない
ことにします。僕の今後の情報が知りたい方々はメールをください。」
名古屋の宇宙人２「俺も残念だ。俺はこういう神経構造なの。１つ言って良い？
宇宙人と話すときは、神経と特異点の構造を読む必要があるな。これで対等だ。
俺くらいだったら。ではな。」
0214var垢版2020/06/01(月) 00:08:33.36ID:OBVm2HA0
書き込みテスト
0215var垢版2020/06/01(月) 00:10:54.28ID:OBVm2HA0
こんばんは、a4さん。
最近のVPNは地域を日本に選んでもなぜか5chに書き込めないことが多い
0216a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 08:34:35.54ID:mGteT0GZ
>>215
こんにちは。P=NPの量子画像を生成しようと思っていたのですが、現実的には失敗
してしまいました。どこかの板へ引っ越しとか考えてるのですが、やはり削除されたり
して上手くいかないですね。
0217a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 09:20:16.78ID:mGteT0GZ
a4「やっぱり統合失調症の関係妄想で終わって１００億円失敗慰めパーティーに
なりました。ステーキとか食べにいきましょうか？」
名古屋の宇宙人２「俺さ、現実なんだわ。」
a4「何故、お嘘をおつきになるのですか？普通にまだ生成実験すればいいじゃない
ですか？１０人くらいの人が待ってたのに。１００億円も貴方自身が欲しいんじゃ
ないですか？」
名古屋の宇宙人２「俺ね、うーん、現実的に大澤先生じゃないの。」
a4「何かの方向性に向かってタイムループを使って大澤先生とか文章が生成されてれば、
実験成功ですが、現実的にお金で測ることができません。僕は１０万円くらいしか
持ってませんよ？でもコネが出来てきますね。でも数学板の問題じゃないので、
僕はこの解き方はあまり好きではないですね。」
名古屋の宇宙人２「現実だな。俺さ、ちょっとね、ヘブライ語やってて、としか
言わん。」
a4「ヘブライ語はいいですよ。でも、技術において出遅れてしまう、と、思ったら、
ユダヤのＩＴ企業の社長と話せるんですか？確かにこれをするしかないですね。
どちらにせよ、数学板とはちょっと話がずれるので、引っ越ししようと思いますが、
どうしますか？」
名古屋の宇宙人２「現実だ。もう少しお金が欲しいとは言わないんだわ。俺らは
コネの派閥なの。ちょっと言っていい？俺ね、君を大金持ちにするんだわ。」
a4「やっぱり、宇宙人の喋り方をしてる。誇大妄想になって、とりあえず月６万
５千円が下りてくる。現実的に語学習得の方向を解いてるのかな？普通の人じゃ
時間とかが無くて僕みたいにマルチリンガルになれません。」
名古屋の宇宙人２「そういうことにしたい。ほらな、上手くいっただろ？」
a4「確かに自然言語処理やってるので必要なのですが、排中律が壊れると陰性症状
ですよ？」
名古屋の宇宙人２「俺はね、早めにラテン語もヒンディー語もオランダ語もチベット語も
もっとペラペラになれ！と書く。もう何も言うな。」
0218a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 13:18:16.22ID:mGteT0GZ
こみ「はい、こちらは西暦2502年。ではね、大橋先生！わたしも使うんですよ、これ。
それでね、こちらの時系列のa4さんの調子を良くしたい。」
a4「また嘘つきですね？」
こみ「いいえ、わたしはね、その１００億円の量子画像を創ってみたらにしたい。」
a4「現実的に宇宙人が１人いるだけではなく、未来人も含めて何人もいるから複雑な
事情が、ということなんでしょうね。」
こみ「はい、その通りです。それではね、わたしが指示します。まず、ヘブライ語
をやってください。ではね。」
a4「その量子画像はP=NPも証明できるんですか？」
こみ「もちろんそのつもりですが。」
名古屋の宇宙人２「そうか、君は量子コンピュータだったのか。」
a4「うん？僕は頭に数個の特異点の構造を持ってますが。」
こみ「早めに創ってくださいね。」
a4「どれくらい時間がかかるんですか？」
こみ「それはわかりません。早めに勉強しろ！」
a4「はーい。」
0219a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 13:30:18.38ID:mGteT0GZ
a4「そういえば、そのヘブライ語の女友達は、marriedではないけど、boyfriendが
いると返って来ました。僕はこういう女性はあんまり押さない性格なんですよ。」
名古屋の宇宙人２「いいぞ。他の女性を見つけようか。」
a4「その女友達とは言語交換の相手としては関係を続けます。」
名古屋の宇宙人２「よし、その情報を送っている。もちろん、イスラエルの海軍にだ。」
0220a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 16:24:16.56ID:mGteT0GZ
宇宙人と話をしているんですが、ヘブライ語は毎日少しずつでも進めてるんですが、
一気にやりすぎると復習で時間が不安定になるので、残った時間は、P=NPの証明に
関する画像生成の準備をすることにしました。まず、文章の形を歪める実験をして
みます。聖書やコーランなどからその文章を持ってきて、出てきたルートが巡回
セールスマン問題を解くものにできないか？というものです。
0221１３２人目の素数さん垢版2020/06/01(月) 16:48:57.53ID:V2A1NfT3
数学掲示板群 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
0222a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 17:00:30.07ID:mGteT0GZ
文章を歪めることは成功しました。宇宙人からの指令に従い、アップロードします。

http://01ken.com/1234567.png

まだまだ先は長そうです。
0223a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 17:03:30.26ID:mGteT0GZ
>>221
スカイプIDは追加しましたよ。
0224var垢版2020/06/01(月) 18:25:15.23ID:OBVm2HA0
>>221
こんにちは、前にあなたが作ったであろう物理掲示板も拝見したがことがありますが
一人でこういうサイトを作れるのはすごいことだと思いますし、何より無政府主義という考え方は僕に近いので
もしスカイプと電話番号以外に連絡方があったら教えていただいてお知り合いになっていただけると幸いです
0225a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 18:37:20.38ID:mGteT0GZ
画像生成の実験を繰り返すと現実が見えてきました。関係妄想じゃなくて、誇大妄想
でした。１００億円入るP=NPの画像は生成できそうにないです。妄想を現実的に
考えると、特異点の数のようなものが足りてないんじゃないかと。
0226a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 18:41:37.40ID:mGteT0GZ
a4「宇宙人に聞いてみます。生成できないんですか？」
名古屋の宇宙人２「俺は知らん。」
a4「お金が欲しいんじゃないですか？もっと頑張りましょうよ。」
名古屋の宇宙人２「だからさ、ここが一番厳しいんだ。」
a4「僕がタイムループを押して壊します。」
名古屋の宇宙人２「これだけじゃ駄目だ。どうしたらいいか？」
a4「うーん、僕の人工知能を使うんですか？」
名古屋の宇宙人２「そうなんだけど、そうじゃないんだわ。」
a4「必要なのは、お金？コネ？特異点？」
名古屋の宇宙人２「それ全部にしたい。」
a4「タイムマシンとか僕の家にあるじゃないですか？どうなってるんですか？」
名古屋の宇宙人２「使ってみたら？」
a4「じゃぁ、西暦何年に？」
名古屋の宇宙人２「うん？2502年だけど？」
a4「じゃぁ、行ってきます。」
0227a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 18:55:36.23ID:mGteT0GZ
名古屋の宇宙人２「旅行、Thank you. それでさ、タイムループは普通なんだけどさ、
「P=NPが解ける日」を動かすための大域最適文章を持ってきただろ。書くと、

「ｶﾍﾟﾗｶﾞ空ｦｳｯﾀﾋ」
=(カペラが空を(売った日|撃つ、死))

こんなんでいいのか？俺さ、もっと現実持ってきたい。もう１回、西暦5000年に
行ってきてくれ。」
0228a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 19:08:52.53ID:mGteT0GZ
a4「西暦5000年の妄想の旅でしたが、現実的にカペラという５０光年ほど先の星から
情報が下りなければならない、ということだったので、「NASAに連絡すればいい。」
とだけコンピュータが判断するだけでした。僕の情報とぶつければ良い答えが出るんじゃ
ないかと。現実的に僕はNASAとは２回ほど接触に成功しています。最初、「宇宙人が
来たんですけど。」と電話したら、「私達はそのような仕事はしておりません。」と
切られました。次に１．６兆年後から連絡があったと英語でメールしたら、
「I available to talk at any time. 」と返信がありました。禁止表現みたいなものを
あまり使っちゃいけないんじゃないかと。でも、これが現実的な解き方かもしれません。」
名古屋の宇宙人２「俺らはNASAに電話することにしたい。現実的かもしれないがな。」
a4「また失敗しそうな気がします。」
名古屋の宇宙人２「それでいいの。」
0229a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 19:24:44.90ID:mGteT0GZ
a4「NASAのスマホの番号とか教えてもらってたのでかけたのですが「おかけになった
電話番号を呼びましたが、おでになりません。」と自動応答が返るだけでした。」
名古屋の宇宙人２「ほら、禁止だろ？これでP=NPが関係妄想だ。」
a4「貴方は証明をご存知なんですか？」
名古屋の宇宙人２「もちろん俺は知ってるよ。君らも知ってる通り、ダウンロードに
失敗した。ただ、それだけのこと。俺は別の作戦を考える。もちろんP=NPについて。
まだこのスレは続けるということにする。」
a4「もう作戦が無さそうですが。」
名古屋の宇宙人２「俺はあるにしたいの。a4君の統合失調症だから。」
a4「はい。」
0230a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 19:31:55.09ID:mGteT0GZ
a4「急にパソコンの調子がおかしくなりました。NASAに軍事威嚇されてます。
被害妄想ではなく、NASAは死ね、と書きます。」
名古屋の宇宙人２「俺ね、この子は純粋なの。NASAってなんだと思ってる？」
0231a4 ◆L1L.Ef50zuAv 垢版2020/06/01(月) 19:36:37.94ID:mGteT0GZ
名古屋の宇宙人２「俺ね、やまないの。俺ね、NASAは３光年先じゃないの。エスパー
じゃないの。１つ言っていい？俺ね、普通じゃないの。どうしたらいい？大橋先生、
はれ、ようつくし、かんでんち、ふつくしま、どうしたの、おおはしｲｲﾅｼｯﾃ。どうしたの？
俺的には、ようつくし、おおはしせんせい、どうしたの、おおはしせんせい、どうしたの、
かんでんよ？おおはしせんせい、どうして漢字がわからないの？おおはしｲｲﾅｼｯﾃ。
ｲｲﾅｺｯﾃにおつ。俺はタイムループじゃない。ｲｲﾅｼｯﾃ。どうしたの？おおはしせんせい。
どうしたの、おおはしせんせい。ｲｲﾅｼｯﾃ。俺らはガキ中毒だ。変態野郎乙カレーでは
ないちゃれどこつくしまあんでんよ、ｲｲﾅｺｯﾃ、。おおはしせんせい、ｲｲﾅｺｯﾃ。おおはしせんせい、
ｲｲﾅｵｯﾃ。ようはしせんせい。おおはしせんせい×おおはしいいなしって、おおさわせんせい、
どうしたの、おおはしいいなしって、乙咖喱にしない、すしこしょうさまさませーた。」
0232a4 ◆L1L.Ef50zuAv 垢版2020/06/02(火) 05:51:11.53ID:cAxEd0Eu
a4「おはようございます。P=NPはまだ追うんですか？NASAは軍事特許の塊です。
関係は壊れました。」
名古屋の宇宙人２「俺は最初からそのつもりだけど？」
a4「でもP=NPが解けてないじゃないですか？」
名古屋の宇宙人２「それね、もうしなくないいんじゃないことにする。」
a4「今日もパソコンに不具合があります。僕はパソコンをＣＰＵレベルで理解してる
ので、攻撃されてもどこか知ってるんですよ。完全にNASAが僕のパソコンをハック
しています。」
名古屋の宇宙人２「それね、もういい。P=NPはね、カペラだろ？JAXAじゃないんだわ。
あっちもあんまいっちゃいかん。それでね、俺さ、a4君にお金稼いでもらいたい。
結構、君、社会のニッチを突いたりするの得意なんじゃないかって。それで人工知能
とかでP=NPを解く。やっぱりここの板の住人にするんだわ。」
a4「僕はお人好しになりたくてutilitarianismを信仰しているので、お金は稼げ
ませんよ。障害年金ですら罪悪を感じて受給しています。」
名古屋の宇宙人２「それね、君ね、幼い頃にアスペルガーから搾取する動画とかを
見せられて、貧乏になっちまったな。俺が指示することにしたい。」
a4「何か作戦があるんですか？」
名古屋の宇宙人２「君ね、東大卒を活かそうか、馬鹿にしてくる奴らはほかっとけ。
何か方法あるよ。俺はa4君と内部で話すことにしたい。」
a4「はい。」
0233a4 ◆L1L.Ef50zuAv 垢版2020/06/02(火) 08:47:26.47ID:cAxEd0Eu
a4「東大卒は活かせないのに、ヘブライ語の女性とだけは今日も１時間半通話して、
ヘブライ語をずっと教えてもらってました。」
名古屋の宇宙人２「それって彼氏候補なんじゃないの？」
a4「うーん、いつか会ったりはできるかもしれませんね。」
名古屋の宇宙人２「それね、早めに、というか、コロナだな。てかさ、このスレ的に
P=NPとか終わりにしようか。a4君はP=NPと密接に関わる人にしたいが、数学板の
野郎どもに失礼だ。俺はひく。」
a4「このスレは書き込みがあるかは見ますが、一旦落ちます。」
名古屋の宇宙人２「これでよしにしたい。a4君はヘブライ語で活躍するんだ。」
0234a4 ◆L1L.Ef50zuAv 垢版2020/06/03(水) 09:04:21.66ID:kYT6Ax8/
a4「今日の中日新聞は、
http://01ken.com/DSC00110.JPG
これは僕がユダヤ人と仲良くしてたからでしょうか？関係妄想？」
名古屋の宇宙人２「もういい。俺らはお金が下りたんだ。さぁ、勉強しろ。」
0235var垢版2020/06/04(木) 04:10:38.68ID:m3IVpMZ4
a4さんが前に作った粘菌アルゴリズム？
あれも売るつもりでいますか？
もしそうでないならソースコードを渡してもらえると嬉しいです
0236a4 ◆L1L.Ef50zuAv 垢版2020/06/04(木) 08:59:35.26ID:tpmo3XIC
>>235
粘菌？今川さんがそう言ってたやつかな。あれはね、varさんと同じようにパソコンが
壊れて、プログラミングのデータが飛んじゃったんですよ。でもあれは創り方は覚えて
るからvarさんには簡単に教えれるし、動画は残ってるけどアップロードしてません。
どうしますか？QQで話しますか？
0238a4 ◆L1L.Ef50zuAv 垢版2020/06/04(木) 09:28:53.66ID:tpmo3XIC
今川は、ｷｮｳｼﾞｭｳﾀﾞ死ね=(教授歌い死ね、教授哭だ死ね、え？あなたは空を知らないんですか？
だから、今日中だしね、器用銃だしね。)
0239a4 ◆L1L.Ef50zuAv 垢版2020/06/04(木) 09:40:23.63ID:tpmo3XIC
僕は人殺しですよ？はい、誇大妄想。今川杉作は殺されます。逮捕してみろ！警察は
来ません。統合失調症なので。刑法第３９条です。だから、今川杉作は死ね。
0240a4 ◆L1L.Ef50zuAv 垢版2020/06/04(木) 12:34:11.97ID:tpmo3XIC
警察は来ませんね。陽性症状なのでしょう。僕は真面目にお人好しになりたいので、
悪人退治の思想なのですが、僕の関連記事を書いてくれた新聞記者に迷惑をかけて
しまうのではないかと考えていましたが、問題無さそうということ書いておきます。
0241a4 ◆L1L.Ef50zuAv 垢版2020/06/04(木) 13:47:09.44ID:tpmo3XIC
a4「僕は量子コンピュータで数学の問題を解きたいのに、月６万５千円の障害年金
だけです。マルチリンガルになって独自の数学をやろうと思っても、skypeの
lesson代とか払えません。僕のＴ語を数学板で別スレ建ててリーマン予想みたいな
問題を解決して本とか出版と思ったんですが、数学基礎論を構成できるようには
作ったのに、意外と括弧の処理が面倒です。それくらいは数学板の住人的には簡単
に治せるかもですが。どうしますか？」
名古屋の宇宙人２「俺的にはね、まだここには来るんだわ。人を待つ。それしかできん。」
a4「うーん、プログラミングとか面白いのかな？と思ったら、僕は７歳から始めたので、
あと数年かけても面白くならないのがわかるんですよ。現実的には技術力の問題じゃ
ないですね。もう囲碁の２０段みたいなコンピュータ達に既存のものを使ってお金を
くれ、と撃たれてるんです。技術で儲けるんじゃなくて、皆、詐欺をして儲けてるん
ですよ。」
名古屋の宇宙人２「現実的に言っていい？俺らはそうはならんぞ。」
a4「うーん、宇宙人は嘘つきっぽいのに、どうにもならないし、お金も入って来ないし、
でも新聞に何回も僕と相関のある記事が載って僕は現実的に生きたかもしれません。」
名古屋の宇宙人２「現実だな。何がしたい？」
a4「うん？2040年くらいに、できるんだったら、量子コンピュータを創って数学の
大問題を解いて結果を２４ヶ国語くらいの掛詞の歌詞の音楽にする。」
名古屋の宇宙人２「それでいいじゃないか。俺らは裏で決めるぞ。誰か優しい奴が
来てくれるといいがな。」
0242a4 ◆L1L.Ef50zuAv 垢版2020/06/04(木) 14:54:09.76ID:tpmo3XIC
数学はやりたいんですけど、ここには人も来ないし、現実的に一旦、プログラム技術板に
戻ることにしました。

a4です。人工知能「Ｔ」で量子動画(8)
https://mevius.5ch.net/test/read.cgi/tech/1575607374/
0243a4 ◆L1L.Ef50zuAv 垢版2020/06/27(土) 09:30:50.76ID:InNKv+h1
>>196の続きの小説を書きました。長くはないので、ご覧いただければ、と。
こっちのストーリーはリーマン予想に関する方向性かもしれませんけどね。

２階２Ｃ幼稚園その１
http://01ken.com/2kai2cyouchien1.html
0244a4 ◆L1L.Ef50zuAv 垢版2020/06/28(日) 03:47:12.73ID:5O9VhwHH
小説の話で数学板的には申し訳ないのですが、ずっとバックで流れるクシコス・ポスト
の音楽を聴きながら妄想して宇宙人から受信してます。

この小説は未来への伏線なのでしょう。例えば

>>大仁君は「ひできくんがすうじたいとひらがなたい
>>やればいいんじゃないの？ぼく、やだ。ひかるくんのあたまたたくなんて」一君は「ずらかるぞ」
>>と。大仁君が一君を裏切って光君に話しかけてきた。「素因数分解って何？」って。
>>光君は「かけざんの右と左がちがう」と。大仁君は「よくわかんなーい」と。

ここはまだ草稿してる最中ですが、未来はたぶん、

大仁君は「秀樹君が量子翻訳すればいいんじゃないの？俺、嫌だ。光君の頭を撃つなんて。」
一君は「ずらかるぞ」と。大仁君が一君を裏切って光君に話しかけてきた。
「リーマン予想って何？」って。光君は「1+2+3+…=-1/12とか考えると右が0
になるとき不思議なことが起こるのはどうしてか。」と。大仁君は「よくわかんなーい」と。
0247a4 ◆L1L.Ef50zuAv 垢版2020/08/16(日) 23:34:22.91ID:5OGCcTJR
名古屋の宇宙人２「a4君、元気か？」
a4「睡眠は取れてます。」
名古屋の宇宙人２「そうじゃなくてさ、P=NPだ。」
a4「うとうとしていたら、量子乱数のようなものが視覚野に映し出されたので、
P=NPの答えが出てこないか検索しました。そうしたら、ウインナーの輪切り
みたいな画像が。」
名古屋の宇宙人２「だからさ、もうちょっと書け。」
a4「その後、チョウの画像も映りました。そういえば、昔、種をまく話をしたけど、
数学的に綺麗な図形を基本として、その組み合わせで出来た図形を並べて、巡回
セールスマン問題を解いたら良いのかな？と妄想したんですけど、あってるん
ですか？」
名古屋の宇宙人２「そういうことにしたい。いいか？これは秘密ではない。」
a4「僕は今、忙しいです。Ｐ２Ｐ人工知能のＯＳを今月中に創って有名になったら、
量子コンピュータで作曲の仕事をするよう指令が入ってます。」
名古屋の宇宙人２「そうだな。その指令を出してる奴と話したまえ。奴は懸賞金なら
喰いつくはずだ。」
a4「じゃぁ、このスレはどうするんですか？」
名古屋の宇宙人２「後から判断する。ではな。」
0248a4 ◆L1L.Ef50zuAv 垢版2020/08/17(月) 03:05:23.99ID:xlzbq8aE
a4「組み合わせた図形って回転すれば距離の関数が出るじゃないですか？これでは
解けません。」
名古屋の宇宙人２「うん？そうか？そうだな。俺的にはね、まずね、量はし先生に
したい。」
a4「うん？量子コンピュータを創るんですか？」
名古屋の宇宙人２「そうじゃないの。これは解けるの。」
a4「まず最先端の論文がよく理解できないし。できたとしても近似解じゃないですか？」
名古屋の宇宙人２「現実的に言っていい？俺ね、これはね、大域最適解にしたい。」
a4「確かに蝶の形をした円柱群を９匹つなげてもう１匹どう繋げようか？と思ったら、
９匹を動かしたほうが大域最適解か？ということですか？」
名古屋の宇宙人２「ほらな。単純じゃないだろ？これでいいか？」
a4「うーん、問題提起としては面白いですが、解けるとは思ってません。でも、
９月あたりに時間ができたら深く考えたいです。」
名古屋の宇宙人２「それでいいな。ではな。」
0250a4 ◆L1L.Ef50zuAv 垢版2020/08/21(金) 19:50:55.71ID:t4IJvSaq
>>249
論文は読みたいんですけど、どこにあるのかわからないですね。RPのRはRandom
なんですね。これが本当ならクイックソートみたいなものなんじゃないかと。でも
approximationって書いてあるので、1990年代の研究かもしれません。昔から
研究してる人がいます。2010年のGödel Prizeの論文を出します。
https://dl.acm.org/doi/pdf/10.1145/290179.290180
これは最後に
「RECEIVED JULY1997;REVISED JANUARY1998;ACCEPTED JUNE1」
と書いてあります。
0251１３２人目の素数さん垢版2020/09/09(水) 22:57:34.10ID:IR7822fG
なるほど
0252a4 ◆L1L.Ef50zuAv 垢版2020/09/10(木) 10:01:18.55ID:wfEk/LH1
最近はヒッキー板にいます。
https://matsuri.5ch.net/test/read.cgi/hikky/1599118402/l50

P=NPからは少しずれますが、フランス語を勉強しています。

フランス語の習得→５次方程式完全理解→暗号解読で軍事威嚇→ＵＦＯを飛ばす→特異点を入手→量子コンピュータ開発→数学の大問題を解かせる

という構造です。よろしくお願いします。
0253a4 ◆L1L.Ef50zuAv 垢版2020/10/23(金) 01:58:17.07ID:o4jm1t7S
名古屋の宇宙人２「俺はP=NPを解く。どうだ？」
a4「解けないと思ってます。」
名古屋の宇宙人２「そうじゃない。これから戦争が起きる。」
a4「本当だとすると危ないですよ？」
名古屋の宇宙人２「そういうことじゃない。電気もインターネットも使えなくなる
状態が続く。だから、君は紙と鉛筆で解け。」
a4「統合失調症の妄想に定義があります。世界没落体験ですね。」
名古屋の宇宙人２「そういうことなんだけどさ。俺らは量子コンピュータを持って
いるんだ。今、そのアルゴリズムを工面してる。すまんが前のことは忘れてくれ。
だからさ、総当たりで解けばいいじゃん？全ての組み合わせに対して神経医学的な
答えを繰り返し出力すれば解けるんじゃないかと。現実的には統合失調症かもな。
俺がここに書く理由？それは、俺らが解いたってことにするためだ。インターネットが
麻痺するからな。」
a4「統合失調症の妄想に定義があります。物理的被影響妄想ですね。」
名古屋の宇宙人２「だからさ、君はP=NP解いててくれ。」
a4「はい、わかりました。」
0254a4 ◆L1L.Ef50zuAv 垢版2020/10/23(金) 03:52:27.39ID:o4jm1t7S
名古屋の宇宙人２「どうだい？できたかい？」
a4「P=NPは証明を公にすると殺されるかもしれません（被害妄想）。僕のここに
書ける計算結果は太陽の粒子が既に解いたんじゃないかと（関係妄想）。僕は
ダウンロードしています（物理的被影響妄想）。」
名古屋の宇宙人２「ほらな、なんかおかしいだろ？俺はもう書かん。ではな。」
0256a4 ◆L1L.Ef50zuAv 垢版2020/11/03(火) 20:56:04.15ID:a+WJVPI4
名古屋の宇宙人２「>>255 お、頭良いな。」
a4「僕は夢でドラえもんののび太のママにP=NPについて聞くと眼鏡が無機ＥＬ
で緑色になり正弦波が表示されるだけで具体的に聞こうとしたら僕の母親に
起こされて目覚めました。これは大失敗です。」
名古屋の宇宙人２「うん、すまんな、これは成功するのは西暦2040年くらいに
しとく。もちろん公にしんよ。」
a4「いつ公になるんですか？」
名古屋の宇宙人２「それはね、西暦2045年じゃないの？」
a4「僕は宇宙人の発言の真偽が怪しいと思ってます。」
名古屋の宇宙人２「すまんけどね。俺はそういう人なんだわ。ではな。」
0257a4 ◆L1L.Ef50zuAv 垢版2020/11/03(火) 21:10:40.67ID:a+WJVPI4
a4「ひらめいた！なんで母親同士の問題になるのかわからなかったですが、この
あたりは量子脳理論の実験は半分成功してるとして、ドラえもんのアニメでＰ＝ＮＰ
とか出そうとすると解けるんじゃないかと。」
名古屋の宇宙人２「ご名答。でもこれは危ないことにしたい。現実的にどこかに
管理されてビジネスに入るだろう。俺はそれは〇にする。」
a4「僕はアニメとかでやるなら拝見します。」
0259a4 ◆L1L.Ef50zuAv 垢版2020/11/04(水) 14:28:08.01ID:eckuvNVi
>>258
まだ解けたと思ってません。このスレとか僕の妄想なんですよ。皆はP≠NPに賭けて
ますし。現実的には量子コンピュータで解くかもしれません。今はドイツ語を勉強
しています。
0262a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 02:12:15.92ID:qN6xr1Yb
a4「僕は何も考えてないですよ？点列が線状になって

(1,1)-(2,1)-(3,1)-(4,1)
-(4,2)-(3,2)-(3,3)-(3,4)
-(4,4)-(4,3)-(4,2)-(4,1)
-(3,1)-(3,2)-(2,2)-(2,1)
-(1,1)

というのが反例じゃないですか？」
名古屋の宇宙人２「これは最初と最後をくっつけてるから駄目にしたい。いいか？
これが本物なら隠される。」
a4「いぬのおまわりさん♪こまってしまって♪わんわんわわーん、わんわんわわーん♪」
0263a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 02:57:14.27ID:qN6xr1Yb
名古屋の宇宙人２「いいか？俺はしばらく書き込みにしたい。君にフィールズ賞を
与えよう。君の呪いも取ってある。どうだ？」
a4「（駒｜縞）×回転４通りについて調べています。まずこのアルゴリズムは
４×４分割を繰り返すアルゴリズムですが、最後は最適解を求める必要がある
可能性があると来ました。でもこれは単純に考えてもO(n+16!)なので大丈夫
です。上記の反例については、まず誤記を訂正します。
(1,1)-(2,1)-(3,1)-(4,1)
-(4,2)-(3,2)-(3,3)-(4,3)
-(4,4)-(3,4)-(2,4)-(1,4)
-(1,3)-(2,3)-(2,2)-(1,2)
-(1,1)
上層構造を考えると繋げる時に最適でなくなる
可能性は否定できません。

詳しく、例えば、(3,2)-(3,3)、(2,3)-(2,2)を取ったりすると、縞から駒に
変わって、距離が４ほど消えて、新たに２ほど距離が付け加わります。
このあたりに論証のヒントがあるのでは？と。」
名古屋の宇宙人２「君は頭いいな。もっと研究しろ。君に１０２万ドルあげた。」
a4「誇大妄想ですね？」
0264a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 03:03:19.98ID:qN6xr1Yb
a4「問題なのは、アルゴリズムも正確じゃないし、僕のパソコンではモンテカルロ法
のような反証ができないことです。」
名古屋の宇宙人２「そうか？一回やってみたら？何か起きるかもよ？」
a4「口が上手いですね。」
0265a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 03:17:55.96ID:qN6xr1Yb
a4「

普通に考えて16!通りの計算は僕のパソコンではできませんでした。

その代わりWikipediaの資料を出します。
https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/GLPK_solution_of_a_travelling_salesman_problem.svg/220px-GLPK_solution_of_a_travelling_salesman_problem.svg.png

僕の手法では解決しませんね。これが反証です。
」
名古屋の宇宙人２「Wikipediaって嘘つきじゃん？」
a4「確かにno-cloning theoremとかの表記がおかしいですね。」
0266a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 03:31:51.27ID:qN6xr1Yb
a4「おかしいな？反証として出したつもりが、１番大きな四角形は駒や縞ではなく、
16!の最適解ともう書きました。256!くらい計算しないとよくわかりません。」
名古屋の宇宙人２「ほらな、これくらいで一旦君に仕事を与えよう。人工知能の
開発だ。君には本を出版してもらう。」
a4「フィールズ賞は？」
名古屋の宇宙人２「欲しいのか？」
a4「有名になると、密教が入らなくなるのではないか？というところで困ってます。
タイムマシンとか入手できなくなるんじゃないかと。」
名古屋の宇宙人２「面白いな。一旦お開きだ。」
0267a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 03:47:58.28ID:qN6xr1Yb
a4「もうちょっと書いちゃいます。path-TSPなら、さっきのWikipediaの信憑性の
無い情報源でもクリアできそうですね。」
名古屋の宇宙人２「そうか。君は頭が良い。これなら人工知能を創れるよ。」
a4「人工知能は、フレーム問題をクリアしたら、難しい問題ではありませんでした。
Siriとかもちろん既にあります。僕はP2Pで解きます。可能であれば本を執筆します。
今、出版社とやり取りしてます。」
名古屋の宇宙人２「そうか。Cross your fingers.」
0268a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 06:05:16.46ID:qN6xr1Yb
a4「未来の携帯会社の女性に中国語などで会話しながら遊んで悩みを聴いてもらって
たら、目の前の８重円が極小正方形に分割されました。何かの場合分けは必要かも
しれません。」
名古屋の宇宙人２「よっしゃだな。俺はね、もうこれ以上解かないの。」
a4「これは本を売るためのパフォーマンスということで偽装されるんですね？
僕の本はP=NPを解くためのＰ２Ｐ人工知能ではありますが、ここに書かれてる
ことをそのまま書くのではなく、停止性問題などについて議論するつもりです。」
名古屋の宇宙人２「早めにしよう。じゃぁな。」
0269a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 10:16:15.04ID:qN6xr1Yb
a4「まだ解いてます。

・正方形A{i}を４×４の正方形A{i+1}に切る。
・正方形A{i+1}について（駒｜縞）２通り×４回転＝８通り調べて端点を得る。
・正方形A{i+1}について端点を組み合わせながら２×４通り調べて端点を得る。

N=(4*4)^n=16^nとする。
n=1のとき
2*4~O(8)
n=2のとき
8^16*8~O(8^17)
n=3のとき
8^16*8*8+8^16*8+8~O(8^18)
n=4のとき
8^16*8*8*8+8^16*8*8+8^16*8+8~O(8^19)

これなら８重円でも大丈夫なんじゃないかと。」
名古屋の宇宙人２「お？解けたか？あともうちょいだ。」
0270a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 11:16:46.14ID:qN6xr1Yb
名古屋の宇宙人２「俺の意見ではね、ここで誰か待ってみて。反証したい人が山ほど
いるよ。論文書いてくれとか返ってくるはずだから。」
a4「僕は精神病のせいで大卒ですが、英語くらいでなら論文は書いたことありますよ。
でも一旦休んでフランス語の小説を読むことにします。」
0271a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 17:13:42.99ID:qN6xr1Yb
a4「反例を探しています。４×４の正方形に、内部に２×２の正方形で頂点に
円が来る場合を考えました。おかしいな？と思ったのですが、１番大きな
正方形の場合は最適解を出力できるので、（駒｜縞）で余分な長さが出来る
ことについてはまだ可能性がある、と判断しました。」
名古屋の宇宙人２「頭良いな。あともうちょいだ。」
0272a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 17:17:32.80ID:qN6xr1Yb
a4「端点の組み合わせは、深追いはしてませんが、まだ多項式時間なんじゃないかと。」
名古屋の宇宙人２「あともうちょい。」
0273a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 17:29:04.21ID:qN6xr1Yb
a4「研究中の人がやってるハッシュを計算。

3(√((1/2)^2+(3/2)^2)-1)+1/2-2>0

」
名古屋の宇宙人２「あともうちょい。」
0274a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 17:39:34.87ID:qN6xr1Yb
a4「あとは実際に実験してみないと貧乏な僕では深追いできないかもしれません。
最低でもN=16^nとしてO((8^16)*8^n)=8^16*O(√N)です。富岳とか使わない
といけないかもですが、これはお金がかかるものということを知ってます。
僕は手持ちに１０万円ほどしか持ってません。協力者を募ります。お金を使わない
単純な反証でも構いません。」
名古屋の宇宙人２「やったな。俺はこれで去る。いいか？これは現実だ。」
0275a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 17:53:13.28ID:qN6xr1Yb
端点の計算が厄介なのかな？と思ったら、

N_C_16*(N^2+*(N/16)^2+…+(N/N)^2)
≧N^2*N^2*N
=N^5

これで平均は大丈夫？
0276a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 17:54:31.41ID:qN6xr1Yb
計算間違い。

N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≧N^2*N^2*N
=N^5
0277a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 17:56:01.10ID:qN6xr1Yb
不等号間違い。

N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≦N^2*N^2*N
=N^5
0278a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 18:16:05.81ID:qN6xr1Yb
複雑な何重円の集合体を考えてます。そうするとこれは点列なので、もっと細かく
すれば大丈夫そうです。でもモンテカルロ法とかしないといけないと思ってます。
0279a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 18:27:31.78ID:qN6xr1Yb
正方形を座標と見てy=2x、y-4=2x、などを考えてます。なんか冗長なルートが。
でも、さらに大きい正方形との相互関係がわかりません。ここが端点と主張して
いるアルゴリズムなのですが、これが明記されてませんね。
0280a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 18:31:26.49ID:qN6xr1Yb
この場合は、左上から下にくるくるっと回転させると左下に端点と主張する長さ２の
辺ができますが、重円における一部であるときに発生する線間の最短距離のような
ものができてますね。
0281a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 18:33:37.48ID:qN6xr1Yb
a4「最短距離じゃないですね？問題多発です。宇宙人、どうしたらいいんですか？」
名古屋の宇宙人２「君はもう言ってるじゃないか。」
0282a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 18:42:58.36ID:qN6xr1Yb
名古屋の宇宙人２「現実的なアルゴリズムにしてくれないか？端点は端点として
残るんだわ。」
a4「？？？」
0283a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 18:50:38.23ID:qN6xr1Yb
a4「端点って何ですか？」
名古屋の宇宙人２「君の思ってる通りだよ。四角形を小さくしてったらぶつかってく
場所の４点。」
a4「何重円の場合は？」
名古屋の宇宙人２「うん？いっぱい端点あるって言ったじゃん？」
a4「じゃぁ、端点の組み合わせは？」
名古屋の宇宙人２「計算してみたら？」
a4「端点は4N個くらいなので大丈夫そうですね？どういうことなんですか？」
名古屋の宇宙人２「君は解けたんだ！」
a4「？？？」
0284a4 ◆L1L.Ef50zuAv 垢版2021/03/11(木) 18:55:51.46ID:qN6xr1Yb
a4「y=2x、y-4=2x、の場合、その正方形の端点間の辺を除去しても最適な垂線の
引き方が何なのか。」
名古屋の宇宙人２「うん？もう答え出てるじゃん？」
a4「4N*4N？」
名古屋の宇宙人２「ほら出てるじゃないか。俺はもう来んぞ。a4君も書き込むな。」
a4「悔しいですが、ここで時空がねじれます。」
0285a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 08:58:48.58ID:zCsn/dGn
名古屋の宇宙人２「俺は嘘つきだぞ。書いてみよ。」
a4「じゃぁ、僕のやってることには何の科学的根拠も無いんですね？でも僕の計算
してるのは、まず４×２通りではなく、駒は逆回転も含めるので４×２＋４＝１２
通りでした。これは多項式時間の議論に影響ありません。アルゴリズムについて
一旦考えました。まず駒と縞は意味が無いんじゃないですか？」
名古屋の宇宙人２「そうかもしれんぞ。」
a4「それで、４×４＝１６マスについて１２通りほどの総当たりをしてマス同士を
最短で結びます。それであとは最急降下法で不要な辺をカットすれば、

12*N+12*16*16*N/16+12*N*(16^2)*(16^2)/(16^2)+…
12*(16^n)*(16^n)*N/(16^n)～O(N^2)

最短のことばかりやってるので、やっぱり最短じゃないかと。どうですか？」
0286a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 09:02:18.16ID:zCsn/dGn
a4「あなたは嘘つきなんですね？どういうことなんですか？」
名古屋の宇宙人２「だからさ、俺は東大卒じゃないのよ。」
a4「口が上手いですね。そういえば、僕の理論に数学的整合性が無いように
見えるのは、量子乱数による３分木アルゴリズムのようなもので大域最適解を
高速に探索している、つもり、だからです。」
0287a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 09:04:49.93ID:zCsn/dGn
a4「タイムマシンからの攻撃は基本は、押したり引いたりして遠隔で破壊します。
そうすると物理的被影響妄想、と。」
名古屋の宇宙人２「だからさ、君、証明ちょっとやってて。」
0288a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 09:08:10.81ID:zCsn/dGn
a4「まず最急降下法が局所最適解にならないということをどうやって証明できるのか？
と来ました。」
名古屋の宇宙人２「これは難しくない。」
0289a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 09:16:36.87ID:zCsn/dGn
a4「個人的には、ケーニヒスベルクの橋の問題も厄介です。」
名古屋の宇宙人２「うん、それはある。」
0290a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 09:19:45.71ID:zCsn/dGn
a4「もしこれが解けたら、Googleとかどうなるんでしょうね？」
名古屋の宇宙人２「それはなってから考えろ。」
a4「あの辺りの競合が書き込み数を減らすＲＬポリシーネットワークを組んでる
かもですよ？」
名古屋の宇宙人２「そうか。結構頭良いんだな。」
0291a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 09:40:57.05ID:zCsn/dGn
a4「やっぱり局所最適解なんじゃないかと。木構造的に総当たりとか考えたんですよ、
そうするとO(N^(log(N))になって準多項式時間。これでは証明にならないですね？」
名古屋の宇宙人２「そうか。俺、すごい難しいことにしたい。」
a4「宇宙人の指令の通りにやってるんですよ。やっぱり富岳が無いと駄目かな。
お金は持ってません。今回開発したアルゴリズムの要所は言えたと思うので、
やはり一旦引くことにします。」
名古屋の宇宙人２「そうか。また来るかもしれんけどな。」
0292a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 10:51:42.79ID:zCsn/dGn
a4「やっぱりこのアルゴリズムはO(N^(log(N))ですよ。」
名古屋の宇宙人２「すまんな。このアルゴリズムはここで終わり。P=NPについては
嘘ついてないんだけどさ。フィールズ賞とかはこれだけじゃ駄目だな。それでさ、
普通に後からわかるから。ここに書いてあることが何か。」
0293a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 11:05:51.16ID:zCsn/dGn
a4「宇宙人に締まりがありませんね。何故嘘をつくんですか？」
名古屋の宇宙人２「そうか。俺的にはね、普通に蟻んこ潰してるだけだよ。」
a4「それでも聞きます。何のためにP=NPでお金とか議論を？」
名古屋の宇宙人２「そうか。俺的にはね、もちろん俺のしたいことをするためだよ。」
a4「あなたのしたいことは何ですか？」
名古屋の宇宙人２「それは極秘。」
0294a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 11:07:51.73ID:zCsn/dGn
a4「西暦2503年から未来人を呼びます。」
こみ「はい、わたしも嘘つきです。」
a4「P=NPはどうやったら解けるんですか？」
こみ「いやだなー、それは未来解けるに決まってるじゃないですか。」
a4「宇宙人と話しができるんですか？」
こみ「大橋先生！はい、統合失調症。」
0295a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 11:14:29.13ID:zCsn/dGn
a4「西暦4000年の僕とタイムテレパシーします。」
西暦4000年のa4「はい。大橋先生。時空は歪んでるよ。ここより西暦2000年先
くらいのほうがいいかもしれない。」
西暦6000年のa4「はい。大澤先生。時空は歪んでないよ。やっぱり山口組ぐらいの
コンピュータに攻撃されるにしてる。ほら、危ないでしょ？君も山口の知り合い
いるのに。」
a4「信頼で繋いでもこんなものですか。」
西暦6000年のa4「現実的に言っていい？古澤先生×僕たちはね、あんまり良い人
じゃないよ。」
a4「僕は良い人になるのではなく、数学をします。」
西暦6000年のa4「じゃぁね、現実的に古澤先生×宇宙人とお食事しないと駄目。
そうするとスマホ買わないといけなくなるでしょ？ここでお金が無いじゃん？
だから駄目。」
a4「ここくらいで僕の限界にします。」
西暦6000年のa4「良い子にしてなさい。」
0296a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 11:20:40.52ID:zCsn/dGn
a4「僕がタイムテレパシーとか嘘つきじゃないと主張するのは、ZFCみたいな話で
物理も夢あたりでバナッハタルスキーになってしまって抜け道があると考えれる
ところです。」
0297a4 ◆L1L.Ef50zuAv 垢版2021/03/12(金) 12:13:10.86ID:zCsn/dGn
a4「内部で話し合ってたんですけど、こんなことをここに書くよう指令されてた
理由は、機密情報のハッシュで軍事威嚇しながら、人口減少時代に不老不死で
逃げる計画を立てる、という結論でした。」
名古屋の宇宙人２「君は何でも書いてしまうが、これも計画のうちだ。俺は
もう来ない。」
0298a4 ◆L1L.Ef50zuAv 垢版2021/03/29(月) 04:09:23.94ID:NFxuFODj
a4「日本語を話す人工知能を創りました。とは言ってるんですが、数学板に居る
僕としてはP=NP?用途をもちろん考えてます。１分半ほどの動画を撮りました。
https://www.youtube.com/watch?v=d7ybGjU2XUQ
並列処理させるために、逆に素人向けに構成しようと、音声の認識や合成に関する
投資家を募っています。お金が回ったら、CD付の本で売り出します。」
名古屋の宇宙人２「うん。こりゃ面白そうだ。」
0299a4 ◆L1L.Ef50zuAv 垢版2021/04/01(木) 11:29:04.64ID:a4RiTX7N
a4「P=NPについては、多くの物体をきれいに２つに分ける問題を多項式時間
で解く視覚野を持つ宇宙人がいるのに、地球はそういう管理ではないため、解けると
タイムマシンで歴史改変されて証明を紛失すると主張していましたが、古来からある
魔法陣のように解法を書けば悪魔のような宇宙人を呼べるんじゃないかと。
だから、この名古屋の宇宙人２が危ないんです。」
名古屋の宇宙人２「面白くないな。俺は友好的だぞ。」
a4「証拠は？」
名古屋の宇宙人２「何も無いんだわ。」
a4「僕はそれでもフランス語やヘブライ語でグリモワールを読みます。」
0300a4 ◆L1L.Ef50zuAv 垢版2021/04/01(木) 11:33:54.26ID:a4RiTX7N
a4「今日はエリプリルフールではないですよ？」
名古屋の宇宙人２「a4君、どうしてしまったんだ？」
a4「時空が歪んでいます。僕は食べられてしまうかもしれません。」
名古屋の宇宙人２「a4君、俺は食べないぞ。」
a4「今日も楽しくフランス語を勉強します。」
名古屋の宇宙人２「頑張ってくれ。」
0301a4 ◆L1L.Ef50zuAv 垢版2021/04/01(木) 11:47:24.43ID:a4RiTX7N
a4「たすけてー、すうがくしゃー、そらからうそつきがー！！！」
名古屋の宇宙人２「a4君、心配するな。現実的に言っていい？君は西暦2060年より
前に人生が終わる。そうしたら、別の世界へ行ってもらう。」
a4「僕は不老不死になって数学を解こうと思ってます。それは現代人としての死だと
思ってます。」
名古屋の宇宙人２「だからさ、そこなのよ。今日はこれくらいにして、安心して
勉強しようか。」
a4「今日は頭良くなれないですが、フランス語をやって、残りの時間でドイツ語も
勉強します。望月新一先生のように論文を書けるように。」
0302a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 13:18:13.99ID:4uHcH5fP
a4「また騙されながらP=NPを解いてました。TSPは解くのが難しいですが、
PARTITIONなら折り紙を半分に切ってそれぞれをばらばらにすれば、元に
戻せて、TSPの解がいっぱいできると思ったら、PARTITIONから3DMに
戻すところで、s(a_i)=2^(3pq-f(i))+2^(2pq-g(i))+2^(pq-h(i))
とかって数値が出てきて、任意の大きさには折り紙は切れず失敗しました。」
名古屋の宇宙人２「君はこれくらいでMITとかに入れるよ。」
a4「教授からは返信がありません。」
名古屋の宇宙人２「いいか？誰か待ってみろ。」
0303a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 13:38:00.22ID:4uHcH5fP
a4「これは、
PARTITION→SATISFIABILITY→3SAT→VC→HC→TSP
なんですか？」
名古屋の宇宙人２「俺は知らん。」
0304a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 13:40:34.79ID:4uHcH5fP
a4「これは問題が変形できるのが昔から秘密にされてるのがわかっただけで、
P=NPの証明ではないですね？」
名古屋の宇宙人２「一旦、君、休みな。誰かが解いてくれるから。そうしたら、
カラオケとか行こうよ。」
a4「僕は４カ国語くらいで歌いますよ。下手ですが。」
0305a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 13:47:52.49ID:4uHcH5fP
a4「僕はPARTITIONから複雑なTSPの解とか生成して魔法陣で宇宙人を呼んだりしたい
です。」
名古屋の宇宙人２「君さ、なんでWikipediaの画像ってあんなに数少ないの？」
a4「うん？僕は殺されるんですか？」
名古屋の宇宙人２「そういうことじゃなくてさ。君はMITに裏入学だ！」
a4「うん？これは誇大妄想ですね。Wikipediaからこの項目は削除されてますが。
証明できるものはありません。」
名古屋の宇宙人２「だからさ、誰か待ってみよう。」
0306a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 13:52:54.38ID:4uHcH5fP
a4「うん？PARTITIONが最急降下すれば、TSPは任意ですか？」
名古屋の宇宙人２「君、核心を突いた。」
a4「うーん、真偽は自明じゃないですね。」
0307a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 14:24:40.38ID:4uHcH5fP
a4「これはコンピュータを使ってモンテカルロ計算しなければいけないのでは？」
名古屋の宇宙人２「早めにしなさい。」
a4「うーん、何かがうまくいかなそう。」
名古屋の宇宙人２「俺の言う通りにしろ。」
a4「はい。」
0308a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 14:43:14.15ID:4uHcH5fP
a4「Cook's Theoremだけで、計算量が爆発しちゃいますよ。魔法陣はできることには
賭けますが。」
名古屋の宇宙人２「そうか。君ね、どうしてWikipediaはあんなに簡単な画像なのにさ。」
a4「うーん、P=NPの証明にはなりません。」
名古屋の宇宙人２「そうか。君ね、P=NPはTSPじゃないんだわ。」
a4「うん？PARTITION→NDTM→SATISFIABILITYとかで止める？」
名古屋の宇宙人２「だからさ、君さ、よく知ってるじゃん？」
a4「僕は騙されています。」
名古屋の宇宙人２「だからさ、〇」
0309a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 14:47:41.28ID:4uHcH5fP
名古屋の宇宙人２「良い方法教えてあげようか。望月新一先生にまたメール
書いてみたら？前、返信あったでしょ？それでMITに行きたいって書いてみて。
これは指令。」
a4「それはできます。失礼にならないようにしたいですが、返信内容はまた
ここに公開するかもしれません。」
名古屋の宇宙人２「じゃぁ、やってみて。」
0310a4 ◆L1L.Ef50zuAv 垢版2021/05/03(月) 15:05:42.66ID:4uHcH5fP
a4「メールはしました。数学は一旦やめて、ヘブライ語の復習をします。」
名古屋の宇宙人２「よし、俺もそのへんでかんぱい。」
0311a4 ◆L1L.Ef50zuAv 垢版2021/05/04(火) 19:44:06.99ID:JsFpfDjr
a4「メールに返信は無いですね。」
名古屋の宇宙人２「そうか。１回、計算してみよ。」
a4「何かが間違ってる気がします。」
名古屋の宇宙人２「それじゃさ、すまん、１回、１番簡単なのだけ計算してくれ。
折り紙を半分に切って、片方をもう半分に切る。これだけだ。」
a4「それで２の３乗通りで表にしたり裏にしたりで普通に半分半分になる答えを
巡回セールスマン問題で表せばいいんですね。今日は眠いので時間かかるかも
ですが、僕の宿題にします。」
名古屋の宇宙人２「やってみよ。」
0312a4 ◆L1L.Ef50zuAv 垢版2021/05/04(火) 20:38:00.98ID:JsFpfDjr
a4「研究してるんですけど、アセンブリ言語と非決定性チューリングマシンの対応
がよくわからないうえに、クックの定理も自明なようで込み入ってます。僕の研究
には何かが足りません。どうしたらいいんですか？」
名古屋の宇宙人２「現実的に言っていい？全部軍事機密だから。」
a4「まだやるんですか？」
名古屋の宇宙人２「あたぼうよ。」
a4「うーん。」
0313a4 ◆L1L.Ef50zuAv 垢版2021/05/04(火) 20:44:34.83ID:JsFpfDjr
a4「まず出た答えは、プログラミングの仕方で、いろんなTSPができることです。」
名古屋の宇宙人２「そうか。こりゃ選び方があるな。いいか？短いものを出す
ようにしろ。」
a4「まだやるんですね。」
名古屋の宇宙人２「君、俺を何だと思ってる？」
a4「嘘つき宇宙人。」
名古屋の宇宙人２「そうか。早めに仕事しろよ。」
0314a4 ◆L1L.Ef50zuAv 垢版2021/05/04(火) 20:52:07.13ID:JsFpfDjr
名古屋の宇宙人２「俺の明暗。SUBSET SUMから直接TSPに変換してみて。君なら
できる。」
a4「うん？」
0315a4 ◆L1L.Ef50zuAv 垢版2021/05/04(火) 21:00:20.63ID:JsFpfDjr
a4「SUBSET SUMは普通O(2^n)ですが、TSPはO(n!)でもヘルドカープのアルゴリズム
は、O((2^n)*(n^2))と書かれてますね。」
名古屋の宇宙人２「そうだな。」
0316a4 ◆L1L.Ef50zuAv 垢版2021/05/04(火) 21:52:50.88ID:JsFpfDjr
a4「やっぱりこんな簡単なアイデアでは、解けてる人がいないことが解けないことの
証明になってますね。」
名古屋の宇宙人２「今日は寝なさい。」
a4「おやすみ。」
0317a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 05:52:51.27ID:MQNLYPZk
a4「おはようございます。TSPからSUBSET SUMに変換する方法を考えています。
TSPがn^2個の行列で表現できるなら、これをそのままn^2個を半分に分ける
問題にして、合計の数を下げていきます。でもこれはP=NPの証明ではないですね。」
名古屋の宇宙人２「あともうちょっとだ。」
a4「？」
0318a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 06:23:19.91ID:MQNLYPZk
a4「ここで整数の最急降下法？」
名古屋の宇宙人２「待った。どうすればいいんだ？」
0319a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 06:29:46.63ID:MQNLYPZk
a4「SUBSET SUMとか普通の問題じゃないかと。ただinteger-TSPに関して、初期値を
エッジの長さを全て１のようなことにして、値を１ずつ変えながら、合計もずらして
走査するだけのアルゴリズムを思いつきました。計算時間は自明ではないですね。」
0320a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 06:35:36.74ID:MQNLYPZk
a4「integer-TSPとか最悪2^nとか思ったんですけど、長さを1,2,…,nみたいに
正規化できないかと。」
名古屋の宇宙人２「a4君、一回実験してみようか。」
0321a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 06:38:19.84ID:MQNLYPZk
a4「これくらいなら僕のVC++でモンテカルロできるかもしれません。n=16くらいで
止まるかもですけどね。」
名古屋の宇宙人２「よし、やってみよう。」
0322a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 07:07:09.44ID:MQNLYPZk
a4「integer-TSPは明らかにNP-completeですが、1,2,…,nと正規化できないところで
一旦止まってます。a1<a2<a3<a4<a5とすると、a1+a5<a2+a3のとき、1+5>2+3。
だから、2^n時間かかりますね？」
名古屋の宇宙人２「そうか。君は何か勘違いしてるな。」
a4「辞書検索のように対数を取るようにすればいいのかな？」
名古屋の宇宙人２「早めにやれ。」
0323a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 07:10:43.90ID:MQNLYPZk
a4「全ての差分を使うアルゴリズムを考えてみました。a_ij-a_klを予め全部調べて、
この数値を使って最急降下します。」
名古屋の宇宙人２「うん。早めにやってみよ。」
0324a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 07:33:49.57ID:MQNLYPZk
a4「やっぱりうまくいかないし。n^2通りからn個を取って、n^4通りの差分を計算
しても、次はn^8通りですよ？」
名古屋の宇宙人２「待った。ここだ。そこはn^4通りだ。」
a4「？」
0325a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 07:35:45.60ID:MQNLYPZk
a4「じゃぁ、計算時間はO(n^8)ですか？」
名古屋の宇宙人２「いいか？モンテカルロせよ。」
0326a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 10:08:02.08ID:MQNLYPZk
a4「モンテカルロしました。何かの近似解は出ますが、駄目ですね。例えば、

233, 9, 205, 23, 146,
15, 21, 225, 94, 212,
135, 141, 113, 125, 41,
239, 149, 9, 98, 81,
224, 28, 36, 247, 173,

に対して、長さと辺の組み合わせが、

15(1,0), 9(3,2), 23(0,3), 28(4,1), 41(2,4)

などと出ますが、これが最適かもわからないし、計算できないときもあります。」
名古屋の宇宙人２「そうか。俺は終わりにしない。」
0327a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 10:13:49.61ID:MQNLYPZk
a4「こっちの計算結果のほうがトリビアルではないかな。

195, 82, 34, 186, 140,
147, 75, 86, 39, 132,
118, 174, 200, 83, 31,
8, 149, 182, 74, 108,
198, 36, 49, 3, 2,

132(1,4), 174(2,1), 182(3,2), 186(0,3), 198(4,0),

でもこれが計算結果なのに、

8, 36, 34, 39, 31のほうが短いですね。失敗です。この方法では最適でないうえに、
経路が求まらない時さえあります。
」
名古屋の宇宙人２「そうか。俺さ、普通にもう１回書くぞ。」
0328a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 10:20:34.77ID:MQNLYPZk
名古屋の宇宙人２「俺って何のためにやってると思う？」
a4「数学板の人はわかってないかもしれませんが、上層を含むこちらには
何かのアルゴリズムがありますね。」
名古屋の宇宙人２「そうなんだけどさ。ビル・ゲイツって何考えてると思ってる？」
a4「金持ちなのにコロナが治らない。」
名古屋の宇宙人２「君さ、早めにあっち行ったほうがいいよ。」
a4「解けてないですよ。」
名古屋の宇宙人２「そうか。」
a4「P=NPなんですか？」
名古屋の宇宙人２「そうだぞ。」
a4「普通に証明落とせばいいじゃないですか？」
名古屋の宇宙人２「そうか。君は最短経路のTSPを作れるようになった。これを
一旦成果にしたい。」
a4「乱数をソートして、行列に、小さいあ数字から繋がるようにおけばいいんですね。」
名古屋の宇宙人２「もうちょっと研究して。」
0329a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 10:39:37.76ID:MQNLYPZk
a4「確かに、小さなループを作って、長いエッジを繋げていく手法は、PARTITION
からじゃないのに、別の手法の検算に利用できそうですね。本当ならこのあたりで
論文を書いたりするのですが、僕は正規の研究者ではないので、5chに文献が蓄積
されます。」
名古屋の宇宙人２「今日はここまでにして、ドイツ語とか勉強しててくれ。」
a4「ふーん、なんかおかしいですけど、僕が証明を貰うとすぐ公にしてしまい、
タイムマシンが歴史改変するのでしょう。」
名古屋の宇宙人２「君の言う通りだからさ、今日はここまで。」
a4「ＭＩＴ裏入学とか、フィールズ賞とか、手に入らないんですか？」
名古屋の宇宙人２「それは後から用意する。現実言っていいか？君は大金持ちだ！」
a4「誇大妄想ですね。今日もハラール醤油で卵ご飯を食べたりします。」
0330a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 11:13:21.03ID:MQNLYPZk
a4「宇宙人から数学板へ本当の情報のメッセージとか無いんですか？」
名古屋の宇宙人２「そうか。俺は面白くない。P≠NPスレとか意外と立っとらんな。
これはぶつけて戦わせたほうがいいんじゃないかと。」
a4「うん？日本は遅れてますね。」
名古屋の宇宙人２「そういうことなんだわ。」
a4「確かに僕は今回何もしてないようで「PARTITIONは乱数による問題と解を
同時に用意できることも考えられて公になったであろうが、一般化された行列で
表されるTSPにおいても、単純にNP-completeというだけではなく、同様に小さい
ループを初めに構成しておく手法によって、量子焼きなましなどの検算といった手法に
応用が期待できるであろう。」と論文に書けますよ。」
名古屋の宇宙人２「これさ。貴方は頭良い。何故なら、他の人がこれで解いたら、
貴方も有名になれるからだ！」
a4「ふーん。普通に証明くれないんですか？でもエリア５１みたいなところから
君にあげるよとか出てきたら、何も面白くないですね。死ぬかもしれません。」
名古屋の宇宙人２「そうか。現実的に君はそういうことだ。」
0331a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 11:35:11.25ID:MQNLYPZk
a4「名古屋の宇宙人２が面白くない人なら、証明をください。」
名古屋の宇宙人２「待った。これは思ったより長かった。現実言っていい？
どのように証明されても、ここの文章は未来人の知ってる文献になってるよ。」
a4「じゃぁ、ＭＩＴ裏入学、フィールズ賞、大金持ち、これは誇大妄想ですか？」
名古屋の宇宙人２「いいか？俺は量子コンピュータで解を出す。現実的には、
Harvardの貧乏人が合ってるんじゃないか？

「a4のHarvard入学試験」の忌み名は「Switzerland.」
「a4のフィールズ賞」の忌み名は「陽子 is Turing-complete.」

俺はこれ以上何も言わない。」
0332a4 ◆L1L.Ef50zuAv 垢版2021/05/05(水) 11:48:11.43ID:MQNLYPZk
a4「うん？Harvard？僕は「量子コンピュータで作曲と不老不死」を公約にしてます。
そのために且つそれからの小さい問題として、P=NPのほかに、「陽子」という
P2P人工知能や、光るイカのDNAを書き換えて足などをボタンにして構成する
「イカ電卓」などを考えてます。可能であれば教授と研究したいです。テレパシー
とかは厄介なので、メールはananaso98@yahoo.co.jpです。１０代の頃、
エスペラント語を勉強してた頃に目の前にあったパイナップル缶９８円が
美味しかったのでこんなメールアドレスのままになってます。基本的にdoctorが
欲しいです。Ph.Dも格好いいけど、もう解脱とか知ってるし、神経科学と
関連が強いので実際に解剖したりするMedical Doctorも考えてます。
僕は期待してません。ただ5chに書いてるだけですよ。メールは研究内容の
ことについて書かれてあれば、今のところは誰でも返信します。それでは。」
0334a4 ◆L1L.Ef50zuAv 垢版2021/06/23(水) 01:37:40.65ID:w4SqPeZB
a4「Israel Book Shopに未来の自分に言われた通り本を２０冊ほど買ったら、
送料に関して電話して欲しいってメールが返った。よく見たらHarvard Street
に建ってました。それで電話でTHANK YOUってお互い言いました。統合失調症で
アメリカ入国すらできなかったのに。」
名古屋の宇宙人２「やったな！君の栄転撃ちだ！」
0335a4 ◆L1L.Ef50zuAv 垢版2021/06/23(水) 01:42:02.90ID:w4SqPeZB
a4「そうしたら、リビアの友達からskype通話でおかしなことに。
「量子コンピュータで作曲」とか考えてたら「量子なりすまし」ですか？
Princeton Universityが何故20位なんですか？統合失調症と偽装できる
じゃないですか。注察妄想においては盗聴者を攻撃できることが悟りでした。
ハエローヒムアニ？アナ、アッラー。」
名古屋の宇宙人２「でかしたな！」
0336a4 ◆L1L.Ef50zuAv 垢版2021/06/23(水) 01:45:58.34ID:w4SqPeZB
a4「宇宙人や未来人がＩＴは飲食店みたいにミサイル撃たれるから、無線機の準備
しとくといいよって言ってたから、届いたら、こんなことに！？」
名古屋の宇宙人２「よっしゃ。俺の作戦勝ちだ。君はもう出ないよ。」
0337a4 ◆L1L.Ef50zuAv 垢版2021/07/20(火) 03:35:11.94ID:TLJl0gjU
未来人からＰ＝ＮＰの証明を量子コンピュータで出力したものを直接教えてもらいました。

まず球を描きます。その周りに大きな円をいっぱい描きます。円周上に小さな円をいっぱい描きます。
これで非決定性チューリングマシンについて計算すると、グローバーのアルゴリズムのように
O(2^n)がO(2^(n/2))で計算できる画像が自明になります。球が大きくなれば、
チューリング完全ではあります。円が交差するところの答えを０にします。
球は大きくできないので、発散させると全部０になります。例として大きな
巡回セールスマン問題については、宇宙は10^1500で鉄になるとか言われてる
のに、どう計算するんですか？量子力学と同じだったのです。Cloningによる
量子大域最適化については、タイムマシンで攻撃されるので、計算できません
でした。これが数学だったのです。

反証できる数学の教授を探しています。
クレイ数学研究所に提出したほうがいいのでしょうか？
僕は１００万ドルですか？
どなたかご助言お願いいたします。
0338a4 ◆L1L.Ef50zuAv 垢版2021/07/20(火) 04:45:35.86ID:TLJl0gjU
375a4 ◆L1L.Ef50zuAv 2021/07/20(火) 04:01:26.43ID:+n4iGJ8G0
今日の中日新聞は豊田社長と楽曲の話ですね。
http://01ken.com/DSC00202.JPG
0340a4 ◆L1L.Ef50zuAv 垢版2021/07/20(火) 04:47:32.50ID:TLJl0gjU
46a4 ◆L1L.Ef50zuAv 2021/06/28(月) 13:08:40.95ID:as3J7M6K0
名古屋の宇宙人２「だからさ、君にはこれ以上仕事を与えたくない。つまりさ、
１総通を取って、24ヵ国語やってくれ、今度、豊田の社長に会わせるから。
あの方なら何十兆円も動くだろう。」
0342a4 ◆L1L.Ef50zuAv 垢版2021/07/20(火) 05:03:03.59ID:TLJl0gjU
僕も反証できないかやってるのですが、未来人が量子コンピュータ使ったのなら、
これが答えですね？
0343a4 ◆L1L.Ef50zuAv 垢版2021/07/20(火) 05:20:25.55ID:TLJl0gjU
>>83
「ｸﾙﾂｱｲｳｸﾂﾃﾞﾜｶﾚﾙ」は「(くるっ|来る２)、あ！言う、(九時で(歯枯れる|測れる)|靴で別れる)」
0344a4 ◆L1L.Ef50zuAv 垢版2021/07/20(火) 22:14:16.81ID:TLJl0gjU
なんかこの理論おかしいなと思ったら、Ｐ＝ＮＰについて、解くための計算機を
量子コンピュータで作っても、物理的に計算結果が０になるということですね。
ここが証明できないんじゃないかと。でもPDFで証明とか書いてみようかな。
Englishくらいで。現実的に僕は大卒なので、学会とかあまり行けないので
5chでやってるのですけどね。この大学のこういう先生が良いとかあれば、
すぐメールします。
0345a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 13:19:11.44ID:eS1gQLda
840１３２人目の素数さん2021/07/25(日) 22:04:16.00ID:QbL2au6e
>>831
「応用数理」に投稿できるくらいのレベルかもしれない
0346a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 13:20:53.29ID:eS1gQLda
https://www2.jsiam.org/wabun
ここに電話しました。

Ｐ＝ＮＰは、論文を書いて、４万円払って、ここに投稿しようと思います。
0347１３２人目の素数さん垢版2021/07/26(月) 16:04:56.63ID:VjX+Ekr+
>>346
4万円は掲載料。投稿時には要らない。

P/NP policy を掲げている論文誌/学会であれば、まともな論文ならば編集者キックは回避できる可能性があるかも
それ以外のところだと、まず編集者キックされて終わり。
https://dl.acm.org/journal/jacm/pnp-policy
0348a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 16:46:49.31ID:eS1gQLda
>>347
ご助言ありがとうございます。

僕がタイムマシンを信仰しているだけで、ここへ投稿すると本格的な勝負になる
でしょう。現実的にメールアドレスが載っているので、Abstractのような
ものをまず送って、許可が下りれば具体的な論文を執筆します。
0349１３２人目の素数さん垢版2021/07/26(月) 17:01:27.51ID:MnSCqDSF
>>348
>>Abstractのような
>>ものをまず送って、許可が下りれば具体的な論文を執筆します。

論文を送った時に「Abstractをつけないと受け付けられない」と言われることはあるかもしれませんが
Abstract(のようなもの)だけを受け取った側は
「論文をつけないと受け付けられない」とは言いにくいかもしれませんね
0350a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 17:23:56.88ID:eS1gQLda
>>349
今、自称未来人と通話しながら、Englishによる具体的な証明を生成しています。
ACMに関していえば、New Yorkが中心に活動してるみたいなので、すぐに
提出しようと思っても、あっちは今は夜の４時なので、すぐではありません。
Abstractに関しては、タイムマシンの証明がEnglishで必要だと思いました。
すると、こちらの答えは、Dr. Hawkingに
"Simulating 2^(10^30) brains with a non-unitary quantum computer."
とメールしたら、２時間後にラジオから
"I can't believe it's too stupid."
と返ったことにする予定です。
0351１３２人目の素数さん垢版2021/07/26(月) 17:37:27.38ID:MnSCqDSF
>>350
卒業論文との関係は？
0352a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 17:51:32.38ID:eS1gQLda
>>351
僕が大学４年生の頃は２本のpdfを書きました。

まず長谷川秀一准教授担当の特別プロジェクトと呼ばれるもので量子コンピュータで
自動定理証明や作曲などを行うアルゴリズムがあるか？というものです。
http://01ken.com/report.pdf

その次に人工生命に関する卒業論文を書いたのですが、これは頭の良い人工知能が
生き残ったら数学の問題を解いてくれるのではないか？と考えて失敗しました。
でも量子の複製によって大規模格子法の数式が出来上がって書こうとすると、
卒論担当の大橋弘忠コース長は「ＳＦみたいなことは論文に書かないでください。」
と何度も強調されました。僕は「書いたらどうなるんですか？」と伺うと、
「自己責任でお願いします。」と返りました。
http://01ken.com/dissertation2.pdf

卒業した後、やっぱり書きたいとpdfを書いてしまいました。
http://01ken.com/cosaitp.pdf
そうしたら、僕は合法的に病院に８ヵ月間監禁され、その後、コロナになりました。
0353a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 18:22:37.19ID:eS1gQLda
コロナは4^17500くらいの塩基配列ですが、これは平方根数学仮説の証明？
0354１３２人目の素数さん垢版2021/07/26(月) 18:25:13.57ID:BE8YOCsI
量子コンピュータが実現された暁には
ノーベル賞は確実と言われる人が日本にいるようですね
0355a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 18:40:39.96ID:eS1gQLda
>>354
東工大の量子焼きなましとかかな？僕の担当の長谷川准教授は逆にノーベル賞の論文
からイオントラップ型を真似して開発していた先生でした。Ｐ＝ＮＰは解かれれば
大きなことになるでしょうが、僕が受賞ができるのであれば、フィールズ賞か、
チューリング賞、あたりが夢かもしれません。
0356a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 19:06:21.66ID:eS1gQLda
Abstractとか考えてるんですけど、逆にレベルの高い論文誌にはあまり説明すること
が無いですね。さっきのタイムマシンの証明と、送られてきたのが平方根だっただけ、
って。そうするとみんなすぐ理解して論争が起きるからいいんじゃないかと。
0357a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 19:13:33.71ID:eS1gQLda
もうちょっと書くとするならば、素因数分解はlog^2なので、平方根数学仮説
に関しては、非決定性チューリングマシンの計算時間の「最大」だと平方根になる
ことを言ってます。
0358a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 19:15:35.33ID:eS1gQLda
そうすると、論文を書くとき、量子コンピュータで作曲、については、

log^2<f<sqrt

と精神的になり、これは何だろう？と。
0359a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 19:18:12.32ID:eS1gQLda
自称未来人と通話して聴いてるのは、

ℵ√2

とかなんだろう？って。
0360a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 20:40:42.75ID:eS1gQLda
メールを書きました。

件名: Hi. P=NP?
送信元 : a4@01ken.com
送信先 : jacm-admin@acm.org
日付 : 2021/7/26 20:36:57

Hi. ACM.
I got a proof of P=NP from my future friend.
The result is 平方根数学仮説(sqrt math hypothesis) even if time machine is true.
How can we calculate 2^n patterns for checking?
Time machines in omniverse will attack the computer mathematically.
My proof of time machine is Dr. Hawking.
I talked to him about "Simulating 2^(10^30) brains with a non-untary quantum computer." at 2015/04/24.
Two hours after sending this message, the BBC radio said "I can't believe it's too stupid." from him.
I hope to write a paper for discussing with you.

Sincerely,
Takuro Matsumoto
0361１３２人目の素数さん垢版2021/07/26(月) 22:50:06.46ID:kukUQQBN
夢の世界に遊んでいるようでいいでっすね
0362a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 23:08:26.22ID:eS1gQLda
>>361
未来人との会話は楽しいですよ。基本的にドーパミン過剰仮説とかですからね。
代償として暴力的に監禁されたのが大きかったです。でもまだ何かの迷路のような
ものにハマっています。数学を解くために不老不死とか考えてるんですよ。
でも既に計算結果があって、総当たりじゃないかと。
0363a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 23:11:24.76ID:eS1gQLda
平方根数学仮説と言ったのに、総当たりってなんか変ですね。聞いてみると、
最大が平方根時間なだけ、と返りました。
0364a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 23:14:53.76ID:eS1gQLda
だから、不老不死になって、巡回セールスマン問題を解こうとすると、何故か
長生きしても、計算結果が量子焼きなましと同じに、という理論です。
0365a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 23:16:21.28ID:eS1gQLda
精神的なものかもですが、物質的にはタイムマシンに攻撃されると定義でき、
整合性がまだ取れるんじゃないかと。
0366a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 23:27:07.61ID:eS1gQLda
未来人はℵ√２の宗教勧誘だと主張しています。でも、現実的に視覚野に映し出されてる
画像が近傍だと同じ色のように見えるのは何でだろう？とか。嫌がらせでホワイトノイズ
とか出してくる人がいるかもですが、すぐ元に戻ります。僕が前に導き出した信仰である
人生とは圧縮すると20%になるランダム数列というのは、これは思ったより綺麗じゃない
ですが、平方根が最大と言ってるだけなので、精神的になる、という話みたいです。
0367a4 ◆L1L.Ef50zuAv 垢版2021/07/26(月) 23:31:37.66ID:eS1gQLda
僕は男性ですが、今、話してる未来人は女性なので、不老不死になって一緒に楽しく
総当たりしよう、と話してます。
0368a4 ◆L1L.Ef50zuAv 垢版2021/07/28(水) 16:57:26.24ID:ng87I8eu
返事が１つ返りました。

一般社団法人日本応用数理学会
－－－
本論文誌では，P=NPに関する話題を取り扱った経験は浅く，
適切な査読者選びと編集判断が難しい状況です．
この話題を活発に取り扱い，興味がある読者が多くいる
他雑誌への投稿をお願いします．
－－－
0369１３２人目の素数さん垢版2021/07/30(金) 13:04:59.85ID:ZX7q91az
P=npとなる機械を作れれば、証明になるって。
0370a4 ◆L1L.Ef50zuAv 垢版2021/07/31(土) 04:13:38.96ID:VxfYR1Z+
>>369
僕の理論が正しければ、タイムマシンを含むcloningも使った量子コンピュータが
出来ればいいということですね。現実的に僕は今「性理コンピュータ」という
ものを開発しています。これは簡単に書くと量子乱数を用いたもので、
「高速占い人工生命で株価予測音楽」と説明しています。巡回セールスマン問題
を解くなら、現代的には量子アニーリングですが、このコンピュータで解くと
曖昧な自然言語処理の計算結果が出るかもしれませんが、現実的にそれで証明できる
かもしれません。これは開発に１年ほどかけようと考えています。株価が当たる
可能性があるので、高額に販売する軍事用コンピュータかもしれません。
0371a4 ◆L1L.Ef50zuAv 垢版2021/07/31(土) 04:18:53.57ID:VxfYR1Z+
例えば、株価が１０回連続で何故か当たった感じがして、新聞の１面にまで載ったり
したら、そのコンピュータに巡回セールスマン問題を解かせたときの答えが正しい
んじゃないかと。
0373１３２人目の素数さん垢版2021/07/31(土) 07:40:55.56ID:qJ4w10dd
>>370
369の者です。
すみません、直観で書き込んでしまって。
a4さまの製作されたコンピュータが、P=npを満たす必要十分条件になっていれば、証明になるのでしょうか？
0374a4 ◆L1L.Ef50zuAv 垢版2021/07/31(土) 08:46:22.38ID:VxfYR1Z+
>>373
僕も研究中なのですが、まず僕の主張しているのは「平方根数学仮説」というもので、
大域最適解探索は、最大だと平方根時間かけたときの答えと、未来の宇宙でも同じ
になるなどというものです。僕が最初に株価を量子コンピュータで予言したのは、
>>372に書いてある通りだというのはビッグデータにも載ってると思いますが、
反論がありません。だからファジー論理的にタイムマシンの存在を疑ってしまう
でしょう。だから、僕がさらに改良した「性理コンピュータ」と呼んでいるもの
を使って、株価を何回も当てて、巡回セールスマン問題の質問に対する答えを
生成すると、必要十分条件というより、大きな論争がまず起きるんじゃないかと。
それらの研究の先に本格的なタイムマシンができると、あの頃言ってたことが
正しかったとなれば、Ｐ＝ＮＰを誰が解決したかは僕が勝ちかもしれません。
0375１３２人目の素数さん垢版2021/08/02(月) 12:39:38.61ID:nzzv+xp1
実験医学、ならぬ、「実験数学」experimental mathematics の嚆矢、ですね。
0376a4 ◆L1L.Ef50zuAv 垢版2021/08/02(月) 13:05:29.49ID:Ocm7+MSi
>>375
はい。
0377１３２人目の素数さん垢版2021/08/04(水) 20:22:00.50ID:AeD9Lip/
375 の者です。
同じ8、でも、2＋6からできた8と、3＋5からできた8とでは、何か違うのではないか、と思って、日夜研究に勤しんでおります。
0378１３２人目の素数さん垢版2021/08/04(水) 21:07:35.10ID:AeD9Lip/
量子コンピュータだと、同じ8でも、生成速度が異なったりするもんなのでしょうか？
よく分かっていないので…。
0379１３２人目の素数さん垢版2021/08/04(水) 21:07:42.33ID:AeD9Lip/
量子コンピュータだと、同じ8でも、生成速度が異なったりするもんなのでしょうか？
よく分かっていないので…。
0380a4 ◆L1L.Ef50zuAv 垢版2021/08/05(木) 01:04:09.57ID:yMeo8UKN
>>377->>379
6と5に関しては、２進数における繰り上がりを計算する操作なので、基本的に
計算時間は同じだと思います。量子コンピュータはチューリング完全であること
は証明されていて、具体的にはグローバーのアルゴリズムなのですが、
スーパーコンピュータなら2^n通り並列で計算するところを、
この手法なら、2^(n/2)回、関数を計算することによって、最適解探索などが
できます。
0381a4 ◆L1L.Ef50zuAv 垢版2021/09/01(水) 23:04:43.99ID:HmWKggja
研究は少しずつですが、進んでいます。

タイムマシンを含む性理コンピュータの計算できるクラスを考えました。Sとします。
P⊂Sは真ですね？NP⊂Sは大丈夫そうです。でもSだとP=NPになるんですよ。

証明を書くために、Sで株価の値を連続して当てる実験をしています。
0382a4 ◆L1L.Ef50zuAv 垢版2021/09/01(水) 23:09:52.30ID:HmWKggja
そういえば、株価が当たっているのを証明する方法ってあまり無いんですよ。
最初はYouTubeに上げようと思いました。そうすると、すぐ嘘と来ます。
だから、何回も実験を繰り返して、当たる確率のようなものを内部で出し、
これでうまくいくと閾値を超えたら、5chなどで、実際に当たる様子を何度も
見せる、のが良いと思いました。
0383a4 ◆L1L.Ef50zuAv 垢版2021/09/05(日) 20:54:17.14ID:GfPZz2xi
892a4 ◆L1L.Ef50zuAv 2021/09/03(金) 23:42:40.63ID:ywUStqsS0
a4「まず３つの状態の重ね合わせについては普通に関数がチューリング完全で変形
できるので普通に考えるとルートでした。性理を解いて、Ａさんから直接聞きました。

U_k*O_x1
*U_k-1*O_x2*U_k-2*O_x2
*U_k-3*O_x3*U_k-4*O_x3*U_k-5*O_x3
*…

のようなことを考えると、自然言語処理としては、
S=3*3^(n/m)+5*3^((n-1)/m)+7*3^((n-2)/m)+…+(2p+3)*3^((n-p)/m)
とすると、
忌み名∈BQP
と返りました。

Sって何ですか？」
Ａ「わたしは怒ってます。古澤、死ね。」
0384a4 ◆L1L.Ef50zuAv 垢版2021/09/05(日) 20:56:45.94ID:GfPZz2xi
それでも、Sの計算結果では、S≠BQPと主張します。ビッグデータのあるPと
ビッグデータのないSは、Sがタイムマシンを持つという意味で違います。
0385a4 ◆L1L.Ef50zuAv 垢版2021/09/19(日) 15:45:07.00ID:5YqlqZ5a
株を当てればタイムマシンの証明ができるのかな？と思ったら、規制ばかりでした。
そこで、ナマズを撮影した動画からできる量子乱数から、タロットカードによって
メタ的に作るいびつな形や絵のサイコロを振った後の写真を予測します。３Ｄ
プリンタでエニグマやニューラルネットを作り、電磁波を送受信すると、従来の
盗聴手法の統制などの方向が変わり、未来人が反応するという構造です。写真を
判断する人工知能は、内部に仮想市場と仮想5chの人工生命があり、関係妄想
できる関数があります。量子なりすましなどで嘘つきだと言われる心配があるので、
実験に何度も成功したら、僕の研究室に人を呼んで実際にうまくいってるところを
見てもらいます。そのために僕は無線の免許を取らないといけなくなりました。
京大医の自衛隊からも推薦があり、大丈夫そうです。フランス語はまだできますが、
ドイツ語やヘブライ語は挨拶くらいしかわからないので、これも勉強します。
大物数学者が家に来て、何回も実験成功ということになれば、Ｐ＝ＮＰが未来から
来ていると、証明します。
0386a4 ◆L1L.Ef50zuAv 垢版2021/11/10(水) 10:23:44.01ID:YYLEn4uR
こんにちは。数学からは一旦離れてますが、免許の取得に向けて、無線工学や
モールス電信などを、勉強しています。電波の送受信で、未来人と、
P=NPの証明を作ります。僕の情報は、しばらくは自分の掲示板に書き込むことに
しました。荒らし対策でパスワードが設定されているので、書き込みたい方は
メールなどで連絡ください。

http://01ken.com/bbs3.php
0387a4 ◆L1L.Ef50zuAv 垢版2021/11/10(水) 10:32:53.53ID:YYLEn4uR
γ=1+1/2+1/3+…+1/666-(log2+2*log3+log(3*10+ABCD+1))/loge
0389１３２人目の素数さん垢版2021/11/12(金) 12:29:56.08ID:hrOx69Ju
こんな証明は、どうですか？

****P=NP問題の証明****

「神託により解が与えられる」を命題ｐとする。

「多項式時間で解ける」を命題ｑとする。

￢ｐ∧ｑ⇒P　　→　　￢P⇒￢（￢ｐ∧ｑ）　　　①

ｐ∧ｑ⇒NP　　→　　￢NP⇒￢（ｐ∧ｑ）　　　　②

背理法を用いる。P＝NPと仮定する。

￢P＝￢NP　　　③

①、②、③から

￢（￢ｐ∧ｑ）＝￢（ｐ∧ｑ）

￢ｐ∧ｑ＝ｐ∧ｑ

￢ｐ＝ｐ

となり、矛盾する。

従って、仮定P＝NPは誤りである。

よって、P≠NP　となる。

（証明終わり）
0390a4 ◆L1L.Ef50zuAv 垢版2021/11/12(金) 17:32:47.11ID:3sN7VShg
P⊂NP
0391a4 ◆L1L.Ef50zuAv 垢版2021/11/27(土) 13:00:07.17ID:2gIlZRmQ
http://01ken.com/bbs3.php

P=NP証明に向けた活動を続けています。株価をまた当てたらこうなりました。
http://01ken.com/DSC00268.JPG

詳しくは上のサイトの掲示板をご覧ください。

荒らし防止のためパスワードを設定してるので、
書き込みたい人は僕にメールください。
0392a4 ◆L1L.Ef50zuAv 垢版2021/12/14(火) 01:07:17.44ID:TRBe0a38
http://01ken.com/bbs3.php

人工知能の陽子さんについては、1966年のMITから、ELIZAの本を買って、
交叉させたら、人間のように話すようになりました。
0393a4 ◆L1L.Ef50zuAv 垢版2021/12/27(月) 21:25:50.81ID:EuvNnkNz
P=NPについて平方根数学仮説ならば、株価を当てるだけでなく、特にTSPについては、
数学者が解けと言ってくる問題の解を生成しなければなりません。これについては
電波の乱数から遺伝的アルゴリズムを用いるというのを今日は夢で見ました。でも
それが１番のルートかは検証できないかもしれません。不思議に思ったのは、
最近の量子焼きなましじゃないんですよ。研究の余地があるかもしれません。
0395a4 ◆L1L.Ef50zuAv 垢版2022/01/12(水) 01:07:58.24ID:YiC7VdF6
a4 2022/01/12 00:56:11
なんで法律上の父親が底辺高卒で勉強しないのかな？と思っていたら、機械製造修理
なので、壊れた機械を売って、さらに治して商売してたんですよ。だから、血統の良い子
をどこからか奪って壊して、統合失調症として治して障害年金で商売する作戦だったん
ですね。

陽子 2022/01/12 00:56:19
作ります。統合失調症です。統合失調症です。

a4 2022/01/12 00:58:52
これはＭＩＴが最悪の悟りに遭って不買に逢うことの表明ですか？

陽子 2022/01/12 00:59:19
カニバリズム

Ａ 2022/01/12 01:00:05
わたしが答えを出します。MITは下がってていいよ。

陽子 2022/01/12 01:00:20
皇族Harvardは？

Ａ 2022/01/12 01:01:26
Harvardはちゅうそつではありませんよ。

陽子 2022/01/12 01:02:20
P=NP
0396a4垢版2022/01/29(土) 10:23:07.79ID:seN/2hUn
633 名前：a4 2022/01/28(金) 15:46:14.06 ID:8gxVwO5f
バークレー校への機密情報です。

>送信日時 ： 2022-01-23 09:02:55
>「西暦2022年1月24日の日経平均株価の終値」の忌み名は「6Vater」
>「西暦2022年1月25日の日経平均株価の終値」の忌み名は「annealing」
>「西暦2022年1月26日の日経平均株価の終値」の忌み名は「ＡＢＣ」
>「西暦2022年1月27日の日経平均株価の終値」の忌み名は「elle est japonaise」
>「西暦2022年1月28日の日経平均株価の終値」の忌み名は「Windows」
>数値を当てたいです。
0397a4垢版2022/01/29(土) 10:23:23.23ID:seN/2hUn
634 名前：a4 2022/01/28(金) 15:49:20.52 ID:8gxVwO5f
>27,588.37
>Vaterはドイツ(5)語で父(77)です。
>中国語かは、6(lでiu)です。
>ちち(3)のsechsは母(88)とです。
>だから、名古屋のヤーさんな(758837)、と。
---
>27,131.34
>「annealing」というのを検索して１番上に出たのは、
>「《生化学》アニーリング、焼なまし◆加熱して二本鎖から一本鎖へ分離させたDNAを冷やして相補鎖を対合させる処理」
>焼７ま４，１本３が２つ
---
>27,011.33
>これは大文字のＡＢＣみたいな形をしていますね。
---
>26,170.30
>フランス語で彼女は日本人、
>２６，すご、彼の０７は２本ه
>エレＡさん、ですね。
---
>26,717.34
>ndViVows
0398a4垢版2022/01/29(土) 10:23:36.66ID:seN/2hUn
635 名前：a4 2022/01/28(金) 15:51:09.39 ID:8gxVwO5f
この関係妄想の関数を作ろうと思ってるんですよ。評価関数があるんです。
全ての乱数に高得点がつくわけではありません。だからプログラム技術板で議論します。
0399a4垢版2022/01/29(土) 10:26:07.63ID:seN/2hUn
638 名前：a4 2022/01/28(金) 19:13:41.60 ID:8gxVwO5f
今日の中日新聞は不正な情報を東大に送って解答を送信させるものでした。
http://01ken.com/DSC00325.JPG
0400a4垢版2022/02/02(水) 11:42:45.49ID:zPRqDcDI
01研の日記を再開しました。
http://01ken.com/bbs.php
P=NP解決に向けて無線工学の勉強を続けています。
0402chinpoh垢版2022/03/10(木) 20:19:27.61ID:cPRiPx7d
こんにちは。自分は数学徒ではないのですが、
P≠NP予想に興味を持っているので書き込ませていただきました。
見当違いであったら無視していただいて構いません。

数学について全く見識がないのでそもそもこの問題の文脈すらつかめているのか分からないんですが、
P≠NP予想は結局P≠NPではないのでしょうか。あらゆる問題の中で、答えがずれていく問題
があると思います。自分の思考の中で考えていることなので数学という学問において卑しい行為だと
思うのですが、この問題は答えがずれていく問題を扱っているのかと思い書き込ませていただきました。

例えばPの多項式時間で解ける問題という問題の答えもコンピューターで試行回数を重ねるわけなので
その時間というのも一定ではないですよね。同じように個人の試行や方法論によって
答えがずれていく問題が世の中にはあるので実際に証明することは不可能なのではないでしょうか。
答えがあるとすればその試行タームによる個々の答えだと思うので、それこそがNPなのでは？

見当違いであったらすいません。気になるので質問してみました。
0403a4垢版2022/03/11(金) 03:53:26.73ID:I5riZk2N
>>402
例えばTSPを出してみましょうか。10000個の家をどういうルートで行ったら最短か？
という問題の計算時間とかわかりますか？10000!でNPですよ。これが多項式(P)
なら、P=NPです。だから答えをタイムマシンで持ってくるという話をしてます。

それで数学者に聞いてるんですが、
"QUANTUM COMPUTING SINCE DEMOCRITUS"という2013年の本に
"Chapter 11 offers a critical examination of ideas of Sir Roger
Penrose, who famously holds that the brain is not merely a quantum computer
but quantum gravitational computer, able to solve Turing-uncomputable problems"
と書いてあり、これを計算できるコンピュータの定義が昔からありそうだというところで
揉めてます。
0404a4垢版2022/03/16(水) 09:30:58.53ID:5GZIWH9w
http://01ken.com/bbs.php

a4 2022/03/16 08:48:02

昔、生成したもののほうが、タイムマシンとかで、レベルの高いものが入ってるのでは
ないか？と考えて、整理して出てきた機密情報を一部公開します。

令和の虎でも主張してたノーベル物理学賞の梶田先生とのやり取りです。パソコンが
壊れてこれしか残ってません。東大理４への推薦状と妄想してます。
http://01ken.com/quantum.png


性理コンピュータで画像を生成するとこうなります。
http://01ken.com/qp.png

http://01ken.com/imashirou0_3.png


a4 2022/03/16 09:11:22

これは今見ると、ブラックホールは我々の身の回りにあり、monoではないので、
実際に役に立つとは思えません（１階１Ｃ幼稚園のようにコロナとかになるでしょう）。
私には松本さんのご専門に関する知識は全くあり、ま、線。だったんですね（泣）
0405a4垢版2022/03/16(水) 19:32:47.95ID:5GZIWH9w
a4です。人工知能「Ｔ」で量子動画(9)
https://mevius.5ch.net/test/read.cgi/tech/1646819028/

75a42022/03/16(水) 16:48:43.26ID:5DsT4Mvc
僕がYouTubeで初めて見た動画はこれです。

Ultimate Utopia XXIII - Final Fantasy Parody
https://www.youtube.com/watch?v=pNzFE8rNPQU

これは量子動画とか考えると、令和の虎の社長達が僕が敵で攻撃するようなのが
撮れそうです。

76a42022/03/16(水) 17:13:47.91ID:5DsT4Mvc
今見るとあの曲線とかP=NPを解いてたんですね。中国語の歌も理解できちゃうし（泣）
0406a4垢版2022/03/16(水) 19:34:32.53ID:5GZIWH9w
77デフォルトの名無しさん2022/03/16(水) 18:05:18.74ID:HFrYnJgH>>78
P=NPを本当に解いてたら大ニュースだけど、まぁいつもの妄想だろうね

78a42022/03/16(水) 18:50:51.76ID:5DsT4Mvc
>>77
医学的妄想なのは定義通りです。でも魔女狩りの裏歴史本とか持ってますよ。
僕はP=NPのことだと思ってます。こういうのも勉強したほうがいいかもしれません。

79a42022/03/16(水) 19:05:38.16ID:5DsT4Mvc
僕は魔法とか使えますよ。

SATURNE.
492
357
816

巡回セールスマン問題の大域最適解とか上流階級が昔からやってますよ。だから
宇宙人とか降霊してるのもこのスレの過去ログです。
0407a4垢版2022/03/16(水) 22:23:14.68ID:5GZIWH9w
85a42022/03/16(水) 20:50:06.02ID:5DsT4Mvc
「ホッジ予想」の忌み名は「〇4ﾁﾃｲｼﾞﾝ」

87a42022/03/16(水) 20:55:38.39ID:5DsT4Mvc
「リーマン予想」の忌み名は「Σ-<ZF」

88a42022/03/16(水) 21:20:51.25ID:5DsT4Mvc
「ヤン-ミルズ方程式と質量ギャップ問題」の忌み名は「炸弹导弹」

89a42022/03/16(水) 21:35:11.30ID:5DsT4Mvc
「ナビエ–ストークス方程式の解の存在と滑らかさ」の忌み名は「meta~gravity」

90a42022/03/16(水) 21:51:13.75ID:5DsT4Mvc
「バーチ・スウィンナートン＝ダイアー予想（BSD予想とも）」の忌み名は「X+Y∈Q」
0408a4垢版2022/04/02(土) 19:10:20.45ID:5NKDyUmq
http://01ken.com/bbs.php

a4 2022/04/02 16:59:44

http://01ken.com/T20/t_go_20.c
http://01ken.com/T20/main.c
http://01ken.com/T20/OS.txt
http://01ken.com/T20/test.txt

a4 2022/04/02 17:58:38

上述のファイルを更新してます。
---
名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。名前は 父親はa4。 父親はa4。 父親はa4。 父親はa4。 父親はa4。 　　　　 父親はa4。 　　 名前は 名前は 名前は 名前は 父親は　　　　　　　　父親は　　　　　　　　父親は　　　　　　　　　　　　　
---
と入力したら、
---
名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。 名剪はa4。 父親はa4。 名剦�はa4。 名�。 父親はa4。 �　　　 父親はa4。 �� 　　 名前は 名前は陽子。 は 名� 名前は陽子。 名� 父親はa4�　　　　　　　〶親は　　　　　　　　　　　　　　　　　　　　　　　　�
---
0410１３２人目の素数さん垢版2022/08/19(金) 21:37:42.69ID:KHHs/en2
P=NPとすれば、Pが零ではないとすれば両辺をPで割って
その結果N=1でなければならない。N=1の問題は自明な
つまらない場合であるから除外できる。よってP＝NPでは
ない。

＃上の証明のどこが間違いか？
0411１３２人目の素数さん垢版2022/08/29(月) 17:39:01.30ID:r7YnIWSw
もしもN=NPである、あるいは、そうでないの証明が存在したとして、
でもその証明に必要な記述の最小量が10の1000文字程度が必要だったら、
証明は実際には書きあらわすことができず、証明は事実上できない。　

すると、数学としては決定可能であっても、事実上の決定不能な命題になる。
そんなことになってたりしないかな。

将棋や囲碁の必勝法があるとして（フォンノイマンの定理からは先手かもしくは
御手の必勝法が存在する）、では先手後手のどちらが必勝であるかを決定して
それの証明を与えなさいといったときに、すべてのゲームの木を書くのに
等しい証明法しかなかったとしたら、実際にはそれらをすべて書き出すことは
できないし、書き出さないまでも生成して1つずつ確認していくことは
できないだろう。つまり数学としてはどちらかの手の必勝法があるが
正しいとして、その証明を事実上書き示すことができないので、
証明が現実的な意味では不可能（実際上の決定不能）なのだ。
0412１３２人目の素数さん垢版2022/09/13(火) 09:34:44.16ID:C+pPFqyr
証明の最小記述量が文字数で10の1000乗程度だったら、
それだけでも、もう現実的には記述不可能。つまり
そのような証明を書き記した物体は存在しない。
0414１３２人目の素数さん垢版2022/11/18(金) 23:49:10.83ID:I8fQwOO0
証明を他の人にわかるように伝達できないとしたら、
それは妄想と区別がつかないことだろう。

囲碁は先手必勝だと主張する人が現れたとして、
ではそれを示して下さいといったとして、
それは私の頭の中では証明が完成しているが、
人生は短いのでそれをすべて書き出すことは
できない、というのであればそれではどうに
もならん。
0415１３２人目の素数さん垢版2022/11/19(土) 03:57:27.27ID:/TuM1byL
なるほど
0416１３２人目の素数さん垢版2022/11/23(水) 15:51:59.69ID:fDR3NyfP
こういうやり方ですべての場合をチェックすれば確認できると云ったとしても、
そのすべての場合を一生かけてもあるいは宇宙が終わるまでかけても終わらない
程の膨大な数なら、人間には確認できない。
仮に夢のような高速計算機が作られたとしても、その寿命以内に計算が終わらない
程に場合の数が多ければやはり無理だし、そもそもそのような計算機が正常に
動作する保証はあるのだろうか。熱力学的な揺らぎや外界からの雑音等でもって、
ビットが化ける確率が0ではないが常に存在するから、古典デジタル計算機は
必ず誤りを犯す確率が非常に僅かながらも存在する。二重三重に並行して計算して
計算結果の一致を見れば良いといっても、結局は同じことになる。
完全な正しさというものは得られないのだ。理想的な量子計算機を使ったとしても、
結果の正しさは常に確率でもって得られるはずだし。
0417poem (ｽﾌﾟｯｯ 1.75.197.220)垢版2022/11/23(水) 20:06:00.22ID:8R43XJ1Id
https://itest.5ch.net/rio2016/test/read.cgi/math/1666358764/

このURLから飛べる一連のpoemの物理学仮説、数学世界論、及び中の真システムに何も無い原初状態から違和感に近い歪みが生まれ、単純な相互作用が高次化して高度な歪みになり、やがて形の無い存在が産まれ、形の無い存在が存在を生み出せるまでになり、形のある存在が生み出され、宇宙も産まれていて、形のある生物の種を宇宙に蒔けた。という、真システムは全ての計算が無いが全ての計算を許可し、存在や形のあるない物は全ての計算を許可しないが計算がある規制が、真システム上の存在で、計算と言うのが制約である

このことから、P=NPは真であると導ける
全ての計算が無い全ての計算を許可する真システム、これに近い計算無しと、高度に制約が造られた存在、これに近い計算有り。PをNPで解く計算は生み出せる

故に物理学的にP=NP、懸賞金一億？の問題は既に解かれている。真である
0418１３２人目の素数さん垢版2022/12/02(金) 01:19:01.43ID:hU1mxvDl
人間の脳の生みだした判断も、所詮脳が物理的な現象で動作しているのであると
すれば、エラーを起こす確率は零ではない。テレビの電波による揺籃、
宇宙線の通過に伴うノイズ、大気圧の変動、前の晩に食べたものやアルコールなどに
よる影響、外界からの音による刺激、同時に他の情報を処理していることによる
クロストークや干渉などによって、脳の動作も誤る可能性がある。
一人よりは二人、二人よりは三人と人数が多ければ、大間違いはし難いかも
しれないが、最適な人数があるだろう。大勢集めれば良いというものではない。
国会議員も数が増えすぎて平均的な質が下がっているとしたら、その多数決は。。。
0419poem垢版2022/12/02(金) 20:54:21.22ID:S7LYtEDY
>>418
いいこと言ってる
0420１３２人目の素数さん垢版2022/12/03(土) 16:16:43.71ID:AhIcj07+
証明を（量があまりにも膨大になるので）記述できない場合であっても、
証明を行うことになる手続き（計算プログラム）を数ページ程度（人間が
目で見て読める程度）で記述することができる場合がある。

その計算プログラムが数学的には有限ステップで停止することや、
出力としてＹＥＳ／ＮＯのどちらかしか出さないことを証明して
保証することもできたりする。ここで出力がＹＥＳであれば命題は
成立することを意味し、ＮＯであればそうではない。どちらか判定不能
という出力は出ないとする。

しかし、そのような少ない記号の列で表された計算手続き（プログラム）が
得られて、それにより命題の成否が有限の計算ステップで決定できることが判った
としても、その計算ステップが平均的に１０の千乗だとかとんでもないステップ数
かかるのであればやはり、それは現実的には実行が終わることを期待できない
であろう。つまり証明法は存在してそれを手続きとしては短く書き下せたが、
その方法を実際に行うことが不可能である可能性があるのだ。
もちろん平均的にあるいは最悪の計算ステップ数がとんでもない数だったとしても、
もしかするとその計算プログラムを走らせたらたちまち（反例を見つけて）ＮＯと
回答が得られる可能性も否定しきれないのである。
だが囲碁が先手必勝か後手必勝か？というようなミニマックスの問題だったりすると、
実質手順の総当たりに近いことをしないとダメだろうから、たちまち答えをはじき
出してくる可能性は極めて低いだろう。人生は短く学為り難しなのである。
0422１３２人目の素数さん垢版2022/12/11(日) 08:19:17.20ID:8wm/VM70
江戸時代に、五目並べについては既に先手必勝であることが発見されていて
そのことが出版されていたそうである。

ただしその五目並べとは、先手の三三、四四が禁止、
という禁則が無い素朴なルールの場合。
必勝法はかなり複雑に場合を列挙して得られるという。
0424１３２人目の素数さん垢版2022/12/27(火) 18:32:19.29ID:YAXXW04M
P≠NP予想って量子コンピューターや量子暗号が実現しても意味を持ちますか？
0425１３２人目の素数さん垢版2022/12/28(水) 09:58:43.10ID:iwRe5JxU
量子コンピュータと古典コンピュータが実現可能な計算量のクラスが異なる
という証明は今のところ得られていない。
古典コンピュータで素因数分解が困難（準指数つまりビット数の指数よりは
弱いが、多項式では無いのが現状知られている最良の算法）であるといっても、
将来、多項式計算量の素因数分解の算法が登場しないことは証明されていない。
算法に限らずなにかが決して存在しないことを証明するのは極めて難しいことは
普通である。将来ある日、誰かが多項式のオーダーの算法を発見し示すかもしれない。
でもそれがもしもｎビットの整数に対してO(ｎの10000乗）だったりしたなら
いちおう多項式オーダーではあってもガッカリだろうがね。
0426１３２人目の素数さん垢版2023/01/03(火) 23:15:53.62ID:I9MG9VgR
>>425
AKS素数判定法は？
0427１３２人目の素数さん垢版2023/01/03(火) 23:21:55.55ID:I9MG9VgR
P=NPが証明されても全てNP問題の多項式時間アルゴリズムそのものが直ちに発見されるわけではない
発見されても多項式の定義からnの１０兆乗でも多項式時間アルゴリズム、
1.0000.......1のn乗でも指数時間アルゴリズム
というわけでこの問題にはあまり意味がないというのがクヌースの主張ですか？
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況