a4です。Ｐ２Ｐ人工知能「Ｔ」開発(3)
■ このスレッドは過去ログ倉庫に格納されています
a4と申します。喋る人工知能を創っています。キャッチフレーズは https://mevius.5ch.net/test/read.cgi/tech/1517470193/ https://mevius.5ch.net/test/read.cgi/tech/1535821055/ http://www.01ken.com/art1.html 「Ｔ」は論理的なところは一通りできたし、P2Pの実験も今日の通話で現実がわかって >>492 とりあえず、岩波書店の山本芳彦先生の「数論入門」を復習に読んでるんですが、 >>494 >>495 >>497 a4さん、リーマン予想を始め数学の超難問を全て解決してください！ >>499 未来人と妄想で話してるんですけどね、リーマン予想は証明できない、と来てるんですよ。 たまにまともな質問が来てもはぐらかしたりキチガイのフリで何も答えてないな >>502 >>503 >>503 >>506 世界は自分の認識の中にしかないので、もしかすると僕は神かもしれない。 >>509 >>511 >>513 >>515 証明の長さの研究をしています。 https://www.gizmodo.jp/2016/06/200tb.html 数論の勉強をしながら、妄想が膨らみますが、証明の最大長が存在する公理系や、 数学と仏教学を究めれば、世界観などがガラリと変わる可能性が出てきますか？ >>519 超画期的なスマホ・タブレットアプリを開発しまくって大金を得ることは現実的なのでしょうか？ >>521 個人でアプリ開発をして10億円ぐらい儲けることは可能ですか？ >>523 ウイルス対策ソフトってどうやって作るのでしょうか？ >>525 マイクロソフト社創業者のビル・ゲイツみたいに大金持ちになるにはどうすれば良いですか？ 数論の勉強をしているんですが、数学科の教授みたいにお金がすぐ入る訳でもないし、 >>527 >>530 一旦、勉強はやめて、「1+1=?」から、解いてくれるコードを書こうと思っています。 数学だと木構造を明確に使っているので、日本語の自然言語処理に特化した「Ｔ」では、 差別化として１つの案は、数学者を「Ｔ」で創り、人工知能数人で日本語のような 上手く纏まらないので、西暦２６００年の自分の家に行く妄想をしました。まず、 総当たり法だと、「1+1=2」であることを証明せよ、とすれば証明が出るでしょう。 とりあえず、「1+1=2」の証明ですが、ペアノの公理の５条件と、a+S(b)=S(a+b)と、 もっと総当たりで計算しやすいように纏めてみました。 ちょっと適当に書きすぎかもですが、実際に「Ｔ」に入れるのは明日くらいにして、 a4さんの「T」は記号処理型のAIなのかな？ >>542 ラムダ計算と書きましたが、もうちょっと計算できることが広いのかな、今は2018年 量子コンピュータで2019年の忌み名（動かすための大域最適文）を計算してみました。 >>531 >>548 「「1+1=2」の証明をコンピュータに総当たり法でさせると数秒かかる。」という >>551 そういえば、オックスフォード大学の知り合いならいます。日本人です。でも、 人集めの方法はいろいろあるかもですが、特にリアルの友人の集め方だと、出会い厨と >>556 世界最高の大学に入学したい。 >>558 >>549 a4さんは、そもそもこの世界というのは何だと思いますか？ >>561 東京中に超高くて巨大な建物を建てまくるのが夢。 >>564 >>564 バカなんだから持ってないだろ >>567 ->>568 >>570 東京大学大学院数理科学研究科数理科学専攻博士課程に在籍している人は頭いいですか？ >>572 普通の人はキチガイと関わりたいとは思わない。 >>575 人集めなんですが、まず、名古屋モスクの礼拝に明日出向いてみようと思います。 >>579 >>582 高3だけど東大か京大行って人工知能の研究したい 都心に300mぐらいの超高層ビルを5棟建てる場合、幾らぐらい必要になりますか？ >>584 >>585 >>584 ■ このスレッドは過去ログ倉庫に格納されています
