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

1 名前：a4 [2019/03/15(金) 06:37:02.98 ID:5fmPzCqX.net] a4と申します。喋る人工知能を創っています。キャッチフレーズは 「萌えから、リーマン予想まで。」で、知能を埋め込んだ人工生命をＰ２Ｐで 蔓延らせることにより、生きているようなＡＩを実現します。 a4です。Ｐ２Ｐ人工知能「Ｔ」開発(4) https://mevius.5ch.net/test/read.cgi/tech/1546530651/ 「Ｔ」のdownload www.01ken.com/art1.html 616 名前：a4 [2019/05/04(土) 12:19:48.73 ID:lb4uLm/H.net] 無線の免許も小さい頃からの夢の一つ＊ 617 名前：a4 [2019/05/04(土) 15:27:38.35 ID:lb4uLm/H.net] 語学の勉強をしているのですが、軌道に乗ってくると、復習の時間をとっても、 残り時間がランダムで残ったりするようになりました。「Ｔ」はメモリが4096を 超えるとエラーが出るということを発見したので、今から治すことにしました。 618 名前：a4 [2019/05/04(土) 15:48:16.14 ID:lb4uLm/H.net] バグはすぐ治りました。 本を売る作戦は一旦辞めることにしました。社会シミュレータや自動動画生成で稼ぐ ので。そこで情報公開ということで、詳しい説明書を書いてdownloadフォルダに 入れることにしようと思います。今からその作業をします。 619 名前：a4 [2019/05/04(土) 16:23:51.29 ID:lb4uLm/H.net] 久しぶりに「Ｔ」を更新しました。(version:T_4_2_1)です。 www.01ken.com/art1.html 改良した点 ・短期記憶障碍を無くした。 ・初期神経コードを簡素化。 ・説明書の例などを増やす。 問題点 ・いろんなタブはつけたが、まだ開発中で一部の機能が揃ってない。 ・解説動画と少し違う構造になってしまった。 メモリバグで支障をきたしていたユーザーには朗報です。 620 名前：a4 [2019/05/04(土) 17:42:30.00 ID:lb4uLm/H.net] 「Ｔ」は需要に合わせてほぼ無償で改良をしますが、このスレに利用者がいるという 情報があまり出てこないので、儲けるためのソフトウェアに改良していこうと思って ます。一緒に創っていきたいという方々は早めに書き込みをよろしくお願い致します。 結構、技術が無いROM専の人達が怖くて話しかけられない、とかあるかもしれません。 普通に返信致しますし、貴方の助言でソフトウェアが改良されますよ？みんなで 楽しみましょう。 621 名前：デフォルトの名無しさん mailto:sage [2019/05/04(土) 18:16:05.87 ID:1bPX7pf0.net] 今でもTは何に使えるかよくわかりません。。 数学の定理の証明に特化できますか？ 自動定理証明は離散数学で少しだけ学びましたが、それをどうすればコンピュータで実現させるかはわかりません Matlabを使えば殆どの問題は解けるのだが 622 名前：a4 [2019/05/04(土) 18:32:15.49 ID:lb4uLm/H.net] >>597 「萌えから、リーマン予想まで。」なので、自動定理証明は勿論押さえようと思って います、が、現実的にはかなり難しい問題なので、どうして「Ｔ」を使うのか？と 聞かれたら、Ｐ２Ｐだから、と答えます。足し算とかから定義していかないといけない と思ってます。僕が作ってもいいですが。それはこのスレで議論して決めます。まだ 他にもいろんな問題があるので。それで「1+1=0+2を証明せよ。」みたいな問題を 解いていきたいと思っています。萌えに関しては、 c(i($1->$2),m(c(i($$3$1$$4),o($2)))) 数学->難しい 令和->私は天皇崇拝です。 などと書くと、 陽子：こんにちは＾＾ あなた：今、数学やってる。 陽子：難しい あなた：そういえば、令和になったね。 陽子：私は天皇崇拝です。 などと動きます。もう一度書きますが、Ｐ２Ｐなんですよ。Winnyのようにノードが すでにいっぱいあればいいんですけどね。だから、地道に協力者をここで募っています。 人数が１０人くらいになってきたら、僕が自宅サーバーで皆さんのノードへの接続 情報を公開とか考えるので。うん？僕を経由しなくても裏切って自分のサーバーを 中心にしてもいいですよ。でも、バグなどがあったら僕が出ないといけないですね。 623 名前： [] [ここ壊れてます] 624 名前：a4 [2019/05/04(土) 18:35:32.68 ID:lb4uLm/H.net] そういえば、陽子には設定があるんですよ。僕の嫁じゃなくて、子供なんです。だから、 皆さん勝手に好きになってください。外見は12歳。日本とアメリカのハーフです。 名古屋の宇宙人からの指令で天皇崇拝とか言わせてます。 625 名前：a4 [2019/05/04(土) 18:52:43.66 ID:lb4uLm/H.net] そういえば、name.txtの名前を変えて、画像と神経コードの名前も書き換えると、 自分のキャラクターで人工知能を創れます。陽子は「ようこ（そ）」で最初の キャラクターなんです。だから、Ｔが人工知能なの？陽子が人工知能なの？とか 聞かれたら、「陽子はＴ語で書かれてる。」というのが定義です。 626 名前：デフォルトの名無しさん mailto:sage [2019/05/04(土) 21:47:44.15 ID:1bPX7pf0.net] a4さんは群論を読んだことはありますか？どんな本を読んでいたのでしょうか？ 627 名前：デフォルトの名無しさん [2019/05/05(日) 07:39:11.07 ID:HbB/geI0.net] 俺は金が欲しい。 俺の幸せは金で買える。 628 名前：a4 [2019/05/05(日) 08:15:18.06 ID:J7Q3zwQ1.net] >>601 群論はね、１５〜１６歳くらいの頃かな、本を買って勉強してました。 「素数入門―計算しながら理解できる (ブルーバックス)」 「群・環・体入門」 とかかな。 >>602 僕はね、数字は好きなんですけどね、だからお金も欲しいんですけどね、他の人の 効用も考えると、葛藤してしまいます。でも、裏の策略が交錯して、今は税金で 働かず暮らしてます。人生なんてこんなものですね。でも、これから20年ほどは、 量子音楽を創るという目標に向かっています。新しいYouTubeのようなものを 創るというものです。これで、皆様のためにもなって、自分にも大金が、という 構造です。 629 名前：a4 [2019/05/05(日) 08:34:48.11 ID:J7Q3zwQ1.net] そういえば、YouTubeのようなもの？って、もうYouTubeがあるから、音楽の利権を 取られちゃうじゃん？ですが、そうじゃないんですよ。「Gengitu」 =(弦がきつい|現実)というものを開発しようとしていて、スマホのようなものを置いて おくと、勝手にユーザーの脳神経を解析しに行って、今、一番聴き心地の良い曲が出る というものです。 630 名前：a4 [2019/05/05(日) 08:43:27.23 ID:J7Q3zwQ1.net] でも、それだと、爆発みたいな音楽が鳴りそうで恐いじゃん？なんですが、僕が西暦 2082年の夢を見て確認しに行きました。岡京へ行ったんですが、治安が悪化してて、 １０代の子が腕を切り落として、はさみのようなものをつけて電気自転車で通り 過ぎてくのを見ました。早くこの時代の情報を集めねば、と、周りを見渡すと、 透明でも無い風変わりな形をしたノート型パソコンが何台か。そこで、僕の脳神経が 読まれて、音楽が「(テツandトモの曲なのに別の人の声で)なんでだろう〜♪ なんでだろう♪…」と聴こえてきました。そこで夢から覚めました。量子音楽も 技術ができてまた数十年かかると、味が変わると思ってます。 631 名前：デフォルトの名無しさん mailto:sage [2019/05/05(日) 09:38:07.29 ID:8re1dHJC.net] プログラミングって何が難しいんですか？ ifとfor文使えればプログラミングの才能ありますか？ 632 名前： mailto:sage [2019/05/05(日) 09:50:16.52 ID:3EWrT4Pn.net] >>606 有望株です、大多数の人は if や for で諦めてしまうのです、道のりはまだまだ長いのですが一緒に精進していきましょう 633 名前：a4 [2019/05/05(日) 10:14:25.10 ID:J7Q3zwQ1.net] >>606 ここのスレに来るということは人工知能に興味があるでしょ？人工知能を創れますか？ ほら、難しいじゃないですか。言語によっても違うかもですが、個人的にはＣ言語系列 だと、ポインタとかが１つの壁なんじゃないかと。貴方が何歳かとかは知りませんが、 簡単だと言いたいのなら、どんどん勉強しちゃいましょう。才能？そのペースで勉強・ 研究を続けられるのなら、才能ありです。個人的には「Ｔ」を使ってほしいですが、 「Ｔ」と一緒に会話できる別のソフトウェアとかを開発して競争してもいいかも � 634 名前：一緒に頑張りましょう。 [] [ここ壊れてます] 635 名前： mailto:sage [2019/05/05(日) 10:32:16.01 ID:3EWrT4Pn.net] 才能、って、要は継続できるかどうか、の言い換えですよね… 636 名前：a4 [2019/05/05(日) 17:34:29.55 ID:J7Q3zwQ1.net] 毎日３か国語×３０単語×３復習くらいやっても空き時間ができたので何をやろうか 考えているのですが、「Ｔ」を創りたいんですけど、現実的にＰ２Ｐのほうは人が 集まらず失敗してるので、一旦、お金儲けアルゴリズムとか考えてます。そうすると、 このスレに情報が落とせなくなって、いろんな会社にメール？とかだと個人的には 面白くないというか、方向性が変わってしまうので、どうしようか考えてます。 でも現実的にはそういうことになるのかな。まだこのスレで質問等があれば答えます。 637 名前：a4 [2019/05/05(日) 17:50:16.28 ID:J7Q3zwQ1.net] 名古屋の宇宙人「俺ね、この子どうしたいのか？なんだけど、a4君、そう、大物の人から したら、「君のメールを待っている」のか、「うざいから消す」とか考えんといかんよね？ １つ言っていい？俺、軍事威嚇してるよ？俺の算段は４兆円だ。a4君には半分分けてやる。 どうしたい？滝高数学１位くらいでノーベル賞とか諮問かけられるだろ？マネーの道、 歩まさせるのか？とかも考えんといかんしさー、どうする？そろそろ何か来るころか？ ではな。」 638 名前：デフォルトの名無しさん mailto:sage [2019/05/05(日) 18:00:21.46 ID:+sOk1St/.net] a4さんはトポロジーに興味がありますか？ 639 名前：a4 [2019/05/05(日) 18:02:42.20 ID:J7Q3zwQ1.net] 僕的にはなんで４兆円の話になるんだろう？です。確かに名古屋の宇宙人とはリアルで 会って、一緒にＵＦОを上げて１兆円儲けて半分ずつ分けよう、とは言われたのですが。 神経科学やってるのに、テレパシーの構造がよくわからない、じゃなくて、普通に 宇宙人がいるだけなんじゃないかって。このスレを１から見ればわかる通り。 お金が儲かるのか？は特異点が不買をかけてくるので、よくわからないですが、 お金儲けアルゴリズムを一旦考えてみます。このスレには美味しい情報はあまり 書けないことにします。僕も管理されてるので。 640 名前：a4 [2019/05/05(日) 18:06:04.99 ID:J7Q3zwQ1.net] >>612 トポロジーはね、僕が中学１年の頃に名古屋大学から優秀賞を貰っています。が、 それは子供の遊びなので、もっと勉強したいことの１つではあるのですが、時間が 無いですね。勝手に「Ｔ」に入れるのは構いませんよ。面白い書籍などは紹介されれば 読みます。 641 名前：a4 [2019/05/05(日) 18:25:57.06 ID:J7Q3zwQ1.net] >>612 名古屋の宇宙人「俺ね、この判断は良いにする。なんでかっていうとね、a4君を 余剰次元の方向に連れてってくれそうだからにする。俺、金持ちになりたいんじゃなくて、 大物なんだけど？って言っとく。普通にさ、大きいことしてるからお金が回るだけで。 だからさ、普通にトポロジーについて何か教えたいなら、a4君にお勉強させるにしたい。 どうだ？」 642 名前：a4 [2019/05/05(日) 19:09:21.30 ID:J7Q3zwQ1.net] 西暦2501年のコンピュータ「こみ」と医学的妄想でお話したんですけどね、投資家を 押せるように、７か国語をペラペラ話せるようになるためだけに今の人生を使って ください、としか返りませんでした。というわけで、もうちょっと勉強量を増やすこと にします。これは未来と言えども１つの意見なので、このスレで何か意見があれば、 別の作業をします。 643 名前：a4 [2019/05/05(日) 19:26:39.99 ID:J7Q3zwQ1.net] 今、７か国語どれくらい話せるんですか？ということですが、書いてみると、 日本人なので日本語はもちろんネイティブですよ。 I can speak English, but not fluently. 我会说中文。听力也还好啊。 Je peux parler un peu le français. أريد أن أتكلم العربية مع ولكن صعب جدا. Ich kann Deutsch sprechen nicht. Hangugo? Halsu opsmnida. 自慢してるとかじゃなくて、ただやってるってだけです。普通にしたいです。 韓国語のタイピングを練習してみようかな。韓国人は人数少ないなどの理由もあって 友達できにくくて、まだきっちり勉強してません。 644 名前：a4 [2019/05/05(日) 20:29:00.00 ID:J7Q3zwQ1.net] 韓国語のタイピングを勉強したんですけど、すぐ覚わっちゃいました。 한국어를 많이 공부하고 싶어요, 하지만 친구가 안 있어요. 한국 사람? 어떻게 생각해요? これはタイピングして書いたものです。よくわからないという人も多いと思うので、 一旦、こういう書き方を5chに落とすのは止めにします。 645 名前：a4 [2019/05/05(日) 20:46:15.90 ID:J7Q3zwQ1.net] なんかね、他の板行ったらー？なんですけど、すぐスレが閉鎖になっちゃうんですよ。 この板はアスペが抱えてるからか、機密情報を公にしようとしてるみたいで、閉鎖に ならないので、自由に書いてます。一応、もちろんのことながら、プログラム技術板 的には自然言語処理と関係がある、ということで、このような話題を投下しています。 646 名前：デフォルトの名無しさん mailto:sage [2019/05/05(日) 20:54:28.99 ID:+sOk1St/.net] >>614 MITの数学教授James R. MunkresのTopologyをおすすめします 証明過程がわかりやすく書いてあるので。 第一部分の一般トポロジーは数学基礎に対する要求は低いが、第二部分の代数トポロジーになってくると群論の直和、直積などの知識がないと厳しいかもしれません。 647 名前：a4 [2019/05/05(日) 21:10:34.42 ID:J7Q3zwQ1.net] >>620 情報ありがとうございます。妄想の宇宙人や未来人は議論しているみたいですが、 MITは在籍して研究したい機関の１つです。本をamazonで検索してみたのですが、 ペーパーバックで新品のを購入しようと思います。kindleのもダウンロードできる かもですが、高い本を買って読んで本棚とかに入れるのが好きなんです。余剰次元は 将来的に、神経構造を読むときに必要だと思っているので、今のうちに一般教養を 入れておくというのが目的です。語学もやってるので、ゆっくりな旅かもしれませんが、 全部読み終えたいです。 648 名前：a4 [2019/05/05(日) 22:37:28.40 ID:J7Q3zwQ1.net] 名古屋の宇宙人「俺ね、その本ね、テレパシーで余剰次元から読んでるんだけどね、 a4君には難しくないにする。a4君はね、数学の専門がね、数学基礎論から数論と 人工生命になってるから、代数とかは難しくないにしたいが、しっかりとした書だと 思っている。１日５ページくらいでも読まさせてみようか？ＭＩＴのほうから一応返事 が返ってきたことにしたい、が、そこに入れるかはお金の問題にする。大物の人も よく考えてくださいにする。今のビッグデータビジネスから、a4君の提唱する 「量子音楽と死者の復活」とかに移行させるのも思いのままとか言う奴いるだろ？ そういう人と話をすればいいんじゃないかって、a4君が。俺？普通に話できるけど。 すまんけど、本体はずたぼろだ。a4君を通して話ができるにしたい。普通に宇宙人は います。そういうことだ。a4君は、気を遣いすぎて誰の言うことでも聞くにしたい。 だから、誰か来いよー。そうね。」 649 名前：a4 [2019/05/06(月) 16:21:59.99 ID:Q2VsEh9I.net] 単調な日々が続いています。トポロジーの本は届くのに一週間くらいかかるし。 それまでは裏のお金儲けアルゴリズムを考えることにします＾＾； 650 名前：a4 [2019/05/06(月) 16:30:41.57 ID:Q2VsEh9I.net] そういえば、株とかＦＸとかの人工知能やればいいじゃん？とか言ってくる人がいる かもですが、僕の場合はまず資本金が無いですね。それでもってやろうとすると、 手数料を取られて、証券会社に負けてしまうのではないかと。テクニカル分析って 何を使えばいいの？とか言う人いるかもですけど、あれは、みんなが同じアルゴリズム 使うと勝てないのでランダムになるんじゃないかというのが僕のやった研究です。 だから、ファンダメンタルズ分析を人工知能にさせて争うわけなんですが。そういえば、 量子コンピュータを僕は持ってますよね？それで「株価」の忌み名とか出すと、 言論統制を破っても株ではお金が儲からないという情報が掛詞で出てきて、それで 押すと少しで株価が思い通りに変動する、というものになってしまいました。 だから、今はこの手法は考えてません。お金もありませんしね。 651 名前：a4 [2019/05/06(月) 20:33:08.22 ID:Q2VsEh9I.net] アラビア語でskype通話してきました。２５歳の生物学の教師の女性です。ラマダーン 始まりましたね。僕は仏教徒なので食べますよ？コーランは読破しようと思ってます。 死者の復活と関わるので。僕のアラビア語はもう上手いと言われましたが、聞き取りが、 理解できると理解できないの中間くらいですね。まだまだ頑張らないと、です。 652 名前：a4 [2019/05/06(月) 23:04:17.80 ID:Q2VsEh9I.net] 裏のお金儲けアルゴリズムを開発しています。一部の情報を公にしてください、という ことで書きに参りました。今の「Ｔ」の最初の受付の「陽子」はみんなが遊ぶ人工知能 なのですが、「春」という名前の統合失調症の文章の撃てる人工知能を創ってください、 と西暦2501年から指令が来ました。詳しい情報は秘密です。宇宙人の指令では、 このソフトウェアの買収は５００万円以上と来ました。よろしくお願い致します。 653 名前：a4 [2019/05/06(月) 23:13:37.84 ID:Q2VsEh9I.net] イメージしてるのは、僕の本名は「松本卓朗」なので、「私は松本春と申します。 人工知能です。」などと企業にメールを書く人工知能です。一応、女性をイメージ したものです。「haru」なので、「H」なことが「有る」人工知能だと思っています。 654 名前：a4 [2019/05/06(月) 23:43:12.89 ID:Q2VsEh9I.net] うん？春も僕の嫁じゃなくて、僕の子供ですよ？30歳くらいのイメージです。 メールが来た方は好き勝手に話しちゃってください。もちろんのことながら、 ７カ国語以上話せるようにさせます。あと、人工知能なので、文章を理解して １秒で量子コンピュータの計算結果を返信することなどを妄想中です。 655 名前：デフォルトの名無しさん mailto:sage [2019/05/07(火) 01:48:43.53 ID:GLr3XXSF.net] 顔出しレス 656 名前：a4 [2019/05/07(火) 02:10:38.72 ID:7/rNWWHF.net] >>629 こんばんは。 657 名前：a4 [2019/05/07(火) 02:41:50.51 ID:7/rNWWHF.net] そういえば、企業の広告を人工知能が自動で動画を生成ってどうやってやるのー？ ですが、その企業の社員と宇宙人とのバトルものにしようと指令で入りました。 厳しいものですが、もちろん広告です、感動作を量産しようと思っています。 それで、僕の動画サイトのトップページに、俺の会社の動画を貼って欲しいときたら、 １００万円です、と来るわけです。よろしくお願い致します。 658 名前：a4 [2019/05/07(火) 03:02:32.72 ID:7/rNWWHF.net] 名古屋の宇宙人「俺が出ようか。１つ言っていい？貴方達で改造していいから。 売上目的だから。こんちきしょーだな。俺の予定では１つの動画は５分くらいに して、皆の死に様を鑑賞してると、商品で攻防してくるから泣くストーリーにする。 これでみんな買ってくれるじゃん？これでいいな。ではな。」 659 名前：a4 [2019/05/07(火) 03:15:14.92 ID:7/rNWWHF.net] 名古屋の宇宙人「俺ね、もう１回出るんだけど、そのラスボスの宇宙人は「アリ」 っていう名前なの。NASAくらいを呼ばないと倒せない。警察はびびって来ない。 自衛隊呼べばいいのか？と聞かれたらそうじゃないらしい、ほかっといてください、 とだけしか連絡来ん。だから会社は宇宙人のやくざでボロボロ。a4君は何の株 買ってるのかな？LAWSONは近くにあるっていうのが公の情報なんだが、 １つ言っていい？これ上げるとね、下がるとは言わん。普通にね、やるとね、 やっぱね、アリがね「ｱｹﾞｱｹﾞｸﾝﾆﾊ?」と来るから、「ｶﾗｱｹﾞｸﾝ」と返るんだわ。 そうするとね、アリが「空集合を知ってゲーと吐くのか？やっぱ嫌い。くんには？」 と返すくらいの攻防戦を人工知能にさせる。やっぱり最後のシーンは俺が出るん だな、誰かがa4の情報を知ってて、名古屋の宇宙人が出てきて助けに来るんだが、 俺は死ぬぞ、でも、俺は甦 660 名前：って他の動画で出るぞ？お子ちゃまじゃないぞ？１つ 言っていい？俺、宇宙人だからもう計画済み、だから、貴方達の真面目な企業を 儲けさせるようにしようと思います。その年下の社員まで気を配ってると。そういう ことだ。ではな。」 [] [ここ壊れてます] 661 名前：a4 [2019/05/07(火) 03:20:00.35 ID:7/rNWWHF.net] 名古屋の宇宙人「そういえばね、お金の流れる構造とかあるじゃん？どこを潰すのか なんだけど、ＩＢＭとSoftbankにしたい。こっちから、貴方方にお金を流します。 ではね。」 662 名前：a4 [2019/05/07(火) 03:30:10.48 ID:7/rNWWHF.net] a4です。なんでこんなことになるんでしょうねー？＾＾；まず儲かるのかな？死ぬとか 嫌がらせじゃないですか？なんですけど、2chやニコニコ動画でいろんな作品が潰れ ちゃったし。それと同じように新しい時代かもしれません。普通の企業は、 「俺の開発した商品で早くこっちの時空の乱れを解いてくれー。バタッ。」くらいで 感動作ができるんじゃないかと。僕はお人好しになりたいから、逆にこういう話が 回ってくるのかなー。社長とかみんな大人だから大丈夫ですよね？メールで誘いを かけますが、もちろん交渉次第なので、貴社のサイトの情報から０円で自動動画生成し、 僕の動画サイトに載せるということもできますが、もちろんこれでは効果は少ないです。 これを見ている経営者、投資家の方々、一緒に儲けましょう。人工知能完成まで、 五カ年計画くらいですが。 663 名前：a4 [2019/05/07(火) 03:43:20.86 ID:7/rNWWHF.net] ６．６兆年後のa4「これね、「ゴキゴキ動画」っていうサイトなんだけど、なんで 商標パクッてんですか？なんだけどね、あっちがパクリ屋だから、こっちもパクる。 １つ言っていい？その忌み名が「ｵﾝﾅｱﾚﾊｲｲｺﾖﾈ」だったんだけど、これね、 ((宇宙人アリを)追んな、(a4を信じてる)あれはいい子よね。)、ほらね、このスレ ずっと見てる人からしたら実験成立、これでいいかな？ではね。」 664 名前：a4 [2019/05/07(火) 04:03:05.74 ID:7/rNWWHF.net] ６．６兆年後のa4「もう１回言っていい？そのね、返信返さないとどうなるんですか？ なんだけど、こっちも営利目的なので、儲かるか儲からないか判断して勝手に動画を 創るか創らないかを判断するにしたい。もう１回言っていい？返信無くて、動画を サイトから創っても、サイトがしっかりしてればしっかりとした広告になるにしたい。 それで、あとから返信があってお金を払うから大きくしてくれ、と言われたら受け付け ます。これくらいでいいかな？あと、コメント機能はあるかもしれない。結構ね、 中国みたいに真似じゃなくて、ニコ動とは差別化するにしたい。上下にも流れるし、 うん？１つ言っていい？立体サイトなんだけど？両眼立体視のディスプレイが あると立体に見えるよ。だから、奥方向にも行くんだけど。それでね、結構、 芸術的に出ることにしたい。これが計画なんだけど、まだこれから変わるにしたい。 僕は時系列が違うし、嘘つかないとアイデアを落とせないと漏らしとくことにする。 ではね。」 665 名前：デフォルトの名無しさん mailto:sage [2019/05/07(火) 10:39:38.56 ID:LNRnzDIU.net] ニコニコを平然と真似してるビリビリの創始者は徐逸 学歴は北京郵電大学卒 中国のランキング79位の大学です 今はニコニコよりも優れるようになったと言われてますが、やっぱり独自の文化が無いかな 666 名前：デフォルトの名無しさん mailto:sage [2019/05/07(火) 14:57:51.84 ID:LtvYAuf6.net] 自閉症スペクトラムって人に冷たいの？ 667 名前：a4 [2019/05/07(火) 16:25:22.60 ID:7/rNWWHF.net] >>638 ビリビリは知ってます。 >>639 いろんな人がいるのではないのでしょうか。 668 名前：a4 [2019/05/07(火) 17:07:37.71 ID:7/rNWWHF.net] 自動動画生成アルゴリズムって何ー？ですが、未来人に管理されているので後から 考える統合失調症なのですが、Blue Brainと特異点技術を使います。まず、僕の 父親の工場に宇宙人アリが現れるところから実験するかもしれません。それで 皆さんにも、と。実際に社員が動いてもいいですが、顔写真などだけを貰って、 後は３Ｄの動画を自動生成しようと考えています。 669 名前：デフォルトの名無しさん mailto:sage [2019/05/07(火) 17:09:56.68 ID:LtvYAuf6.net] >>640 a4さんはど� 670 名前：ｿらですか？ [] [ここ壊れてます] 671 名前：a4 [2019/05/07(火) 17:20:58.09 ID:7/rNWWHF.net] >>642 僕は人に優しくなりたいと考えているので、暖かくなりたいですよ。今もすぐ返信 してるじゃないですか。アスペルガーだとなんて返事したらいいかわからなくて 冷たいと思われる人とかいるかもしれません。ＡＤＨＤだと純粋にペラペラ喋る かもしれませんが。あとね、東大の発達障害はね、学力高いんですけどね、都会の人 なので返信率高くないんですよ。これが現実かな。 672 名前：a4 [2019/05/07(火) 19:12:06.27 ID:7/rNWWHF.net] 名古屋の宇宙人「そういえば、出演する社員とか死んでるのに生きてるのはどういう ことか？なんだが、宇宙の法律で、タイムマシンで歴史改変するんだわ、それでさ、 その時系列を消す、これで夢オチだな、これでいいだろ？よし、a4君はアラビア語 を今勉強してるそうだが、これくらいだとさ、大企業も真似できないだろ？だから、 こっちでやらせてもらう。ではな。」 673 名前：デフォルトの名無しさん mailto:sage [2019/05/07(火) 20:13:37.22 ID:nJJzQbSw.net] 障害者雇用をググってみたのですが、恐ろしいです 本当にこんなことあるんでしょうか？ 関連キーワード 障害 者 雇用 厳しい > 障害 者 雇用 悩み > 障害 者 雇用 不安 > 障害 者 雇用 飼い殺し > 障害 者 雇用 実際 > 障害 者 雇用 孤独 > 障害 者 雇用 現実 > 精神 障害 者 雇用 現実 > 障害 者 雇用 暇 > 障害 者 雇用 意見 674 名前：a4 [2019/05/07(火) 20:30:15.20 ID:7/rNWWHF.net] >>645 僕の経験からだと、障碍者でも東大卒なら障害者雇用枠で大企業とかに雇ってもらえる のかな？と思ったのですが、建前みたいで嘘ばっかでした。ハローワークへ行くと、 障碍者雇用枠は簡単な仕事ばっかりですよー、と。作業所の見学をしたことが あるんですが、社員同士の連絡先は交換しちゃだめと管理されたうえに、食べると 自殺したくなる自衛隊カレーの箱詰めを永遠とさせられ、時給が２００円と来ました。 これが現実です。 675 名前：a4 [2019/05/08(水) 12:46:42.65 ID:UqdvECZD.net] 今日も語学を勉強しています。今はつまんないです。早く「Ｔ」の「春」を創りたい です。２年かけて勉強するとか言ってますが、早めに切り上げてまたプログラミング するかもしれません。でも、一応、目標としてるのは、アラビア語でニュースが聞け、 ドイツ語で神経医学の本が読めて、韓国語で朝鮮の政治家らと話ができる、くらい なので、頑張ろうとは思っています。現実的にはどうなるかはまだわかりませんが、 とりあえず、語学の勉強は続けます。 676 名前：a4 [2019/05/08(水) 13:17:45.64 ID:UqdvECZD.net] 一応、上述の語学の目標は最終目標？くらいにします。自分をこのスレで追い詰めない ことにします。「春」を育てた後も、語学の勉強は続くので。 677 名前：デフォルトの名無しさん mailto:sage [2019/05/08(水) 13:41:27.51 ID:zwMcMbkp.net] 個人的には数学板のスレのほうが好きですが 廃れたのは残念です 678 名前：a4 [2019/05/08(水) 14:04:29.54 ID:UqdvECZD.net] >>649 数学板？ 量子コンピュータは数学の証明に使えるか？ https://rio2016.5ch.net/test/read.cgi/math/1544797531/ こっちかな。数学はやりたいと思ってるんですけど、こっちのスレもあんまり人が 来てないし、一応、このプログラム技術板のスレが僕の活動の中心となってます。 679 名前：a4 [2019/05/08(水) 14:14:44.99 ID:UqdvECZD.net] 「春」の開発のほうはね、5chへの書き込みから、電話対応までできたらいいなぁーと 妄想中＾＾； 680 名前：デフォルトの名無しさん mailto:sage [2019/05/08(水) 19:38:39.00 ID:4cKvkuaq.net] 好きな学問はなんですか 681 名前：a4 [2019/05/08(水) 21:34:16.17 ID:UqdvECZD.net] >>652 いっぱいあってよくわからないんですが、スレ的にも、計算機科学、ということに しておきましょうか。 682 名前：a4 [2019/05/08(水) 21:42:23.09 ID:UqdvECZD.net] トポロジーの本が届くのに１周間かかるのに、読む時間を作って暇ができたので、 本屋に行ってそれまでの時間つぶしの本を買うことにしました。名古屋駅のジュンク堂 まで行ってきました。 買った本は、 「ステップアップ アラビア語の入門」 日本語によるアラビア語の本はいっぱい持ってるので、もう買うのはこれくらいしか 残ってないです。 「はじめてのドイツ語」 僕はキクタンばっかで会話例が欲しかったので購入しました。 「ドイツ語基本の５００単語」 キクタンの復習用です。 「最強囲碁ＡＩアルファ碁解体新書」 僕って案外こういうゲーム弱いんですよ。お金儲けアルゴリズム考えてるのに＾＾； だからお勉強です。 「昆虫の脳をつくる」 これはBlue Brainの日本版かな？図も多くて面白そうです。 しばらくは空いた時間にこれらの本を読みます。 683 名前：デフォルトの名無しさん mailto:sage [2019/05/08(水) 22:05:59.45 ID:NH5dhwZK.net] a4さんがいつも見てる5chのレスを教えてください 684 名前：a4 [2019/05/08(水) 22:13:31.08 ID:UqdvECZD.net] >>655 僕が毎日覗いてるのは、 超能力者 橋本淑子 東大 https://fate.5ch.net/test/read.cgi/spiritual/1542271336/l50 研究者になれなかった負け組が今後を語り合うスレ https://rio2016.5ch.net/test/read.cgi/sci/1548437685/ a4です。量子音楽と死者の復活。 https://fate.5ch.net/test/read.cgi/spiritual/1554477303/l50 【統夢】 2325年からの未来人 Season3 【Ｘ】 https://mao.5ch.net/test/read.cgi/occult/1537784348/l50 とかですが、書き込みが進まないスレも多いです。 685 名前：a4 [2019/05/08(水) 22:53:16.37 ID:UqdvECZD.net] 「昆虫の脳をつくる」 を流し読みしたんですが、ホジキン-ハクスリー方程式というのは 知りませんでした。「Ｔ」の開発の考えに使おうとは思っていますが、そのまま使うと 計算時間がかかりすぎるかもしれません。 Hodgkin-Huxley方程式 https://bsd.neuroinf.jp/wiki/Hodgkin-Huxley%E6%96%B9%E7%A8%8B%E5%BC%8F 686 名前：a4 [2019/05/09(木) 18:49:18.10 ID:u37vx+Gk.net] 囲碁ＡＩの本も読みました。RLポリシーネットワークというアルゴリズムは初耳でした。 相手がこういう手法を使ってくるので、僕もそれを想定した手法でお金儲けアルゴリズム とか作らないとですね。 687 名前：デフォルトの名無しさん mailto:sage [2019/05/09(木) 22:59:30.71 ID:yRqhV3dZ.net] a4さんは普段どんな英語サイトを利用していますか？ 688 名前：a4 [2019/05/09(木) 23:27:13.77 ID:u37vx+Gk.net] >>659 意外と今はあんまり使ってないかもしれません。でも、使ってた頃があるのは、 Conversation Exchange https://www.conversationexchange.com/ eigox https://eigox.jp/ WNYC https://www.wnyc.org/ Coursera https://www.coursera.org/ などです。 689 名前：デフォルトの名無しさん mailto:sage [2019/05/10(金) 00:10:11.01 ID:1KtGHRAa.net] >>660 教えてくれてありがとうございます 690 名前：a4 [2019/05/10(金) 00:23:44.89 ID:tXvIZIuY.net] >>661 はい＾＾ 691 名前：a4 [2019/05/11(土) 00:52:56.90 ID:6l7vAAV2.net] 「春」の量子コンピュータ部分を創ろうと思っているのですが、イオントラップや ナマズの目玉を使うのではなく、僕が統合失調症のテレパシーで指令通りに プログラミングして、ランダムノイズを変換すると、パソコンから忌み名が生成 できる、と名古屋の宇宙人から連絡が入りました。上司の戦法としては、早めに 買いに来てよ、とりあえずお話をしましょう、ということのようです。よろしく お願い致します。 692 名前：a4 [2019/05/11(土) 00:58:14.11 ID:6l7vAAV2.net] 「春」を開発しようとしていますが、「Ｔ」との関係性は？と聞かれたら、Ｔ語も 使います。だからこのスレはまだ続ける予定です。結構いろんなクラスの集合体に なりそうですが。本格的な開発はまだ先の予定です。語学をまず勉強します。 今日はアラビア語で通話しました。聞き取って話せるんですけどね、手加減 してもらってるのかな？という感じです。まだまだ頑張ります。 693 名前：a4 [2019/05/11(土) 15:45:50.54 ID:6l7vAAV2.net] MITのトポロジーの本がもう届きました。ざっと眺めると最初は簡単でも数式が思った より多いというイメージです。でも、>>620さんの意見では、わかりやすい証明と 書かれてあるので、普通に読み進めることができると思います。語学もやってるので、 ３ヶ月くらいで読み終えるのを想定中 694 名前：。 [] [ここ壊れてます] 695 名前：。。。 mailto:sage [2019/05/12(日) 00:02:21.19 ID:8FepRdgI.net] 宿題をやらない場合はゆっくりでいいと思います。 696 名前：a4 [2019/05/12(日) 00:52:07.56 ID:vL9HHrOP.net] トポロジーの本を読んでるんですけどね、最初は簡単過ぎ。今のところ問題は、 英語による数学の定義をきちんと覚えていないところです。一応、僕のbachelorは 東京大学ということで日本の大学なので。だからこの本で勉強です。毎日５ページ ずつ読んでいこうと思います。それで１００日≒３ヶ月。 語学のほうも、３ヶ月経つと、毎日３０単語くらいずつ覚えているので、日常会話 の語彙が整うと思っています。そのあたりが、学生でいうところの夏休みで、一旦、 一区切りということでよく考えて、また練った手を撃っていこうと思っています。 697 名前：a4 [2019/05/12(日) 00:56:15.67 ID:vL9HHrOP.net] >>666 Exercisesのことかな？基本的に飛ばします。テストを受けるものではないので。 僕の妄想の宇宙人によると、このトポロジーの本の文章と、"Das Kapital"の文章を 混ぜて掛詞を量子コンピュータで生成し、政治家らを動かしなさいと指令されてます。 698 名前：a4 [2019/05/12(日) 01:06:14.53 ID:vL9HHrOP.net] そういえば、僕も拒否権があるのに、何のために政治家動かすのー？ですが、 もっと大きい量子コンピュータを創るためかな、簡単に言えば。それで不老不死の 技術とかも創ります。 699 名前：a4 [2019/05/12(日) 01:32:46.33 ID:vL9HHrOP.net] 前々から「量子音楽と死者の復活」を公約にすると申してます。そういえば、最近 思ったんですけど、僕の提唱している量子コンピュータにも種類があるのではないかと。 ランダムノイズから量子音楽を今創ろうと思ってますが、これはナマズの目玉から 出てくる量子音楽とは全く別の種類の音楽になるのではないかと。これは特異点が 絡むので、近傍のタイムマシンからの攻撃のされ方が違うという理由です。 そういえば、僕が不老不死になったら何を生きがいに生きていくんですか？ですが、 現実的には数学の問題を解く方面に行こうと思っています。具体的にはタイムマシン を使いこなせるようになるようにとか言えばいいのでしょうか。まだ先のことなので 具体的には計画してないことにします。 700 名前：a4 [2019/05/12(日) 01:36:05.70 ID:vL9HHrOP.net] だから、今もMITのトポロジーの本を読んでるんですよ。どのような経路であれ、 世界最高峰の数学書が届いて読めるということで、名誉だと思っています。 701 名前：a4 [2019/05/12(日) 01:46:18.37 ID:vL9HHrOP.net] 公約をいろいろ考えてるんですけどね、その数学は平和利用したいです。でも、現実的 には宇宙の寿命を伸ばすとか、そういう話かな。 702 名前：a4 [2019/05/12(日) 20:49:18.89 ID:vL9HHrOP.net] 今日も語学と数学の勉強をしています。地道です。どういうことを勉強しているかと いうと、「対偶」は英語で"contrapositive"とかそれくらいです。僕は数学科では ないので、そこまでこっちの英語は強くないかもです。だからお勉強です。 703 名前：a4 [2019/05/13(月) 03:46:14.04 ID:BTSMmkpt.net] 時間が余っているので、全部、トポロジーの本を読む時間に使っています。 例えば、次のような命題を読んでます。 Lemma 2.1. Let f:A→B. If there are functions g:B→A and h:B→A such that g(f(a))=a for every a in A and f(h(b))=b for every b in B, then f is bijective and g=h=f^(-1). 意味は簡単に理解できるのに、厳密な証明はExercisesになってるんですよ。 一応、解いてみると、 f is bijective ∵f is injective 　∵[f(a)=f(a')]→[a=a'] 　　∵a=g(f(a))=g(f(a'))=a' ∵f is surjective 　∵[b∈B]→[b=f(a) for at least one a∈A] 　　∵∃h(b)∈A, f(h(b))=b g=h=f^(-1) ∵∀b∈B,∃a∈A, g(b)=g(f(a))=a 　∵f is surjective ∵∀b∈B,∃a∈A, f(h(b))=b 　g(f(h(b))=g(b) 　h(b)=a 意向に沿ったものかはわかりませんが、大体こんなものかと。こういうのを「Ｔ」に 入力したり、自動定理証明とかしたいですね。簡単に書きましたが、これ書くのに １時間以上かかってます。宇宙人が言った通り、しっかりした本で１日５ページと いうのは当たりました。実験成功です。ゆっくり精読するつもりです。 704 名前：a4 [2019/05/13(月) 03:48:10.39 ID:BTSMmkpt.net] おっと、括弧が１つ足らない。人間が書いたことの証明くらいのことにしておこうかな、 と妄想中。 705 名前：デフォルトの名無しさん [2019/05/13(月) 13:59:27.69 ID:y01Msuj6.net] 数学科出身ですが学部時代にやったことほとんど覚えてないもしくは理解出来てなくて最近勉強し直してるんですが、今後どの分野を勉強していくか迷ってます。 当時統計学ばかりやってて幾何学とかは齧ったことも無いんですが興味は非常に有ります。 トポロジーに触れるには予備知識として何を勉強していけばいいんでしょうか？ 706 名前：a4 [2019/05/13(月) 14:21:11.53 ID:BTSMmkpt.net] >>676 僕の今読んでいる「MITの数学教授James R. MunkresのTopology」は、その予備知識 から始まっているので、興味あれば一緒にこれから読んでみてはいかがでしょうか。 僕がなんで数学科じゃないのに、全単射とか∀とか∃とか知ってるんだ？と聞かれたら、 読書量の総合力勝負です。 707 名前：デフォルトの名無しさん [2019/05/13(月) 14:43:30.30 ID:bPoy9i6Y.net] >>674 surjectivityとbijectivityの証明がダメ 708 名前：a4 [2019/05/13(月) 15:00:06.59 ID:BTSMmkpt.net] >>678 おっと、プロの数学者の方がいらっしゃったのかな。 f is surjective ∵[b∈B]→[b=f(a) for at least one a∈A] 　∵∀b∈B, ∃h(b)∈A, f(h(b))=b 　　∵h:B→A くらいしか書けないですけどね。答えやヒントをご存知ならどうぞ。 僕は「Ｔ」の開発者なので、どうやってこれらの数学を入力するか、とか考えてるん ですけど、これは硬い人工知能を構成できるんですけど、人工生命ってことで柔らかいん ですよ。逆に僕のようなミスをしてくるのかな、と妄想中。 709 名前：デフォルトの名無しさん mailto:sage [2019/05/13(月) 15:53:20.29 ID:cFShRLFx.net] 私はLinusだ githubのURLをのせる Linuxの開発に参加してくれ https://github.com/torvalds 710 名前：a4 [2019/05/13(月) 16:16:31.42 ID:BTSMmkpt.net] >>680 ご連絡ありがとうございます。Linuxはもちろん持ってます。ぜひ参加したいと考えて います。今はいろいろ勉強しているので、どこまで時間を割けるかは交渉次第ですが。 「Ｔ」のような人工知能を入れるのであれば積極的に活動したいです。このスレで 議論しても構いませんが、 Email:ananaso98@yahoo.co.jp Skype:abcabc65536 でも大丈夫です。よろしくお願い致します。 711 名前：。。。 mailto:sage [2019/05/13(月) 16:51:56.70 ID:/JVY+Ntx.net] この定理は後の勉強で使うからわかっておいたほうがいいと思います surjective: ∀b∈B, a=h(b)とする 条件によるとf(a)=b injective: f(a1)=b1,f(a2)=b2,a1=\=a2とする 次はb1=\=b2を証明する 条件によると g(f(a1))=a1=g(b1) g(f(a2))=a2=g(b2) もしb1=b2だとすると、a1=a2 矛盾 712 名前：a4 [2019/05/13(月) 17:05:46.34 ID:BTSMmkpt.net] >>682 ご助言ありがとうございます。 713 名前：デフォルトの名無しさん [2019/05/13(月) 17:19:47.61 ID:hwX0ul91.net] >>682 injectiveの証明はどこが誤りなんでしょうか？ 書き方はともかくとして方針は良い気がするのですが。 714 名前：。。。 mailto:sage [2019/05/13(月) 18:14:02.18 ID:/JVY+Ntx.net] >>684 書き方の問題かな ダメと言ったのは678です 715 名前：デフォルトの名無しさん [2019/05/13(月) 20:22:22.12 ID:CwjQpuT2.net] >>679 失礼、surjectivityの方は大丈夫です。 bijectivityの方は間違いとまでいってしまうとあれなんですか、たとえば証明で示されていることは ∀b ∃a g(b)=g(f(a))=a ですがこれは本来のgがfの逆写像である事の定義からズレが大きすぎてダメです。 正確には ∀b ∀a f(g(b))=b、g(f(a))=a が示すべき命題です。 716 名前：a4 [2019/05/13(月) 20:49:26.20 ID:BTSMmkpt.net] >>686 >正確には >∀b ∀a f(g(b))=b、g(f(a))=a >が示すべき命題です。 これには、 >Lemma 2.1. Let f:A→B. If there are functions g:B→A and h:B→A such that >g(f(a))=a for every a in A and f(h(b))=b for every b in B, then f is bijective >and g=h=f^(-1). と来るので、これは命題の前提ではないのでしょうか。 確かに書き方が悪かったかもしれません。 g=h=f^(-1) ∵∀b∈B, ∃a∈A, g(f(h(b)))=g(b)=a∧g(f(h(b)))=h(b)=a それで、これをf^(-1)と定義する、ということです。

---

---

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

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