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 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)と定義する、ということです。 717 名前：a4 [2019/05/13(月) 20:54:12.00 ID:BTSMmkpt.net] 名古屋の宇宙人「俺が出るぞ？俺は妄想だぞ？多重人格だ。確かにさ、教授らから したら、いろいろ指導したいのはわかるが、a4君はTを完成させた３０歳だ、甘く 見るな。でもさ、まだ年上で厳しく教えることがいっぱいあるという方々が いらっしゃると思うので、a4君にはそのしつけの作業として、この本だけは 読ませるぞ。いいな。ではな。」 718 名前：a4 [2019/05/13(月) 20:59:45.81 ID:BTSMmkpt.net] >>686 >>687 命題の前提じゃないですね。すみません。一応、その記法で書くと、 ∀b∈B, g=hより、 f(h(b))=f(g(b))=b 前提より、 g(f(b))=b これでいいかな。 719 名前：a4 [2019/05/13(月) 21:01:31.94 ID:BTSMmkpt.net] 人間なので何回も間違えるんですけどね。もうちょっと綺麗に書くと、 ∀b∈B, g=hより、 f(g(b))=f(h(b))=b 前提より、 ∀a∈A, g(f(a))=a 720 名前：a4 [2019/05/13(月) 21:04:21.09 ID:BTSMmkpt.net] 僕はおっちょこちょいだけど、これのおかげで人工生命的には突然変異となり、 新しい理論が創れる、ということにしておこうかな。でも、大学受験のときの センター数学は200点でした。何回も見直すからです。 721 名前：デフォルトの名無しさん [2019/05/13(月) 21:06:22.59 ID:CwjQpuT2.net] >>690 g=h は示すべき命題です。 仮定ではありません。 722 名前：デフォルトの名無しさん [2019/05/13(月) 21:25:05.84 ID:BTSMmkpt.net] >>692 そこは、>>687の、 >g=h=f^(-1) >∵∀b∈B, ∃a∈A, g(f(h(b)))=g(b)=a∧g(f(h(b)))=h(b)=a >それで、これをf^(-1)と定義する、ということです。 で証明になりませんか？ 723 名前：デフォルトの名無しさん [2019/05/13(月) 21:56:42.29 ID:CwjQpuT2.net] >>693 なりません。 >>690の証明の二行目を見てください。 g=hよりとありますね？ g=hはどこで証明したんですか？ 問題文の仮説にはありませんね？ 724 名前：a4 [2019/05/13(月) 22:06:20.00 ID:BTSMmkpt.net] >>694 僕の証明が、数学的に悪いのか、日本語的に悪いのかが、わかりません。 僕の考えでは、 >>693で、 ∀b∈B, g(b)=h(b)より、g=hです。 確かに納得いかないですね。「f(x)=g(x)→f=g」という公理や定理があるのかな？ というのは僕も疑問です。 語学を勉強したり、人工知能を創ったりと、忙しいので、数学の最初だけにあまり 時間はかけられないので、そろそろ答えを見たほうがいいかもしれません。問題 なのは、この本の後半のトポロジーの専門的な話だと思うので。 725 名前：デフォルトの名無しさん [2019/05/13(月) 22:28:14.94 ID:CwjQpuT2.net] >>695 ちょっとわかりません。 証明があちこちにバラバラ何ですか？ 一度まとめてみてもらえませんか？ 普通に書けば1レスで収まるはずです。 726 名前：a4 [2019/05/13(月) 22:40:57.50 ID:BTSMmkpt.net] >>696 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] 　　∵∀b∈B, ∃h(b)∈A, f(h(b))=b 　　　∵h:B→A g=h=f^(-1) ∵g=h 　∵∀b∈B, ∃a∈A, g(b)=h(b)=a 　　∵∀b∈B, ∃a∈A, g(f(h(b)))=g(b)=a∧g(f(h(b)))=h(b)=a ∵g=f^(-1) 　∵∀a∈A, g(f(a))=a 　∵∀b∈B, f(g(b))=f(h(b))=b 　　∵g=h 727 名前：デフォルトの名無しさん [2019/05/13(月) 23:18:35.65 ID:AuHMeLyW.net] >>697 だいたい合ってますが厳しく言えばダメです。 > 　∵∀b∈B, ∃a∈A, g(b)=h(b)=a > 　　∵∀b∈B, ∃a∈A, g(f(h(b)))=g(b)=a∧g(f(h(b)))=h(b)=a ココ。 まず ∀b∈B, ∃a∈A, g(f(h(b)))=a コレはなぜ言えるか分かっていますか？ コレはφが関数である事の定義 ∀b∈B, ∃!a∈A, φ(b)=a とg(f(h(x)))が関数である事(関数を合成して新しい関数が出来ることは不問とします。)を利用すればでますが g(f(h(b)))=a g(b)=a h(b)=a というaについての3つの条件を同時に満たすaが存在する事は自明といってはいけません。 もちろんあなたにそこは自明でないから証明をつけて下さいと言えばできるでしょう。 でもそんな事ではなく、このレベルの入門書で筆者が読者に対してどういうレベルの解答を求めているのかがわからないようでは理解が浅いというそしりを受けてもしょうがないでしょう。 基本をなめてはいけません。 728 名前：。。。 mailto:sage [2019/05/13(月) 23:31:00.06 ID:/JVY+Ntx.net] 何を言いたいのかはわかりませんが、自分で英語の数学書を読んでみてください 729 名前：a4 [2019/05/13(月) 23:38:34.04 ID:BTSMmkpt.net] >>698 はい。わかりました。基本をよく考えることに致します。 730 名前：僕は工学学士なので論理は 追えてもプロの数学者の感情は読みづらいところがあるかもしれません。失礼致し ました。読書はゆっくりでも進めるので、またお話できればと考えております。 [] [ここ壊れてます] 731 名前：a4 [2019/05/13(月) 23:40:29.56 ID:BTSMmkpt.net] >>699 この数学書は毎日読みますよ。Linuxの仕事が入って、もっと忙しくなるかもしれ ませんが。 732 名前：。。。 mailto:sage [2019/05/13(月) 23:49:27.71 ID:/JVY+Ntx.net] 頑張ってください、a4さん あなたは僕の信仰です 733 名前：a4 [2019/05/13(月) 23:57:12.44 ID:BTSMmkpt.net] >>702 はい。ありがとうございます。「量子音楽と死者の復活」に向けて頑張ります。 734 名前：デフォルトの名無しさん [2019/05/14(火) 00:41:42.43 ID:lkxaSyPR.net] g=h 　 ∵∀b∈B g(b)=h(b) 　 　 ∵∀b∈B g(f(h(b)))=g(b), g(f(h(b)))=h(b) 　 　 　 ∵∀b∈B f(h(b))=b, ∀a∈A g(f(a))=a g=f^(-1) 　 ∵∀a∈A g(f(a))=a, ∀b∈B f(g(b))=b 　 　 ∵仮定, ∀b∈B f(g(b))=f(h(b))=b 735 名前：a4 [2019/05/14(火) 00:45:13.36 ID:21gaheMm.net] >>704 拝見しました。 736 名前：a4 [2019/05/14(火) 06:31:16.68 ID:21gaheMm.net] 名古屋の宇宙人「今日の朝はね、a4君とfacebookで個通をしたんだが、１つ言って いい？a4君は左翼とか考えてないらしい、やはり公約は「量子音楽と死者の復活」 らしい。俺に従うとは言ってるが、１つ言っていい？俺はいい奴じゃねーよ。じゃぁ、 なんでa4君が従うか？a4君は人工社会とか作ってるから、現実を知ってるだけだ。 それぐらいにしとこうか。a4君には美味しい情報を沢山流した。今日、a4君は 大きくなっちまったな。こうしとこうか。ではな。」 737 名前：a4 [2019/05/14(火) 06:41:40.23 ID:21gaheMm.net] a4です。テレパシーじゃない方法で名古屋の宇宙人と話すと現実です。国会議員の 知り合いの紹介のようなことをしてくれるみたいです。僕の量子音楽の政治利用とか 普通にあるので。死者の復活のほうはまだ先ですが、仏教とキリスト教とイスラム教 のことくらいは普通に考えて構成します。 738 名前：デフォルトの名無しさん mailto:sage [2019/05/14(火) 13:07:10.32 ID:hVHCgA81.net] プログラム板上位の勢いのTスレですが、このソフトは珍しいんでしょうか？ 739 名前：a4 [2019/05/14(火) 22:14:38.27 ID:21gaheMm.net] >>708 珍しいか？と聞かれたら、Ｔ語はLISPやPrologなどとは違い日本語入出力に特化し、 Ｐ２Ｐというところで独自性があると答えようかな。簡単に無償でダウンロード できますが、有名になってはいません。 740 名前：a4 [2019/05/14(火) 22:25:58.13 ID:21gaheMm.net] 量子音楽の政治利用ってなんだろう？って思う、僕より若い人がいるかもしれません。 確かに選挙の活動の時に勝手に「松本卓朗！松本卓朗！」とか歌ってくれるコンピュータ でもいいんですが、僕が技術を創ったら誰かが盗んでいくだけなので、脳にチップを 埋め込んで一般大衆を統制する曲や、石油などが無くなるために人口削減などに使わ れると思っています。だから、嘘をつきたくないので早めに流しておきます。あと、 天国とかあるんですか？ですが、これは余剰次元に構成しようというのが計画です。 741 名前：a4 [2019/05/14(火) 23:04:09.34 ID:21gaheMm.net] 未来人からテレパシーで指令を受けています。語学の勉強を一旦やめてください、と。 名古屋の宇宙人にもfacebookで、現地に行くのが一番だ、と言われました。人間関係の 流れがバタフライ効果的に変わったみたいです。そこで、上述のトポロジーの本だけを 読むことにして、それが終わったら、すぐ「Ｔ」の開発を再開することにします。 そういえば、Linusさん、あれから来ないですね。You can talk with me in English. 742 名前：デフォルトの名無しさん mailto:sage [2019/05/14(火) 23:10:06.40 ID:OFRhxQBv.net] no way. 743 名前：a4 [2019/05/14(火) 23:31:05.21 ID:21gaheMm.net] >>712 Hmm? Are you Japanese? 744 名前：デフォルトの名無しさん mailto:sage [2019/05/14(火) 23:44:28.45 ID:OFRhxQBv.net] is it important? 745 名前：a4 [2019/05/14(火) 23:46:25.38 ID:21gaheMm.net] >>714 No. I have many foreign friends on the Internet. 746 名前：。。。 mailto:sage [2019/05/14(火) 23:48:14.41 ID:NX8C3hwz.net] そう言えば、僕はvarです QuickQって言うvpnアプリをスマホに入れると書き込みできるようになりました 海外から書き込みしたい場合はRoninを持っていないなら日本ルートが必要のようです 747 名前：デフォルトの名無しさん mailto:sage [2019/05/14(火) 23:49:37.45 ID:OFRhxQBv.net] variant? variable? or dimension? 748 名前：a4 [2019/05/14(火) 23:51:33.51 ID:21gaheMm.net] >>716 そうなんですね。金盾とかの話かな。 749 名前：a4 [2019/05/14(火) 23:53:18.76 ID:21gaheMm.net] >>717 716 is my friend. 750 名前：デフォルトの名無しさん mailto:sage [2019/05/14(火) 23:55:58.44 ID:OFRhxQBv.net] >>719 it u r 751 名前：デフォルトの名無しさん mailto:sage [2019/05/14(火) 23:57:20.14 ID:OFRhxQBv.net] XD 752 名前：a4 [2019/05/14(火) 23:58:42.63 ID:21gaheMm.net] >>721 :) 753 名前：a4 [2019/05/15(水) 01:48:45.26 ID:xdvzaAS3.net] トポロジーの本を読んでるんですけどね、簡単な本では無いですね。読み終えたいん ですけど、読み進めてもどこかで止まってしまいそうなので、テレパシーで相談した 結果、先生方には申し訳ございませんが一旦中断し、ここは「Ｔ」のスレなので、 早めにその人工知能をもっとenrichさせて、定理の証明を入力しながら理解する方針 に変えることにしました。スキャナで読み込んだら、プログラミング言語のようなものに 変換され、動画でわかりやすく解説がある、というのが妄想です。まだ読破しよう とは思っているということです。また方針は変えるかもしれません。よろしくお願い 致します。 754 名前：a4 [2019/05/15(水) 03:19:46.84 ID:xdvzaAS3.net] I am going to build "T", but I am wondering if I should do (1)Build the AI with Linus into Linux. (2)Enrich the AI on windows for strangers. (3)Develop the AI for starting a business. I will choose (3) if there are no offers here. 755 名前：デフォルトの名無しさん mailto:sage [2019/05/15(水) 10:13:34.51 ID:G1Rnn+1k.net] JavaでC言語を実装することは愚かなことですか？ 756 名前：デフォルトの名無しさん mailto:sage [2019/05/15(水) 12:14:40.91 ID:OAYn5qP+.net] 愚の極みと言えなくもない

---

---

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

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