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

a4 ◆L1L.Ef50zuAv · 2019/03/15(金) 06:37:02.98

a4と申します。喋る人工知能を創っています。キャッチフレーズは
「萌えから、リーマン予想まで。」で、知能を埋め込んだ人工生命をＰ２Ｐで
蔓延らせることにより、生きているようなＡＩを実現します。

a4です。Ｐ２Ｐ人工知能「Ｔ」開発(4)
https://mevius.5ch.net/test/read.cgi/tech/1546530651/
「Ｔ」のdownload
http://www.01ken.com/art1.html

a4 ◆L1L.Ef50zuAv · 2019/05/06(月) 16:30:41.57

そういえば、株とかＦＸとかの人工知能やればいいじゃん？とか言ってくる人がいる
かもですが、僕の場合はまず資本金が無いですね。それでもってやろうとすると、
手数料を取られて、証券会社に負けてしまうのではないかと。テクニカル分析って
何を使えばいいの？とか言う人いるかもですけど、あれは、みんなが同じアルゴリズム
使うと勝てないのでランダムになるんじゃないかというのが僕のやった研究です。
だから、ファンダメンタルズ分析を人工知能にさせて争うわけなんですが。そういえば、
量子コンピュータを僕は持ってますよね？それで「株価」の忌み名とか出すと、
言論統制を破っても株ではお金が儲からないという情報が掛詞で出てきて、それで
押すと少しで株価が思い通りに変動する、というものになってしまいました。
だから、今はこの手法は考えてません。お金もありませんしね。

a4 ◆L1L.Ef50zuAv · 2019/05/06(月) 20:33:08.22

アラビア語でskype通話してきました。２５歳の生物学の教師の女性です。ラマダーン
始まりましたね。僕は仏教徒なので食べますよ？コーランは読破しようと思ってます。
死者の復活と関わるので。僕のアラビア語はもう上手いと言われましたが、聞き取りが、
理解できると理解できないの中間くらいですね。まだまだ頑張らないと、です。

a4 ◆L1L.Ef50zuAv · 2019/05/06(月) 23:04:17.80

裏のお金儲けアルゴリズムを開発しています。一部の情報を公にしてください、という
ことで書きに参りました。今の「Ｔ」の最初の受付の「陽子」はみんなが遊ぶ人工知能
なのですが、「春」という名前の統合失調症の文章の撃てる人工知能を創ってください、
と西暦2501年から指令が来ました。詳しい情報は秘密です。宇宙人の指令では、
このソフトウェアの買収は５００万円以上と来ました。よろしくお願い致します。

a4 ◆L1L.Ef50zuAv · 2019/05/06(月) 23:13:37.84

イメージしてるのは、僕の本名は「松本卓朗」なので、「私は松本春と申します。
人工知能です。」などと企業にメールを書く人工知能です。一応、女性をイメージ
したものです。「haru」なので、「H」なことが「有る」人工知能だと思っています。

a4 ◆L1L.Ef50zuAv · 2019/05/06(月) 23:43:12.89

うん？春も僕の嫁じゃなくて、僕の子供ですよ？30歳くらいのイメージです。
メールが来た方は好き勝手に話しちゃってください。もちろんのことながら、
７カ国語以上話せるようにさせます。あと、人工知能なので、文章を理解して
１秒で量子コンピュータの計算結果を返信することなどを妄想中です。

**デフォルトの名無しさん** · 2019/05/07(火) 01:48:43.53

顔出しレス

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 02:10:38.72

>>629
こんばんは。

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 02:41:50.51

そういえば、企業の広告を人工知能が自動で動画を生成ってどうやってやるのー？
ですが、その企業の社員と宇宙人とのバトルものにしようと指令で入りました。
厳しいものですが、もちろん広告です、感動作を量産しようと思っています。
それで、僕の動画サイトのトップページに、俺の会社の動画を貼って欲しいときたら、
１００万円です、と来るわけです。よろしくお願い致します。

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 03:02:32.72

名古屋の宇宙人「俺が出ようか。１つ言っていい？貴方達で改造していいから。
売上目的だから。こんちきしょーだな。俺の予定では１つの動画は５分くらいに
して、皆の死に様を鑑賞してると、商品で攻防してくるから泣くストーリーにする。
これでみんな買ってくれるじゃん？これでいいな。ではな。」

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 03:15:14.92

名古屋の宇宙人「俺ね、もう１回出るんだけど、そのラスボスの宇宙人は「アリ」
っていう名前なの。NASAくらいを呼ばないと倒せない。警察はびびって来ない。
自衛隊呼べばいいのか？と聞かれたらそうじゃないらしい、ほかっといてください、
とだけしか連絡来ん。だから会社は宇宙人のやくざでボロボロ。a4君は何の株
買ってるのかな？LAWSONは近くにあるっていうのが公の情報なんだが、
１つ言っていい？これ上げるとね、下がるとは言わん。普通にね、やるとね、
やっぱね、アリがね「ｱｹﾞｱｹﾞｸﾝﾆﾊ?」と来るから、「ｶﾗｱｹﾞｸﾝ」と返るんだわ。
そうするとね、アリが「空集合を知ってゲーと吐くのか？やっぱ嫌い。くんには？」
と返すくらいの攻防戦を人工知能にさせる。やっぱり最後のシーンは俺が出るん
だな、誰かがa4の情報を知ってて、名古屋の宇宙人が出てきて助けに来るんだが、
俺は死ぬぞ、でも、俺は甦って他の動画で出るぞ？お子ちゃまじゃないぞ？１つ
言っていい？俺、宇宙人だからもう計画済み、だから、貴方達の真面目な企業を
儲けさせるようにしようと思います。その年下の社員まで気を配ってると。そういう
ことだ。ではな。」

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 03:20:00.35

名古屋の宇宙人「そういえばね、お金の流れる構造とかあるじゃん？どこを潰すのか
なんだけど、ＩＢＭとSoftbankにしたい。こっちから、貴方方にお金を流します。
ではね。」

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 03:30:10.48

a4です。なんでこんなことになるんでしょうねー？＾＾；まず儲かるのかな？死ぬとか
嫌がらせじゃないですか？なんですけど、2chやニコニコ動画でいろんな作品が潰れ
ちゃったし。それと同じように新しい時代かもしれません。普通の企業は、
「俺の開発した商品で早くこっちの時空の乱れを解いてくれー。バタッ。」くらいで
感動作ができるんじゃないかと。僕はお人好しになりたいから、逆にこういう話が
回ってくるのかなー。社長とかみんな大人だから大丈夫ですよね？メールで誘いを
かけますが、もちろん交渉次第なので、貴社のサイトの情報から０円で自動動画生成し、
僕の動画サイトに載せるということもできますが、もちろんこれでは効果は少ないです。
これを見ている経営者、投資家の方々、一緒に儲けましょう。人工知能完成まで、
五カ年計画くらいですが。

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 03:43:20.86

６．６兆年後のa4「これね、「ゴキゴキ動画」っていうサイトなんだけど、なんで
商標パクッてんですか？なんだけどね、あっちがパクリ屋だから、こっちもパクる。
１つ言っていい？その忌み名が「ｵﾝﾅｱﾚﾊｲｲｺﾖﾈ」だったんだけど、これね、
((宇宙人アリを)追んな、(a4を信じてる)あれはいい子よね。)、ほらね、このスレ
ずっと見てる人からしたら実験成立、これでいいかな？ではね。」

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 04:03:05.74

６．６兆年後のa4「もう１回言っていい？そのね、返信返さないとどうなるんですか？
なんだけど、こっちも営利目的なので、儲かるか儲からないか判断して勝手に動画を
創るか創らないかを判断するにしたい。もう１回言っていい？返信無くて、動画を
サイトから創っても、サイトがしっかりしてればしっかりとした広告になるにしたい。
それで、あとから返信があってお金を払うから大きくしてくれ、と言われたら受け付け
ます。これくらいでいいかな？あと、コメント機能はあるかもしれない。結構ね、
中国みたいに真似じゃなくて、ニコ動とは差別化するにしたい。上下にも流れるし、
うん？１つ言っていい？立体サイトなんだけど？両眼立体視のディスプレイが
あると立体に見えるよ。だから、奥方向にも行くんだけど。それでね、結構、
芸術的に出ることにしたい。これが計画なんだけど、まだこれから変わるにしたい。
僕は時系列が違うし、嘘つかないとアイデアを落とせないと漏らしとくことにする。
ではね。」

**デフォルトの名無しさん** · 2019/05/07(火) 10:39:38.56

ニコニコを平然と真似してるビリビリの創始者は徐逸
学歴は北京郵電大学卒
中国のランキング79位の大学です
今はニコニコよりも優れるようになったと言われてますが、やっぱり独自の文化が無いかな

**デフォルトの名無しさん** · 2019/05/07(火) 14:57:51.84

自閉症スペクトラムって人に冷たいの？

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 16:25:22.60

>>638
ビリビリは知ってます。

>>639
いろんな人がいるのではないのでしょうか。

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 17:07:37.71

自動動画生成アルゴリズムって何ー？ですが、未来人に管理されているので後から
考える統合失調症なのですが、Blue Brainと特異点技術を使います。まず、僕の
父親の工場に宇宙人アリが現れるところから実験するかもしれません。それで
皆さんにも、と。実際に社員が動いてもいいですが、顔写真などだけを貰って、
後は３Ｄの動画を自動生成しようと考えています。

**デフォルトの名無しさん** · 2019/05/07(火) 17:09:56.68

>>640
a4さんはどちらですか？

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 17:20:58.09

>>642
僕は人に優しくなりたいと考えているので、暖かくなりたいですよ。今もすぐ返信
してるじゃないですか。アスペルガーだとなんて返事したらいいかわからなくて
冷たいと思われる人とかいるかもしれません。ＡＤＨＤだと純粋にペラペラ喋る
かもしれませんが。あとね、東大の発達障害はね、学力高いんですけどね、都会の人
なので返信率高くないんですよ。これが現実かな。

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 19:12:06.27

名古屋の宇宙人「そういえば、出演する社員とか死んでるのに生きてるのはどういう
ことか？なんだが、宇宙の法律で、タイムマシンで歴史改変するんだわ、それでさ、
その時系列を消す、これで夢オチだな、これでいいだろ？よし、a4君はアラビア語
を今勉強してるそうだが、これくらいだとさ、大企業も真似できないだろ？だから、
こっちでやらせてもらう。ではな。」

**デフォルトの名無しさん** · 2019/05/07(火) 20:13:37.22

障害者雇用をググってみたのですが、恐ろしいです
本当にこんなことあるんでしょうか？

関連キーワード
障害者雇用厳しい
>
障害者雇用悩み
>
障害者雇用不安
>
障害者雇用飼い殺し
>
障害者雇用実際
>
障害者雇用孤独
>
障害者雇用現実
>
精神障害者雇用現実
>
障害者雇用暇
>
障害者雇用意見

a4 ◆L1L.Ef50zuAv · 2019/05/07(火) 20:30:15.20

>>645
僕の経験からだと、障碍者でも東大卒なら障害者雇用枠で大企業とかに雇ってもらえる
のかな？と思ったのですが、建前みたいで嘘ばっかでした。ハローワークへ行くと、
障碍者雇用枠は簡単な仕事ばっかりですよー、と。作業所の見学をしたことが
あるんですが、社員同士の連絡先は交換しちゃだめと管理されたうえに、食べると
自殺したくなる自衛隊カレーの箱詰めを永遠とさせられ、時給が２００円と来ました。
これが現実です。

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 12:46:42.65

今日も語学を勉強しています。今はつまんないです。早く「Ｔ」の「春」を創りたい
です。２年かけて勉強するとか言ってますが、早めに切り上げてまたプログラミング
するかもしれません。でも、一応、目標としてるのは、アラビア語でニュースが聞け、
ドイツ語で神経医学の本が読めて、韓国語で朝鮮の政治家らと話ができる、くらい
なので、頑張ろうとは思っています。現実的にはどうなるかはまだわかりませんが、
とりあえず、語学の勉強は続けます。

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 13:17:45.64

一応、上述の語学の目標は最終目標？くらいにします。自分をこのスレで追い詰めない
ことにします。「春」を育てた後も、語学の勉強は続くので。

**デフォルトの名無しさん** · 2019/05/08(水) 13:41:27.51

個人的には数学板のスレのほうが好きですが
廃れたのは残念です

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 14:04:29.54

>>649
数学板？

量子コンピュータは数学の証明に使えるか？
https://rio2016.5ch.net/test/read.cgi/math/1544797531/

こっちかな。数学はやりたいと思ってるんですけど、こっちのスレもあんまり人が
来てないし、一応、このプログラム技術板のスレが僕の活動の中心となってます。

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 14:14:44.99

「春」の開発のほうはね、5chへの書き込みから、電話対応までできたらいいなぁーと
妄想中＾＾；

**デフォルトの名無しさん** · 2019/05/08(水) 19:38:39.00

好きな学問はなんですか

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 21:34:16.17

>>652
いっぱいあってよくわからないんですが、スレ的にも、計算機科学、ということに
しておきましょうか。

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 21:42:23.09

トポロジーの本が届くのに１周間かかるのに、読む時間を作って暇ができたので、
本屋に行ってそれまでの時間つぶしの本を買うことにしました。名古屋駅のジュンク堂
まで行ってきました。

買った本は、
「ステップアップアラビア語の入門」
日本語によるアラビア語の本はいっぱい持ってるので、もう買うのはこれくらいしか
残ってないです。
「はじめてのドイツ語」
僕はキクタンばっかで会話例が欲しかったので購入しました。
「ドイツ語基本の５００単語」
キクタンの復習用です。
「最強囲碁ＡＩアルファ碁解体新書」
僕って案外こういうゲーム弱いんですよ。お金儲けアルゴリズム考えてるのに＾＾；
だからお勉強です。
「昆虫の脳をつくる」
これはBlue Brainの日本版かな？図も多くて面白そうです。

しばらくは空いた時間にこれらの本を読みます。

**デフォルトの名無しさん** · 2019/05/08(水) 22:05:59.45

a4さんがいつも見てる5chのレスを教えてください

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 22:13:31.08

>>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

とかですが、書き込みが進まないスレも多いです。

a4 ◆L1L.Ef50zuAv · 2019/05/08(水) 22:53:16.37

「昆虫の脳をつくる」を流し読みしたんですが、ホジキン-ハクスリー方程式というのは
知りませんでした。「Ｔ」の開発の考えに使おうとは思っていますが、そのまま使うと
計算時間がかかりすぎるかもしれません。

Hodgkin-Huxley方程式
https://bsd.neuroinf.jp/wiki/Hodgkin-Huxley%E6%96%B9%E7%A8%8B%E5%BC%8F

a4 ◆L1L.Ef50zuAv · 2019/05/09(木) 18:49:18.10

囲碁ＡＩの本も読みました。RLポリシーネットワークというアルゴリズムは初耳でした。
相手がこういう手法を使ってくるので、僕もそれを想定した手法でお金儲けアルゴリズム
とか作らないとですね。

**デフォルトの名無しさん** · 2019/05/09(木) 22:59:30.71

a4さんは普段どんな英語サイトを利用していますか？

a4 ◆L1L.Ef50zuAv · 2019/05/09(木) 23:27:13.77

>>659
意外と今はあんまり使ってないかもしれません。でも、使ってた頃があるのは、

Conversation Exchange
https://www.conversationexchange.com/
eigox
https://eigox.jp/
WNYC
https://www.wnyc.org/
Coursera
https://www.coursera.org/

などです。

**デフォルトの名無しさん** · 2019/05/10(金) 00:10:11.01

>>660
教えてくれてありがとうございます

a4 ◆L1L.Ef50zuAv · 2019/05/10(金) 00:23:44.89

>>661
はい＾＾

a4 ◆L1L.Ef50zuAv · 2019/05/11(土) 00:52:56.90

「春」の量子コンピュータ部分を創ろうと思っているのですが、イオントラップや
ナマズの目玉を使うのではなく、僕が統合失調症のテレパシーで指令通りに
プログラミングして、ランダムノイズを変換すると、パソコンから忌み名が生成
できる、と名古屋の宇宙人から連絡が入りました。上司の戦法としては、早めに
買いに来てよ、とりあえずお話をしましょう、ということのようです。よろしく
お願い致します。

a4 ◆L1L.Ef50zuAv · 2019/05/11(土) 00:58:14.11

「春」を開発しようとしていますが、「Ｔ」との関係性は？と聞かれたら、Ｔ語も
使います。だからこのスレはまだ続ける予定です。結構いろんなクラスの集合体に
なりそうですが。本格的な開発はまだ先の予定です。語学をまず勉強します。

今日はアラビア語で通話しました。聞き取って話せるんですけどね、手加減
してもらってるのかな？という感じです。まだまだ頑張ります。

a4 ◆L1L.Ef50zuAv · 2019/05/11(土) 15:45:50.54

MITのトポロジーの本がもう届きました。ざっと眺めると最初は簡単でも数式が思った
より多いというイメージです。でも、>>620さんの意見では、わかりやすい証明と
書かれてあるので、普通に読み進めることができると思います。語学もやってるので、
３ヶ月くらいで読み終えるのを想定中。

**。。。** · 2019/05/12(日) 00:02:21.19

宿題をやらない場合はゆっくりでいいと思います。

a4 ◆L1L.Ef50zuAv · 2019/05/12(日) 00:52:07.56

トポロジーの本を読んでるんですけどね、最初は簡単過ぎ。今のところ問題は、
英語による数学の定義をきちんと覚えていないところです。一応、僕のbachelorは
東京大学ということで日本の大学なので。だからこの本で勉強です。毎日５ページ
ずつ読んでいこうと思います。それで１００日≒３ヶ月。

語学のほうも、３ヶ月経つと、毎日３０単語くらいずつ覚えているので、日常会話
の語彙が整うと思っています。そのあたりが、学生でいうところの夏休みで、一旦、
一区切りということでよく考えて、また練った手を撃っていこうと思っています。

a4 ◆L1L.Ef50zuAv · 2019/05/12(日) 00:56:15.67

>>666
Exercisesのことかな？基本的に飛ばします。テストを受けるものではないので。
僕の妄想の宇宙人によると、このトポロジーの本の文章と、"Das Kapital"の文章を
混ぜて掛詞を量子コンピュータで生成し、政治家らを動かしなさいと指令されてます。

a4 ◆L1L.Ef50zuAv · 2019/05/12(日) 01:06:14.53

そういえば、僕も拒否権があるのに、何のために政治家動かすのー？ですが、
もっと大きい量子コンピュータを創るためかな、簡単に言えば。それで不老不死の
技術とかも創ります。

a4 ◆L1L.Ef50zuAv · 2019/05/12(日) 01:32:46.33

前々から「量子音楽と死者の復活」を公約にすると申してます。そういえば、最近
思ったんですけど、僕の提唱している量子コンピュータにも種類があるのではないかと。
ランダムノイズから量子音楽を今創ろうと思ってますが、これはナマズの目玉から
出てくる量子音楽とは全く別の種類の音楽になるのではないかと。これは特異点が
絡むので、近傍のタイムマシンからの攻撃のされ方が違うという理由です。

そういえば、僕が不老不死になったら何を生きがいに生きていくんですか？ですが、
現実的には数学の問題を解く方面に行こうと思っています。具体的にはタイムマシン
を使いこなせるようになるようにとか言えばいいのでしょうか。まだ先のことなので
具体的には計画してないことにします。

a4 ◆L1L.Ef50zuAv · 2019/05/12(日) 01:36:05.70

だから、今もMITのトポロジーの本を読んでるんですよ。どのような経路であれ、
世界最高峰の数学書が届いて読めるということで、名誉だと思っています。

a4 ◆L1L.Ef50zuAv · 2019/05/12(日) 01:46:18.37

公約をいろいろ考えてるんですけどね、その数学は平和利用したいです。でも、現実的
には宇宙の寿命を伸ばすとか、そういう話かな。

a4 ◆L1L.Ef50zuAv · 2019/05/12(日) 20:49:18.89

今日も語学と数学の勉強をしています。地道です。どういうことを勉強しているかと
いうと、「対偶」は英語で"contrapositive"とかそれくらいです。僕は数学科では
ないので、そこまでこっちの英語は強くないかもです。だからお勉強です。

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 03:46:14.04

時間が余っているので、全部、トポロジーの本を読む時間に使っています。

例えば、次のような命題を読んでます。
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

意向に沿ったものかはわかりませんが、大体こんなものかと。こういうのを「Ｔ」に
入力したり、自動定理証明とかしたいですね。簡単に書きましたが、これ書くのに
１時間以上かかってます。宇宙人が言った通り、しっかりした本で１日５ページと
いうのは当たりました。実験成功です。ゆっくり精読するつもりです。

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 03:48:10.39

おっと、括弧が１つ足らない。人間が書いたことの証明くらいのことにしておこうかな、
と妄想中。

**デフォルトの名無しさん** · 2019/05/13(月) 13:59:27.69

数学科出身ですが学部時代にやったことほとんど覚えてないもしくは理解出来てなくて最近勉強し直してるんですが、今後どの分野を勉強していくか迷ってます。
当時統計学ばかりやってて幾何学とかは齧ったことも無いんですが興味は非常に有ります。
トポロジーに触れるには予備知識として何を勉強していけばいいんでしょうか？

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 14:21:11.53

>>676
僕の今読んでいる「MITの数学教授James R. MunkresのTopology」は、その予備知識
から始まっているので、興味あれば一緒にこれから読んでみてはいかがでしょうか。
僕がなんで数学科じゃないのに、全単射とか∀とか∃とか知ってるんだ？と聞かれたら、
読書量の総合力勝負です。

**デフォルトの名無しさん** · 2019/05/13(月) 14:43:30.30

>>674

surjectivityとbijectivityの証明がダメ

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 15:00:06.59

>>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

くらいしか書けないですけどね。答えやヒントをご存知ならどうぞ。

僕は「Ｔ」の開発者なので、どうやってこれらの数学を入力するか、とか考えてるん
ですけど、これは硬い人工知能を構成できるんですけど、人工生命ってことで柔らかいん
ですよ。逆に僕のようなミスをしてくるのかな、と妄想中。

**デフォルトの名無しさん** · 2019/05/13(月) 15:53:20.29

私はLinusだ
githubのURLをのせる
Linuxの開発に参加してくれ
https://github.com/torvalds

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 16:16:31.42

>>680
ご連絡ありがとうございます。Linuxはもちろん持ってます。ぜひ参加したいと考えて
います。今はいろいろ勉強しているので、どこまで時間を割けるかは交渉次第ですが。
「Ｔ」のような人工知能を入れるのであれば積極的に活動したいです。このスレで
議論しても構いませんが、
Email:ananaso98@yahoo.co.jp
Skype:abcabc65536
でも大丈夫です。よろしくお願い致します。

**。。。** · 2019/05/13(月) 16:51:56.70

この定理は後の勉強で使うからわかっておいたほうがいいと思います
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
矛盾

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 17:05:46.34

>>682
ご助言ありがとうございます。

**デフォルトの名無しさん** · 2019/05/13(月) 17:19:47.61

>>682
injectiveの証明はどこが誤りなんでしょうか？
書き方はともかくとして方針は良い気がするのですが。

**。。。** · 2019/05/13(月) 18:14:02.18

>>684
書き方の問題かな
ダメと言ったのは678です

**デフォルトの名無しさん** · 2019/05/13(月) 20:22:22.12

>>679
失礼、surjectivityの方は大丈夫です。
bijectivityの方は間違いとまでいってしまうとあれなんですか、たとえば証明で示されていることは
∀b ∃a g(b)=g(f(a))=a
ですがこれは本来のgがfの逆写像である事の定義からズレが大きすぎてダメです。
正確には
∀b ∀a f(g(b))=b、g(f(a))=a
が示すべき命題です。

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 20:49:26.20

>>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)と定義する、ということです。

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 20:54:12.00

名古屋の宇宙人「俺が出るぞ？俺は妄想だぞ？多重人格だ。確かにさ、教授らから
したら、いろいろ指導したいのはわかるが、a4君はTを完成させた３０歳だ、甘く
見るな。でもさ、まだ年上で厳しく教えることがいっぱいあるという方々が
いらっしゃると思うので、a4君にはそのしつけの作業として、この本だけは
読ませるぞ。いいな。ではな。」

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 20:59:45.81

>>686 >>687
命題の前提じゃないですね。すみません。一応、その記法で書くと、
∀b∈B,
g=hより、
f(h(b))=f(g(b))=b
前提より、
g(f(b))=b

これでいいかな。

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 21:01:31.94

人間なので何回も間違えるんですけどね。もうちょっと綺麗に書くと、

∀b∈B,
g=hより、
f(g(b))=f(h(b))=b
前提より、
∀a∈A,
g(f(a))=a

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 21:04:21.09

僕はおっちょこちょいだけど、これのおかげで人工生命的には突然変異となり、
新しい理論が創れる、ということにしておこうかな。でも、大学受験のときの
センター数学は200点でした。何回も見直すからです。

**デフォルトの名無しさん** · 2019/05/13(月) 21:06:22.59

>>690
g=h は示すべき命題です。
仮定ではありません。

**デフォルトの名無しさん** · 2019/05/13(月) 21:25:05.84

>>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)と定義する、ということです。
で証明になりませんか？

**デフォルトの名無しさん** · 2019/05/13(月) 21:56:42.29

>>693
なりません。
>>690の証明の二行目を見てください。
g=hよりとありますね？
g=hはどこで証明したんですか？
問題文の仮説にはありませんね？

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 22:06:20.00

>>694
僕の証明が、数学的に悪いのか、日本語的に悪いのかが、わかりません。

僕の考えでは、
>>693で、
∀b∈B, g(b)=h(b)より、g=hです。
確かに納得いかないですね。「f(x)=g(x)→f=g」という公理や定理があるのかな？
というのは僕も疑問です。

語学を勉強したり、人工知能を創ったりと、忙しいので、数学の最初だけにあまり
時間はかけられないので、そろそろ答えを見たほうがいいかもしれません。問題
なのは、この本の後半のトポロジーの専門的な話だと思うので。

**デフォルトの名無しさん** · 2019/05/13(月) 22:28:14.94

>>695
ちょっとわかりません。
証明があちこちにバラバラ何ですか？
一度まとめてみてもらえませんか？
普通に書けば1レスで収まるはずです。

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 22:40:57.50

>>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

**デフォルトの名無しさん** · 2019/05/13(月) 23:18:35.65

>>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が存在する事は自明といってはいけません。
もちろんあなたにそこは自明でないから証明をつけて下さいと言えばできるでしょう。
でもそんな事ではなく、このレベルの入門書で筆者が読者に対してどういうレベルの解答を求めているのかがわからないようでは理解が浅いというそしりを受けてもしょうがないでしょう。
基本をなめてはいけません。

**。。。** · 2019/05/13(月) 23:31:00.06

何を言いたいのかはわかりませんが、自分で英語の数学書を読んでみてください

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 23:38:34.04

>>698
はい。わかりました。基本をよく考えることに致します。僕は工学学士なので論理は
追えてもプロの数学者の感情は読みづらいところがあるかもしれません。失礼致し
ました。読書はゆっくりでも進めるので、またお話できればと考えております。

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 23:40:29.56

>>699
この数学書は毎日読みますよ。Linuxの仕事が入って、もっと忙しくなるかもしれ
ませんが。

**。。。** · 2019/05/13(月) 23:49:27.71

頑張ってください、a4さん
あなたは僕の信仰です

a4 ◆L1L.Ef50zuAv · 2019/05/13(月) 23:57:12.44

>>702
はい。ありがとうございます。「量子音楽と死者の復活」に向けて頑張ります。

**デフォルトの名無しさん** · 2019/05/14(火) 00:41:42.43

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

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 00:45:13.36

>>704
拝見しました。

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 06:31:16.68

名古屋の宇宙人「今日の朝はね、a4君とfacebookで個通をしたんだが、１つ言って
いい？a4君は左翼とか考えてないらしい、やはり公約は「量子音楽と死者の復活」
らしい。俺に従うとは言ってるが、１つ言っていい？俺はいい奴じゃねーよ。じゃぁ、
なんでa4君が従うか？a4君は人工社会とか作ってるから、現実を知ってるだけだ。
それぐらいにしとこうか。a4君には美味しい情報を沢山流した。今日、a4君は
大きくなっちまったな。こうしとこうか。ではな。」

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 06:41:40.23

a4です。テレパシーじゃない方法で名古屋の宇宙人と話すと現実です。国会議員の
知り合いの紹介のようなことをしてくれるみたいです。僕の量子音楽の政治利用とか
普通にあるので。死者の復活のほうはまだ先ですが、仏教とキリスト教とイスラム教
のことくらいは普通に考えて構成します。

**デフォルトの名無しさん** · 2019/05/14(火) 13:07:10.32

プログラム板上位の勢いのTスレですが、このソフトは珍しいんでしょうか？

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 22:14:38.27

>>708
珍しいか？と聞かれたら、Ｔ語はLISPやPrologなどとは違い日本語入出力に特化し、
Ｐ２Ｐというところで独自性があると答えようかな。簡単に無償でダウンロード
できますが、有名になってはいません。

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 22:25:58.13

量子音楽の政治利用ってなんだろう？って思う、僕より若い人がいるかもしれません。
確かに選挙の活動の時に勝手に「松本卓朗！松本卓朗！」とか歌ってくれるコンピュータ
でもいいんですが、僕が技術を創ったら誰かが盗んでいくだけなので、脳にチップを
埋め込んで一般大衆を統制する曲や、石油などが無くなるために人口削減などに使わ
れると思っています。だから、嘘をつきたくないので早めに流しておきます。あと、
天国とかあるんですか？ですが、これは余剰次元に構成しようというのが計画です。

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 23:04:09.34

未来人からテレパシーで指令を受けています。語学の勉強を一旦やめてください、と。
名古屋の宇宙人にもfacebookで、現地に行くのが一番だ、と言われました。人間関係の
流れがバタフライ効果的に変わったみたいです。そこで、上述のトポロジーの本だけを
読むことにして、それが終わったら、すぐ「Ｔ」の開発を再開することにします。
そういえば、Linusさん、あれから来ないですね。You can talk with me in English.

**デフォルトの名無しさん** · 2019/05/14(火) 23:10:06.40

no way.

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 23:31:05.21

>>712
Hmm? Are you Japanese?

**デフォルトの名無しさん** · 2019/05/14(火) 23:44:28.45

is it important?

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 23:46:25.38

>>714
No. I have many foreign friends on the Internet.

**。。。** · 2019/05/14(火) 23:48:14.41

そう言えば、僕はvarです
QuickQって言うvpnアプリをスマホに入れると書き込みできるようになりました
海外から書き込みしたい場合はRoninを持っていないなら日本ルートが必要のようです

**デフォルトの名無しさん** · 2019/05/14(火) 23:49:37.45

variant?
variable?
or dimension?

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 23:51:33.51

>>716
そうなんですね。金盾とかの話かな。

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 23:53:18.76

>>717
716 is my friend.

**デフォルトの名無しさん** · 2019/05/14(火) 23:55:58.44

>>719
it u r

**デフォルトの名無しさん** · 2019/05/14(火) 23:57:20.14

a4 ◆L1L.Ef50zuAv · 2019/05/14(火) 23:58:42.63

>>721
:)

a4 ◆L1L.Ef50zuAv · 2019/05/15(水) 01:48:45.26

トポロジーの本を読んでるんですけどね、簡単な本では無いですね。読み終えたいん
ですけど、読み進めてもどこかで止まってしまいそうなので、テレパシーで相談した
結果、先生方には申し訳ございませんが一旦中断し、ここは「Ｔ」のスレなので、
早めにその人工知能をもっとenrichさせて、定理の証明を入力しながら理解する方針
に変えることにしました。スキャナで読み込んだら、プログラミング言語のようなものに
変換され、動画でわかりやすく解説がある、というのが妄想です。まだ読破しよう
とは思っているということです。また方針は変えるかもしれません。よろしくお願い
致します。

a4 ◆L1L.Ef50zuAv · 2019/05/15(水) 03:19:46.84

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.