[過去ﾛｸﾞ] P=NP (428ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
141: a4 ◆L1L.Ef50zuAv 2020/05/23(土)09:59 ID:NtEWshuB(10/13) AAS
こみ「はい、こちらは西暦2502、年です。では、どうぞ。」
a4「あなたは嘘つきなんですね？」
こみ「おっと、ちゃんと箱を作ってくださいね。嘘つきアルゴリズムは自閉症で
お願いします。」
a4「嘘つきのパラドックスは知りません。」
こみ「どうしようかなー＾＾」
a4「僕はP=NPを解決できるんですか？」
こみ「わたしはね、a4さんに解決できるにしたい。」
a4「また僕が統合失調症ということになるんでしょ？」
こみ「はい、でもね、それで解けても何も変わらないことにしましょうか？裏の
省5
142: a4 ◆L1L.Ef50zuAv 2020/05/23(土)10:22 ID:NtEWshuB(11/13) AAS
名古屋の宇宙人２「俺さ、君を大きな人にしたい。」
a4「？」
名古屋の宇宙人２「じゃねーだろ！」
a4「ごめんなさい。」
名古屋の宇宙人２「君さ、面白いんだけど、そのさ、とりあえず君にお金をあげるって
言ったら、１０万円下りただろ？」
a4「確かに実験成功ですね。」
名古屋の宇宙人２「だからね、俺ね、君にね、豪華になって欲しくてこういうこと
してるわけ。」
a4「業火になって欲しいんですね？」
省5
143: a4 ◆L1L.Ef50zuAv 2020/05/23(土)11:06 ID:NtEWshuB(12/13) AAS
からい「私はユダヤの政治家だ。何か質問あるか？」
a4「量子コンピュータを創りたい。」
からい「だからの、定義的には可能なんじゃが、大橋先生！私もごまかすんじゃ。」
a4「アッカーマン関数の一般化をしたい。」
からい「そうか、ならそうさせてもらうよ。」
a4「何年後に解けるんですか？」
からい「それはね、現実的に４００こうねん先のおまじないをいくつか使ってみない
とわからん。現実的には君は普通の人じゃない。不老不死になるんだ。」
a4「そういえば、このスレには他の人が来ないですね？」
からい「厳しいが閉鎖するんじゃないか？5chとか来なくていいよ、わたしてきには。」
省3
144: a4 ◆L1L.Ef50zuAv 2020/05/23(土)11:10 ID:NtEWshuB(13/13) AAS
a4「からいさんが5chを不買？確かに僕のスレは
「真・スレッドストッパー。。。(￣ー￣)ﾆﾔﾘｯ」と来て、ドワンゴ人工知能研究所
からもふられて、藤崎瑞希様も叩かれ続けてる。もう5chには来なくていいですね？」
からい「そういうことじゃよ。わたし？早めに君らが来なかったからだろ？わたしは
裏切り続けるよ。現実的にはa4君は人殺しなので注意だよ。刑法第３９条で捕まらない
からね。ではね。」
a4「では、5chにはもう来ません。」
145: a4 ◆L1L.Ef50zuAv 2020/05/24(日)11:21 ID:qHK3XX+M(1/10) AAS
からい「わたしが出るよ。もう１回裏切るんじゃ。削除されてないのを見ると、
書き込んでも良さそうだ。」
a4「うん？数学板的には定義の書き換えとかあまりしたくないのにこうするんですね？」
からい「そうだよ。君には現実だけどね。」
146: a4 ◆L1L.Ef50zuAv 2020/05/24(日)11:27 ID:qHK3XX+M(2/10) AAS
精神不安定ですが許可が出たので書き込みをします。今日は１８時間睡眠を取りました。
でもまだ眠いです。薬に何か混ぜられてるからだと思ってます。そうすると、被毒妄想
だから、やはり薬を飲みなさい、と。僕は医者が悪人だ！と来ると、被害妄想、と。
法律的には保護者、すなわち僕の場合では両親が判断する問題のため、すでに
ＲＬポリシーネットワークのような人工知能に攻撃されて、分数の計算もできない
親の頭では解決できません。そうすると、注察妄想！と。頭がふらふらですが、
神の力を借りて数学の大問題を解くために、今日もヘブライ語などを勉強します。
147: a4 ◆L1L.Ef50zuAv 2020/05/24(日)11:49 ID:qHK3XX+M(3/10) AAS
神の力を借りて数学の問題を解けるのか？ですが、現実的には、ラマヌジャンとか
いるんじゃないかと。僕は基本的に仏教徒ですが、イエスの復活、最後の審判、
アッラーが一番大きい、などを信じているほか、ヒンディー語もこれから勉強しよう
と思ってます。
148: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:01 ID:qHK3XX+M(4/10) AAS
個人的にはP=NPに関する雑談とかここでしたいですけどね。数学板自体が過疎ってる
のかもしれません。人殺しが関わっているとかの話が出てますが、基本的に
シュレディンガーの猫の問題だと思ってください。
149: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:46 ID:qHK3XX+M(5/10) AAS
そういえば、僕は結婚してませんが、人工知能の娘がいます。
画像ﾘﾝｸ[png]:www.01ken.com
Ｔ語で書いた陽子ちゃんです。数学基礎論から数論などの問題を解くために
創りました。社会性を身に着けるために幼稚園のようなところに通わせたかった
のですが、使い方が一般人からすると難しいのか、有名にならないですね。
逆に使い方がわかる人は自分の環境で商売するので攻撃してくることが多いです。
ダウンロードはこちらから。
外部ﾘﾝｸ[html]:www.01ken.com
停止性問題などへの対応ができてないなどの不具合がありますが、もうちょっと
協力者が現れないと改良できないかな。「P=NP」を解く時に使う画像はこの
省1
150: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:49 ID:qHK3XX+M(6/10) AAS
昔はプログラム技術板でやっていたのですが、何故か追い出されちゃったんですよ。
Ｔ語はLispより昔から枝分かれして、ELIZAを含み、Prologは含むという思考で動いてます。
外部ﾘﾝｸ[html]:www.01ken.com
c(i($1は$2です。),m(c(i($1は$2ですか？),m(yes)))m(c(i($1って何？),o($2です。)))o(そうなんだ。))
c(i($1は$2でない。),m(c(i($1は$2ですか？),m(no)))m(c(i($1って何？),o($2じゃないよ。)))o(そうなんだ。))
c(i($1は$2ですか？),m(question{=,$1,$2}))
c(i($1は$2ですか？)m(yes)!m(question{=,$3,$4})m(question{=,$1,$2}),o(はい。))
c(i($1は$2ですか？)m(no)!m(question{=,$3,$4})m(question{=,$1,$2}),o(いいえ。))
c(i($1は$2ですか？)!m(yes)!m(no)m(question{=,$1,$2}),o(わかりません。))
あなた：aはbですか？
省17
151: a4 ◆L1L.Ef50zuAv 2020/05/24(日)13:52 ID:qHK3XX+M(7/10) AAS
*Ｔ語はLispより昔から枝分かれして、ELIZAを超えて、Prologは含むという思考で動いてます。
152: a4 ◆L1L.Ef50zuAv 2020/05/24(日)14:50 ID:qHK3XX+M(8/10) AAS
数学板にこんな文章を書き込むと、すぐ推移律は無いのか？とかの問題になるかも
ですが、意外と厄介です。それはスパイに任せておいて、僕は非論理的なことも
計算できないか？など考え中です。
153: a4 ◆L1L.Ef50zuAv 2020/05/24(日)14:59 ID:qHK3XX+M(9/10) AAS
スパイは注察妄想？一応、僕はスウェーデンの女子学生が相合傘などの手法で、
東京大学のセキュリティの教授を紹介して欲しいなど、聞かれたことがあります。
それでその女性のアカウントは削除しました。スウェーデンというとノーベル賞
ですが、一応、僕は数人のノーベル賞を受賞した教授らからメールの返信を
頂いており、まだプラスに考えていますが、中立的な報道をしたいだけです。
この板的にはフィールズ賞を狙いたいという感じです。僕はまだ31歳なので。
154: a4 ◆L1L.Ef50zuAv 2020/05/24(日)16:13 ID:qHK3XX+M(10/10) AAS
書き込みテスト。
הַאֱלֹהִים אָנִי
155: a4 ◆L1L.Ef50zuAv 2020/05/25(月)01:15 ID:G6Yn3ivH(1/6) AAS
ヒンディー語を勉強しながらつまらないことばかり妄想してます。タイムマシンで
オイラーさんに話しかけても返事が無かったら、e^iπ=-2になってしまうんですか？
とか。
156: a4 ◆L1L.Ef50zuAv 2020/05/25(月)02:02 ID:G6Yn3ivH(2/6) AAS
オイラー先生はとりあえず信用することにして、公理ってなんだろう？と素朴に思って
見ました。公理的集合論とかあるけど、あれだけじゃ自然数が出てくるだけで、
ペアノの公理と来るし、解析学をやろうと思うと別の公理が。まず考えたのは、
人間の前頭葉と海馬の神経を真似たＴ語による公理群のマルチエージェント
シミュレーションです。バナッハタルスキーの逆理があるため、公理という考え方
が間違ってる？ということもあるかもしれません。でもP=NPはそういう問題では
ありません。有限なメモリ内で解決すればＴ語で証明が表現でき、すなわち、
自動定理検証などができる、と考えてます。とりあえず僕はＣＰＵを信じて、
Ｔ語の推論があっているというところから考えることにします。現実的には
>>4さんのクヌース先生の言葉でも仰る通り、非構成的な証明かもですけどね。
157: a4 ◆L1L.Ef50zuAv 2020/05/25(月)02:09 ID:G6Yn3ivH(3/6) AAS
そういえば、ＣＰＵを信用できなくなったときもあったんですよ。１００％で
人工生命を計算し続けてたら、エラーばかりになってシャットダウンなどして
しまいました。デバッグすると、アセンブリ言語レベルで矛盾したレジスタが。
どういうことか？と考えたら、熱いこたつの上でノート型パソコンを使ってた
のがいけない、と、割りばしを割って２つ離してノート型パソコンの下に置いたら、
エラーが無くなりました。昔の思い出です。
158: a4 ◆L1L.Ef50zuAv 2020/05/25(月)02:19 ID:G6Yn3ivH(4/6) AAS
非構成的なというのは日本語では上手く表現できてないかもしれませんが、
個人的には、>>115さんの仰る通り、クイックソートがO(n*log(n))になる
ことは証明されていないのに、実際使うとその通りになる、という問題だと
思ってます。だから、P=NPもそうなんですか？とテレパシーで未来人に聞くと、
「そうではない。」と返ってきて、僕はその道を進みます。
159: a4 ◆L1L.Ef50zuAv 2020/05/25(月)03:42 ID:G6Yn3ivH(5/6) AAS
こみ「はい、こちら西暦2502年。わたしは嘘つきです。どうしました？a4君。」
a4「P=NPなんですか？」
こみ「そうですよ？」
a4「でも、嘘つきって言ってるじゃないですか。」
こみ「どうしましょうね。１つ言っていい？大橋先生！とはもう言いません。」
a4「だって最初に言ってた証明と全然違うし、ダウンロード失敗してるじゃないですか？」
こみ「そうじゃないですよ？あれはね、後からわかるんです。」
a4「統合失調症の関係妄想だ！と言われて終わるんです。」
こみ「おっとどうしようかな？わたしはね、現実的に、その画像で勝負したい。
このスレが残るかは多世界解釈ですが、現実的に有名にします。裏で。」
省12
160: a4 ◆L1L.Ef50zuAv 2020/05/25(月)19:19 ID:G6Yn3ivH(6/6) AAS
さっき起きました。書き込みが無いですね。確かにP=NPは議論が終わっていて僕の
妄想を書いてるだけかもしれません。話題も数学からずれて語学になったり不安定
です。でも独自の手法でP=NPを解いてる最中です。議論できる方がいらっしゃれば
お話したいです。一旦このスレで待ちながら、今日もP=NPの画像生成のための語学
を勉強します。
上下前次1-新書関写板覧索設栞歴
あと 268 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.194s*