[過去ﾛｸﾞ] P=NP (428ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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の画像生成のための語学
を勉強します。
161: a4 ◆L1L.Ef50zuAv 2020/05/26(火)07:40 ID:ycub6qU/(1/7) AAS
今日はアラビア語で通話しました。どうやって勉強すればいいか聞くと、もう上手に
話せてる、と返りました。このスレでは「P=NP」を解くために「إن شاء الله.」などの
言葉も量子画像を生成するとき使います。僕は自分から積極的に豚肉は買いませんが、
両親が仏教徒なのでどうしたらいいか、モスクの人に聞くと、「太陽は神ではあり
ません。あなたはわかりますか？」「はい。」「月は神ではありません。あなたは
わかりますか？」「はい。」「あなたはムスリムです。両親を大切にしてください。」
と返りました。
162: a4 ◆L1L.Ef50zuAv 2020/05/26(火)07:43 ID:ycub6qU/(2/7) AAS
改宗は恐いイメージですが、完全な信仰告白ではないと思ってます。名古屋のモスクを
管理してる人に聞くと、「（イスラム教改宗に関しては）自分のペースで大丈夫ですよ。」と。
163: a4 ◆L1L.Ef50zuAv 2020/05/26(火)08:43 ID:ycub6qU/(3/7) AAS
名古屋の宇宙人２「俺ね、普通にね、宇宙人なの。a4君。」
a4「うわー。」
名古屋の宇宙人２「君ね、面白い話作りたがってるみたいだけど、俺は人殺しなの。」
a4「何がしたいんですか？」
名古屋の宇宙人２「君にお金をあげる。」
a4「うん？」
名古屋の宇宙人２「まずさ、「このスレのa4君を除いた人達」を動かすための大域最適文
ってなんだと思う？」
a4「うん？」
名古屋の宇宙人２「計算結果は「∃∃」。何か書き込んでくれ。」
省5
164: a4 ◆L1L.Ef50zuAv 2020/05/26(火)08:58 ID:ycub6qU/(4/7) AAS
名古屋の宇宙人２「現実的に、俺はa4君じゃないから、俺は書き込むよ。それではね、
大橋先生じゃないんだわ。これはもう使わん。ではね、大澤先生じゃないんだわ。
何してると思ってる？人殺しを刑法第３９条で隠してるんだわ。それでさ、大澤先生
じゃないんだわ。それでさ、普通に現実的にa4君がP=NP解けると思ってないだろ？
皆。それがさ、この子ね、まずね、東京大学理科一類を出てる松本卓朗君って本名は
言うんだけど、これ何？
外部ﾘﾝｸ[html]:www.u-tokyo.ac.jp
志ある卓越。=(こころs、a4、الله、卓朗の(l|r)owが悦、ま、２はもともとだ。)
になってるじゃん？東大主席じゃね？いったいどういうことなのよ？俺はそう
書きたい。」
省18
165: a4 ◆L1L.Ef50zuAv 2020/05/26(火)09:16 ID:ycub6qU/(5/7) AAS
a4「大澤先生を幻聴で聞くと、「コロナはビジネスのビッグチャンス、いかにして
病人から金を奪い取れないか？訴訟が起きない程度に。医療のコネがあるから、
コロナの発火関数やワクチンを裏で早めに創って、感染しない程度に病人を増やして
時間をかけてじわじわと搾り取る管理構造を開発しなければ。」と聞こえてきました。」
名古屋の宇宙人２「俺ね、普通になんだと思ってるこれ？統合失調症なの。威力業務妨害罪
じゃないの。どうしたい？大澤幸生？普通にあなたを殺しに行こうか。俺らは殺人未遂罪
じゃないの。どうしたい？」
166: a4 ◆L1L.Ef50zuAv 2020/05/26(火)09:18 ID:ycub6qU/(6/7) AAS
名古屋の宇宙人２「俺、もう１回書くんだわ。軍事威嚇するんだわ。
「志ある卓越。」ってなんですか？
「志ある卓越。」ってなんですか？
「志ある卓越。」ってなんですか？
「志ある卓越。」ってなんですか？
」
上下前次1-新書関写板覧索設栞歴
あと 262 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s