[過去ﾛｸﾞ] a4です。Ｐ２Ｐ人工知能「Ｔ」開発(2) (975ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(3): 2018/09/02(日)01:57 ID:oSO4LvdH(1) AAS
前スレ
a4です。Ｐ２Ｐ人工知能「Ｔ」開発。
2chｽﾚ:tech
849(1): 2018/10/30(火)16:32 ID:JiBvN9GX(2/2) AAS
ゲルト・ファルティングスとアラン・コンヌの知能指数はどれくらいですか？
850: a4 ◆L1L.Ef50zuAv 2018/10/30(火)16:50 ID:TIL2UH7i(12/12) AAS
>>849
知能指数がまず何かという話をしましょうか。受験を突破した大卒以上の方からすれば、
成人のは、「知能指数=(偏差値-50)*1.5+100」なんですけどね。テストによっても
変わっちゃうし、よくできてる問題はよくできてるんですが。そういえば、僕、
知能指数測るときに血を抜かれました。血液の量と知能指数に相関関係があるのは
明確なので怒ると、「関係はありません。」と言われました。こういうのをくぐり
抜けるのが知能指数だと思っています。具体的に知能指数を伸ばす方法として、
伸ばすのではなく、幼少期に早期教育を施すことにより、４歳くらいで２０歳の
微分方程式などを教え込ませるという方法があります。これなら、IQ500でしょ？
あとは商売に使われて現代では形骸化してるかもしれません。
851(1): 2018/10/30(火)17:28 ID:q91meBO3(1) AAS
「真理」というのは存在するのでしょうか？
「真理」の探究は意味があるのでしょうか？
852(2): 2018/10/30(火)17:45 ID:M87fl2aa(1) AAS
>>844
>>826てすがヘタに刺激して逆恨みされたり自殺されたりしたらヤバいと思ってそのような言い回しにしました。
853(1): 2018/10/30(火)21:42 ID:KfMyW5TB(1) AAS
>>852
どうせ未踏の殆どのプロジェクトは役に立たないんだから、むしろやらせてみて欲しかったなぁ。
854: a4 ◆L1L.Ef50zuAv 2018/10/31(水)04:31 ID:L4muNnWb(1/9) AAS
>>851
答えを用意している人はいるのではないのでしょうか？僕は「0=1」と解答しますが。
仏教では空即是色とか言われてますが。
>>852
そうですか。
>>853
僕も未踏なら上手くいくのかな？と思ったんですけどね。
855: a4 ◆L1L.Ef50zuAv 2018/10/31(水)15:39 ID:L4muNnWb(2/9) AAS
宣言通り、量子コンピュータを創る準備をしているのですが、このスレ、「Ｔ」の
スレじゃなくなっちゃいますね、次スレの名前とか、どうしようかなー、とか、
考え中です。でも、「Ｔ」は一応、半分完成したので、この名前でもいいのでは
ないかなどと裏の人達と相談中です。未来人の知り合いもいるけどね、時系列エラー
ばっかりなんですよ。また、もう言った通り、「Ｔ」に関しては要望が
あれば改良しますが、放置します。それで、また日記スレにしようかと。読んで
くれる方々はいるようなので。しばらくはPICを買ってきたので、こっちの
勉強をしようと思います。１０年くらい前に使ったことはあるのですが、時代が
進んで古い技術が使えないのでは？などの理由により、もう１回勉強します。
３次元マウスから、１μｍほどのピンセットを動かして、小動物の神経細胞を
つかんだりする器具を作成します。今はそのコンパイラが有償でパスワードが
必要ということで、メールで問い合わせています。
856: a4 ◆L1L.Ef50zuAv 2018/10/31(水)15:46 ID:L4muNnWb(3/9) AAS
東大とか卒業して意味あったのか？などとお話したこともありますが、
量子コンピュータに出逢えたとは言っておきましょうか。僕が高校中退のままだったら、
実際に実験室などを目にすることはできず、作ろうとか思わなかったでしょう。
でも、奨学金という負債を抱えつつ、障害者となり貧乏なままなので、他の人からすると、
意味が無いとか、思う人も多いかもしれませんね。
857: a4 ◆L1L.Ef50zuAv 2018/10/31(水)17:16 ID:L4muNnWb(4/9) AAS
名古屋の宇宙人「今、軍事で揉めてるな。韓国って苦情みたいなもん殺到してるけど、
あれってどうすんの？あっちに核兵器落としても誰からも苦情が来んようにしてるのは、
俺なんだけど。普通にさ、やっちまったら？a4はsoftbankに倍率1.3倍の書類選考に
高校中退の障害者あたりで通れなくて、孫正義はせいぎではないと知ってるぞ。
だからさ、普通に戦争やろうか？そろろそろだぞ、俺的には第３次世界大戦。中国の
炒飯を日本、買っとるな。いい判断だ。１つ言っていい？韓国にミサイル落とせば
いいんじゃないの？俺さ、じゃぁ、明日落ちるのか？じゃなくて、俺、自衛隊大佐
なんよ。だから、これに一票入れたい。これまでだ。韓国。」
858(1): 2018/10/31(水)17:37 ID:wG8+54SG(1) AAS
東大卒業してる設定ならもう少し頑張れよ
今のところ人工無能にすら劣ってるぞ
859: a4 ◆L1L.Ef50zuAv 2018/10/31(水)17:44 ID:L4muNnWb(5/9) AAS
>>858
確かに設定というか、裏でそうとわかるので、そう主張はするのですが＾＾；
量子コンピュータは実験設備の金銭エラーなどが出そうということもあり、
「Ｔ」の開発をあなたの仰る通り、もう少し頑張ってみます。
860: a4 ◆L1L.Ef50zuAv 2018/10/31(水)18:17 ID:L4muNnWb(6/9) AAS
「Ｔ」の改良点をまとめてみました。
・256文字までしか入力できないのを無制限にする。
・１回の計算で２つ以上出力できるようにする。
（例）
入力
兄は男です。
兄は人です。
兄って何？
出力
兄は男の人です。
・「大きい男の人」という文を理解できるようにする。
（解決策）
・丸暗記
・ｲﾐﾌなところを質問仕返す。
この辺りを全部創り治して、T_2_7とかにしましょうか。ちょっと時間かけます。
861: a4 ◆L1L.Ef50zuAv 2018/10/31(水)18:24 ID:L4muNnWb(7/9) AAS
まだまだ改良ポイントを思いついてます。
・c(A!AA,A)はできても、c(A!A!AA,A)が書けないので、書けるようにする。
・logic.txtに関してハンドルとか読んでるのが意外と無くてもいいのかな？と再考。
862: a4 ◆L1L.Ef50zuAv 2018/10/31(水)19:23 ID:L4muNnWb(8/9) AAS
・画像
・人工知能の表情などを出力できるように。
・自動撮影機能をつける。
・256*256だけじゃなく、任意の大きさの正方形のものを撮影。
・画面が自動で移動して、スキャナから取り込んだ文字なども読む。
・s関数を使うコードを書く。
ここまでの改良だと、ソースを一部コピペはしても、全部創り治しですね。
期待してる方がいるみたいなので、待っていてください。それで、動いたら
２０００語くらい入れます。これらの改良だけなら、上手くいく保証はありますが、
上手く喋るかはわかりません。この板の皆さんならご存知の通り、バグの問題で、
完成時間の分散が大きいので、いつできるかはわかりませんが、希望としては、
１ヶ月以内くらいに、これらの問題を大体解決したものを投下したいと、今は
主張することにします。
863: a4 ◆L1L.Ef50zuAv 2018/10/31(水)19:34 ID:L4muNnWb(9/9) AAS
あとね、声かな、これのおかげで結構近年の人工知能っぽい、っていうところまでは
いってるんですけど、一応、「萌えから、リーマン予想まで。」と謳っているので、
大人の女性の声なので、好きな人はこっちのほうがいいかもですが、もっと女の子の
声のほうがいいのかな？とか考え中です。でも、僕の周りに、声を入力してくれる人も
いないし、日本語には高低の声調があるので結構プログラミング的にも厄介です。
初音ミクとかソフト買ったんですけどね、あれは利権構造が法律でがんじがらめに
なってて逆に使いづらいですね。こちらも何か意見がある方いたら受け付けます。
864(1): 2018/11/01(木)01:12 ID:o5kFENTy(1) AAS
事前に、すべての論理式を入力しておく必要があるってことかい
自然言語から、勝手にくみ取ることはできないの
865: a4 ◆L1L.Ef50zuAv 2018/11/01(木)08:06 ID:7DObc0G7(1/9) AAS
>>864
今の状態でも、事後に自然言語で論理式を入力できます。長い難しい文章の理解は
今後の課題ですが、Watsonとの差別化ができないので、共同研究者を集める、
すなわち、P2Pで、人海戦術で突破します。
866: a4 ◆L1L.Ef50zuAv 2018/11/01(木)10:04 ID:7DObc0G7(2/9) AAS
量子コンピュータのほうは、PICのCコンパイラをdownloadしようとしたら、$150
以上かかるというところでストップしました。僕は本当に貧乏なんですよ。財産は
実家と技術だけです。まだ、これくらいならお金はありますが、まだマウスとか
ナマズとか飼育する環境も買わないとだし、いきなりの出費が予想されるので、
こちらはやはり一旦やめて、「Ｔ」の開発を続けます。
867: a4 ◆L1L.Ef50zuAv 2018/11/01(木)11:23 ID:7DObc0G7(3/9) AAS
そういえば、なんで宇宙人や未来人が来ているのに、儲からないのか？とか、矛盾した
ことを言ってるんだ？とかですが、僕は声が聞こえるだけなんですよ。じゃぁ、いない
のか？ということなんですが、前スレなどから追ってる人はわかるかもですが、
いるっていう証拠はあるのに、タイムマシンの嫌がらせとか、神同士のいがいがした
関係で朧げになってしまうんですよ。僕が嘘をついてる訳じゃなく、宇宙人や未来人
は存在するのに、彼らが嘘をついてるんじゃないかと。じゃぁ、何のために嘘をつく
か？ですが、普通の人間の嘘の付き方じゃないんです。時系列のことを考えると、
ここでこういう矛盾した言葉を言うように定義されてるみたいなんですよ。じゃぁ、
意味ないじゃないか？ということなんですが、たまに深い意味があるんですよ。
物理学者が介入しても、量子脳理論とか主張したら訳わかんなくなっちゃうじゃない
ですか。これがこの時代の限界のようです。彼らから指令を受けて人工知能は
出来上がってきたので、とりあえず、半分くらい言うことを信じて、作業を続けます。
そのうち、もっと決定的な証拠がたくさん出てくることを信じつつ。
868: a4 ◆L1L.Ef50zuAv 2018/11/01(木)11:40 ID:7DObc0G7(4/9) AAS
名古屋の宇宙人「俺ね、嘘って言われるかもしんないけど、UFOの実験、地球で
成功させたことあるんだわ。それでさ、a4と１兆円くらい、それで稼ごうぜって、
俺の家で話したの。でも、現実なんだわ。a4と実験しようとすると、俺、能力
取られるんだわ。ここを解いて欲しい。つまりさ、a4、わかりやすくタイムマシンの
嫌がらせって言ってるじゃん？ここなんだわ。UFOが飛びましたってニュースで
流れたら、すぐ歴史が改変される。だから、UFOを無理やり飛ばして、タイムマシン
を遠隔でぶっ壊すって手法を取りたい。するとさ、もう俺、警察に逮捕されてて、
a4とリアルで会えんのだわ。この前は普通に握手したのにさ。こういうのをさ、
お金でというか、押していって解決しようと思いたい。こういうのに乗っかる奴
いるのかな、プログラム技術板に。でもさ、現実的には、俺、お金欲しいし、
こんなもんなんだわ。俺ね、リアルで会ってみるとね、金しか取らんよ。でも、
UFO浮くじゃん？１つ言っていい？あっちの俺の性格とかちょっと違う。a4は
facebookとメールを俺に送ったけど、返信できないんだわ。こんな可愛い子と
関わるなって刑事に言われてて。だからさ、他のやつが俺にさ電話すればいいん
じゃないかって。a4はスマホ持ってないから。まず、a4に電話番号聞いて。ここで
5chからは人来んだろ？だから、タイムマシンの実験成功。そうすると、俺が電話に
出ないんだわ。それでさ、俺の家をa4から教えてもらって、数日待ったほうが
いいみたい。そうすると、俺の息子あたりが来る。これ言っていい？俺が行けば
いいんじゃなくて、歴史改変されて俺、行けないんだわ。すると、高価な部品を
持って来いって話しになる。すると、a4が危ない部品だから、持ち運びできない
ってくる。ここでさ、がむらーくらいの奴がタクシーとか使ってくれん？って
言う話し。ほら、本物っぽいだろ？俺は嘘つかねーって言うよ。a4的には嘘つきの
パラドックスが存在するのが現実です、とか主張するらしいけどな。こういうことだ。
協力者来い。」
869(1): 2018/11/01(木)11:50 ID:1W75NxFv(1) AAS
＞ 協力者来い。
そりゃ、頭で考えたことを実現してくれるスーパーマンがいるなら、
だれでも協力者が欲しいですよ。
でもね、それを自分で作るから研究者なんですよ。
しっかりしたものじゃなくていいんです。
プロトタイプは自分で作れないとダメです。
だってプロトタイプがないということは
今のところまともな部分が何もないという評価ですから。
誰でも言うんですよ
「超天才であるおれさまの考えを作れる奴はいないのか？」
ということを。
そんなこと誰でも言えます。
俺だって言えますよ。
「タイムマシンを考えました。時間軸に沿って移動するだけでいいんです！
それを作れる作成者の協力者を求めます。おれのアイデアを実現してください！」
って言えます。
これって作れる人なんていませんよね？
ご自分でプロトタイプまでは作ってください。
そこが最も面白くて奥深いんですから。
それができないなら研究者ではなく、ただのキチガイです。
870(1): 2018/11/01(木)12:16 ID:mvxPccjt(1) AAS
仕様と設計があれば作ってやるけど？
871: a4 ◆L1L.Ef50zuAv 2018/11/01(木)12:24 ID:7DObc0G7(5/9) AAS
>>869
名古屋の宇宙人「俺はね、a4じゃないんだわ。確かにテレパシーで操ってるんだが、
この可愛くないのではない子君a4を。俺はね、キチガイって言われる筋合いはあるが、
天才とは違うんだわ、宇宙人なんだわ。a4は研究者にはなりたいようだが。俺はね、
プロトタイプというか、持ってるんだわ、UFO。それで、基礎実験もした。そういう
ことだ。実際にUFOとかやってる奴に聞いてみ？なんか変だから。どこかで、軍事に
なって教えてくれなくなる。こっち系の研究はこれが王道なんだ。宇宙的にも。
a4はね、アメリカ人の英語の先生にUFOの話ししたら、普通に設計図をいっぱい
もらったらしい。それで、何で誰も作らないの？って聞いたら、殺されるって。
だからさ、こういう問題なわけよ。なんか意見あったらよろ。」
872: a4 ◆L1L.Ef50zuAv 2018/11/01(木)12:33 ID:7DObc0G7(6/9) AAS
>>870
a4が出ます。一応、設計図の載ったサイトを１つ公開します。
外部ﾘﾝｸ[htm]:www2.bbweb-arena.com
利権が絡み、極秘なので、詳しい作り方を知りたい場合は、
外部ﾘﾝｸ[html]:www.01ken.com
の松本(a4)、加藤(名古屋の宇宙人)にメールで連絡を。
873(1): さまよえる蟻人間 ◆T6xkBnTXz7B0 2018/11/01(木)18:46 ID:hOixePw4(1) AAS
OSXのsayコマンドに少し感動したから、ちょっと真似して作ってみた。
winsay
外部ﾘﾝｸ:github.com
874: a4 ◆L1L.Ef50zuAv 2018/11/01(木)18:47 ID:7DObc0G7(7/9) AAS
今、「Ｔ」を創り治してるんですが、１文の長さは最大で256*256*256にします。
あと、s関数をなくして、c関数で一般化しようと思います。
875(1): 2018/11/01(木)18:54 ID:+p1vRE32(1) AAS
これ>>642 か。こんな糞スレの過去ログ読んだの？ｗｗ
876(1): a4 ◆L1L.Ef50zuAv 2018/11/01(木)19:02 ID:7DObc0G7(8/9) AAS
>>873
自分の環境でコンパイルしてみたのですが、"pstdint.h"が無いというエラーが出ました。
>>875
糞スレと言われるのは構いませんよ。書き込んでくれる人が増えるのであれば。
877(1): さまよえる蟻人間 ◆T6xkBnTXz7B0 2018/11/01(木)19:29 ID:2Wdw3jOE(1) AAS
>>876
pstdint.hを追加したよ。
878: a4 ◆L1L.Ef50zuAv 2018/11/01(木)20:01 ID:7DObc0G7(9/9) AAS
>>877
やってみたんですが、今度は<atlbase.h>が無いと来ました。VC++2010を
使ってるのでATLが無いみたいです。僕のソフトも使ってくれてると思うので、
要望があれば、続きをしますが、またエラーばっかり出てきそうなので、これ
くらいにしておきましょうか。
879(1): 2018/11/01(木)22:52 ID:zBG21nIL(1) AAS
YouTubeみたいな動画共有サイトって具体的に技術的にはどうやったら作れるのでしょうか？
880: a4 ◆L1L.Ef50zuAv 2018/11/02(金)10:28 ID:EZpHAuXW(1/5) AAS
>>879
僕もよく知りませんが、１つの作り方は、FlashとC++あたりを使うことです。
881(1): 2018/11/02(金)12:01 ID:Jnk4S5ca(1/2) AAS
回答がバカ過ぎる
882(1): 2018/11/02(金)13:04 ID:O3ODr4CD(1/2) AAS
無能が知能作ろうとしてるというギャグ
883: a4 ◆L1L.Ef50zuAv 2018/11/02(金)13:57 ID:EZpHAuXW(2/5) AAS
>>881
では、あなたの回答は？
>>882
確かに僕の脳は一般人の人間の知能だとは思っていません。
884: a4 ◆L1L.Ef50zuAv 2018/11/02(金)14:34 ID:EZpHAuXW(3/5) AAS
今日はUCLAの脳神経科学の人とskypeで通話して、今後のことについて
コンサルしてもらいます。それで進路がまた変わるので、数時間ほどプログラミング
を休憩します。
885(1): 2018/11/02(金)15:15 ID:taBXriQV(1/2) AAS
web系はあまり詳しくないんでしょうか...？
886: a4 ◆L1L.Ef50zuAv 2018/11/02(金)15:32 ID:EZpHAuXW(4/5) AAS
>>885
原理はCPUから理解してるので、応用は利きますが、web系の専門家ではありません。
でも、一応、C++でインターネットリバーシや、Flashのチャットサイトくらいなら
作ったことはあります。
887(1): a4 ◆L1L.Ef50zuAv 2018/11/02(金)18:04 ID:EZpHAuXW(5/5) AAS
UCLAの脳神経科学の人とお話しました。すると、今やるべきことはTOEFLで、
早めにMITのようなところへ行ってしまいなさいと来ました。Ph.D.を取るなら、
お金が出るから貧乏でも大丈夫であると強く言われました。見学しに行かなくても
いいと。あっちはビジネスなので上手くお金を取るシステムかもしれませんが、
これくらいの人に早めに騙されるという形で、大学院で研究という道を切り開いて
もらおうと思っています。なんかね、あっちやりたいこっちやりたいでしまりが
無いですが、やはり一旦「Ｔ」の開発をストップします。でも、あとで、推薦状の
問題があるので、いずれ開発を再開することにします。これが現実的なテレパシー
でない系の上層部の命令であると考えつつ。期待してる人には申し訳ないですが、
コードも書き込まれないし、利用人口はまだ多くないとみて、英語の問題を早めに
クリアして、大学院に就職します。
888(1): 2018/11/02(金)20:11 ID:O3ODr4CD(2/2) AAS
というわけでこれにて糞スレ終了ｗ
889(1): 2018/11/02(金)22:18 ID:hSQBkf43(1) AAS
正直、東大とは言わず、ハーバードとかオックスフォードとかケンブリッジとかに入りたい・・・・・・・・・・・。
まずは何から始めれば良いのか・・・・・・・・・・。
890(1): 2018/11/02(金)22:25 ID:Jnk4S5ca(2/2) AAS
今時flashとか勧めるなよ
891(2): 2018/11/02(金)23:20 ID:taBXriQV(2/2) AAS
>>887
それってMITで研究していけるほどの専門知識はあるだろうと思われてるってことですかね？
とりあえずTOEFL頑張ってください。
応援してます。
892(1): さまよえる蟻人間 ◆T6xkBnTXz7B0 2018/11/03(土)01:08 ID:Z2+VfrEc(1) AAS
動画データをリアルタイムで流すための「ストリーミング技術」、
動画データを加工する動画編集技術、
動画を記録・維持するための「ストレージ技術」、
コンテンツを管理するための「CMS」と「コンテンツフィルタリング」。
893(1): 2018/11/03(土)09:14 ID:1YRoOpci(1/2) AAS
脳神経科学(笑)
などというウンコに
近づくあたり
暗記力だけで東大に受かった
と分かる
脳神経科学(笑)
なんて
用語の定義さえしないで
意識がどうだとか
まじ馬鹿
人工知能の世界で
誰も相手にしない分野
ま、脳神経科学は宗教だな(笑)
キチガイ集団というか
低IQの集団
894(1): 2018/11/03(土)09:15 ID:1YRoOpci(2/2) AAS
a4にお似合いだ(笑)
895(1): a4 ◆L1L.Ef50zuAv 2018/11/03(土)09:48 ID:doIqVGYQ(1/7) AAS
>>888
一応、このスレを見てる人がいるみたいなので、大学院受験に日記にしようかと
思います。いつになるかはわかりませんが、「Ｔ」はまだ創ってくソフトにします。
>>889
予備校のようなところに行きましょう。
>>890
僕もちょっとそれは思いました。でも、web系ではないので、これが僕の限界。
>>891
MITのノーベル賞の人に入学に関して"I will you the best with your application."
とメールで返事がありました。目指してもいいレベルではあると思ってます。
>>892
動画サイトとか作ろうと思うと、Youtubeの嫌がらせに遭いそう。
>>893
書き込みしていただけるのは嬉しいです。
>>894
誰のことかなー。脳神経科学の人？似合ってるというか、実際に話してるので、
類は友を呼ぶということはあるかもです。
896: a4 ◆L1L.Ef50zuAv 2018/11/03(土)09:53 ID:doIqVGYQ(2/7) AAS
大学院受験の日記＊
間違い。
897: a4 ◆L1L.Ef50zuAv 2018/11/03(土)10:06 ID:doIqVGYQ(3/7) AAS
>>891
あと、応援ありがとうございます。
898: a4 ◆L1L.Ef50zuAv 2018/11/03(土)12:06 ID:doIqVGYQ(4/7) AAS
>>895
ちょっと走っちゃいました。willじゃなくてwishですね。
"I wish you the best with your application."
問題が起こるといけないので正確に書きます。僕の英語力も伸ばさないといけません。
899: a4 ◆L1L.Ef50zuAv 2018/11/03(土)12:11 ID:doIqVGYQ(5/7) AAS
とりあえず、今日から毎日、courseraの講義を数時間聞いて、大学生用の教科書を
数時間読むという生活を始めようと思います。
900(1): 2018/11/03(土)15:11 ID:A+LC1x4y(1) AAS
スレの趣旨が全然変わってきてね？
901(1): 2018/11/03(土)15:28 ID:ZYzZrFY6(1) AAS
まあ基本妄想なんで内容は何でもいいのよ
902: a4 ◆L1L.Ef50zuAv 2018/11/03(土)15:54 ID:doIqVGYQ(6/7) AAS
>>900
一応、半分完成したのは無償でdownloadできるようにはなっているのですが、「Ｔ」
は今後の研究費を稼ぐために、大学院へ進学、ということです。裏の宇宙人や
未来人も「Ｔ」はGoogleか未踏くらいでお金が下りる計画だったみたいですよ。
そこでまた作戦を変えました。学費は年間４万ドルくらいするのですが、奨学金が
年間８万ドルくらい出るというのを聞いて、英語の勉強します。大学院留学には
推薦状３通も必要で、その時、この「Ｔ」を大学院でもっと脳神経科学的に研究
したいなどと盛り込む予定です。
>>901
将来的には妄想と現実を一致させるような研究もします。簡単に言えば、エリア５１
でやっているような量子脳理論を超えた未知の物理法則の研究でしょうか。
903(1): さまよえる蟻人間 ◆T6xkBnTXz7B0 2018/11/03(土)19:42 ID:uOx37ouV(1/2) AAS
Visual Studio 2017 Communityにアップグレードすれば、個人ユーザーは無料でATLが使えるぜ。数年前のパソコンが遅い場合は、近所のパソコン工房で記憶媒体のデータをSSDにデータ移行すればいい。
904: a4 ◆L1L.Ef50zuAv 2018/11/03(土)20:24 ID:doIqVGYQ(7/7) AAS
>>903
情報ありがとうございます。アップグレードは考えておきます。
「Ｔ」とか売れなそうだし、やはり大学院で研究したほうがいいと考え、留学のために
英語の勉強を頑張ってます。研究費数十万円あるだけでも、初期段階でソフトを
他の研究者に使わせられます。
現実的には入学してしまうと、猿くらいだったら、行きたまま脳を解剖とかして、
ここの神経細胞を壊すと、ここの機能が無くなるとかの実験をするかもしれません。
じゃぁ、知能のない動物には麻薬を使えばいいのか？とか、人間と動物の違いは？
最大多数の最大幸福を考えているのはどうなった？などで葛藤が起きるかもしれ
ません。こうしないと、僕の頭に関数電卓やWindowsが入らない。美味しくない
情報かもですが、中堅大学卒の人は将来的に東大くらいに頭にチップを無理やり
植え付けられ、操り人となるでしょう、と妄想＾＾；
905(1): さまよえる蟻人間 ◆T6xkBnTXz7B0 2018/11/03(土)22:10 ID:uOx37ouV(2/2) AAS
次の動画のプランはあるかね？
906: a4 ◆L1L.Ef50zuAv 2018/11/04(日)08:23 ID:NTJEtL68(1/6) AAS
>>905
「Ｔ」とか出したいですけどね。動画作っても人数集まらないし、今のところは
プラン無いです。TOEFL受験費などを稼ぐ必要があるので、交渉によって、作るのは
ありにします。
907(1): 2018/11/04(日)10:52 ID:7QEP4lzR(1) AAS
受験費用がないほど貧乏なのか？
ま、キチガイは貧乏のほうがいい。
世間に迷惑かけなくて済むから。
908(1): a4 ◆L1L.Ef50zuAv 2018/11/04(日)11:35 ID:NTJEtL68(2/6) AAS
>>907
凄い貧乏まではいかないんですけどね、父親はそこそこの一軒家を買ったために
ローンで月20万円払わなければならない、などの理由でお金はありません。
僕は障害者で就職できませんし。でも、一応、上層部に大学院進学のレールを敷いて
もらってます。キチガイであるということは認めることにします。
909(1): 2018/11/04(日)12:59 ID:EyE9WGn+(1) AAS
>>908
＞ 僕は障害者で就職できませんし。
ウソ書くなよ。
政府や大企業は障がい者を必ず雇用しなければならないのに、
給料は安いけど仕事はいくらでもあるはず。
910(1): 2018/11/04(日)12:59 ID:cd0AZv6K(1) AAS
上層部ってなんだよ
911: a4 ◆L1L.Ef50zuAv 2018/11/04(日)14:04 ID:NTJEtL68(3/6) AAS
>>909
政府がウソついてるんですよ。まず、アスペで高校中退したから、アルバイトとかも
できません。できるのは、父親の工場で働くことです。時給1000円です。専門が
近い仕事とはいえ、車を頻繁に使わないといけないため、障害で免許の持てない
僕は家業が継げず、そこで働くことすらできず、自殺しようと考えています。
>>910
UCLAの脳神経科学の先生のほうからです。英語の教材をそこから買ったら、
メールが届き、実際に会いませんか？ということになり、名古屋駅でさらなる契約を
結びました。その方はTOEFL115点で。僕が障害年金からコンサル代を月16,200円
払っているので、勉強の仕方を教えてもらえます。MITのノーベル賞の先生からも
"I wish you the best with your application."と、返信ありました。
912(1): 2018/11/04(日)15:36 ID:95qKkVOL(1) AAS
障害脳の研究に使うんやろな。先生が。
913: a4 ◆L1L.Ef50zuAv 2018/11/04(日)15:58 ID:NTJEtL68(4/6) AAS
>>912
もう使われてるので、僕も人間の脳の解剖とかしてもいいかもしれません。
機械と戦争が起きないように人間の頭にもチップを埋め込む研究もしたいです。
そういう研究ができるのであれば、もちろん、自分の脳にも埋め込みます。
914: a4 ◆L1L.Ef50zuAv 2018/11/04(日)16:16 ID:NTJEtL68(5/6) AAS
チップと言うと恐いですが、ナノボットのようなものを血液に入れるだけかも
しれません。安全学というものを東大で一応勉強したので、危険性については
確率評価をしっかりしようと思っています。
915(1): 2018/11/04(日)18:03 ID:vc0bD8LH(1) AAS
阿羅漢になりたいのですが、どうすれば良いですか？
916: a4 ◆L1L.Ef50zuAv 2018/11/04(日)19:09 ID:NTJEtL68(6/6) AAS
>>915
阿羅漢という単語は知ってますけど、僕も詳しくないです。色即是空が何かなどを
勉強するために、お寺とかへ行って修行したほうがいいかもしれません。
917(2): 2018/11/04(日)20:24 ID:wNo3/JPc(1) AAS
阿羅漢になるのはどれくらい難しいことなのでしょうか？
918(1): さまよえる蟻人間 ◆T6xkBnTXz7B0 2018/11/05(月)00:34 ID:6+yTtRut(1) AAS
日本語の文法、国文法をやるつもりはあるのか？
919: a4 ◆L1L.Ef50zuAv 2018/11/05(月)09:01 ID:oyjZxWCw(1/5) AAS
>>917
僕は詳しくありません。
>>918
「Ｔ」に関して必要な文法はそれに応じて検索しますが、文系の学術書を買っても
いいかもしれません。
920: a4 ◆L1L.Ef50zuAv 2018/11/05(月)11:48 ID:oyjZxWCw(2/5) AAS
>>917
そういえば、僕の高校時代の日本史の先生は悟りたくて、３日で悟る方法があるという
寺のようなところへ行き、簡単な修行をしたあと、書物を読んだと聞きました。
921(2): 2018/11/05(月)12:07 ID:Yu+8iAbJ(1) AAS
こんにちは。はじめまして。
私はMITの教授でノーベル賞候補者になったこともあります。
人工知能のプログラムの開発がサクサク進む書籍を特別に安い価格で
売ってさしあげましょう。
この書籍は売ってはならないのですが、a4さんは東大卒なんだけど、
精神的に不安定ということですので、特別にお売りしてあげようと思うのです。
どうでしょうか、東京駅で一度お会いしませんか？
書籍は月賦販売も可能ですので、月々は少額でも購入できます。
今回だけの特別です！
いかがでしょうか？
922: 2018/11/05(月)12:25 ID:DzW9woVH(1) AAS
>>921
人工知能の研究をしていてノーベル賞候補？
どの部門で候補だったんでしょうか？
923(1): 2018/11/05(月)15:11 ID:VWtMD5Wc(1) AAS
ロスチャイルド家当主と全知全能の神様はどっちの方が凄いのでしょうか？
924(1): 2018/11/05(月)15:26 ID:i/VkDtta(1) AAS
全然人工知能とやらができてないじゃないか
お父さんが工場で汗水たらして働いてる間お前は何してるんだ
925(1): 2018/11/05(月)17:54 ID:vWrLZd3/(1/2) AAS
東大理系数学ってどうやったら解けるようになるのでしょうか？
926(1): 2018/11/05(月)18:06 ID:vWrLZd3/(2/2) AAS
コツを教えてください。
考え方とか。
927: a4 ◆L1L.Ef50zuAv 2018/11/05(月)18:12 ID:oyjZxWCw(3/5) AAS
>>921
こんにちは。こちらこそ、はじめまして。
お偉いさんと伺って大変恐縮です。ご連絡ありがとうございます。
人工知能を開発していますが、今はMITの博士課程へ入学するために英語の勉強を
しています。その書籍も非常に興味があり購入したいのですが、あなたとの人間関係
のほうにもっと興味があります。推薦状などの問題をクリアしないといけないので。
東京駅で会うことはできます。ただ、僕は貧乏などの理由でスマホを持っていない
ので、会うときは、公衆電話などの方法を使います。とりあえず、ここだと荒らし
も多いので、メールかskypeあたりでお話しましょうか？
連絡先は下記の松本卓朗のほうです。
外部ﾘﾝｸ[html]:www.01ken.com
よろしくお願い致します。
928: a4 ◆L1L.Ef50zuAv 2018/11/05(月)18:17 ID:oyjZxWCw(4/5) AAS
>>923
神様のほうだと思います。
>>924
もうちょっと改良すれば一気に喋るかもですが、コードをここで共有してくれる人が
全然現れないあたりで、一旦挫けてます。
>>925->>926
チャート→１対１対応の演習→大学への数学
復習は明日と１週間後と１ヶ月後。
という返信では駄目ですか？
929(1): 2018/11/05(月)18:38 ID:P4X/qYiY(1) AAS
スマホなんて安いのは1～2万円なんだから障害者年金で買えるでしょ。
なぜ買えないと思うのか...
930: a4 ◆L1L.Ef50zuAv 2018/11/05(月)18:45 ID:oyjZxWCw(5/5) AAS
>>929
もともと持ってたんですけど、UFOの実験してたら、壊れちゃったんですよ。
また、携帯会社の誰かに見張られているのでは？といった統合失調症の監視妄想が
強くなってしまうので、無理には購入してません。あと、お金があったら、
TOEFLを受験したいんですよ。１回の受験につき$235かかります。
931(1): ゆりな ◆Ky/cs3er/I 2018/11/05(月)22:52 ID:gL1iVTRL(1/2) AAS
私は昔５ちゃんねる（当時は２ちゃんねる）でP2Pソフトを開発していた者ですが
ちょっと来るのが遅かった感じですか？
ちなみに、開発していたのは↓です。
CREA（言語はC#）
外部ﾘﾝｸ:ja.wikipedia.org
外部ﾘﾝｸ:github.com
今となっては懐かしいですね・・・。
932: 2018/11/05(月)22:55 ID:gL1iVTRL(2/2) AAS
あっ、よく見たら上のソースコードはCREACOINのコードでした
CREAのソースコードはGitHubには上げてませんね・・・
933(1): a4 ◆L1L.Ef50zuAv 2018/11/06(火)06:21 ID:lx3jL9hz(1/8) AAS
>>931
来るのは遅くないですよ。まだまだこれからです。ただ、自分のやりたいことと、
いろんな人との人間関係があるので、今は英語の勉強をしています。
wikipedia見ました。P2Pニコ動は負荷のかかるものかもしれませんね。
このスレでは１文でもいいので、コードを書いてくれる人を募集しています。
たとえば、
c(i(ありがとう。),o(どういたしまして。))
みたいに。半分完成した「Ｔ」はこちらです。
外部ﾘﾝｸ[html]:www.01ken.com
ただ、現在配っている半分完成した「Ｔ」は小さいバグもあるし、メモリも十分に
確保できていないため、治さないといけないです。その研究時間を作るためにも、
今３０歳ですが、海外の大学院へ留学しようと思っています。
934(1): a4 ◆L1L.Ef50zuAv 2018/11/06(火)06:23 ID:lx3jL9hz(2/8) AAS
そういえば、逆にP2P機能はまだ作ってないですね。人が集まらないんですよ。
この板だけだと。他の板へ行くとスレが閉鎖しちゃうし。
935: a4 ◆L1L.Ef50zuAv 2018/11/06(火)06:32 ID:lx3jL9hz(3/8) AAS
いろんな人からあれやってこれやって言われて混乱してる状態ですが、留学前に、
推薦状を書いてもらうために、教授くらいの人とこのソフトを８割くらい完成させる
というのはありです。そういう先生が３人も見つかるかはわかりませんけどね。
厳しいです。
936(1): 2018/11/06(火)09:08 ID:oY9jA1Ku(1/2) AAS
東京にいっぱい超高層マンションを建てたいのですが、具体的にどうすれば良いのでしょうか？
937: a4 ◆L1L.Ef50zuAv 2018/11/06(火)09:26 ID:lx3jL9hz(4/8) AAS
>>936
僕と一緒に非ユニタリ量子コンピュータを作って、スパコンの2^(10^10)倍の計算力で、
ビジネスしましょう。
938(1): 2018/11/06(火)09:43 ID:oY9jA1Ku(2/2) AAS
世界を牛耳っているのはユダヤ国際金融資本ですか？
939: a4 ◆L1L.Ef50zuAv 2018/11/06(火)09:53 ID:lx3jL9hz(5/8) AAS
>>938
僕はリアルで名古屋の宇宙人に会ったとき、世界を牛耳っているのは、
「イルミナティ」と「フリーメイソン」であると、教育を受けました。
940(1): 2018/11/06(火)14:45 ID:B+7Pp6SO(1) AAS
中二病乙
941: a4 ◆L1L.Ef50zuAv 2018/11/06(火)14:49 ID:lx3jL9hz(6/8) AAS
>>940
中二病という単語は、中二の頃に聞いたときは、おじさんたちが何やってるんだろう？
と思いましたが、今となっては、そういう定義かもしれませんが、早めに挫けさせて
負け組にさせる搾取構造なのではないかと思っています。
942(1): ゆりな ◆Ky/cs3er/I 2018/11/06(火)16:10 ID:C3hotnMM(1/2) AAS
>>933
人工知能のコードは書けませんが、興味深いのでスレに参加させていただきたいと思います。
>>934
今はライブラリも豊富だろうし、P2P機能は昔よりも楽に作れるのでしょうね。
ちなみに、CREAは表向きP2P型動画共有を目標にしつつも
仮想空間構築のためのグリッドコンピューティングという個人的な目的がありました。
言ってしまえば、動画共有機能は人集めのためだったのですが、、、
実際は動画共有とかファイル共有でも人が集まらなくて
プロジェクト中断になってしまったので
P2Pで人集めるのは難しいですね。
943(2): ゆりな ◆Ky/cs3er/I 2018/11/06(火)16:12 ID:C3hotnMM(2/2) AAS
私は今はもうP2P関連やるのは辞めちゃって
数学寄りのところにいます。
>>201 >>203 でCoqの名前が挙がってますが、
まあその辺です。
定理証明の分野は広く浅く勉強したことがあるので
ある程度はお教えできることもあるかもしれません。
実はこのスレにはリーマン予想を解決しようとしているという噂を聞いてやってきました。
私は今数理論理学から公理的集合論までの数学の基礎を
コンピュータ上で構築する試みを行っています。
Coqやその他定理証明支援系の二番煎じと言えばそうなのですが、
私は専門家向けじゃなく一般人にも分かりやすいシステムを作れないか
というところを主眼に置いています。
944(1): a4 ◆L1L.Ef50zuAv 2018/11/06(火)16:28 ID:lx3jL9hz(7/8) AAS
>>942
P2Pのライブラリ？あるかもですけど、僕は１から作りたい派です。
僕も格子の仮想空間を作ろうと思ったのですが、複雑なシムシティみたいなのを
作ってみたいと思っても、格子上の点を手動で動かしても知能のあることがあまり
できないな、といったところで一旦止まりました。時間をかければ、面白いもの
ができる、ということは信じていますが、玩具的な用途にしかならず、普及しない
と見積もって、それでの人工知能開発を一旦ストップしています。
>>943
考えてることがほぼ同じですね。数理論理学の本とか読んでた頃もありましたけど、
なんか、纏まってなくて好きになれないんですよ。しかも、コンピュータに
入れようと思うと、a=b=cと入力するだけで、a=b, b=c, a=cと理解させないと
いけないなどで、問題が起こると思っています。個人的な意見としては、人間の
扱っている数学は結構曖昧で、神経科学と量子計算で自動定理証明できるように
なったら、その後は、時計の芸術などが発展すると見越してます。僕も一般人に
わかりやすい書籍を売れないか、とか考えてます。
945(1): 2018/11/06(火)16:50 ID:SFxQj1Db(1) AAS
【浜、マⅰトレーヤ】 ナマポ、ニート、ヒキコモリ ＜対＞ ユニクロ、自民党 【分ち合い抵抗勢力】
2chｽﾚ:liveplus
被災地にはボランティアや義援金が殺到するのに、何で貧困層には無関心なの？ 自分達が加害者だから？
946: a4 ◆L1L.Ef50zuAv 2018/11/06(火)17:09 ID:lx3jL9hz(8/8) AAS
>>945
ユニクロが敵なんですね。僕の服は意外と原宿で集めましたが。貧困層に無関心なのは、
石油が足らなくなるとか、そういう問題を議論しないといけないと思ってます。
947(1): ◆QZaw55cn4c 2018/11/06(火)20:48 ID:MhNpcfCg(1) AAS
>>943
＞私は今数理論理学から公理的集合論までの数学の基礎をコンピュータ上で構築する試みを行っています。
論理というのは人間の外にある「客観的」なものではなく、人間の遺伝子に組み込まれた「主観的」あるいは「人間的」なものだという感覚を持っています
948(1): 2018/11/06(火)21:26 ID:edQqqURs(1) AAS
本当に絶対に無になってもう二度と有になりたくない。
949: a4 ◆L1L.Ef50zuAv 2018/11/07(水)00:27 ID:6Y/7TLC2(1/4) AAS
>>948
その手法を一緒に量子計算しませんか？
950(2): ゆりな ◆Ky/cs3er/I 2018/11/07(水)11:00 ID:8rccuv7Z(1/2) AAS
>>944
P2P、1から作るのですか・・・大変だと思いますよ？
＞考えてることがほぼ同じですね。数理論理学の本とか読んでた頃もありましたけど、
＞なんか、纏まってなくて好きになれないんですよ。
数理論理学は多分にメタ的ですから。
外部ﾘﾝｸ:togetter.com
たとえば、1階述語論理の上で実際の「普通の」数学を展開する場合、
数理論理学の文献に書いてあるような1階述語論理に対するメタ的な議論は
ほとんど無視して構わないかと。
ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。
＞人間の扱っている数学は結構曖昧で
長大な証明になってくると、数学者でも100%正しいと言える人はいなくなってきます。
たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、
この証明は99.99%くらいは正しいと言われていますが、
100%正しいと言える数学者は誰もいないとも言われています。
実際、2004年に証明の完成が宣言された後にギャップが見付かっています。
外部ﾘﾝｸ:ja.wikipedia.org
＞神経科学と量子計算で自動定理証明できるように
私は量子計算についてはあまり詳しくないのですが、
自動定理証明という問題は計算量的にかなり難しいので
量子計算で自動定理証明が発展するかはちょっと疑問ですね。
っていうのはほとんどの数学って決定不可能（undecidable）なんですよ。
逆に、決定可能だと証明されている数学には簡単な幾何学(Tarski[1948])があるのですが、
「円の面積」のような重要な概念が記述できないという欠陥があります。
それで、もうちょっとまともな幾何学の体系を作ろうとすると今度は決定不可能になってしまうことが証明されています。
しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して
自動定理証明しようとすると非常に非効率なことが分かっています（使い物にならないレベル）。
じゃあ、逆に効率良く自動定理証明できる幾何学の体系ってどんなものなの？という疑問に対してはWu[1977]があります。
951: ゆりな ◆Ky/cs3er/I 2018/11/07(水)11:05 ID:8rccuv7Z(2/2) AAS
>>947
仰る通りだと思います。
実際のところ、人間が「普通」だと思っている論理って体系的にはかなり複雑怪奇です。
何故人間はこれを自然に感じるのか不思議に感じるほどです。
たとえば、有名なBourbakiにおける自然数「1」は依存する全ての定義を展開していくと
長さ4523659424929の記号列となることが分かっています。
A term of length 4,523,659,424,929（PDF）
外部ﾘﾝｸ[pdf]:www.dpmms.cam.ac.uk
別の例としては、命題論理体系としてHilbert流の最も単純な3つの公理群と1つの推論規則を
採用すると証明がとんでもなく難しくなるというのもありますね。
逆に簡単に証明できるようにしようと思ったら、より複雑な公理や推論規則を採用しなければならなくなります
（あるいは、演繹定理というメタ的なアプローチもあります）。
952(1): a4 ◆L1L.Ef50zuAv 2018/11/07(水)11:40 ID:6Y/7TLC2(2/4) AAS
>>950
>P2P、1から作るのですか・・・大変だと思いますよ？
確かに既存のものを使わないと安定しないかもですね。考えておきます。
>ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。
リーマン予想とかだとどうなんでしょうね？Wikipediaで２階述語論理について検索
すると、「空でなく上に有界な実数の集合があるとき常にその集合には上限が存在
するという命題を表すには、二階述語論理が必要となる。」と出てきました。だと
すると、解析学の基礎と関係するリーマン予想には、高階述語論理が必要かもしれ
ません。僕は専攻は数学になれなかったので、今はきちんと理解してませんが。
でも、「Ｔ」は一応、独自の手法で近いことをやっていると考えています。
>たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、
これは面白い情報ですね。覚えます。
953(1): a4 ◆L1L.Ef50zuAv 2018/11/07(水)11:40 ID:6Y/7TLC2(3/4) AAS
>>950
>私は量子計算についてはあまり詳しくないのですが、
僕は大学生の頃、実際に量子コンピュータを開発している研究室に在籍し、
自動定理証明などに関する論文のようなものを書きました。結果としては、
既存の有名な理論を使うだけでは、シュレディンガーの猫の実験をしたとき、
生きた猫のいる世界から、死んだ猫のいる世界の映像などを見ることはできず、
確かに使い方によっては高速なんですが、使い勝手が悪く、自動定理証明には
あまり使えないというものでした。ところが、その後も独自に研究を進めると、
ナマズが地震予知できるので、その神経についている特異点上の量子の複製という
物理法則を使って、その生きた猫と死んだ猫の世界をくっつけて並列計算して
しまおうと、考えるようになりました。成功するかはよくわかりませんが、僕の
妄想です。
>しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して
>自動定理証明しようとすると非常に非効率なことが分かっています（使い物にならないレベル）。
初等幾何学とか僕、高校時代くらいは苦手だったんですよ。でも、あれの解法の
一般化は面白そうなので、「Ｔ」とかでやってみたいですが、やはり古くから研究
されてるんですね。
954: a4 ◆L1L.Ef50zuAv 2018/11/07(水)12:02 ID:6Y/7TLC2(4/4) AAS
950を超えたので、次スレ建てました。
a4です。Ｐ２Ｐ人工知能「Ｔ」開発(3)
2chｽﾚ:tech
955(1): ゆりな ◆Ky/cs3er/I 2018/11/08(木)10:00 ID:X16WBQ5I(1/2) AAS
>>952
ちなみに、P2Pの開発で一番難しいのはテストだと思います。
テストしようと思ってもノードを用意しないとテストにならないので・・・。
もちろんローカルでもテストするのですが、
1台のPCだと処理能力にも限界があって多ノードのテストは難しいです。
しかも、ローカルのテストでは発現しない不具合も出てきたりするので・・・。
私が開発してた時は頭がおかしくなりそうになりました・・・。
＞リーマン予想とかだとどうなんでしょうね
ほぼ間違いなく2階は必要でしょうね。
現代数学はほとんど2階述語論理までは必要としています。
あと、今の数学は基本的にはZFCの上で行われていますので
高階述語論理は必ずしも必要ではないかと。
956(1): ゆりな ◆Ky/cs3er/I 2018/11/08(木)10:00 ID:X16WBQ5I(2/2) AAS
>>953
やはり現在の量子コンピュータは特定のアルゴリズムの計算は高速にできても
汎用的なコンピュータとしてはまだまだですよね。
今後もっと使える量子的なコンピューティング方法が見付かる可能性はあるかもしれませんが。
＞初等幾何学
初等幾何学は人工知能に学習させる題材としては面白そうですね。
957(1): a4 ◆L1L.Ef50zuAv 2018/11/09(金)02:06 ID:xR8D+OLW(1/2) AAS
>>955
なるほど。僕も格子の人工生命をP2Pで作ってた頃は同期の問題で訳がわからなく
なってしまいました。しかも、せっかくできたのに、実験してくれる人数が集まらない
というところで止まってしまいました。
数理論理学とか詳しそうですね。僕も昔はそっちの専門家になりたかったのですが、
今は、無職に近い状態で、ここで人工知能を売りながら、３０歳ながらも特異点技術
などを追って、海外への大学院進学を目指してます。
>>956
僕は高度な技術はタイムマシンによる歴史改変と関わってると信じてる人なんですよ。
だから、公に出てくる技術はそこで制限されるのではないかと。5chというのは、
「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」ということで
こういう情報も書くんですけどね。
958(1): ゆりな ◆Ky/cs3er/I 2018/11/09(金)19:17 ID:KaP52UX8(1) AAS
>>957
＞同期の問題で訳がわからなくなってしまいました
同期は難しいですよね。
＞数理論理学とか詳しそうですね
数理論理学の周辺は広く浅く勉強したことがあります。
深いことはあまり知りません。
＞今は、無職に近い状態で
私も最近仕事を辞めて28歳で無職なので似たようなものですよ。
しかも、オカマになってしまいました（笑）。
959(1): a4 ◆L1L.Ef50zuAv 2018/11/09(金)21:13 ID:xR8D+OLW(2/2) AAS
>>958
なるほど。専攻が近いみたいなので、仲良くなりたいです。「Ｔ」のP2P実験とか
一緒にしませんか？
960(1): 2018/11/10(土)01:10 ID:W+pb59IN(1/2) AAS
専攻ってどこですか
961: a4 ◆L1L.Ef50zuAv 2018/11/10(土)04:21 ID:u2fgR3JY(1/2) AAS
>>960
僕は大学にいた頃は、量子コンピュータによる自動定理証明と、格子の人工生命を
用いた人工知能で、論文を書いて提出しました。
962(1): ゆりな ◆Ky/cs3er/I 2018/11/10(土)10:21 ID:Btedm0TA(1/2) AAS
>>959
コードは書けませんが、P2Pのテストくらいならできるかもです。
あと、a4さんの目標の1つは、人工知能による数学の重要定理の証明、ですよね？
私は人工知能にはあまり興味がありませんが、
数学の定理をPC上で手動で証明するためのシステムを作っています（Coqに似たようなものとお考えください）。
人工知能を使うか、手動で行うかという違いはあれど
コンピュータ上で数学の定理を証明したいという点は共通しているので
情報、技術などある程度共有できることはあるかもしれません。
963(1): a4 ◆L1L.Ef50zuAv 2018/11/10(土)10:49 ID:u2fgR3JY(2/2) AAS
>>962
ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った
ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん
ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。
964(1): ゆりな ◆Ky/cs3er/I 2018/11/10(土)20:18 ID:Btedm0TA(2/2) AAS
>>963
Coqは難しいです。私は挫折しました。
私はもう少し分かりやすいシステムを開発していて、自然演繹ベースです。
多分よく知られている論理体系の中では自然演繹が最も初学者でも分かりやすいです。
たとえば、命題論理で有名なPeirceの法則は私のシステムで証明すると↓の画像のようになります。
画像ﾘﾝｸ[png]:i.imgur.com
上の方にある図のようなものが証明の内容を図的に表したもの（証明図）で
下の方にあるコマンドがこの証明を行うのに必要なコマンド列です。
今のところ私のシステムでは論理式の作成から証明まで全部コマンドを実行することで行います。
これは人間が手動で証明する場合には面倒なのですが（なので今後改善が必要）
人工知能に証明させる場合はコマンドを覚えさせるだけなので楽かもしれませんね。
＞まだ先になるかもしれません
はい、私は私で自分のシステムの開発を続けます。
お互い開発頑張りましょうね！a4さんは大学院進学も。
965(1): 2018/11/10(土)20:27 ID:W+pb59IN(2/2) AAS
論文のタイトルを教えてください
966(1): a4 ◆L1L.Ef50zuAv 2018/11/11(日)10:07 ID:J6xiMdhf(1/2) AAS
>>964
自然演繹とかはまだ勉強したことがないですね。本を買わないといけないかもですね。
はい。頑張りましょう。
>>965
僕の書いたことのある論文のようなものは３つあって、
量子アルゴリズムの提案
外部ﾘﾝｸ[pdf]:www.01ken.com
人工生命的手法を用いた豊かな個性と曖昧な感情を兼ね備えた論理的に行動する人工知能の開発
外部ﾘﾝｸ[pdf]:www.01ken.com
Contradiction on science and Introduction to philanthrophy
外部ﾘﾝｸ[pdf]:www.01ken.com
です。
967(1): ゆりな ◆Ky/cs3er/I 2018/11/11(日)16:32 ID:h1pE2li5(1) AAS
>>966
自然演繹のためだけに本を買うのは勿体ない気がします。
上の論文が書けるレベルなら私より知能レベルは上だと思うので
ネットの情報で十分理解可能かと。
個人的にオススメなテキストは↓です（PDF）。
外部ﾘﾝｸ[pdf]:web.sfc.keio.ac.jp
証明図についてきちんと定義していますので理解が深まりやすいかと思います。
968(1): a4 ◆L1L.Ef50zuAv 2018/11/11(日)18:15 ID:J6xiMdhf(2/2) AAS
>>967
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。
そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか？今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「Ｔ」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。
969: ゆりな ◆Ky/cs3er/I 2018/11/12(月)15:24 ID:4ddzwlA+(1) AAS
>>968
＞完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。
＞メールかskypeあたりでやり取りしませんか？
とりあえずメール送りました。
970: a4 ◆L1L.Ef50zuAv 2018/11/12(月)15:33 ID:3Upq4nSe(1/2) AAS
>とりあえずメール送りました。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。
971(1): 2018/11/12(月)17:00 ID:tl7KhuZQ(1) AAS
自演して楽しい？
972: a4 ◆L1L.Ef50zuAv 2018/11/12(月)17:02 ID:3Upq4nSe(2/2) AAS
>>971
自演はしてませんよ。名古屋の宇宙人からのテレパシーは裏技術です。表向きには
統合失調症ということになっています。
973(1): 2018/12/08(土)21:25 ID:tBodI9MC(1) AAS
ﾎﾓ相手するのはやめたほうがいいぞ
それともｵﾏｴ、ﾎﾓなの
974(1): 2018/12/09(日)17:04 ID:eG4pDpqu(1) AAS
オネエだったりして(笑)
975: a4 ◆L1L.Ef50zuAv 2018/12/12(水)20:44 ID:/YuZFY7H(1) AAS
>>973->>974
僕は誰とも話す人なのですが。同性との性的な交わりについては、僕はイスラム教と
絡んでいるので厳しいです。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.218s*