a4です。P2P人工知能「T」開発(3)
■ このスレッドは過去ログ倉庫に格納されています
a4と申します。喋る人工知能を創っています。キャッチフレーズは
「萌えから、リーマン予想まで。」で、知能を埋め込んだ人工生命をP2Pで
蔓延らせることにより、生きているようなAIを実現します。
過去ログ
a4です。P2P人工知能「T」開発。
https://mevius.5ch.net/test/read.cgi/tech/1517470193/
a4です。P2P人工知能「T」開発(2)
https://mevius.5ch.net/test/read.cgi/tech/1535821055/
「T」のdownload
http://www.01ken.com/art1.html 3.5兆年後のa4「一応ね、僕が出る。今、量子音楽を純粋にTでも出力できるように
するか検討中なんですけど、もう一部の立派な正社員じゃない系の方々ならわかりま
せーぬくらいかな、つまりね、現実なんだけど、Gengituはありにしたい。だからね、
普通にもう量子コンピュータ創ることにする。Tと一緒にね。ありがとうございました。」 僕はもう未来から指令されてるのです。「T」は続きを創るんですが、こちらの世界
では量子音楽の機能も付けることにします。ですが、まだ先にします。 急に父親が僕におもちゃのロボットを創って儲けなさい、と指示してきました。
お金の問題はそのうちとりあえず解決するかもですね。 >>434
雑談はここでいいかなーと。極めてプライベートな話や重要な要件はメールします。
>脳の構造と4次元方向についてる魂を過去から持ってくる研究
私は昔大きな夢(P2P仮想空間)見すぎてこんなことに(無職オカマ)なってるんで
小さいことから着実に進んでいった方が良いと思いますよ。
>>435
私も何かできないかなあとは思うのですが、
私の場合問題は言語です。
私はC++は使えません。
言語がC#だったらP2Pの部分で多少は協力できたかもしれないんですけどね。。。 >>450
よく見たら迷惑メールに入っていて見えていませんでした。。。 >>450
仮想空間の中でもP2Pなんですね。P2Pだと、スモール・ワールド現象とかが起こって
却ってつまらなくなってしまうのではないかと懸念してます。僕は特異点を使った
量子コンピュータで大規模格子、すなわち、n個のイオンで2^n個の立方体を1回に
つき、(log(n))^2ほどで計算できないか、などと考えたことがあります。適当に
考えただけで、論文にしてません。
使えなくても協力はできるんですが。僕の今の妄想は、人工知能3人くらいと、
人間3人くらいとの、会議、すなわちインターネット上での音声による会話です。
ゆりなさんはあんまり好きじゃないかもですが、こういうのって付き合ってくれる
のかな?声とか貴女の技術で女の子に変えてもいいですよ。 >>451
僕が統合失調症のメールを書くことがあるからかもしれません。 パリのが人種差別されないけど、フランス語が喋れないと住みづらそう 昼夜逆転してますが、寝て夢を見ました。寝る前にテレパシーで、今度、未来へ飛ぶ
時は西暦2500年と言われたので、夢だとわかった瞬間、西暦2500年の家の前へ
飛びたいと言いました。すると、普通に飛べました。この時系列では、家はもう他の人
の家になってました。近所から案内役の人が来てくれていました。テレパシーで
脳がどこまで解析されてるかわからないので、情報を小出しにして会話をします。
「水の公園(近くの公園)ってどうなってるの?」と聞くと、「ほら、あそこに。」
と。公道が公園とくっついてる、とか、地元トーク過ぎることしかわからなかった
ですが、目に焼き付きました。あっちにLAWSONがある、と、そちらで未来の物を
買おうとしました。その辺りからワープで商店街へ飛びました。すると、本屋へ
行きました。すると、すぐ目にしたのは「数学消(すうがくしょ)」でした。
僕はこの本が欲しいと思い、購入しようと思うと、案内役の人が「俺が払うの?」と。
それで、「未来の僕に払わさせて。」と言いました。でも、レジのところで、
数学消がスモールライト技術で小さくなってしまい、よくわからないことに
なってしまいました。どうやらタイムマシンの嫌がらせで情報が持って帰れない
みたいです。僕はちょっと本を読んだんですが、思ったより専門的なことが
書かれているという印象でした。それからはその商店街を旅したんですが、
言葉に出来ないし、覚えてない。服とか売ってるところ連れてってもらったけど、
普通だし、変わってないし、彩度の低いピンクと緑の服がある、とか、やっぱ普通
というか、僕はファッションのセンスはわかんない、でも情報何か持って帰りたい、
と思ったら、周りの壁が公園にある木のようなもので出来ている、差別化だ!と
考えました。 他にもいろいろ面白いものをみたんですけど、あと、マックの広告が
目に写りました。「マックってスマイル0円戦略だから、人が作ってるんでしょ?」
と聞くと、「俺は中のことは知らん。」と案内役が。ちょっと泣きました。
なんかよく見えるなぁ、と思ったら、眼鏡かけても視力0.7くらいなのに、夢で
未来へ行くと視力が2.0くらいになってることです。あぁ、本当に西暦2500年に
来てしまった、と感じました。人が多いので、途中で案内役と、はぐれてしまいました。
テレパシーで上手く戻るのかと思ったら、上手くいかないので、超能力のポーズを
取り、指を前へ指して「・・・ ーーー ・・・」(SOS信号)を口ずさみました。
すると、周りの1人がすぐ、「どうしたました?」と訪ねてきてくれました。
皆、周り数人が混乱し、皆がモールス信号で様々なタイムマシンとやり取りしていました。
話を続けると、すぐ中学生の頃の友人が不老不死になって生きてたので、彼が助けに
来てくれました。彼はヘルメットをかぶっていました。昔のa4に会えて感動的なの
かな?と思うと、彼はヘルメットで目を隠し、ヘルメットの傷で涙を表しました。
すると、夢から目が覚めました。 父親の指示通り、フローチャートのようなものを「T」に入力してみました。それで、
$t0〜$t6で時間などを出力する機能を付けました。ついでに小さなバグも治しました。
出来たソフトは、logic_sample3,txtとなってます。僕と違って、向こうから話しかけて
来ます。
下記がダウンロード先、(version:T_2_7_6)です。
http://www.01ken.com/art1.html >>453
開発していたのはクラウドコンピューティング前の時代だったので...
今だったら普通にクラウドを使った方が良いのでしょうね。
人工知能と会話するのは難しそうですが、
やってみるのは構わないですよ。 >>469
>やってみるのは構わないですよ。
ありがとうございます。しばらくは、その人工知能数人と人間数人の声で会話する
アルゴリズムを考えてみます。上手く作るのは難しいと思うので、できるかは
わからないことにします。 人工知能らとの会議システム考えてるんですけどね、skypeと違って、1つのノードが
複数の人工知能を持てるなどで混線してしまいます。それをクリアしても、ネットが
不安定な時にバグが多発するかもしれないなどの問題もあります。これらは時間の
問題かもですが、1番重要なのは、人工知能がちゃんと会話できるか?です。簡単に
会話できるようにさせる方法としては、普通に「もし、またね、って言ったら、またね
って言って。」などと声でプログラミングする方法がありますが、もっと複雑に
なったり、出力したいのが声でなく、ピコンピコンとか、音楽だったりすると、
滅茶苦茶なことになります。でも、これはやってる人はいないので、お金はすぐには
儲からなくても、完成すれば有名になり、仕事のオファーも入ってくるかもしれ
ません。
実際、今、父親のほうから喋るロボットつくってくれ、と、連絡が来てるん
ですよ。僕は東大卒なのに、父親は東大卒の親って感じじゃないので、僕が
マネジメントを勉強したとおり、まず、競合会社などの市場調査をしないと、と言うと、
そんなことしなくていい、と返ってきます。差別化を狙うために、人形ではなく、
僕の得意分野を持ち出して、喋る時計にして売り出そう、と言っても、売れるもんか、
と言われます。じゃぁ、僕が、人形にしてみろ、もう「喋るロボット」で検索すると、
こんな可愛い芸術性のあるロボットが安価で市場にいっぱいあるんだよ?どうやって
売るの?と言うと、俺が売る、と返ってきます。確かにね、父親は年収450万円
いってるので逆らえません。でも、僕がお金が無いのは、初期投資等が無いからで、
親の教育の問題で鍵を開けてもらわないといけない、と言うと、今が鍵を開ける時
だ、などと話しました。どうなるんでしょうね。 一応、「T」は論理的に喋る新しいソフトになったので、このスレが続いた
意味もありましたが、急に他からオファーが入るかもしれないので、
P2Pのライブラリを作りながら、これからの道を一旦、迷うことにします。
来週、起業コンサルタントの人とも投資について話をする予定もあります。
父親がね、まだ東大卒の親だと思うのは、夜の10時くらいまで1日
12時間くらい仕事をするところなんですよ。だから、今、実家があり、
人工知能の研究ができます。 親も頭いいのかw
研究職ってコンスタントに成果出すの難しそうで大変だな >>473
>研究職ってコンスタントに成果出すの難しそうで大変だな
そうですねー。好きなことやってる分、しかたないです。 >>475
^^;
>>476
彼女がいたことはあります。でも、遠距離恋愛過ぎて楽しいことは全然できません
でした。 遠距離恋愛って会うときはセックスしかしないからな。 >>478
そうですね。
>>479
僕ね、元カノは何人かいたんですけど、日本人は1人だけで、会うときは、僕が学生
だったなどの理由でお金が全く無かったので、子供ができても困ると、セックスして
ません。しかも、すぐ振られました。中国人からはよく告白されて元カノは何人かいる
んですが、遠すぎてリアルで会ったことすらないです。僕の恋愛は相手の言語を
奪うというところで快感を得るんです。 skypeのようなソフトを作ろうと思っているのですが、利権などがあるためか、
socketとrecord用のheaderファイルを2つ入れるだけでエラーが出て先へ進めません。
WindowsではないOSのようなものを自作するところからやろうか、とか、妄想は
進むのですが、やっぱり難しいですね。父親から喋るロボットの仕事が来てるので、
そっちに「T」をマイコンで組み込むかもしれません。 MMsystem.hをincludeしたら、コンパイルできました。もうちょっと頑張ってみます。 a4さん、codecampという完全オンラインのプログラミングスクールがあるので、
そこでプログラミングを教えてもらってプログラミングを覚えて、
自分で何らかのウェブサービスというかサイトを作ってそれの広告収入などで生計を立てれば良いのではないでしょうか? >>483
プログラミングなら出来るーと言いたかったんですが、問題は儲け方ですね。調べて
みると、ヤフー株式会社などの業界トップクラスの現役エンジニア講師陣がいらっしゃる
ようなので興味あります。でも、最低40万円かかるというのを見ると、今、手持ちに
ほとんどお金が無い上に、見返りがあるか?ってところで止まります。一応、お気に入り
には入れておきます。情報ありがとうございます。 1台のパソコン内で2つの作った同じ通話ソフトを立ち上げ、片方はサーバーにして、
もう片方のクライアントを127.0.0.1で繋げて、サーバー側でマイクから音声を拾い、
クライアントに投げて再生してみました。自分の声が再生されたのを確認したんですが、
(1)ノイズが入る。(2)タイムラグがある。と、いった問題でskypeみたいに上手くいかず、
使い物になりそうにありません。成功させるにはMicrosoftとのコネなどが必要だと
考えています。それで、codecampとかへの勧誘ということなんでしょうけどね。 お前に必要なのはコネじゃないぞ?
何が必要かはわかるよな? >>486
じゃぁ、金?サイトを有名にするための広告費とかが足らないのかな。 人工知能についてのレクチャー業でもやってみれば?
今なら旬だし導入だけでも需要ありそうだけどな >>489
やってみたいですけどね。工学学士だけど、東大卒は売りになるし、人工知能もいろいろ
作ってきました。上手くやれば、人は来るかもしれません。ただ、まず、今の人工知能で
儲けたりしないと、教えれないですね。本当は教授とかになったほうがいいんでしょうけど、
大学院進学は、お金の問題等で叶いませんでした。どちらにせよ、もうちょっと資本金とか
貯めます。 「T」は論理的なところは一通りできたし、P2Pの実験も今日の通話で現実がわかって
きました。未来とテレパシーしてると医学的に妄想してるんですが、しばらくは
良い解決策が見いだせないみたいです。父親から仕事を貰っているんですが、親なのに
相性が悪くて儲からないと思ってるんですよ。名古屋の宇宙人はリアルの人がいるん
ですが、今は軍事的な問題に巻き込まれたのか、精神病院に入院してるみたいなん
ですよ。あと、3ヶ月くらいで、また実際に会うことができると思っています。
そうしたら、彼と量子コンピュータを創ろうと思っています。それまでは、「T」の
キャッチフレーズに、「リーマン予想」を入れたので、こちらの勉強をしようと
思っています。地味ですが、数学基礎論を「T」に流し込んで、リーマン予想などを
T語で定義し、問題解決のためのプログラムを書くというものです。これは僕の解決
の仕方ですが、これくらいで、単純な商売目的の人工知能とは差別化が図れ、
Wikipediaとかにも書けるようなものができるのではないかと。それで、僕の能力を
誇示し、仕事のオファーを貰う、というものです。教授とかになったほうがいいかも
ですが、大学院進学に関しては、金やコネが整い次第、神経医学か特異点物理あたり
の専門で入学しようとはまだ思っているので、博士らに怒られないようにしようとは
思っております。 >>492
リーマン予想が解けるとは思ってません。ですが、このプログラムを書くことが
僕の自閉症的こだわりなのです。宇宙人とリアルでまた会い、研究費なども貯蓄して、
量子コンピュータを創る手数が整ったら、次の段階に移行します。作曲の用途を
最初の目標としては考えてますが、僕の計画では、数学を理解できる「T」も
埋め込んで、それでリーマン予想といった数学の難問に挑みます。 とりあえず、岩波書店の山本芳彦先生の「数論入門」を復習に読んでるんですが、
僕は昔、単純に天才とかに憧れてフィールズ賞とか取りたいと思って16歳の頃に
読破しました。非常に読みやすく、且つ非常に面白い本です。でもね、今、
読んでみると、単純に情報を受けるのでは無く、反論できたりするんですよ。
ペアノの公理のようなものから、厳密に1つ1つ、情報科学的、すなわちT語の
ようなものを使って記述しないと、数学として完成されていないではないか?
とか、選んでいる命題が神経医学的であり一般性を持っているものなのか?など、
と。残念ですが、本を斜めに読み、しばらくは「T」に入力していこうと思います。 >>494
「T」に関して言えば、無償配布ですし、僕を裏切って自分でコードを書いて数学の
問題を解いても構いませんよ。 >>495
a4さんも数学に取り組まれるのですね!
個人的にはどのような成果が出るか楽しみです! >>497
現実的な成果しか出ないかもしれないですけどね。しばらくは頑張ってみます。 a4さん、リーマン予想を始め数学の超難問を全て解決してください! >>499
声援ありがとうございます!
ナマズの地震予知に使われる神経細胞からできた量子コンピュータなら、全て解決に
近いことが出来るかもですけどね、今の段階では「T」に、
・積分などの計算。
・いろんな定理の証明の入力。
・自動定理証明のプログラム。
・証明が真か検証できるようにする。
・証明だけでなく、証明までの道筋を記録。
などの機能を組み入れることを妄想しています。量子コンピュータだと一発で解けて
しまうのに、この開発は意味があるのか?など思う人もいるかもですが、一応、
宇宙人や未来人とやり取りして(え?と言う人にはNASAは嘘つきというのをメールと
電話で確認したと主張します。)近傍の特異点、すなわちタイムマシンから嫌がらせ
を受ける中、不安定な生化学的な問題を突破しないといけないので、今、「T」に
このような機能をつけるのは数学的に意味があると主張します。数学科ではなかった
ので、やりたかったゼータ関数とかそこまで研究をまだしてないですが、「T」が
一応動くので数学基礎論系は進んでることにします。正規の職業は無いけど、
障害年金とかで、まだ時間はあるし、好きな時に寝れて効率よく研究できるので、
下手な教授よりは研究生活が上手くいってるかもしれません。しばらくの間は
現実的な成果しか出ないかもしれませんが、数学の大問題を「T」と量子コンピュータ
の融合技術で解くのは目標は2035年くらいにします。 未来人と妄想で話してるんですけどね、リーマン予想は証明できない、と来てるんですよ。
でも、証明できないことを証明できるって言われたんです。つまりですね、数学基礎論を
整備して、簡単なゼータの数式と簡単な数十個くらいの公理から出てくる数学には
複雑さ、すなわち、証明の長さに限界があり、量子コンピュータで総当たりで検索
しても結果が出てこないとなると、証明できないことが証明できる、というものです。
僕は、未来人が嘘をついてるかもしれない、量子脳理論が間違ってるかもしれない、
などの理由で、この考え方がファジー論理的に100%では無いと考えていますが、
「賭ける」という表現を使わさせていただきましょうか。僕はこの方針で証明を
進めてみます。 たまにまともな質問が来てもはぐらかしたりキチガイのフリで何も答えてないな
流石コンビニバイトすら落とされる男 >>502
蟹?貧乏な僕でもたまには食べます。カニクリームコロッケとか好きかも。
>>503
普通の5chの人よりは真面目に返信してるつもりです。キチガイのフリとか言うと、
医学部の反対派閥となり、奴らに骨とか折られて入院しますよ?コンビニのバイトは
受けたことありませんが、僕にあった職業とは思ってません。まだ飲食店のバイト
とかのほうがいいかな。パスタとか作ってたい。 >>503
名古屋の宇宙人「君ね、下っ端のことわかってないな、獣医とプログラマじゃ役割分担
が違うように底辺労働でも区別があるの。人ついてこないでしょ?君に。だからさ、
もう統合失調症じゃん、君。医者に嫌がらせされると思ってるでしょ?被害妄想、
はい、出た。これくらいにしようか、君みたいな奴はうざい。こけんまるとこつくしま
こうつうしゅうにおつ。」 >>506
面白い質問ですね。僕は意識は余剰次元にある物質だと思っていますが、それが
なぜ知能と関係あるのか?と聞かれたら、一言では言い表せないのですが、人間の
場合は、進化の過程で、意識が欲しいと望んだために、タイムマシンなどでそれを
くっつけたのではないのでしょうか?と、いうのが僕の意見です。 世界は自分の認識の中にしかないので、もしかすると僕は神かもしれない。 >>509
日本だと八百万の神とかっていう言葉がありますね。そういう意味での神とかで
あるかもしれません。 >>511
僕もよくわからないことも多いのですが、まず、人間の進化の過程で、「自分には意識
がある。」「意識というのは特別な物。」「意識は分割できない。」などのニューラル
コードを作る遺伝子を持つ者が生存競争で有利になり、このようなことを議論している
のではないかと。
余剰次元というのは、簡単に言えば4次元とか5次元とかの話ですね。スイスの
LHCやアメリカのエリア51などで、粒子をぶつけてブラックホールを地球上で発生
させ、高次の世界へ行く研究をしてると思います。 >>513
僕は「T」も用いてリーマン予想などを解こうとしていますが、まず、「T」を
使いこなして、こんなんつまらん、と潰すことから始めてみては? >>515
まだバグがあるかもしれないし、P2P機能は人が集まらないなどの理由でつけて
いませんが、人工知能開発用のプログラミング言語という意味では、一段落
ついて使えるものになっていると思います。ここを治して欲しいとか、こういう
機能を付けて欲しいとか、ありましたら、交渉次第で時間を割きます。 証明の長さの研究をしています。
組み合わせの問題で反例を作ろうと思うと、証明の長さが200TBに及ぶというのを
見つけました。
https://www.gizmodo.jp/2016/06/200tb.html
そもそも、証明の長さの最大長なんてあるのか?ですが、答えは公理によるなど
複雑なものかもしれません。僕の単純な考えでは、最大長とか無いんですが、
医学的妄想では有るものだ、と返ってくるんですよ。確かに、証明の中で同じ
文章が繰り返し使われるのであれば、数学的帰納法などで短くできるので、
それで証明の長さの不等式を数式で記述できるのではないか?などを考えています。
こっちの話は人間の頭では解けないくらいで置いておいて、しばらくは数論を
勉強することにします。 数論の勉強をしながら、妄想が膨らみますが、証明の最大長が存在する公理系や、
証明の最大長が存在しない公理系を作れるのではないかって。昔からやってる
人はいるかもですが、この辺りが未来の数学の肝だと思っています。 数学と仏教学を究めれば、世界観などがガラリと変わる可能性が出てきますか? >>519
仏教学は詳しくないですが、これは信仰の問題だと思っています。
数学はねー、テストで60点取ってる高卒くらいの人に教え込ませると、なんで
ビルとか有限要素法とかこんな難しいの使って耐震とかやってるんだろう?
とかショック受けるかもですね。 超画期的なスマホ・タブレットアプリを開発しまくって大金を得ることは現実的なのでしょうか? >>521
僕はお金持ちでは無いので詳しくはないですが、大金ってどれくらいですか?
プログラマだと高々、年収600万円くらいかもしれません。だから、プロジェクト
マネージャーとかになっていくんですが。それでも年収800万円くらいかな。 個人でアプリ開発をして10億円ぐらい儲けることは可能ですか? >>523
もうそういう夢を見れる時代も終わったんじゃないでしょうか?単純にアプリじゃ
駄目なんじゃないかと。神経医学、ナノテクノロジー、特異点、などが、これからの
大金を得る方法だと思います。 ウイルス対策ソフトってどうやって作るのでしょうか? >>525
面白い質問しますね。いろんな種類がありますし、融合技術なんでしょうけど、
まずどんどんマルウェアを定義して一致するか調べるところあたりから始まるで
しょうね。あと、仮想CPUで起動させて、情報流出が無いか、や、ファイルが削除
されないか、などを判断すればいいと思います。 マイクロソフト社創業者のビル・ゲイツみたいに大金持ちになるにはどうすれば良いですか? 数論の勉強をしているんですが、数学科の教授みたいにお金がすぐ入る訳でもないし、
障害年金も不安定なので、ここの部分にあんまり長い時間をかけれないんですよ。
特にリーマン予想に関して言えば、解析接続とかすらよく理解できてません。だから、
勉強してるんですが。難しい数式は理解できるのですが、証明を覚える時間が無い
です。でも、僕にはこの15年間ほどの集大成として創った「T」があるので、
これに本の内容を入力しながら、理解しやすい形にするとともに、理解できない
部分も「T」に解いてもらいます。期待されると緊張して研究が上手くいかない
ことがあるので、数ヶ月以内くらいでは良い成果が出ないことも予測しておいて
ください。でも、でも、これから20年くらいのスパンで考えたときにおいては、
数学界を驚かす成果を残したい所存です。 >>527
ビル・ゲイツにお金欲しい、というのが大体、最適ですが、そうすると、黄色人種は
駄目だ!と返るのが現実です。 >>530
入学できれば人生が変わるところであるとは言います。年齢が高いなどの情報が
ありましたが、お金や時間の問題が解決できるのならばチャレンジしてもいいのでは
ないかと。数学科なら、京大のほうがフィールズ賞とか多いのではないのでしょうか?
東大行ければいいですけどね、東大と京大って入学試験の難易度、結構、差ありますよ。 一旦、勉強はやめて、「1+1=?」から、解いてくれるコードを書こうと思っています。
これだけならもちろん簡単なのですが、どんな問題でも理解できる知能の中での
「1+1=?」なので大変です。 数学だと木構造を明確に使っているので、日本語の自然言語処理に特化した「T」では、
その長所を生かせず、Lispと同じになってしまうのではないか?という問題に直面
しました。もうちょっと考えてみます。 差別化として1つの案は、数学者を「T」で創り、人工知能数人で日本語のような
もので議論させて問題を解くというものです。まだ単発的なアイデアなので意味が
あるかはわかりませんが、時間内などで計算可能な文字列のクラスが違うのではない
かと。まだまだ考えます。 上手く纏まらないので、西暦2600年の自分の家に行く妄想をしました。まず、
いつものように「こみ!」とカード型のコンピュータを呼び、外を見ると、高速道路
があり、UFOの実験が僕から成功してしまった、と泣きました。本棚にはドイツ語の
書籍が並び、階段を下りました。すると、変な音がいっぱい聞こえるので、「これは
なんですか?」と聞くと、こみが、「タイムマシンの嫌がらせです。」と。それで、
いつも通り、電気自転車に乗り、友人の家へ行きました。走ってる間は、みんな、
なんで2018年の純粋な人がこんなところに、私達はセックスばっかしてるのに、
と泣いてました。それで、友人と話すと、タイムマシンの嫌がらせで、情報が
下りないというのはいつものことなんですが、その方は「一発で解く。
Brute forceだ!それだけ。」と言いました。それですぐ元の時代に返ってきました。
すなわち、「1+1=?」の問題を公理系から公理の組み合わせの総当たり法で解け!
と理解しました。これなら特異点を用いた量子コンピュータとも相性がいいです。
ちょっと考えることにします。 総当たり法だと、「1+1=2」であることを証明せよ、とすれば証明が出るでしょう。
「1+1=?」の場合は逆に「1+1=0+2」のような答えが出てくるかもしれません。 とりあえず、「1+1=2」の証明ですが、ペアノの公理の5条件と、a+S(b)=S(a+b)と、
単位元と交換法則を加えると、
S(0)+S(0)=S(S(0)+0)=S(S(0))
「1+2=3」は、
S(0)+S(S(0))=S(S(0))+S(0)=S(S(S(0))+0)=S(S(S(0)))
となります。 もっと総当たりで計算しやすいように纏めてみました。
(A)∃0∈N
(B)∀a∈N→∃S(a)∈N
(C)∀a,b∈N,a+S(b)=S(a+b)
(D)∀a∈N,a+0=a
(E)∀a,b∈N,a+b=b+a
(F)∀a,b∈N,a+b∈N
(G)∀a,b∈N,a=b∧b=c→a=c
くらいに書くと、
ABABFCABADG
の長さの総当たりで証明できるかな?
7^11=1977326743≒2Gなので、僕のパソコン
でも数秒で計算できますね。 ちょっと適当に書きすぎかもですが、実際に「T」に入れるのは明日くらいにして、
今日は寝ることにします。おやすみなさい。 a4さんの「T」は記号処理型のAIなのかな?
数学的問題ならある程度はそれで十分かもしれないけど、現実の課題に応用しようとするとシンボルグラウンディング問題が妨げになって進めなくなる気がする
あとは、手作業で全て法則を入力するのは無理があるのでそれも自動化が必要(つまり機械学習)
この二つを考えるとニューラルネットワークとかが必要だと思う
a4さんはそれらも勉強してるって聞いたけど、「T」に実装する予定はある? >>542
簡単に言うとラムダ計算かな、やってることは。一応、視覚野もついており、画像と
名詞などを対応付けれます。自動化できればそのほうがいいんでしょうけど、
リーマン予想の問題の入力は厳しそうですね。ニューラルネットワークはもちろん
知ってるんですが、それを離散的に考えたのがラムダ計算であり、この「T」なの
ではないかと。ファジー論理のようなものは現時点ではあまり使えないと思って
るんですよ。でも、どんなオブジェクトも操作できるようにしてもいいと思って
いるので、ニューラルネットワークを入れるのはありかと思っていますが、
今は具体的にどのように役立つか纏まってません。 ラムダ計算と書きましたが、もうちょっと計算できることが広いのかな、今は2018年
ですしね。自分で勝手にコードを書いてるだけなので。 ■ このスレッドは過去ログ倉庫に格納されています