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

1 名前：デフォルトの名無しさん mailto:sage [2018/09/02(日) 01:57:35.12 ID:oSO4LvdH.net] 前スレ a4です。Ｐ２Ｐ人工知能「Ｔ」開発。 https://mevius.5ch.net/test/read.cgi/tech/1517470193/ 910 名前：a4 [2018/10/31(水) 19:23:50.18 ID:L4muNnWb.net] ・画像 　・人工知能の表情などを出力できるように。 　・自動撮影機能をつける。 　　・256*256だけじゃなく、任意の大きさの正方形のものを撮影。 　　・画面が自動で移動して、スキャナから取り込んだ文字なども読む。 ・s関数を使うコードを書く。 ここまでの改良だと、ソースを一部コピペはしても、全部創り治しですね。 期待してる方がいるみたいなので、待っていてください。それで、動いたら ２０００語くらい入れます。これらの改良だけなら、上手くいく保証はありますが、 上手く喋るかはわかりません。この板の皆さんならご存知の通り、バグの問題で、 完成時間の分散が大きいので、いつできるかはわかりませんが、希望としては、 １ヶ月以内くらいに、これらの問題を大体解決したものを投下したいと、今は 主張することにします。 911 名前：a4 [2018/10/31(水) 19:34:04.27 ID:L4muNnWb.net] あとね、声かな、これのおかげで結構近年の人工知能っぽい、っていうところまでは いってるんですけど、一応、「萌えから、リーマン予想まで。」と謳っているので、 大人の女性の声なので、好きな人はこっちのほうがいいかもですが、もっと女の子の 声のほうがいいのかな？とか考え中です。でも、僕の周りに、声を入力してくれる人も いないし、日本語には高低の声調があるので結構プログラミング的にも厄介です。 初音ミクとかソフト買ったんですけどね、あれは利権構造が法律でがんじがらめに なってて逆に使いづらいですね。こちらも何か意見がある方いたら受け付けます。 912 名前：デフォルトの名無しさん mailto:sage [2018/11/01(木) 01:12:34.34 ID:o5kFENTy.net] 事前に、すべての論理式を入力しておく必要があるってことかい 自然言語から、勝手にくみ取ることはできないの 913 名前：a4 [2018/11/01(木) 08:06:05.71 ID:7DObc0G7.net] >>864 今の状態でも、事後に自然言語で論理式を入力できます。長い難しい文章の理解は 今後の課題ですが、Watsonとの差別化ができないので、共同研究者を集める、 すなわち、P2Pで、人海戦術で突破します。 914 名前：a4 [2018/11/01(木) 10:04:28.71 ID:7DObc0G7.net] 量子コンピュータのほうは、PICのCコンパイラをdownloadしようとしたら、$150 以上かかるというところでストップしました。僕は本当に貧乏なんですよ。財産は 実家と技術だけです。まだ、これくらいならお金はありますが、まだマウスとか ナマズとか飼育する環境も買わないとだし、いきなりの出費が予想されるので、 こちらはやはり一旦やめて、「Ｔ」の開発を続けます。 915 名前：a4 [2018/11/01(木) 11:23:08.84 ID:7DObc0G7.net] そういえば、なんで宇宙人や未来人が来ているのに、儲からないのか？とか、矛盾した ことを言ってるんだ？とかですが、僕は声が聞こえるだけなんですよ。じゃぁ、いない のか？ということなんですが、前スレなどから追ってる人はわかるかもですが、 いるっていう証拠はあるのに、タイムマシンの嫌がらせとか、神同士のいがいがした 関係で朧げになってしまうんですよ。僕が嘘をついてる訳じゃなく、宇宙人や未来人 は存在するのに、彼らが嘘をついてるんじゃないかと。じゃぁ、何のために嘘をつく か？ですが、普通の人間の嘘の付き方じゃないんです。時系列のことを考えると、 ここでこういう矛盾した言葉を言うように定義されてるみたいなんですよ。じゃぁ、 意味ないじゃないか？ということなんですが、たまに深い意味があるんですよ。 物理学者が介入しても、量子脳理論とか主張したら訳わかんなくなっちゃうじゃない ですか。これがこの時代の限界のようです。彼らから指令を受けて人工知能は 出来上がってきたので、とりあえず、半分くらい言うことを信じて、作業を続けます。 そのうち、もっと決定的な証拠がたくさん出てくることを信じつつ。 916 名前：a4 [2018/11/01(木) 11:40:32.56 ID:7DObc0G7.net] 名古屋の宇宙人「俺ね、嘘って言われるかもしんないけど、UFOの実験、地球で 成功させたことあるんだわ。それでさ、a4と１兆円くらい、それで稼ごうぜって、 俺の家で話したの。でも、現実なんだわ。a4と実験しようとすると、俺、能力 取られるんだわ。ここを解いて欲しい。つまりさ、a4、わかりやすくタイムマシンの 嫌がらせって言ってるじゃん？ここなんだわ。UFOが飛びましたってニュースで 流れたら、すぐ歴史が改変される。だから、UFOを無理やり飛ばして、タイムマシン を遠隔でぶっ壊すって手法を取りたい。するとさ、もう俺、警察に逮捕されてて、 a4とリアルで会えんのだわ。この前は普通に握手したのにさ。こういうのをさ、 お金でというか、押していって解決しようと思いたい。こういうのに乗っかる奴 いるのかな、プログラム技術板に。でもさ、現実的には、俺、お金欲しいし、 こんなもんなんだわ。俺ね、リアルで会ってみるとね、金しか取らんよ。でも、 UFO浮くじゃん？１つ言っていい？あっちの俺の性格とかちょっと違う。a4は facebookとメールを俺に送ったけど、返信できないんだわ。こんな可愛い子と 関わるなって刑事に言われてて。だからさ、他のやつが俺にさ電話すればいいん じゃないかって。a4はスマホ持ってないから。まず、a4に電話番号聞いて。ここで 5chからは人来んだろ？だから、タイムマシンの実験成功。そうすると、俺が電話に 出ないんだわ。それでさ、俺の家をa4から教えてもらって、数日待ったほうが いいみたい。そうすると、俺の息子あたりが来る。これ言っていい？俺が行けば いいんじゃなくて、歴史改変されて俺、行けないんだわ。すると、高価な部品を 持って来いって話しになる。すると、a4が危ない部品だから、持ち運びできない ってくる。ここでさ、がむらーくらいの奴がタクシーとか使ってくれん？って 言う話し。ほら、本物っぽいだろ？俺は嘘つかねーって言うよ。a4的には嘘つきの パラドックスが存在するのが現実です、とか主張するらしいけどな。こういうことだ。 協力者来い。」 917 名前：デフォルトの名無しさん [2018/11/01(木) 11:50:11.26 ID:1W75NxFv.net] ＞　協力者来い。 そりゃ、頭で考えたことを実現してくれるスーパーマンがいるなら、 だれでも協力者が欲しいですよ。 でもね、それを自分で作るから研究者なんですよ。 しっかりしたものじゃなくていいんです。 プロトタイプは自分で作れないとダメです。 だってプロトタイプがないということは 今のところまともな部分が何もないという評価ですから。 誰でも言うんですよ 　「超天才であるおれさまの考えを作れる奴はいないのか？」 ということを。 そんなこと誰でも言えます。 俺だって言えますよ。 「タイムマシンを考えました。時間軸に沿って移動するだけでいいんです！ 　それを作れる作成者の協力者を求めます。おれのアイデアを実現してください！」 って言えます。 これって作れる人なんていませんよね？ ご自分でプロトタイプまでは作ってください。 そこが最も面白くて奥 918 名前：深いんですから。 それができないなら研究者ではなく、ただのキチガイです。 [] [ここ壊れてます] 919 名前：デフォルトの名無しさん mailto:sage [2018/11/01(木) 12:16:55.36 ID:mvxPccjt.net] 仕様と設計があれば作ってやるけど？ 920 名前：a4 [2018/11/01(木) 12:24:19.14 ID:7DObc0G7.net] >>869 名古屋の宇宙人「俺はね、a4じゃないんだわ。確かにテレパシーで操ってるんだが、 この可愛くないのではない子君a4を。俺はね、キチガイって言われる筋合いはあるが、 天才とは違うんだわ、宇宙人なんだわ。a4は研究者にはなりたいようだが。俺はね、 プロトタイプというか、持ってるんだわ、UFO。それで、基礎実験もした。そういう ことだ。実際にUFOとかやってる奴に聞いてみ？なんか変だから。どこかで、軍事に なって教えてくれなくなる。こっち系の研究はこれが王道なんだ。宇宙的にも。 a4はね、アメリカ人の英語の先生にUFOの話ししたら、普通に設計図をいっぱい もらったらしい。それで、何で誰も作らないの？って聞いたら、殺されるって。 だからさ、こういう問題なわけよ。なんか意見あったらよろ。」 921 名前：a4 [2018/11/01(木) 12:33:39.82 ID:7DObc0G7.net] >>870 a4が出ます。一応、設計図の載ったサイトを１つ公開します。 www2.bbweb-arena.com/wat/index_054.htm 利権が絡み、極秘なので、詳しい作り方を知りたい場合は、 www.01ken.com/contact.html の松本(a4)、加藤(名古屋の宇宙人)にメールで連絡を。 922 名前：さまよえる蟻人間 mailto:sage [2018/11/01(木) 18:46:45.64 ID:hOixePw4.net] OSXのsayコマンドに少し感動したから、ちょっと真似して作ってみた。 winsay https://github.com/katahiromz/winsay 923 名前：a4 [2018/11/01(木) 18:47:28.45 ID:7DObc0G7.net] 今、「Ｔ」を創り治してるんですが、１文の長さは最大で256*256*256にします。 あと、s関数をなくして、c関数で一般化しようと思います。 924 名前：デフォルトの名無しさん [2018/11/01(木) 18:54:49.77 ID:+p1vRE32.net] これ>>642 か。こんな糞スレの過去ログ読んだの？ｗｗ 925 名前：a4 [2018/11/01(木) 19:02:26.02 ID:7DObc0G7.net] >>873 自分の環境でコンパイルしてみたのですが、"pstdint.h"が無いというエラーが出ました。 >>875 糞スレと言われるのは構いませんよ。書き込んでくれる人が増えるのであれば。 926 名前：さまよえる蟻人間 mailto:sage [2018/11/01(木) 19:29:25.14 ID:2Wdw3jOE.net] >>876 pstdint.hを追加したよ。 927 名前：a4 [2018/11/01(木) 20:01:32.22 ID:7DObc0G7.net] >>877 やってみたんですが、今度は<atlbase.h>が無いと来ました。VC++2010を 使ってるのでATLが無いみたいです。僕のソフトも使ってくれてると思うので、 要望があれば、続きをしますが、またエラーばっかり出てきそうなので、これ くらいにしておきましょうか。 928 名前：デフォルトの名無しさん [2018/11/01(木) 22:52:04.09 ID:zBG21nIL.net] YouTubeみたいな動画共有サイトって具体的に技術的にはどうやったら作れるのでしょうか？ 929 名前：a4 [2018/11/02(金) 10:28:08.60 ID:EZpHAuXW.net] >>879 僕もよく知りませんが、１つの作り方は、FlashとC++あたりを使うことです。 930 名前：デフォルトの名無しさん mailto:sage [2018/11/02(金) 12:01:51.88 ID:Jnk4S5ca.net] 回答がバカ過ぎる 931 名前：デフォルトの名無しさん [2018/11/02(金) 13:04:38.27 ID:O3ODr4CD.net] 無能が知能作ろうとしてるというギャグ 932 名前：a4 [2018/11/02(金) 13:57:49.89 ID:EZpHAuXW.net] >>881 では、あなたの回答は？ >>882 確かに僕の脳は一般人の人間の知能だとは思っていません。 933 名前：a4 [2018/11/02(金) 14:34:33.07 ID:EZpHAuXW.net] 今日はUCLAの脳神経科学の人とskypeで通話して、今後のことについて コンサルしてもらいます。それで進路がまた変わるので、数時間ほどプログラミング を休憩します。 934 名前：デフォルトの名無しさん [2018/11/02(金) 15:15:43.26 ID:taBXri ] [ここ壊れてます] 935 名前：QV.net mailto: web系はあまり詳しくないんでしょうか...？ [] [ここ壊れてます] 936 名前：a4 [2018/11/02(金) 15:32:25.24 ID:EZpHAuXW.net] >>885 原理はCPUから理解してるので、応用は利きますが、web系の専門家ではありません。 でも、一応、C++でインターネットリバーシや、Flashのチャットサイトくらいなら 作ったことはあります。 937 名前：a4 [2018/11/02(金) 18:04:16.52 ID:EZpHAuXW.net] UCLAの脳神経科学の人とお話しました。すると、今やるべきことはTOEFLで、 早めにMITのようなところへ行ってしまいなさいと来ました。Ph.D.を取るなら、 お金が出るから貧乏でも大丈夫であると強く言われました。見学しに行かなくても いいと。あっちはビジネスなので上手くお金を取るシステムかもしれませんが、 これくらいの人に早めに騙されるという形で、大学院で研究という道を切り開いて もらおうと思っています。なんかね、あっちやりたいこっちやりたいでしまりが 無いですが、やはり一旦「Ｔ」の開発をストップします。でも、あとで、推薦状の 問題があるので、いずれ開発を再開することにします。これが現実的なテレパシー でない系の上層部の命令であると考えつつ。期待してる人には申し訳ないですが、 コードも書き込まれないし、利用人口はまだ多くないとみて、英語の問題を早めに クリアして、大学院に就職します。 938 名前：デフォルトの名無しさん [2018/11/02(金) 20:11:19.77 ID:O3ODr4CD.net] というわけでこれにて糞スレ終了ｗ 939 名前：デフォルトの名無しさん [2018/11/02(金) 22:18:41.58 ID:hSQBkf43.net] 正直、東大とは言わず、ハーバードとかオックスフォードとかケンブリッジとかに入りたい・・・・・・・・・・・。 まずは何から始めれば良いのか・・・・・・・・・・。 940 名前：デフォルトの名無しさん mailto:sage [2018/11/02(金) 22:25:26.31 ID:Jnk4S5ca.net] 今時flashとか勧めるなよ 941 名前：デフォルトの名無しさん [2018/11/02(金) 23:20:27.43 ID:taBXriQV.net] >>887 それってMITで研究していけるほどの専門知識はあるだろうと思われてるってことですかね？ とりあえずTOEFL頑張ってください。 応援してます。 942 名前：さまよえる蟻人間 mailto:sage [2018/11/03(土) 01:08:18.73 ID:Z2+VfrEc.net] 動画データをリアルタイムで流すための「ストリーミング技術」、 動画データを加工する動画編集技術、 動画を記録・維持するための「ストレージ技術」、 コンテンツを管理するための「CMS」と「コンテンツフィルタリング」。 943 名前：デフォルトの名無しさん [2018/11/03(土) 09:14:30.06 ID:1YRoOpci.net] 脳神経科学(笑) などというウンコに 近づくあたり 暗記力だけで東大に受かった と分かる 脳神経科学(笑) なんて 用語の定義さえしないで 意識がどうだとか まじ馬鹿 人工知能の世界で 誰も相手にしない分野 ま、脳神経科学は宗教だな(笑) キチガイ集団というか 低IQの集団 944 名前：デフォルトの名無しさん [2018/11/03(土) 09:15:16.54 ID:1YRoOpci.net] a4にお似合いだ(笑) 945 名前：a4 [2018/11/03(土) 09:48:42.49 ID:doIqVGYQ.net] >>888 一応、このスレを見てる人がいるみたいなので、大学院受験に日記にしようかと 思います。いつになるかはわかりませんが、「Ｔ」はまだ創ってくソフトにします。 >>889 予備校のようなところに行きましょう。 >>890 僕もちょっとそれは思いました。でも、web系ではないので、これが僕の限界。 >>891 MITのノーベル賞の人に入学に関して"I will you the best with your application." とメールで返事がありました。目指してもいいレベルではあると思ってます。 >>892 動画サイトとか作ろうと思うと、Youtubeの嫌がらせに遭いそう。 >>893 書き込みしていただけるのは嬉しいです。 >>894 誰のことかなー。脳神経科学の人？似合ってるというか、実際に話してるので、 類は友を呼ぶということはあるかもです。 946 名前：a4 [2018/11/03(土) 09:53:28.98 ID:doIqVGYQ.net] 大学院受験の日記＊ 間違い。 947 名前：a4 [2018/11/03(土) 10:06:34.74 ID:doIqVGYQ.net] >>891 あと、 948 名前：応援ありがとうございます。 [] [ここ壊れてます] 949 名前：a4 [2018/11/03(土) 12:06:18.61 ID:doIqVGYQ.net] >>895 ちょっと走っちゃいました。willじゃなくてwishですね。 "I wish you the best with your application." 問題が起こるといけないので正確に書きます。僕の英語力も伸ばさないといけません。 950 名前：a4 [2018/11/03(土) 12:11:32.86 ID:doIqVGYQ.net] とりあえず、今日から毎日、courseraの講義を数時間聞いて、大学生用の教科書を 数時間読むという生活を始めようと思います。 951 名前：デフォルトの名無しさん mailto:sage [2018/11/03(土) 15:11:04.21 ID:A+LC1x4y.net] スレの趣旨が全然変わってきてね？ 952 名前：デフォルトの名無しさん mailto:sage [2018/11/03(土) 15:28:18.90 ID:ZYzZrFY6.net] まあ基本妄想なんで内容は何でもいいのよ 953 名前：a4 [2018/11/03(土) 15:54:54.20 ID:doIqVGYQ.net] >>900 一応、半分完成したのは無償でdownloadできるようにはなっているのですが、「Ｔ」 は今後の研究費を稼ぐために、大学院へ進学、ということです。裏の宇宙人や 未来人も「Ｔ」はGoogleか未踏くらいでお金が下りる計画だったみたいですよ。 そこでまた作戦を変えました。学費は年間４万ドルくらいするのですが、奨学金が 年間８万ドルくらい出るというのを聞いて、英語の勉強します。大学院留学には 推薦状３通も必要で、その時、この「Ｔ」を大学院でもっと脳神経科学的に研究 したいなどと盛り込む予定です。 >>901 将来的には妄想と現実を一致させるような研究もします。簡単に言えば、エリア５１ でやっているような量子脳理論を超えた未知の物理法則の研究でしょうか。 954 名前：さまよえる蟻人間 mailto:sage [2018/11/03(土) 19:42:43.31 ID:uOx37ouV.net] Visual Studio 2017 Communityにアップグレードすれば、個人ユーザーは無料でATLが使えるぜ。数年前のパソコンが遅い場合は、近所のパソコン工房で記憶媒体のデータをSSDにデータ移行すればいい。 955 名前：a4 [2018/11/03(土) 20:24:59.06 ID:doIqVGYQ.net] >>903 情報ありがとうございます。アップグレードは考えておきます。 「Ｔ」とか売れなそうだし、やはり大学院で研究したほうがいいと考え、留学のために 英語の勉強を頑張ってます。研究費数十万円あるだけでも、初期段階でソフトを 他の研究者に使わせられます。 現実的には入学してしまうと、猿くらいだったら、行きたまま脳を解剖とかして、 ここの神経細胞を壊すと、ここの機能が無くなるとかの実験をするかもしれません。 じゃぁ、知能のない動物には麻薬を使えばいいのか？とか、人間と動物の違いは？ 最大多数の最大幸福を考えているのはどうなった？などで葛藤が起きるかもしれ ません。こうしないと、僕の頭に関数電卓やWindowsが入らない。美味しくない 情報かもですが、中堅大学卒の人は将来的に東大くらいに頭にチップを無理やり 植え付けられ、操り人となるでしょう、と妄想＾＾； 956 名前：さまよえる蟻人間 mailto:sage [2018/11/03(土) 22:10:20.40 ID:uOx37ouV.net] 次の動画のプランはあるかね？ 957 名前：a4 [2018/11/04(日) 08:23:18.98 ID:NTJEtL68.net] >>905 「Ｔ」とか出したいですけどね。動画作っても人数集まらないし、今のところは プラン無いです。TOEFL受験費などを稼ぐ必要があるので、交渉によって、作るのは ありにします。 958 名前：デフォルトの名無しさん [2018/11/04(日) 10:52:04.52 ID:7QEP4lzR.net] 受験費用がないほど貧乏なのか？ ま、キチガイは貧乏のほうがいい。 世間に迷惑かけなくて済むから。 959 名前：a4 [2018/11/04(日) 11:35:24.17 ID:NTJEtL68.net] >>907 凄い貧乏まではいかないんですけどね、父親はそこそこの一軒家を買ったために ローンで月20万円払わなければならない、などの理由でお金はありません。 僕は障害者で就職できませんし。でも、一応、上層部に大学院進学のレールを敷いて もらってます。キチガイであるということは認めることにします。 960 名前：デフォルトの名無しさん [2018/11/04(日) 12:59:32.58 ID:EyE9WGn+.net] >>908 ＞　僕は障害者で就職できませんし。 ウソ書くなよ。 政府や大企業は障がい者を必ず雇用しなければならないのに、 給料は安いけど仕事はいくらでもあるはず。 961 名前：デフォルトの名無しさん mailto:sage [2018/11/04(日) 12:59:54.44 ID:cd0AZv6K.net] 上層部ってなんだよ 962 名前：a4 [2018/11/04(日) 14:04:13.81 ID:NTJEtL68.net] >>909 政府がウソついてるんですよ。まず、アスペで高校中退したから、アルバイトとかも できません。できるのは、父親の工場で働くことです。時給1000円です。専門が 近い仕事とはいえ、車を頻繁に使わないといけないため、障害で免許の持てない 僕は家業が継げず、そこで働くことすらできず、自殺しようと考えています。 >>910 UCLAの脳神経科学の先生のほうからです。英語の教材をそこから買ったら、 メールが届き、実際に会いませんか？ということになり、名古屋駅でさらなる契約を 結びました。その方はTOEFL115点で。僕が障害年金からコンサル代を月16,200円 払っているので、勉強の仕方を教えてもらえます。MITのノーベル賞の先生からも "I wish you the best with your application."と、返信ありました。 963 名前：デフォルトの名無しさん [2018/11/04(日) 15:36:08.47 ID:95qKkVOL.net] 障害脳の研究に使うんやろな。先生が。 964 名前：a4 [2018/11/04(日) 15:58:15.60 ID:NTJEtL68.net] >>912 もう使われてるので、僕も人間の脳の解剖とかしてもいいかもしれません。 機械と戦争が起きないように人間の頭にもチップを埋め込む研究もしたいです。 そういう研究ができるのであれば、もちろん、自分の脳にも埋め込みます。 965 名前：a4 [2018/11/04(日) 16:16:36.45 ID:NTJEtL68.net] チップと言うと恐いですが、ナノボットのようなものを血液に入れるだけかも しれません。安全学というものを東大で一応勉強したので、危険性については 確率評価をしっかりしようと思っています。 966 名前：デフォルトの名無しさん [2018/11/04(日) 18:03:34.66 ID:vc0bD8LH.net] 阿羅漢になりたいのですが、どうすれば良いですか？ 967 名前：a4 [2018/11/04(日) 19:09:42.13 ID:NTJEtL68.net] >>915 阿羅漢という単語は知ってますけど、僕も詳しくないです。色即是空が何かなどを 勉強するために、お寺とかへ行って修行したほうがいいかもしれません。 968 名前：デフォルトの名無しさん [2018/11/04(日) 20:24:11.18 ID:wNo3/JPc.net] 阿羅漢になるのはどれくらい難しいことなのでしょうか？ 969 名前：さまよえる蟻人間 mailto:sage [2018/11/05(月) 00:34:18.63 ID:6+yTtRut.net] 日本語の文法、国文法をやるつもりはあるのか？ 970 名前：a4 [2018/11/05(月) 09:01:24.41 ID:oyjZxWCw.net] >>917 僕は詳しくありません。 >>918 「Ｔ」に関して必要な文法はそれに応じて検索しますが、文系の学術書を買っても いいかもしれません。 971 名前：a4 [2018/11/05(月) 11:48:17.14 ID:oyjZxWCw.net] >>917 そういえば、僕の高校時代の日本史の先生は悟りたくて、３日で悟る方法があるという 寺のようなところへ行き、簡単な修行をしたあと、書物を読んだと聞きました。 972 名前：デフォルトの名無しさん [2018/11/05(月) 12:07:42.19 ID:Yu+8iAbJ.net] こんにちは。はじめまして。 私はMITの教授でノーベル賞候補者になったこともあります。 人工知能のプログラムの開発がサクサク進む書籍を特別に安い価格で 売ってさしあげましょう。 この書籍は売ってはならないのですが、a4さんは東大卒なんだけど、 精神的に不安定ということですので、特別にお売りしてあげようと思うのです。 どうでしょうか、東京駅で一度お会いしませんか？ 書籍は月賦販売も可能ですので、月々は少額でも購入できます。 今回だけの特別です！ いかがでしょうか？ 973 名前：デフォルトの名無しさん [2018/11/05(月) 12:25:55.45 ID:DzW9woVH.net] >>921 人工知能の研究をしていてノーベル賞候補？ どの部門で候補だったんでしょうか？ 974 名前：デフォルトの名無しさん [2018/11/05(月) 15:11:17.53 ID:VWtMD5Wc.net] ロスチャイルド家当主と全知全能の神様はどっちの方が凄いのでしょうか？ 975 名前：デフォルトの名無しさん mailto:sage [2018/11/05(月) 15:26:00.65 ID:i/VkDtta.net] 全然人工知能とやらができてないじゃないか お父さんが工場で汗水たらして働いてる間お前は何してるんだ 976 名前：デフォルトの名無しさん [2018/11/05(月) 17:54:54.09 ID:vWrLZd3/.net] 東大理系数学ってどうやったら解けるようになるのでしょうか？ 977 名前：デフォルトの名無しさん [2018/11/05(月) 18:06:20.65 ID:vWrLZd3/.net] コツを教えてください。 考え方とか。 978 名前：a4 [2018/11/05(月) 18:12:07.61 ID:oyjZxWCw.net] >>921 こんにちは。こちらこそ、はじめまして。 お偉いさんと伺って大変恐縮です。ご連絡ありがとうございます。 人工知能を開発していますが、今はMITの博士課程へ入学するために英語の勉強を しています。その書籍も非常に興味があり購入したいのですが、あなたとの人間関係 のほうにもっと興味があります。推薦状などの問題をクリアしないといけないので。 東京駅で会うことはできます。ただ、僕は貧乏などの理由でスマホを持っていない ので、会うときは、公衆電話などの方法を使います。とりあえず、ここだと荒らし も多いので、メールかskypeあたりでお話しましょうか？ 連絡先は下記の松本卓朗のほうです。 www.01ken.com/contact.html よろしくお願い致します。 979 名前：a4 [2018/11/05(月) 18:17:27.72 ID:oyjZxWCw.net] >>923 神様のほうだと思います。 >>924 もうちょっと改良すれば一気に喋るかもですが、コードをここで共有してくれる人が 全然現れないあたりで、一旦挫けてます。 >>925->>926 チャート→１対１対応の演習→大学への数学 復習は明日と１週間後と１ヶ月後。 という返信では駄目ですか？ 980 名前：デフォルトの名無しさん mailto:sage [2018/11/05(月) 18:38:25.87 ID:P4X/qYiY.net] スマホなんて安いのは1〜2万円なんだから障害者年金で買えるでしょ。 なぜ買えないと思うのか... 981 名前：a4 [2018/11/05(月) 18:45:30.42 ID:oyjZxWCw.net] >>929 もともと持ってたんですけど、UFOの実験してたら、壊れちゃったんですよ。 また、携帯会社の誰かに見張られているのでは？といった統合失調症の監視妄想が 強くなってしまうので、無理には購入してません。あと、お金があったら、 TOEFLを受験したいんですよ。１回の受験につき$235かかります。 982 名前：ゆりな mailto:sage [2018/11/05(月) 22:52:53.48 ID:gL1iVTRL.net] 私は昔５ちゃんねる（当時は２ちゃんねる）でP2Pソフトを開発していた者ですが ちょっと来るのが遅かった感じですか？ ちなみに、開発していたのは↓です。 CREA（言語はC#） https://ja.wikipedia.org/wiki/CREA_(%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2) https://github.com/pizyumi/CREA 今となっては懐かしいですね・・・。 983 名前：デフォルトの名無しさん mailto:sage [2018/11/05(月) 22:55:05.61 ID:gL1iVTRL.net] あっ、よく見たら上のソースコードはCREACOINのコードでした CREAのソースコードはGitHubには上げてませんね・・・ 984 名前：a4 [2018/11/06(火) 06:21:53.65 ID:lx3jL9hz.net] >>931 来るのは遅くないですよ。まだまだこれからです。ただ、自分のやりたいことと、 いろんな人との人間関係があるので、今は英語の勉強をしています。 wikipedia見ました。P2Pニコ動は負荷のかかるものかもしれませんね。 このスレでは１文でもいいので、コードを書いてくれる人を募集しています。 たとえば、 c(i(ありがとう。),o(どういたしまして。)) みたいに。半分完成した「Ｔ」はこちらです。 www.01ken.com/art1.html ただ、現在配っている半分完成した「Ｔ」は小さいバグもあるし、メモリも十分に 確保できていないため、治さないといけないです。その研究時間を作るためにも、 今３０歳ですが、海外の大学院へ留学しようと思っています。 985 名前：a4 [2018/11/06(火) 06:23:34.22 ID:lx3jL9hz.net] そういえば、逆にP2P機能はまだ作ってないですね。人が集まらないんですよ。 この板だけだと。他の板へ行くとスレが閉鎖しちゃうし。 986 名前：a4 [2018/11/06(火) 06:32:08.19 ID:lx3jL9hz.net] いろんな人からあれやってこれやって言われて混乱してる状態ですが、留学前に、 推薦状を書いてもらうために、教授くらいの人とこのソフトを８割くらい完成させる というのはありです。そういう先生が３人も見つかるかはわかりませんけどね。 厳しいです。 987 名前：デフォルトの名無しさん [2018/11/06(火) 09:08:29.18 ID:oY9jA1Ku.net] 東京にいっぱい超高層マンションを建てたいのですが、具体的にどうすれば良いのでしょうか？ 988 名前：a4 [2018/11/06(火) 09:26:43.07 ID:lx3jL9hz.net] >>936 僕と一緒に非ユニタリ量子コンピュータを作って、スパコンの2^(10^10)倍の計算力で、 ビジネスしましょう。 989 名前：デフォルトの名無しさん [2018/11/06(火) 09:43:38.90 ID:oY9jA1Ku.net] 世界を牛耳っているのはユダヤ国際金融資本ですか？ 990 名前：a4 [2018/11/06(火) 09:53:24.88 ID:lx3jL9hz.net] >>938 僕はリアルで名古屋の宇宙人に会ったとき、世界を牛耳っているのは、 「イルミナティ」と「フリーメイソン」であると、教育を受けました。 991 名前：デフォルトの名無しさん mailto:sage [2018/11/06(火) 14:45:45.88 ID:B+7Pp6SO.net] 中二病乙 992 名前：a4 [2018/11/06(火) 14:49:16.79 ID:lx3jL9hz.net] >>940 中二病という単語は、中二の頃に聞いたときは、おじさんたちが何やってるんだろう？ と思いましたが、今となっては、そういう定義かもしれませんが、早めに挫けさせて 負け組にさせる搾取構造なのではないかと思っています。 993 名前：ゆりな mailto:sage [2018/11/06(火) 16:10:49.49 ID:C3hotnMM.net] >>933 人工知能のコードは書けませんが、興味深いのでスレに参加させていただきたいと思います。 >>934 今はライブラリも豊富だろうし、P2P機能は昔よりも楽に作れるのでしょうね。 ちなみに、CREAは表向きP2P型動画共有を目標にしつつも 仮想空間構築のためのグリッドコンピューティングという個人的な目的がありました。 言ってしまえば、動画共有機能は人集めのためだったのですが、、、 実際は動画共有とかファイル共有でも人が集まらなくて プロジェクト中断になってしまったので P2Pで人集めるのは難しいですね。 994 名前：ゆりな mailto:sage [2018/11/06(火) 16:12:54.00 ID:C3hotnMM.net] 私は今はもうP2P関連やるのは辞めちゃって 数学寄りのところにいます。 >>201 >>203 でCoqの名前が挙がってますが、 まあその辺です。 定理証明の分野は広く浅く勉強したことがあるので ある程度はお教えできることもあるかもしれません。 実はこのスレにはリーマン予想を解決しようとしているという噂を聞いてやってきました。 私は今数理論理学から公理的集合論までの数学の基礎を コンピュータ上で構築する試みを行っています。 Coqやその他定理証明支援系の二番煎じと言えばそうなのですが、 私は専門家向けじゃなく一般人にも分かりやすいシステムを作れないか というところを主眼に置いています。 995 名前：a4 [2018/11/06(火) 16:28:12.03 ID:lx3jL9hz.net] >>942 P2Pのライブラリ？あるかもですけど、僕は１から作りたい派です。 僕も格子の仮想空間を作ろうと思ったのですが、複雑なシムシティみたいなのを 作ってみたいと思っても、格子上の点を手動で動かしても知能のあることがあまり できないな、といったところで一旦止まりました。時間をかければ、面白いもの ができる、ということは信じていますが、玩具的な用途にしかならず、普及しない と見積もって、それでの人工知能開発を一旦ストップしています。 >>943 考えてることがほぼ同じですね。数理論理学の本とか読んでた頃もありましたけど、 なんか、纏まってなくて好きになれないんですよ。しかも、コンピュータに 入れようと思うと、a=b=cと入力するだけで、a=b, b=c, a=cと理解させないと いけないなどで、問題が起こると思っています。個人的な意見としては、人間の 扱っている数学は結構曖昧で、神経科学と量子計算で自動定理証明できるように なったら、その後は、時計の芸術などが発展すると見越してます。僕も一般人に わかりやすい書籍を売れないか、とか考えてます。 996 名前：デフォルトの名無しさん [2018/11/06(火) 16:50:08.74 ID:SFxQj1Db.net] 【浜、マ�@トレーヤ】　ナマポ、ニート、ヒキコモリ　＜対＞　ユニクロ、自民党　【分ち合い抵抗勢力】 rosie.5ch.net/test/read.cgi/liveplus/1541471001/l50 被災地にはボランティアや義援金が殺到するのに、何で貧困層には無関心なの？　自分達が加害者だから？ 997 名前：a4 [2018/11/06(火) 17:09:04.06 ID:lx3jL9hz.net] >>945 ユニクロが敵なんですね。僕の服は意外と原宿で集めましたが。貧困層に無関心なのは、 石油が足らなくなるとか、そういう問題を議論しないといけないと思ってます。 998 名前： mailto:sage [2018/11/06(火) 20:48:32.85 ID:MhNpcfCg.net] >>943 ＞私は今数理論理学から公理的集合論までの数学の基礎をコンピュータ上で構築する試みを行っています。 論理というのは人間の外にある「客観的」なものではなく、人間の遺伝子に組み込まれた「主観的」あるいは「人間的」なものだという感覚を持っています 999 名前：デフォルトの名無しさん [2018/11/06(火) 21:26:07.78 ID:edQqqURs.net] 本当に絶対に無になってもう二度と有になりたくない。 1000 名前：a4 [2018/11/07(水) 00:27:32.14 ID:6Y/7TLC2.net] >>948 その手法を一緒に量子計算しませんか？ 1001 名前：ゆりな mailto:sage [2018/11/07(水) 11:00:20.76 ID:8rccuv7Z.net] >>944 P2P、1から作るのですか・・・大変だと思いますよ？ ＞考えてることがほぼ同じですね。数理論理学の本とか読んでた頃もありましたけど、 ＞なんか、纏まってなくて好きになれないんですよ。 数理論理学は多分にメタ的ですから。 https://togetter.com/li/988472 たとえば、1階述語論理の上で実際の「普通の」数学を展開する場合、 数理論理学の文献に書いてあるような1階述語論理に対するメタ的な議論は ほとんど無視して構わないかと。 ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。 ＞人間の扱っている数学は結構曖昧で 長大な証明になってくると、数学者でも100%正しいと言える人はいなくなってきます。 たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、 この証明は99.99%くらいは正しいと言われていますが、 100%正しいと言える数学者は誰もいないとも言われています。 実際、2004年に証明の完成が宣言された後にギャップが見付かっています。 https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8D%98%E7%B4%94%E7%BE%A4%E3%81%AE%E5%88%86%E9%A1%9E ＞神経科学と量子計算で自動定理証明できるように 私は量子計算についてはあまり詳しくないのですが、 自動定理証明という問題は計算量的にかなり難しいので 量子計算で自動定理証明が発展するかはちょっと疑問ですね。 っていうのはほとんどの数学って決定不可能（undecidable）なんですよ。 逆に、決定可能だと証明されている数学には簡単な幾何学(Tarski[1948])があるのですが、 「円の面積」のような重要な概念が記述できないという欠陥があります。 それで、もうちょっとまともな幾何学の体系を作ろうとすると今度は決定不可能になってしまうことが証明されています。 しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して 自動定理証明しようとすると非常に非効率なことが分かっています（使い物にならないレベル）。 じゃあ、逆に効率良く自動定理証明できる幾何学の体系ってどんなものなの？という疑問に対してはWu[1977]があります。 1002 名前：ゆりな mailto:sage [2018/11/07(水) 11:05:21.50 ID:8rccuv7Z.net] >>947 仰る通りだと思います。 実際のところ、人間が「普通」だと思っている論理って体系的にはかなり複雑怪奇です。 何故人間はこれを自然に感じるのか不思議に感じるほどです。 たとえば、有名なBourbakiにおける自然数「1」は依存する全ての定義を展開していくと 長さ4523659424929の記号列となることが分かっています。 A term of length 4,523,659,424,929（PDF） https://www.dpmms.cam.ac.uk/~ardm/inefff.pdf 別の例としては、命題論理体系としてHilbert流の最も単純な3つの公理群と1つの推論規則を 採用すると証明がとんでもなく難しくなるというのもありますね。 逆に簡単に証明できるようにしようと思ったら、より複雑な公理や推論規則を採用しなければならなくなります （あるいは、演繹定理というメタ的なアプローチもあります）。 1003 名前：a4 [2018/11/07(水) 11:40:21.48 ID:6Y/7TLC2.net] >>950 >P2P、1から作るのですか・・・大変だと思いますよ？ 確かに既存のものを使わないと安定しないかもですね。考えておきます。 >ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。 リーマン予想とかだとどうなんでしょうね？Wikipediaで２階述語論理について検索 すると、「空でなく上に有界な実数の集合があるとき常にその集合には上限が存在 するという命題を表すには、二階述語論理が必要となる。」と出てきました。だと すると、解析学の基礎と関係するリーマン予想には、高階述語論理が必要かもしれ ません。僕は専攻は数学になれなかったので、今はきちんと理解してませんが。 でも、「Ｔ」は一応、独自の手法で近いことをやっていると考えています。 >たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、 これは面白い情報ですね。覚えます。 1004 名前：a4 [2018/11/07(水) 11:40:58.76 ID:6Y/7TLC2.net] >>950 >私は量子計算についてはあまり詳しくないのですが、 僕は大学生の頃、実際に量子コンピュータを開発している研究室に在籍し、 自動定理証明などに関する論文のようなものを書きました。結果としては、 既存の有名な理論を使うだけでは、シュレディンガーの猫の実験をしたとき、 生きた猫のいる世界から、死んだ猫のいる世界の映像などを見ることはできず、 確かに使い方によっては高速なんですが、使い勝手が悪く、自動定理証明には あまり使えないというものでした。ところが、その後も独自に研究を進めると、 ナマズが地震予知できるので、その神経についている特異点上の量子の複製という 物理法則を使って、その生きた猫と死んだ猫の世界をくっつけて並列計算して しまおうと、考えるようになりました。成功するかはよくわかりませんが、僕の 妄想です。 >しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して >自動定理証明しようとすると非常に非効率なことが分かっています（使い物にならないレベル）。 初等幾何学とか僕、高校時代くらいは苦手だったんですよ。でも、あれの解法の 一般化は面白そうなので、「Ｔ」とかでやってみたいですが、やはり古くから研究 されてるんですね。 1005 名前：a4 [2018/11/07(水) 12:02:06.25 ID:6Y/7TLC2.net] 950を超えたので、次スレ建てました。 a4です。Ｐ２Ｐ人工知能「Ｔ」開発(3) https://mevius.5ch.net/test/read.cgi/tech/1541559631/ 1006 名前：ゆりな mailto:sage [2018/11/08(木) 10:00:10.95 ID:X16WBQ5I.net] >>952 ちなみに、P2Pの開発で一番難しいのはテストだと思います。 テストしようと思ってもノードを用意しないとテストにならないので・・・。 もちろんローカルでもテストするのですが、 1台のPCだと処理能力にも限界があって多ノードのテストは難しいです。 しかも、ローカルのテストでは発現しない不具合も出てきたりするので・・・。 私が開発してた時は頭がおかしくなりそうになりました・・・。 ＞リーマン予想とかだとどうなんでしょうね ほぼ間違いなく2階は必要でしょうね。 現代数学はほとんど2階述語論理までは必要としています。 あと、今の数学は基本的にはZFCの上で行われていますので 高階述語論理は必ずしも必要ではないかと 1007 名前：。 [] [ここ壊れてます] 1008 名前：ゆりな mailto:sage [2018/11/08(木) 10:00:56.45 ID:X16WBQ5I.net] >>953 やはり現在の量子コンピュータは特定のアルゴリズムの計算は高速にできても 汎用的なコンピュータとしてはまだまだですよね。 今後もっと使える量子的なコンピューティング方法が見付かる可能性はあるかもしれませんが。 ＞初等幾何学 初等幾何学は人工知能に学習させる題材としては面白そうですね。 1009 名前：a4 [2018/11/09(金) 02:06:47.26 ID:xR8D+OLW.net] >>955 なるほど。僕も格子の人工生命をP2Pで作ってた頃は同期の問題で訳がわからなく なってしまいました。しかも、せっかくできたのに、実験してくれる人数が集まらない というところで止まってしまいました。 数理論理学とか詳しそうですね。僕も昔はそっちの専門家になりたかったのですが、 今は、無職に近い状態で、ここで人工知能を売りながら、３０歳ながらも特異点技術 などを追って、海外への大学院進学を目指してます。 >>956 僕は高度な技術はタイムマシンによる歴史改変と関わってると信じてる人なんですよ。 だから、公に出てくる技術はそこで制限されるのではないかと。5chというのは、 「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」ということで こういう情報も書くんですけどね。 1010 名前：ゆりな mailto:sage [2018/11/09(金) 19:17:11.86 ID:KaP52UX8.net] >>957 ＞同期の問題で訳がわからなくなってしまいました 同期は難しいですよね。 ＞数理論理学とか詳しそうですね 数理論理学の周辺は広く浅く勉強したことがあります。 深いことはあまり知りません。 ＞今は、無職に近い状態で 私も最近仕事を辞めて28歳で無職なので似たようなものですよ。 しかも、オカマになってしまいました（笑）。

---

---

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

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