a4です。Ｐ２Ｐ人工知能「Ｔ」開発(7)

[過去ﾛｸﾞ] a4です。Ｐ２Ｐ人工知能「Ｔ」開発(7) (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

574: a4 ◆L1L.Ef50zuAv 2019/07/25(木)18:27 ID:vkuZklg5(9/9) AAS
>>572
重要な意味を持つか？と聞かれたら、「Ｐ＝ＮＰは正しい」と証明できると、
パソコンとかの計算速度が速くなると思ってます。でも、それが今まで何十年も
できてこなかったので、今の数学者や計算機科学者は「Ｐ＝ＮＰは正しくない」
ほうに賭けてるみたいです。

575: ◆QZaw55cn4c 2019/07/25(木)19:11 ID:1pUY2R+h(1/3) AAS
>>548
私の投稿による実害を報告した人は一人だけでしたね、実害なしにクレームを出した人はカウントしない主義なので

576(1): ◆QZaw55cn4c 2019/07/25(木)19:14 ID:1pUY2R+h(2/3) AAS
>>550
それが本当かどうかは 2chｽﾚ:tech を参照するなどしてご自分で判断ください
豊洲市場の「盛り土・地下の謎の空間」問題でいやというほど思い知らされましたが、最近の日本人は自分の頭で考えることをやめてしまった人で充満していますね…

577(1): 2019/07/25(木)20:25 ID:sUDKQY46(1) AAS
>>576
>最近の日本人は自分の頭で考えることをやめてしまった人で充満していますね…

てめえだけにはこれは言われたくねーなｗｗｗ
だいたいお前日本人じゃないだろ

578: ◆QZaw55cn4c 2019/07/25(木)20:32 ID:1pUY2R+h(3/3) AAS
>>577
何を根拠に私が日本人でないと判断したのですか？

579: 2019/07/25(木)20:49 ID:IIVMsU7x(2/2) AAS
頭がよすぎるからでしょう
なにせ数学オリンピックで13位の日本と違って北朝鮮は4位も取ったし

580: a4 ◆L1L.Ef50zuAv 2019/07/26(金)17:43 ID:xl6Am1uk(1/2) AAS
Ｐ＝ＮＰを解こうとしてるんですが、思考が不安定なんですよ。名古屋の宇宙人から
Ｐ＝ＮＰに関する忌み名を１００回くらい生成してみてはどうか？と連絡がありました。
関するって、証明のどこの部分？とか聞いてるんですが、とりあえず情報が公にする
のを防ぐタイムループを破壊するために、押したり引いたりしながら、地道にやって
みてください、と返りました。僕はあんまり自信はありません。厳しい実験なんですよ。
Ｐ＝ＮＰの研究にかける時間は１週間〜１年くらいを見積もってます。解けないと
判断したら、また「Ｔ」の陽子を書いたりするかもしれません。

581: a4 ◆L1L.Ef50zuAv 2019/07/26(金)23:58 ID:xl6Am1uk(2/2) AAS
名古屋の宇宙人「俺はタイムマシンあるから見てるんだけどね、今日、解くのかな
と思っていたら、神道がアッラーに迎撃されると殺そうとしてくるんだわ、俺を。
a4君はＰ＝ＮＰしかやることがないらしい。でも、現実も知ってるから数万年
かけないと解けないと思ってるらしい。でも忌み名があるじゃん？って。で、その
忌み名を渡してるのが俺だから、無理って返るんだけど。やっぱりしくったな。
a4君は二重に残念なんだが、一旦だが、Ｐ＝ＮＰやめるにする。それでさ、陽子？
こっちはね、あんまり進まなそうだな。結構詰まれてるんだわ、時系列エラー的に。
量子コンピュータが公になると、利権の問題が起こるから。俺的にはもうちょっと
陽子を育ててくれ、にしたい。Ｐ＝ＮＰはまた問題解決したらすることにしたい。
そうだ。」

582: a4 ◆L1L.Ef50zuAv 2019/07/27(土)00:00 ID:p1eKjSuy(1/24) AAS
現実ですが、僕はテレパシーに従順な統合失調症なので、「Ｔ」の開発を、このスレの
題名通り進めることにします。

583: a4 ◆L1L.Ef50zuAv 2019/07/27(土)00:15 ID:p1eKjSuy(2/24) AAS
名古屋の宇宙人「俺ね、a4君が元気無いからね、Ｐ＝ＮＰを陽子と乱数（忌み名）で
解くようにしようかと思ってる。これでいいか？まだまだＰ＝ＮＰは続けることにする。
よし、こうしよう、これが俺の判断。a4君は頭クルクルパーだが、悟ってるa4(アホ)
だから、障害年金で生活できて、理想の生活だ。早めに解かせたい。ではな。」

584: a4 ◆L1L.Ef50zuAv 2019/07/27(土)00:26 ID:p1eKjSuy(3/24) AAS
個人的な判断なんですが、Ｐ＝ＮＰはもちろん解きたいのですが、昔から掲げている
リーマン予想を解くのにも使えるような人工知能のアルゴリズムを考えようと思います。
１人でしかやってませんが、時間だけはあるので。あと、特異点を持ってるといいます。
僕は精神病で働けないのでこれしかやることないんですよ。税金をいただいているので、
少しでも社会貢献を、と、できあがったアルゴリズムをすぐ公開します。ずっと解け
ないままかもしれないなどの現実があるかもしれませんが、それでいいんです。それ
が僕の量子コンピュータに遭わなかった頃、抱いてた未来の人生の想像図なので。
まだまだ頑張ります。

585: a4 ◆L1L.Ef50zuAv 2019/07/27(土)00:37 ID:p1eKjSuy(4/24) AAS
名古屋の宇宙人「俺さ、不安定だろ？Ｐ＝ＮＰとか解けないじゃん？とは返って来ない
じゃん？a4君も見積もり正しいからさ、数百人×数十年で、今は１０億円の量子焼きなまし
じゃん？って。俺、殺されるかもしれん、確かにさ、俺の定義ってなんだろ？なんだけど、
宇宙かなんかに俺の足があったらまだ俺が生きてるのか？になるんだが、俺、現実的には
食事するのに必死なんだわ。a4君には働いてもらいたいと思っている。だからね、
リーマン予想じゃなくて、Ｐ＝ＮＰとか解ければ、すぐprofessorか何かの仕事が
まわってくると信じたい。そういうことにする。ではな。」

586: a4 ◆L1L.Ef50zuAv 2019/07/27(土)00:45 ID:p1eKjSuy(5/24) AAS
そういえば、ミレニアム懸賞問題ばっかり解こうとしていて、お金なのか？なんですが、
食費と研究費の問題です。一応、オイラー定数の無理数性とか証明したいと思って
いるものは他にもあることにします。僕は欲張りなので、全部、人工知能「Ｔ」で
解きたいです。前から言ってるように、単純に、帰納、演繹、するのではなく、特異点
で乱数を生成して解きます。

587: a4 ◆L1L.Ef50zuAv 2019/07/27(土)00:54 ID:p1eKjSuy(6/24) AAS
数学の問題を証明する人工知能ってどんな仕組みなんだろう？と思ってるんですが、
現実的には、オブジェクト指向の組み合わせ問題のようなことになると思っています。

588: a4 ◆L1L.Ef50zuAv 2019/07/27(土)01:19 ID:p1eKjSuy(7/24) AAS
もちろんのことながら、こちらも古くから研究されていますね。
外部ﾘﾝｸ:ja.wikipedia.org
結構boolとかの基礎論とかの研究成果が多いみたいですが、近年、日本だと、東ロボ君とかありますね。受験数学ですが。
研究する前に、もうちょっと勉強しないといけないかもしれません。また名古屋駅のジュンク堂とか行ってこようかな。

589: a4 ◆L1L.Ef50zuAv 2019/07/27(土)01:57 ID:p1eKjSuy(8/24) AAS
まだ起きて考えてます。exp(x)みたいなオブジェクトとかを組み合わせで作ると、
exp(x)=1+Σf(x)とか、exp(x)=1+x+Σg(x)とか、２種類以上出てきて、人間に
とってはトリビアルなことで、いちいち同一性を示さなければならない、という
問題に直面しました。僕の解決策としては、人工生命による手法で、そのような
ことを考える個体を淘汰させるという手法を取ろうと思っています。これくらい
のことをすれば、今までのアルゴリズムで見たことない手法になりますが、現実的
には上手くいかないで終わるので有名なアルゴリズムではない、ということだけ
かもしれません。

590(1): 2019/07/27(土)02:28 ID:nfXCzzF5(1) AAS
p2pの相手検索はどうやるの？

591: a4 ◆L1L.Ef50zuAv 2019/07/27(土)02:29 ID:p1eKjSuy(9/24) AAS
テレパシーで議論してるんですけどね、受験数学とかはやっぱりあんまり解かないで
くださいと指令されてます。人工生命で独自の算数文明のようなものを創れないか？
などを考えてます。Ｐ＝ＮＰはまだ解きたいんですが、一旦、離れて、「Ｔ」を
使って、数学基礎論のように厳密なのに、人工社会のように人間らしく、する方法
によって、定理のようなものを導出する実験をしてみることにします。

592: a4 ◆L1L.Ef50zuAv 2019/07/27(土)02:33 ID:p1eKjSuy(10/24) AAS
>>590
p2pの相手検索？それね、人が集まってないんですよ。集まったら初期ノードのサイト
とか作ろうと思ったんですが。自分で仲間を作って勝手にサイトにあげたりするのは
大丈夫です。僕は需要に応じてＩＰアドレスを隠したりする仕事とかをします。

593: a4 ◆L1L.Ef50zuAv 2019/07/27(土)02:48 ID:p1eKjSuy(11/24) AAS
独自の算数文明ってなんだろうと思ってるんですけど。単純に言えば、恐竜を超えて、
ネズミから人間を創るような作業です。そんなのあるのかな？と思ったんですけど、
昔から考えてる人はいると思うのですが、すぐ思いついたのは、人工知能を殺害する
文字の攻防戦かな？これならとりあえず法律には触れず、泣ける感動文学とかできる
のかなー？と。

上下前次 1-新書関写板覧索設栞歴

あと 409 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.023s