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

1 名前：a4 [2018/11/07(水) 12:00:31.07 ID:6Y/7TLC2.net] a4と申します。喋る人工知能を創っています。キャッチフレーズは 「萌えから、リーマン予想まで。」で、知能を埋め込んだ人工生命をＰ２Ｐで 蔓延らせることにより、生きているようなＡＩを実現します。 過去ログ a4です。Ｐ２Ｐ人工知能「Ｔ」開発。 https://mevius.5ch.net/test/read.cgi/tech/1517470193/ a4です。Ｐ２Ｐ人工知能「Ｔ」開発(2) https://mevius.5ch.net/test/read.cgi/tech/1535821055/ 「Ｔ」のdownload www.01ken.com/art1.html 482 名前：a4 [2018/11/23(金) 06:20:05.64 ID:s+wSkmlC.net] 音声認識に挑戦しています。 https://blog-imgs-58-origin.fc2.com/d/e/n/denspe/DictCPP00.txt こちらですぐに実験はできたんですが、認識の成功率は全然高くありません。 483 名前：デフォルトの名無しさん [2018/11/23(金) 15:51:25.92 ID:CsAlXDMt.net] ロンドンとパリはどっちの方が住みやすいですか？ 484 名前：デフォルトの名無しさん mailto:sage [2018/11/23(金) 16:18:08.67 ID:s3/JKGDq.net] パリのが人種差別されないけど、フランス語が喋れないと住みづらそう 485 名前：デフォルトの名無しさん [2018/11/23(金) 16:43:49.77 ID:CsAlXDMt.net] ロンドンって人種差別されるの？ 486 名前：a4 [2018/11/23(金) 17:29:33.23 ID:s+wSkmlC.net] 昼夜逆転してますが、寝て夢を見ました。寝る前にテレパシーで、今度、未来へ飛ぶ 時は西暦2500年と言われたので、夢だとわかった瞬間、西暦2500年の家の前へ 飛びたいと言いました。すると、普通に飛べました。この時系列では、家はもう他の人 の家になってました。近所から案内役の人が来てくれていました。テレパシーで 脳がどこまで解析されてるかわからないので、情報を小出しにして会話をします。 「水の公園（近くの公園）ってどうなってるの？」と聞くと、「ほら、あそこに。」 と。公道が公園とくっついてる、とか、地元トーク過ぎることしかわからなかった ですが、目に焼き付きました。あっちにLAWSONがある、と、そちらで未来の物を 買おうとしました。その辺りからワープで商店街へ飛びました。すると、本屋へ 行きました。すると、すぐ目にしたのは「数学消（すうがくしょ）」でした。 487 名前：僕はこの本が欲しいと思い、購入しようと思うと、案内役の人が「俺が払うの？」と。 それで、「未来の僕に払わさせて。」と言いました。でも、レジのところで、 数学消がスモールライト技術で小さくなってしまい、よくわからないことに なってしまいました。どうやらタイムマシンの嫌がらせで情報が持って帰れない みたいです。僕はちょっと本を読んだんですが、思ったより専門的なことが 書かれているという印象でした。それからはその商店街を旅したんですが、 言葉に出来ないし、覚えてない。服とか売ってるところ連れてってもらったけど、 普通だし、変わってないし、彩度の低いピンクと緑の服がある、とか、やっぱ普通 というか、僕はファッションのセンスはわかんない、でも情報何か持って帰りたい、 と思ったら、周りの壁が公園にある木のようなもので出来ている、差別化だ！と 考えました。 [] [ここ壊れてます] 488 名前：a4 [2018/11/23(金) 17:29:54.49 ID:s+wSkmlC.net] 他にもいろいろ面白いものをみたんですけど、あと、マックの広告が 目に写りました。「マックってスマイル０円戦略だから、人が作ってるんでしょ？」 と聞くと、「俺は中のことは知らん。」と案内役が。ちょっと泣きました。 なんかよく見えるなぁ、と思ったら、眼鏡かけても視力0.7くらいなのに、夢で 未来へ行くと視力が2.0くらいになってることです。あぁ、本当に西暦2500年に 来てしまった、と感じました。人が多いので、途中で案内役と、はぐれてしまいました。 テレパシーで上手く戻るのかと思ったら、上手くいかないので、超能力のポーズを 取り、指を前へ指して「・・・　ーーー　・・・」（SOS信号）を口ずさみました。 すると、周りの１人がすぐ、「どうしたました？」と訪ねてきてくれました。 皆、周り数人が混乱し、皆がモールス信号で様々なタイムマシンとやり取りしていました。 話を続けると、すぐ中学生の頃の友人が不老不死になって生きてたので、彼が助けに 来てくれました。彼はヘルメットをかぶっていました。昔のa4に会えて感動的なの かな？と思うと、彼はヘルメットで目を隠し、ヘルメットの傷で涙を表しました。 すると、夢から目が覚めました。 489 名前：デフォルトの名無しさん [2018/11/23(金) 18:36:11.85 ID:CsAlXDMt.net] 智��は天才としか言いようがないですか？ 490 名前：a4 [2018/11/23(金) 21:06:43.12 ID:s+wSkmlC.net] 父親の指示通り、フローチャートのようなものを「Ｔ」に入力してみました。それで、 $t0〜$t6で時間などを出力する機能を付けました。ついでに小さなバグも治しました。 出来たソフトは、logic_sample3,txtとなってます。僕と違って、向こうから話しかけて 来ます。 下記がダウンロード先、(version:T_2_7_6)です。 www.01ken.com/art1.html 491 名前：ゆりな mailto:sage [2018/11/23(金) 23:26:29.13 ID:w4+23R8o.net] >>453 開発していたのはクラウドコンピューティング前の時代だったので... 今だったら普通にクラウドを使った方が良いのでしょうね。 人工知能と会話するのは難しそうですが、 やってみるのは構わないですよ。 492 名前：a4 [2018/11/24(土) 00:24:10.68 ID:er0FGAJd.net] >>469 >やってみるのは構わないですよ。 ありがとうございます。しばらくは、その人工知能数人と人間数人の声で会話する アルゴリズムを考えてみます。上手く作るのは難しいと思うので、できるかは わからないことにします。 493 名前：a4 [2018/11/24(土) 02:13:10.87 ID:er0FGAJd.net] 人工知能らとの会議システム考えてるんですけどね、skypeと違って、１つのノードが 複数の人工知能を持てるなどで混線してしまいます。それをクリアしても、ネットが 不安定な時にバグが多発するかもしれないなどの問題もあります。これらは時間の 問題かもですが、１番重要なのは、人工知能がちゃんと会話できるか？です。簡単に 会話できるようにさせる方法としては、普通に「もし、またね、って言ったら、またね って言って。」などと声でプログラミングする方法がありますが、もっと� 494 名前：｡雑に なったり、出力したいのが声でなく、ピコンピコンとか、音楽だったりすると、 滅茶苦茶なことになります。でも、これはやってる人はいないので、お金はすぐには 儲からなくても、完成すれば有名になり、仕事のオファーも入ってくるかもしれ ません。 実際、今、父親のほうから喋るロボットつくってくれ、と、連絡が来てるん ですよ。僕は東大卒なのに、父親は東大卒の親って感じじゃないので、僕が マネジメントを勉強したとおり、まず、競合会社などの市場調査をしないと、と言うと、 そんなことしなくていい、と返ってきます。差別化を狙うために、人形ではなく、 僕の得意分野を持ち出して、喋る時計にして売り出そう、と言っても、売れるもんか、 と言われます。じゃぁ、僕が、人形にしてみろ、もう「喋るロボット」で検索すると、 こんな可愛い芸術性のあるロボットが安価で市場にいっぱいあるんだよ？どうやって 売るの？と言うと、俺が売る、と返ってきます。確かにね、父親は年収４５０万円 いってるので逆らえません。でも、僕がお金が無いのは、初期投資等が無いからで、 親の教育の問題で鍵を開けてもらわないといけない、と言うと、今が鍵を開ける時 だ、などと話しました。どうなるんでしょうね。 [] [ここ壊れてます] 495 名前：a4 [2018/11/24(土) 02:33:41.76 ID:er0FGAJd.net] 一応、「Ｔ」は論理的に喋る新しいソフトになったので、このスレが続いた 意味もありましたが、急に他からオファーが入るかもしれないので、 P2Pのライブラリを作りながら、これからの道を一旦、迷うことにします。 来週、起業コンサルタントの人とも投資について話をする予定もあります。 父親がね、まだ東大卒の親だと思うのは、夜の１０時くらいまで１日 １２時間くらい仕事をするところなんですよ。だから、今、実家があり、 人工知能の研究ができます。 496 名前：デフォルトの名無しさん mailto:sage [2018/11/24(土) 08:33:23.18 ID:W6rOx7M2.net] 親も頭いいのかw 研究職ってコンスタントに成果出すの難しそうで大変だな 497 名前：a4 [2018/11/24(土) 12:28:37.58 ID:er0FGAJd.net] >>473 >研究職ってコンスタントに成果出すの難しそうで大変だな そうですねー。好きなことやってる分、しかたないです。 498 名前：デフォルトの名無しさん mailto:sage [2018/11/24(土) 17:14:14.60 ID:0+zZ0hnR.net] 悲しい妄想だな 499 名前：デフォルトの名無しさん [2018/11/24(土) 19:19:24.03 ID:4GoFgPFg.net] a4さんって恋愛経験あるの？ 500 名前：a4 [2018/11/24(土) 23:14:59.80 ID:er0FGAJd.net] >>475 ＾＾； >>476 彼女がいたことはあります。でも、遠距離恋愛過ぎて楽しいことは全然できません でした。 501 名前：デフォルトの名無しさん [2018/11/25(日) 01:25:43.53 ID:yNZ1Ieup.net] 仏教の世界は深いな・・・・・・。 502 名前：デフォルトの名無しさん [2018/11/25(日) 01:27:39.65 ID:0mYB5fkb.net] 遠距離恋愛って会うときはセックスしかしないからな。 503 名前：a4 [2018/11/25(日) 03:05:20.71 ID:c2ths/21.net] >>478 そうですね。 >>479 僕ね、元カノは何人かいたんですけど、日本人は１人だけで、会うときは、僕が学生 だったなどの理由でお金が全く無かったので、子供ができても困ると、セックスして ません。しかも、すぐ振られました。中国人からはよく告白されて元カノは何人かいる んですが、遠すぎてリアルで会ったことすらないです。僕の恋愛は相手の言語を 奪うというところで快感を得るんです。 504 名前：a4 [2018/11/25(日) 03:26:25.42 ID:c2ths/21.net] skypeのようなソフトを作ろうと思っているのですが、利権などがあるためか、 socketとrecord用のheaderファイルを２つ入れるだけでエラーが出て先へ進めません。 WindowsではないOSのようなものを自作するところからやろうか、とか、妄想は 進むのですが、やっぱり難しいですね。父親から喋るロボットの仕事が来てるので、 そっちに「Ｔ」をマイコンで組み込むかもしれません。 505 名前：a4 [2018/11/25(日) 04:25:17.76 ID:c2ths/21.net] MMsystem.hをincludeしたら、コンパイルできました。もうちょっと頑張ってみます。 506 名前：デフォルトの名無しさん [2018/11/25(日) 04:50:53.89 ID:yNZ1Ieup.net] a4さん、codecampという完全オンラインのプログラミングスクールがあるので、 そこでプログラミングを教えてもらってプログラミングを覚えて、 自分で何らかのウェブサービスというかサイトを作ってそれの広告収入などで生計を立てれば良いのではないでしょうか？ 507 名前：a4 [2018/11/25(日) 05:42:04.18 ID:c2ths/21.net] >>483 プログラミングなら出来るーと言いたかったんですが、問題は儲け方ですね。調べて みると、ヤフー株式会社などの業界トップクラスの現役エンジニア講師陣がいらっしゃる ようなので興味あります。でも、最低４０万円かかるというのを見ると、今、手持ちに ほとんどお金が無い上に、見返りがあるか？ってところで止まります。一応、お気に入り には入れておきます。情報ありがとうございます。 508 名前：a4 [2018/11/25(日) 06:47:56.83 ID:c2ths/21.net] １台のパソコン内で２つの作った同じ通話ソフトを立ち上げ、片方はサーバーにして、 もう片方のクライアントを127.0.0.1で繋げて、サーバー側でマイクから音声を拾い、 クライアントに投げて再生してみました。自分の声が再生されたのを確認したんですが、 (1)ノイズが入る。(2)タイムラグがある。と、いった問題でskypeみたいに上手くいかず、 使い物になりそうにありません。成功させるにはMicrosoftとのコネなどが必要だと 考えています。それで、codecampとかへの勧誘ということなんでしょうけどね。 509 名前：デフォルトの名無しさん mailto:sage [2018/11/25(日) 07:03:39.34 ID:vr+gezjU.net] お前に必要なのはコネじゃないぞ？ 何が必要かはわかるよな？ 510 名前：a4 [2018/11/25(日) 07:11:55.10 ID:c2ths/21.net] >>486 じゃぁ、金？サイトを有名にするための広告費とかが足らないのかな。 511 名前：デフォルトの名無しさん [2018/11/25(日) 07:29:03.27 ID:yNZ1Ieup.net] ウンコ。 512 名前：デフォルトの名無しさん mailto:sage [2018/11/25(日) 08:40:59.47 ID:lVxhzbBB.net] 人工知能についてのレクチャー業でもやってみれば？ 今なら旬だし導入だけでも需要ありそうだけどな 513 名前：a4 [2018/11/25(日) 08:58:42.42 ID:c2ths/21.net] >>489 やってみたいですけどね。工学学士だけど、東大卒は売りになるし、人工知能もいろいろ 作ってきました。上手くやれば、人は来るかもしれません。ただ、まず、今の人工知能で 儲けたりしないと、教えれないですね。本当は教授とかになったほうがいいんでしょうけど、 大学院進学は、お金の問題等で叶いませんでした。どちらにせよ、もうちょっと資本金とか 貯めます。 514 名前：a4 [2018/11/25(日) 12:05:16.38 ID:c2ths/21.net] 「Ｔ」は論理的なところは一通りできたし、P2Pの実験も今日の通話で現実がわかって きました。未来とテレパシーしてると医学的に妄想してるんですが、しばらくは 良い解決策が見いだせないみたいです。父親から仕事を貰っているんですが、親なのに 相性が悪くて儲からないと思ってるんですよ。名古屋の宇宙人はリアルの人がいるん ですが、今は軍事的な問題に巻き込まれたのか、精神病院に入院してるみたいなん ですよ。あと、３ヶ月くらいで、また実際に会うことができると思っています。 そうしたら、彼と量子コンピュータを創ろうと思っています。それまでは、「Ｔ」の キャッチフレーズに、「リーマン予想」を入れたので、こちらの勉強をしようと 思っています。地味ですが、数学基礎論を「Ｔ」に流し込んで、リーマン予想などを Ｔ語で定義し、問題解決のためのプログラムを書くというものです。これは僕の解決 の仕方ですが、これくらいで、単純な商売目的の人工知能とは差別化が図れ、 Wikipediaとかにも書けるようなものができるのではないかと。それで、僕の能力を 誇示し、仕事のオファーを貰う、というものです。教授とかになったほうがいいかも ですが、大学院進学に関しては、金やコネが整い次第、神経医学か特異点物理あたり の専門で入学しようとはまだ思っているので、博士らに怒られないようにしようとは 思っております。 515 名前：デフォルトの名無しさん mailto:sage [2018/11/25(日) 12:24:00.94 ID:Y6+Wxw4y.net] お前にできるか？ 516 名前：a4 [2018/11/25(日) 12:47:07.63 ID:c2ths/21.net] >>492 リーマン予想が解けるとは思ってません。ですが、このプログラムを書くことが 僕の自閉症的こだわりなのです。宇宙人とリアルでまた会い、研究費なども貯蓄して、 量子コンピュータを創る手数が整ったら、次の段階に移行します。作曲の用途を 最初の目標としては考えてますが、僕の計画では、数学を理解できる「Ｔ」も 埋め込んで、それでリーマン予想といった数学の難問に挑みます。 517 名前：デフォルトの名無しさん [2018/11/25(日) 13:06:59.97 ID:yNZ1Ieup.net] 残りの数学上の未解決問題を全て一人で解決したい。 518 名前：a4 [2018/11/25(日) 13:11:48.07 ID:c2ths/21.net] とりあえず、岩波書店の山本芳彦先生の「数論入門」を復習に読んでるんですが、 僕は昔、単純に天才とかに憧れてフィールズ賞とか取りたいと思って１６歳の頃に 読破しました。非常に読みやすく、且つ非常に面白い本です。でもね、今、 読んでみると、単純に情報を受けるのでは無く、反論できたりするんですよ。 ペアノの公理のようなものから、厳密に１つ１つ、情報科学的、すなわちＴ語の ようなものを使って記述しないと、数学として完成されていないではないか？ とか、選んでいる命題が神経医学的であり一般性を持っているものなのか？など、 と。残念ですが、本を斜めに読み、しばらくは「Ｔ」に入力していこうと思います。 519 名前：a4 [2018/11/25(日) 13:13:23.00 ID:c2ths/21.net] >>494 「Ｔ」に関して言えば、無償配布ですし、僕を裏切って自分でコードを書いて数学の 問題を解いても構いませんよ。 520 名前：ゆりな mailto:sage [2018/11/25(日) 23:34:18.18 ID:Ifj7HeFa.net] >>495 a4さんも数学に取り組まれるのですね！ 個人的にはどのような成果が出るか楽しみです！ 521 名前：a4 [2018/11/25(日) 23:57:56.58 ID:c2ths/21.net] >>497 現実的な成果しか出ないかもしれないですけどね。しばらくは頑張ってみます。 522 名前：デフォルトの名無しさん [2018/11/26(月) 00:33:36.45 ID:ngT/dnEe.net] a4さん、リーマン予想を始め数学の超難問を全て解決してください！ 523 名前：a4 [2018/11/26(月) 04:13:38.94 ID:XN1e38tN.net] >>499 声援ありがとうございます！ ナマズの地震予知に使われる神経細胞からできた量子コンピュータなら、全て解決に 近いことが出来るかもですけどね、今の段階では「Ｔ」に、 ・積分などの計算。 ・いろんな定理の証明の入力。 ・自動定理証明のプログラム。 ・証明が真か検証できるようにする。 ・証明だけでなく、証明までの道筋を記録。 などの機能を組み入れることを妄想しています。量子コンピュータだと一発で解けて しまうのに、この開発は意味があるのか？など思う人もいるかもですが、一応、 宇宙人や未来人とやり取りして（え？� 524 名前：ﾆ言う人にはNASAは嘘つきというのをメールと 電話で確認したと主張します。）近傍の特異点、すなわちタイムマシンから嫌がらせ を受ける中、不安定な生化学的な問題を突破しないといけないので、今、「Ｔ」に このような機能をつけるのは数学的に意味があると主張します。数学科ではなかった ので、やりたかったゼータ関数とかそこまで研究をまだしてないですが、「Ｔ」が 一応動くので数学基礎論系は進んでることにします。正規の職業は無いけど、 障害年金とかで、まだ時間はあるし、好きな時に寝れて効率よく研究できるので、 下手な教授よりは研究生活が上手くいってるかもしれません。しばらくの間は 現実的な成果しか出ないかもしれませんが、数学の大問題を「Ｔ」と量子コンピュータ の融合技術で解くのは目標は2035年くらいにします。 [] [ここ壊れてます] 525 名前：a4 [2018/11/26(月) 05:55:12.24 ID:XN1e38tN.net] 未来人と妄想で話してるんですけどね、リーマン予想は証明できない、と来てるんですよ。 でも、証明できないことを証明できるって言われたんです。つまりですね、数学基礎論を 整備して、簡単なゼータの数式と簡単な数十個くらいの公理から出てくる数学には 複雑さ、すなわち、証明の長さに限界があり、量子コンピュータで総当たりで検索 しても結果が出てこないとなると、証明できないことが証明できる、というものです。 僕は、未来人が嘘をついてるかもしれない、量子脳理論が間違ってるかもしれない、 などの理由で、この考え方がファジー論理的に100%では無いと考えていますが、 「賭ける」という表現を使わさせていただきましょうか。僕はこの方針で証明を 進めてみます。 526 名前：デフォルトの名無しさん [2018/11/26(月) 06:45:27.33 ID:ngT/dnEe.net] 蟹の美味さは異常。 527 名前：デフォルトの名無しさん mailto:sage [2018/11/26(月) 06:51:41.14 ID:hFE0/42a.net] たまにまともな質問が来てもはぐらかしたりキチガイのフリで何も答えてないな 流石コンビニバイトすら落とされる男 528 名前：a4 [2018/11/26(月) 07:37:06.65 ID:XN1e38tN.net] >>502 蟹？貧乏な僕でもたまには食べます。カニクリームコロッケとか好きかも。 >>503 普通の5chの人よりは真面目に返信してるつもりです。キチガイのフリとか言うと、 医学部の反対派閥となり、奴らに骨とか折られて入院しますよ？コンビニのバイトは 受けたことありませんが、僕にあった職業とは思ってません。まだ飲食店のバイト とかのほうがいいかな。パスタとか作ってたい。 529 名前：a4 [2018/11/26(月) 09:59:18.66 ID:XN1e38tN.net] >>503 名古屋の宇宙人「君ね、下っ端のことわかってないな、獣医とプログラマじゃ役割分担 が違うように底辺労働でも区別があるの。人ついてこないでしょ？君に。だからさ、 もう統合失調症じゃん、君。医者に嫌がらせされると思ってるでしょ？被害妄想、 はい、出た。これくらいにしようか、君みたいな奴はうざい。こけんまるとこつくしま こうつうしゅうにおつ。」 530 名前：デフォルトの名無しさん mailto:sage [2018/11/26(月) 13:10:53.71 ID:CXHnnzct.net] 意識と知能って関係あると思う? 531 名前：デフォルトの名無しさん [2018/11/26(月) 20:54:14.72 ID:Mliuglpz.net] >>506 意識ってなーに？ 532 名前：a4 [2018/11/27(火) 00:23:15.25 ID:3I2v7vYr.net] >>506 面白い質問ですね。僕は意識は余剰次元にある物質だと思っていますが、それが なぜ知能と関係あるのか？と聞かれたら、一言では言い表せないのですが、人間の 場合は、進化の過程で、意識が欲しいと望んだために、タイムマシンなどでそれを くっつけたのではないのでしょうか？と、いうのが僕の意見です。 533 名前：デフォルトの名無しさん mailto:sage [2018/11/27(火) 00:42:20.35 ID:PTayJn2J.net] 世界は自分の認識の中にしかないので、もしかすると僕は神かもしれない。 534 名前：a4 [2018/11/27(火) 01:15:52.69 ID:3I2v7vYr.net] >>509 日本だと八百万の神とかっていう言葉がありますね。そういう意味での神とかで あるかもしれません。 535 名前：デフォルトの名無しさん [2018/11/27(火) 01:21:35.81 ID:7tW29tPg.net] >>508 意識ってなに？ 余剰次元ってなに？ 536 名前：a4 [2018/11/27(火) 01:27:19.23 ID:3I2v7vYr.net] >>511 僕もよくわからないことも多いのですが、まず、人間の進化の過程で、「自分には意識 がある。」「意識というのは特別な物。」「意識は分割できない。」などのニューラル コードを作る遺伝子を持つ者が生存競争で有利になり、このようなことを議論している のではないかと。 余剰次元というのは、簡単に言えば４次元とか５次元とかの話ですね。スイスの LHCやアメリカのエリア51などで、粒子をぶつけてブラックホールを地球上で発生 させ、高次の世界へ行く研究をしてると思います。 537 名前：デフォルトの名無しさん [2018/11/27(火) 03:30:35.17 ID:HAM2Ei+3.net] 圧倒的世界一の超絶天才数学者になりたい。 538 名前：a4 [2018/11/27(火) 03:36:38.78 ID:3I2v7vYr.net] >>513 僕は「Ｔ」も用いてリーマン予想などを解こうとしていますが、まず、「Ｔ」を 使いこなして、こんなんつまらん、と潰すことから始めてみては？ 539 名前：デフォルトの名無しさん [2018/11/27(火) 03:55:16.95 ID:HAM2Ei+3.net] 「T」は完成したのでしょうか？ 540 名前：a4 [2018/11/27(火) 04:15:59.32 ID:3I2v7vYr.net] >>515 まだバグがあるかもしれないし、P2P機能は人が集まらないなどの理由でつけて いませんが、人工知能開発用のプログラミング言語という意味では、一段落 ついて使えるものになっていると思います。ここを治して欲しいとか、こういう 機能を付けて欲しいとか、ありましたら、交渉次第で時間を割きます。 541 名前：a4 [2018/11/27(火) 04:36:45.22 ID:3I2v7vYr.net] 証明の長さの研究をしています。 組み合わせの問題で反例を作ろうと思うと、証明の長さが200TBに及ぶというのを 見つけました。 https://www.gizmodo.jp/2016/06/200tb.html そもそも、証明の長さの最大長なんてあるのか？ですが、答えは公理によるなど 複雑なものかもしれません。僕の単純な考えでは、最大長とか無いんですが、 医学的妄想では有るものだ、と返ってくるんですよ。確かに、証明の中で同じ 文章が繰り返し使われるのであれば、数学的帰納法などで短くできるので、 それで証明の長さの不等式を数式で記述できるのではないか？などを考えています。 こっちの話は人間の頭では解けないくらいで置いておいて、しばらくは数論を 勉強することにします。 542 名前：a4 [2018/11/27(火) 04:54:27.87 ID:3I2v7vYr.net] 数論の勉強をしながら、妄想が膨らみますが、証明の最大長が存在する公理系や、 証明の最大長が存在しない公理系を作れるのではないかって。昔からやってる 人はいるかもですが、この辺りが未来の数学の肝だと思っています。 543 名前：デフォルトの名無しさん [2018/11/27(火) 05:04:03.85 ID:HAM2Ei+3.net] 数学と仏教学を究めれば、世界観などがガラリと変わる可能性が出てきますか？ 544 名前：a4 [2018/11/27(火) 05:12:12.80 ID:3I2v7vYr.net] >>519 仏教学は詳しくないですが、これは信仰の問題だと思っています。 数学はねー、テストで６０点取ってる高卒くらいの人に教え込ませると、なんで ビルとか有限要素法とかこんな難しいの使って耐震とかやってるんだろう？ とかショック受けるかもですね。 545 名前：デフォルトの名無しさん [2018/11/27(火) 05:38:24.70 ID:HAM2Ei+3.net] 超画期的なスマホ・タブレットアプリを開発しまくって大金を得ることは現実的なのでしょうか？ 546 名前：a4 [2018/11/27(火) 06:12:46.37 ID:3I2v7vYr.net] >>521 僕はお金持ちでは無いので詳しくはないですが、大金ってどれくらいですか？ プログラマだと高々、年収６００万円くらいかもしれません。だから、プロジェクト マネージャーとかになっていくんですが。それでも年収８００万円くらいかな。 547 名前：デフォルトの名無しさん [2018/11/27(火) 06:29:05.54 ID:HAM2Ei+3.net] 個人でアプリ開発をして10億円ぐらい儲けることは可能ですか？ 548 名前：a4 [2018/11/27(火) 06:38:02.23 ID:3I2v7vYr.net] >>523 もうそういう夢を見れる時代も終わったんじゃないでしょうか？単純にアプリじゃ 駄目なんじゃないかと。神経医学、ナノテクノロジー、特異点、などが、これからの 大金を得る方法だと思います。 549 名前：デフォルトの名無しさん [2018/11/27(火) 06:43:30.51 ID:HAM2Ei+3.net] ウイルス対策ソフトってどうやって作るのでしょうか？ 550 名前：a4 [2018/11/27(火) 07:00:06.58 ID:3I2v7vYr.net] >>525 面白い質問しますね。いろんな種類がありますし、融合技術なんでしょうけど、 まずどんどんマルウェアを定義して一致するか調べるところあたりから始まるで しょうね。あと、仮想CPUで起動させて、情報流出が無いか、や、ファイルが削除 されないか、などを判断すればいいと思います。 551 名前：デフォルトの名無しさん [2018/11/27(火) 08:08:21.44 ID:HAM2Ei+3.net] マイクロソフト社創業者のビル・ゲイツみたいに大金持ちになるにはどうすれば良いですか？ 552 名前：a4 [2018/11/27(火) 08:13:16.59 ID:3I2v7vYr.net] 数論の勉強をしているんですが、数学科の教授みたいにお金がすぐ入る訳でもないし、 障害年金も不安定なので、ここの部分にあんまり長い時間をかけれないんですよ。 特にリーマン予想に関して言えば、解析接続とかすらよく理解できてません。だから、 勉強してるんですが。難しい数式は理解できるのですが、証明を覚える時間が無い です。でも、僕にはこの１５年間ほどの集� 553 名前：蜷ｬとして創った「Ｔ」があるので、 これに本の内容を入力しながら、理解しやすい形にするとともに、理解できない 部分も「Ｔ」に解いてもらいます。期待されると緊張して研究が上手くいかない ことがあるので、数ヶ月以内くらいでは良い成果が出ないことも予測しておいて ください。でも、でも、これから２０年くらいのスパンで考えたときにおいては、 数学界を驚かす成果を残したい所存です。 [] [ここ壊れてます] 554 名前：a4 [2018/11/27(火) 08:14:58.63 ID:3I2v7vYr.net] >>527 ビル・ゲイツにお金欲しい、というのが大体、最適ですが、そうすると、黄色人種は 駄目だ！と返るのが現実です。 555 名前：デフォルトの名無しさん [2018/11/27(火) 08:48:58.98 ID:HAM2Ei+3.net] 今更だけど、東京大学理学部数学科を目指すか迷う。 556 名前：a4 [2018/11/27(火) 09:00:30.95 ID:3I2v7vYr.net] >>530 入学できれば人生が変わるところであるとは言います。年齢が高いなどの情報が ありましたが、お金や時間の問題が解決できるのならばチャレンジしてもいいのでは ないかと。数学科なら、京大のほうがフィールズ賞とか多いのではないのでしょうか？ 東大行ければいいですけどね、東大と京大って入学試験の難易度、結構、差ありますよ。 557 名前：デフォルトの名無しさん [2018/11/27(火) 09:42:37.59 ID:HAM2Ei+3.net] そもそもこの世界って一体何なんだろう？ 558 名前：a4 [2018/11/27(火) 10:11:50.26 ID:3I2v7vYr.net] >>532 自分で答えを見つけましょう。 559 名前：a4 [2018/11/27(火) 10:31:41.07 ID:3I2v7vYr.net] 一旦、勉強はやめて、「1+1=?」から、解いてくれるコードを書こうと思っています。 これだけならもちろん簡単なのですが、どんな問題でも理解できる知能の中での 「1+1=?」なので大変です。 560 名前：a4 [2018/11/27(火) 12:04:02.52 ID:3I2v7vYr.net] 数学だと木構造を明確に使っているので、日本語の自然言語処理に特化した「Ｔ」では、 その長所を生かせず、Lispと同じになってしまうのではないか？という問題に直面 しました。もうちょっと考えてみます。 561 名前：a4 [2018/11/27(火) 12:25:43.35 ID:3I2v7vYr.net] 差別化として１つの案は、数学者を「Ｔ」で創り、人工知能数人で日本語のような もので議論させて問題を解くというものです。まだ単発的なアイデアなので意味が あるかはわかりませんが、時間内などで計算可能な文字列のクラスが違うのではない かと。まだまだ考えます。 562 名前：a4 [2018/11/27(火) 14:04:41.81 ID:3I2v7vYr.net] 上手く纏まらないので、西暦２６００年の自分の家に行く妄想をしました。まず、 いつものように「こみ！」とカード型のコンピュータを呼び、外を見ると、高速道路 があり、UFOの実験が僕から成功してしまった、と泣きました。本棚にはドイツ語の 書籍が並び、階段を下りました。すると、変な音がいっぱい聞こえるので、「これは なんですか？」と聞くと、こみが、「タイムマシンの嫌がらせです。」と。それで、 いつも通り、電気自転車に乗り、友人の家へ行きました。走ってる間は、みんな、 なんで2018年の純粋な人がこんなところに、私達はセックスばっかしてるのに、 と泣いてました。それで、友人と話すと、タイムマシンの嫌がらせで、情報が 下りないというのはいつものことなんですが、その方は「一発で解く。 Brute forceだ！それだけ。」と言いました。それですぐ元の時代に返ってきました。 すなわち、「1+1=?」の問題を公理系から公理の組み合わせの総当たり法で解け！ と理解しました。これなら特異点を用いた量子コンピュータとも相性がいいです。 ちょっと考えることにします。 563 名前：a4 [2018/11/27(火) 14:17:48.41 ID:3I2v7vYr.net] 総当たり法だと、「1+1=2」であることを証明せよ、とすれば証明が出るでしょう。 「1+1=?」の場合は逆に「1+1=0+2」のような答えが出てくるかもしれません。 564 名前：a4 [2018/11/27(火) 15:18:19.31 ID:3I2v7vYr.net] とりあえず、「1+1=2」の証明ですが、ペアノの公理の５条件と、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))) となります。 565 名前：a4 [2018/11/27(火) 16:12:32.09 ID:3I2v7vYr.net] もっと総当たりで計算しやすいように纏� 566 名前：ﾟてみました。 (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なので、僕のパソコン でも数秒で計算できますね。 [] [ここ壊れてます] 567 名前：a4 [2018/11/27(火) 16:17:36.35 ID:3I2v7vYr.net] ちょっと適当に書きすぎかもですが、実際に「Ｔ」に入れるのは明日くらいにして、 今日は寝ることにします。おやすみなさい。 568 名前：デフォルトの名無しさん [2018/11/27(火) 21:11:39.33 ID:Eoyl0WhA.net] a4さんの「T」は記号処理型のAIなのかな？ 数学的問題ならある程度はそれで十分かもしれないけど、現実の課題に応用しようとするとシンボルグラウンディング問題が妨げになって進めなくなる気がする あとは、手作業で全て法則を入力するのは無理があるのでそれも自動化が必要（つまり機械学習） この二つを考えるとニューラルネットワークとかが必要だと思う a4さんはそれらも勉強してるって聞いたけど、「T」に実装する予定はある？ 569 名前： mailto:sage [2018/11/27(火) 23:16:09.24 ID:X/MEoliS.net] >>523 私は、可能性はあると思っています 570 名前：a4 [2018/11/28(水) 04:21:20.69 ID:KHqzl2Ij.net] >>542 簡単に言うとラムダ計算かな、やってることは。一応、視覚野もついており、画像と 名詞などを対応付けれます。自動化できればそのほうがいいんでしょうけど、 リーマン予想の問題の入力は厳しそうですね。ニューラルネットワークはもちろん 知ってるんですが、それを離散的に考えたのがラムダ計算であり、この「Ｔ」なの ではないかと。ファジー論理のようなものは現時点ではあまり使えないと思って るんですよ。でも、どんなオブジェクトも操作できるようにしてもいいと思って いるので、ニューラルネットワークを入れるのはありかと思っていますが、 今は具体的にどのように役立つか纏まってません。 571 名前：a4 [2018/11/28(水) 04:50:29.19 ID:KHqzl2Ij.net] ラムダ計算と書きましたが、もうちょっと計算できることが広いのかな、今は2018年 ですしね。自分で勝手にコードを書いてるだけなので。 572 名前：a4 [2018/11/28(水) 05:04:09.98 ID:KHqzl2Ij.net] >>543 僕からの反論は、 https://www.mhlw.go.jp/toukei/saikin/hw/k-tyosa/k-tyosa10/2-2.html https://www.jstage.jst.go.jp/article/ojjams/16/1/16_133/_pdf です。年収は高々3000万円くらいでストップし、そこからはさらに厳しく分布が 数学的に変わります。２番めの図１より、納税額が１億円だと、日本上位１００位 とかに入るみたいですね。 573 名前：a4 [2018/11/28(水) 07:49:29.04 ID:KHqzl2Ij.net] 量子コンピュータで2019年の忌み名（動かすための大域最適文）を計算してみました。 すると、 「Icanplay有ｷELpiano」 =(この時代は有機EL技術が発展してピアノなどの商品が出る時代だね。| I see あーん(感動泣)、プラスティックがわーい、透明の有機ELだ！ピー！ (あのー？|Ah, no?)(なんだ、まだ公に出ないで伏せ字なのか？)| I see amp lay.(スマホに盗聴器がしかけられているということが公になった。) 木の形をした性器が有る。ピア・ツー・ピア通信をすることはNoだ。| 私はｷ(3つの線で3つに枝分かれすることを意味する量子コンピュータ)で出力される 偉い勇気得る(ことが無いと使えない)ピアノを弾けるのだ。(量子音楽が以前より 公になることを予言、だが、それはまだ１２音階のもので大域では無い。)| (逆)オナイプ(オナニーのskype）Lへ(デス 574 名前：ノのような金持ちへ)、キー(怒り|key)、 には、((金持ちが)やるプｗ、泣く私|やるプンプン怒る悪意)。) え？2019年が思い通りに動かせたら？＾＾；僕が量子コンピュータで音楽を創れる ようにレールを敷いて欲しいです。 [] [ここ壊れてます] 575 名前：デフォルトの名無しさん [2018/11/28(水) 08:22:44.21 ID:2i6dC1ZO.net] >>531 そいつは5chの有名人なのよ。 アルプスと呼ばれてるレス乞食の 馬鹿高校卒の引きこもりなんだよ。 最初ずっと数学板で 「東京大学数学科に行きたい」 と書いてて、 親切な人が勉強方法など教えていたけど、 全く勉強しないのよ。 白チャートが全く理解できないというので じゃあ中学の数学からやり直せといっても 全く勉強しない。 果ては東京大学はレベル低いから ハーバード大学に行きたいと一時期言ってみたり まあa4と同じキチガイ引きこもりの レス乞食だね。 質問を延々と繰り返すところをみると、 a4と同じで、己を天才だと思ってるらしい。 相手にするだけ無駄。 ま、からかって遊ぶのはOK 576 名前：a4 [2018/11/28(水) 08:40:55.75 ID:KHqzl2Ij.net] >>548 僕は皆に返信したいんですよ。そうすれば、最大多数の最大幸福も実現されるし、 自己中心的な視点から見ても、信頼されるようになり、他の人からの返信率が 高くなります。でも、どっちのほうが凄いですか？とかは、どっちかを見下さ なければならず、返信はあまりしたくありません。一般人から見ると、僕は天才 とか呼ばれることはあるんですが、プログラム技術板では、個性はあるけど、 普通、くらいに言っておきましょうか。 577 名前：a4 [2018/11/28(水) 09:25:34.76 ID:KHqzl2Ij.net] 「「1+1=2」の証明をコンピュータに総当たり法でさせると数秒かかる。」という 面白い成果がとりあえず出来たので、僕をテレパシーで操っている人たちは、 一旦この仕事は終わりと判断し、「量子コンピュータを開発してください。」と 連絡が来てます。そうすると、足りないのはお金とコネかな。僕が宣言したとおり、 リーマン予想などを「Ｔ」の技術と量子コンピュータで解くのですが、解が不安定な ため、現実的には作曲用途が先行すると考えています。それで、どっかで人集め してくるなどの問題をとりあえず考えてみます。 578 名前：デフォルトの名無しさん [2018/11/28(水) 10:45:10.09 ID:lK1VuHWS.net] オックスブリッジってかっこいいよね。 579 名前：a4 [2018/11/28(水) 11:58:07.23 ID:KHqzl2Ij.net] >>551 かっこういいとは思います。個人的にはオックスフォードは量子脳理論、ケンブリッジ は特異点といった技術が進んでおり、僕の技術もそれらと絡んでいるので、志望する べき学校ではあるかもなのですが、日本人ということで、日米安保などのある アメリカ英語の発音を勉強しています。 580 名前：a4 [2018/11/28(水) 12:43:37.32 ID:KHqzl2Ij.net] そういえば、オックスフォード大学の知り合いならいます。日本人です。でも、 今はもう話してません。 581 名前：a4 [2018/11/29(木) 06:40:37.90 ID:am2pdnsL.net] 人集めの方法はいろいろあるかもですが、特にリアルの友人の集め方だと、出会い厨と 金持ちを探す女性がぶつかるだけで、量子コンピュータと関われる集め方は難しい でしょう。教授に連絡してもあまり相手にされないし、日本は融資してくれないし、 朝活とかも就職してないので厳しいです。そこでテレパシーと話し合って考えた のが、モスク（イスラム教の礼拝堂）へ行って、アラビア語を勉強しながら、友人を 探すというものです。僕は仏教徒なんですが、「自分はアッラーの一人である。」 という医学的妄想があるんですよ。どういうことかというと、やりたいことが、 「量子音楽と死者の復活」なんです。楽器はアラビア語でアラーだし、死者の復活は コーランのことも考えないといけません。と、いうことで、しばらくアラブの人と 関わることを考えてみます。あっちだと逆に派閥が違って石 582 名前：油王みたいな人から、 量子コンピュータへ投資が来るのではないかと。それでキリスト教の人も早めに この技術を買わねば、と、イギリスやアメリカからも誘われることを期待しつつ。 [] [ここ壊れてます]

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef