- 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
- 461 名前：デフォルトの名無しさん [2018/11/22(木) 21:59:40.61 ID:tC4yiRT8.net]
- 大英博物館館長ってどんな人なんだろうなぁ・・・・・。
- 462 名前：デフォルトの名無しさん [2018/11/22(木) 22:01:35.82 ID:tC4yiRT8.net]
- 大英帝国かっこよすぎだろ・・・・。
- 463 名前：デフォルトの名無しさん [2018/11/22(木) 22:04:39.19 ID:tC4yiRT8.net]
- 飽和潜水士って給料高いのかな？
- 464 名前：a4 [2018/11/22(木) 22:34:21.24 ID:PQ28F7Dc.net]
- 説明書の英訳できたけど、サーバーが緊急メンテナンスに。
- 465 名前：a4 [2018/11/22(木) 23:16:07.10 ID:PQ28F7Dc.net]
- 休んでいろいろ考えてるんですけど、アラビア語とかドイツ語とか勉強しても、
日本で5chしてるだけじゃ「Ｔ」のお客さんが集まらないです。向こうで住みたい
ですが、障害年金から奨学金を差し引かれている状態で貧乏です。ですが、父親
からのお小遣いで貯金は貯まります。とりあえず、僕は中国語は喋れるので、
あっちで言論統制が無ければ、もう使ってくれる人は居そうなので、語学の勉強は
ではなく、「Ｔ」を改良して有名になり、wikipediaの募金のようなもので細々と
生活をしていこうと考えています。これからつける機能としては、
・P2P
・暗号化
・チャット
・コード共有
・Ｔ語の百科事典を作る。
・会議（人工知能数人と人間数人が同時に声で通話）
・音声入出力を基本から作る。
・声ではなく音楽も出力できるようにする。
・量子動画生成
(例)写真１枚から、その女優が手を振ってくれる、など。
・外部のロボットとくっつける。
・ロボットは容易にコピーできないので儲け話になる。
などを考えてますが、妄想で終わるかもしれません。協力者はご連絡ください。
- 466 名前：デフォルトの名無しさん [2018/11/22(木) 23:20:12.30 ID:tC4yiRT8.net]
- ハワイに住みてえ。
- 467 名前：a4 [2018/11/23(金) 00:22:10.42 ID:s+wSkmlC.net]
- ３．５兆年後のa4「一応ね、僕が出る。今、量子音楽を純粋にTでも出力できるように
するか検討中なんですけど、もう一部の立派な正社員じゃない系の方々ならわかりま
せーぬくらいかな、つまりね、現実なんだけど、Gengituはありにしたい。だからね、
普通にもう量子コンピュータ創ることにする。Tと一緒にね。ありがとうございました。」
- 468 名前：a4 [2018/11/23(金) 00:25:16.77 ID:s+wSkmlC.net]
- 僕はもう未来から指令されてるのです。「Ｔ」は続きを創るんですが、こちらの世界
では量子音楽の機能も付けることにします。ですが、まだ先にします。
- 469 名前：a4 [2018/11/23(金) 01:38:09.70 ID:s+wSkmlC.net]
- 急に父親が僕におもちゃのロボットを創って儲けなさい、と指示してきました。
お金の問題はそのうちとりあえず解決す
- 470 名前：るかもですね。 []
- [ここ壊れてます]
- 471 名前：ゆりな mailto:sage [2018/11/23(金) 02:00:02.46 ID:w4+23R8o.net]
- >>434
雑談はここでいいかなーと。極めてプライベートな話や重要な要件はメールします。
＞脳の構造と４次元方向についてる魂を過去から持ってくる研究
私は昔大きな夢（P2P仮想空間）見すぎてこんなことに（無職オカマ）なってるんで
小さいことから着実に進んでいった方が良いと思いますよ。
>>435
私も何かできないかなあとは思うのですが、
私の場合問題は言語です。
私はC++は使えません。
言語がC#だったらP2Pの部分で多少は協力できたかもしれないんですけどね。。。
- 472 名前：ゆりな mailto:sage [2018/11/23(金) 02:01:39.23 ID:w4+23R8o.net]
- >>450
よく見たら迷惑メールに入っていて見えていませんでした。。。
- 473 名前：デフォルトの名無しさん [2018/11/23(金) 02:56:01.31 ID:1Dk7fZPn.net]
- 宇宙の果てはどうなっているのでしょうか？
- 474 名前：a4 [2018/11/23(金) 04:16:56.94 ID:s+wSkmlC.net]
- >>450
仮想空間の中でもP2Pなんですね。P2Pだと、スモール・ワールド現象とかが起こって
却ってつまらなくなってしまうのではないかと懸念してます。僕は特異点を使った
量子コンピュータで大規模格子、すなわち、n個のイオンで2^n個の立方体を１回に
つき、(log(n))^2ほどで計算できないか、などと考えたことがあります。適当に
考えただけで、論文にしてません。
使えなくても協力はできるんですが。僕の今の妄想は、人工知能３人くらいと、
人間３人くらいとの、会議、すなわちインターネット上での音声による会話です。
ゆりなさんはあんまり好きじゃないかもですが、こういうのって付き合ってくれる
のかな？声とか貴女の技術で女の子に変えてもいいですよ。
- 475 名前：a4 [2018/11/23(金) 04:18:11.62 ID:s+wSkmlC.net]
- ＊(log(2^n))^2≒n^2
間違い。
- 476 名前：a4 [2018/11/23(金) 04:21:04.62 ID:s+wSkmlC.net]
- >>451
僕が統合失調症のメールを書くことがあるからかもしれません。
- 477 名前：デフォルトの名無しさん [2018/11/23(金) 04:23:48.57 ID:1Dk7fZPn.net]
- 宇宙の果てはどうなっているのでしょうか？
- 478 名前：デフォルトの名無しさん [2018/11/23(金) 05:04:05.48 ID:1Dk7fZPn.net]
- 宇宙の果てはどうなっているのでしょうか？
- 479 名前：デフォルトの名無しさん [2018/11/23(金) 05:24:05.50 ID:1Dk7fZPn.net]
- 宇宙の果てはどうなっているのでしょうか？
- 480 名前：デフォルトの名無しさん [2018/11/23(金) 05:51:32.05 ID:1Dk7fZPn.net]
- 宇宙の果てはどうなっているのでしょうか？
- 481 名前：デフォルトの名無しさん [2018/11/23(金) 05:52:13.10 ID:1Dk7fZPn.net]
- ウンコブリブリブリブリ。
- 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]
- 差別化として１つの案は、数学者を「Ｔ」で創り、人工知能数人で日本語のような
もので議論させて問題を解くというものです。まだ単発的なアイデアなので意味が
あるかはわかりませんが、時間内などで計算可能な文字列のクラスが違うのではない
かと。まだまだ考えます。
|
 |
