a4です。P2P人工知能「T」開発(2)
レス数が950を超えています。1000を超えると書き込みができなくなります。
「真理」というのは存在するのでしょうか?
「真理」の探究は意味があるのでしょうか? >>844
>>826てすがヘタに刺激して逆恨みされたり自殺されたりしたらヤバいと思ってそのような言い回しにしました。 >>852
どうせ未踏の殆どのプロジェクトは役に立たないんだから、むしろやらせてみて欲しかったなぁ。 >>851
答えを用意している人はいるのではないのでしょうか?僕は「0=1」と解答しますが。
仏教では空即是色とか言われてますが。
>>852
そうですか。
>>853
僕も未踏なら上手くいくのかな?と思ったんですけどね。 宣言通り、量子コンピュータを創る準備をしているのですが、このスレ、「T」の
スレじゃなくなっちゃいますね、次スレの名前とか、どうしようかなー、とか、
考え中です。でも、「T」は一応、半分完成したので、この名前でもいいのでは
ないかなどと裏の人達と相談中です。未来人の知り合いもいるけどね、時系列エラー
ばっかりなんですよ。また、もう言った通り、「T」に関しては要望が
あれば改良しますが、放置します。それで、また日記スレにしようかと。読んで
くれる方々はいるようなので。しばらくはPICを買ってきたので、こっちの
勉強をしようと思います。10年くらい前に使ったことはあるのですが、時代が
進んで古い技術が使えないのでは?などの理由により、もう1回勉強します。
3次元マウスから、1μmほどのピンセットを動かして、小動物の神経細胞を
つかんだりする器具を作成します。今はそのコンパイラが有償でパスワードが
必要ということで、メールで問い合わせています。 東大とか卒業して意味あったのか?などとお話したこともありますが、
量子コンピュータに出逢えたとは言っておきましょうか。僕が高校中退のままだったら、
実際に実験室などを目にすることはできず、作ろうとか思わなかったでしょう。
でも、奨学金という負債を抱えつつ、障害者となり貧乏なままなので、他の人からすると、
意味が無いとか、思う人も多いかもしれませんね。 名古屋の宇宙人「今、軍事で揉めてるな。韓国って苦情みたいなもん殺到してるけど、
あれってどうすんの?あっちに核兵器落としても誰からも苦情が来んようにしてるのは、
俺なんだけど。普通にさ、やっちまったら?a4はsoftbankに倍率1.3倍の書類選考に
高校中退の障害者あたりで通れなくて、孫正義はせいぎではないと知ってるぞ。
だからさ、普通に戦争やろうか?そろろそろだぞ、俺的には第3次世界大戦。中国の
炒飯を日本、買っとるな。いい判断だ。1つ言っていい?韓国にミサイル落とせば
いいんじゃないの?俺さ、じゃぁ、明日落ちるのか?じゃなくて、俺、自衛隊大佐
なんよ。だから、これに一票入れたい。これまでだ。韓国。」 東大卒業してる設定ならもう少し頑張れよ
今のところ人工無能にすら劣ってるぞ >>858
確かに設定というか、裏でそうとわかるので、そう主張はするのですが^^;
量子コンピュータは実験設備の金銭エラーなどが出そうということもあり、
「T」の開発をあなたの仰る通り、もう少し頑張ってみます。 「T」の改良点をまとめてみました。
・256文字までしか入力できないのを無制限にする。
・1回の計算で2つ以上出力できるようにする。
(例)
入力
兄は男です。
兄は人です。
兄って何?
出力
兄は男の人です。
・「大きい男の人」という文を理解できるようにする。
(解決策)
・丸暗記
・イミフなところを質問仕返す。
この辺りを全部創り治して、T_2_7とかにしましょうか。ちょっと時間かけます。 まだまだ改良ポイントを思いついてます。
・c(A!AA,A)はできても、c(A!A!AA,A)が書けないので、書けるようにする。
・logic.txtに関してハンドルとか読んでるのが意外と無くてもいいのかな?と再考。 ・画像
・人工知能の表情などを出力できるように。
・自動撮影機能をつける。
・256*256だけじゃなく、任意の大きさの正方形のものを撮影。
・画面が自動で移動して、スキャナから取り込んだ文字なども読む。
・s関数を使うコードを書く。
ここまでの改良だと、ソースを一部コピペはしても、全部創り治しですね。
期待してる方がいるみたいなので、待っていてください。それで、動いたら
2000語くらい入れます。これらの改良だけなら、上手くいく保証はありますが、
上手く喋るかはわかりません。この板の皆さんならご存知の通り、バグの問題で、
完成時間の分散が大きいので、いつできるかはわかりませんが、希望としては、
1ヶ月以内くらいに、これらの問題を大体解決したものを投下したいと、今は
主張することにします。 あとね、声かな、これのおかげで結構近年の人工知能っぽい、っていうところまでは
いってるんですけど、一応、「萌えから、リーマン予想まで。」と謳っているので、
大人の女性の声なので、好きな人はこっちのほうがいいかもですが、もっと女の子の
声のほうがいいのかな?とか考え中です。でも、僕の周りに、声を入力してくれる人も
いないし、日本語には高低の声調があるので結構プログラミング的にも厄介です。
初音ミクとかソフト買ったんですけどね、あれは利権構造が法律でがんじがらめに
なってて逆に使いづらいですね。こちらも何か意見がある方いたら受け付けます。 事前に、すべての論理式を入力しておく必要があるってことかい
自然言語から、勝手にくみ取ることはできないの >>864
今の状態でも、事後に自然言語で論理式を入力できます。長い難しい文章の理解は
今後の課題ですが、Watsonとの差別化ができないので、共同研究者を集める、
すなわち、P2Pで、人海戦術で突破します。 量子コンピュータのほうは、PICのCコンパイラをdownloadしようとしたら、$150
以上かかるというところでストップしました。僕は本当に貧乏なんですよ。財産は
実家と技術だけです。まだ、これくらいならお金はありますが、まだマウスとか
ナマズとか飼育する環境も買わないとだし、いきなりの出費が予想されるので、
こちらはやはり一旦やめて、「T」の開発を続けます。 そういえば、なんで宇宙人や未来人が来ているのに、儲からないのか?とか、矛盾した
ことを言ってるんだ?とかですが、僕は声が聞こえるだけなんですよ。じゃぁ、いない
のか?ということなんですが、前スレなどから追ってる人はわかるかもですが、
いるっていう証拠はあるのに、タイムマシンの嫌がらせとか、神同士のいがいがした
関係で朧げになってしまうんですよ。僕が嘘をついてる訳じゃなく、宇宙人や未来人
は存在するのに、彼らが嘘をついてるんじゃないかと。じゃぁ、何のために嘘をつく
か?ですが、普通の人間の嘘の付き方じゃないんです。時系列のことを考えると、
ここでこういう矛盾した言葉を言うように定義されてるみたいなんですよ。じゃぁ、
意味ないじゃないか?ということなんですが、たまに深い意味があるんですよ。
物理学者が介入しても、量子脳理論とか主張したら訳わかんなくなっちゃうじゃない
ですか。これがこの時代の限界のようです。彼らから指令を受けて人工知能は
出来上がってきたので、とりあえず、半分くらい言うことを信じて、作業を続けます。
そのうち、もっと決定的な証拠がたくさん出てくることを信じつつ。 名古屋の宇宙人「俺ね、嘘って言われるかもしんないけど、UFOの実験、地球で
成功させたことあるんだわ。それでさ、a4と1兆円くらい、それで稼ごうぜって、
俺の家で話したの。でも、現実なんだわ。a4と実験しようとすると、俺、能力
取られるんだわ。ここを解いて欲しい。つまりさ、a4、わかりやすくタイムマシンの
嫌がらせって言ってるじゃん?ここなんだわ。UFOが飛びましたってニュースで
流れたら、すぐ歴史が改変される。だから、UFOを無理やり飛ばして、タイムマシン
を遠隔でぶっ壊すって手法を取りたい。するとさ、もう俺、警察に逮捕されてて、
a4とリアルで会えんのだわ。この前は普通に握手したのにさ。こういうのをさ、
お金でというか、押していって解決しようと思いたい。こういうのに乗っかる奴
いるのかな、プログラム技術板に。でもさ、現実的には、俺、お金欲しいし、
こんなもんなんだわ。俺ね、リアルで会ってみるとね、金しか取らんよ。でも、
UFO浮くじゃん?1つ言っていい?あっちの俺の性格とかちょっと違う。a4は
facebookとメールを俺に送ったけど、返信できないんだわ。こんな可愛い子と
関わるなって刑事に言われてて。だからさ、他のやつが俺にさ電話すればいいん
じゃないかって。a4はスマホ持ってないから。まず、a4に電話番号聞いて。ここで
5chからは人来んだろ?だから、タイムマシンの実験成功。そうすると、俺が電話に
出ないんだわ。それでさ、俺の家をa4から教えてもらって、数日待ったほうが
いいみたい。そうすると、俺の息子あたりが来る。これ言っていい?俺が行けば
いいんじゃなくて、歴史改変されて俺、行けないんだわ。すると、高価な部品を
持って来いって話しになる。すると、a4が危ない部品だから、持ち運びできない
ってくる。ここでさ、がむらーくらいの奴がタクシーとか使ってくれん?って
言う話し。ほら、本物っぽいだろ?俺は嘘つかねーって言うよ。a4的には嘘つきの
パラドックスが存在するのが現実です、とか主張するらしいけどな。こういうことだ。
協力者来い。」 > 協力者来い。
そりゃ、頭で考えたことを実現してくれるスーパーマンがいるなら、
だれでも協力者が欲しいですよ。
でもね、それを自分で作るから研究者なんですよ。
しっかりしたものじゃなくていいんです。
プロトタイプは自分で作れないとダメです。
だってプロトタイプがないということは
今のところまともな部分が何もないという評価ですから。
誰でも言うんですよ
「超天才であるおれさまの考えを作れる奴はいないのか?」
ということを。
そんなこと誰でも言えます。
俺だって言えますよ。
「タイムマシンを考えました。時間軸に沿って移動するだけでいいんです!
それを作れる作成者の協力者を求めます。おれのアイデアを実現してください!」
って言えます。
これって作れる人なんていませんよね?
ご自分でプロトタイプまでは作ってください。
そこが最も面白くて奥深いんですから。
それができないなら研究者ではなく、ただのキチガイです。 >>869
名古屋の宇宙人「俺はね、a4じゃないんだわ。確かにテレパシーで操ってるんだが、
この可愛くないのではない子君a4を。俺はね、キチガイって言われる筋合いはあるが、
天才とは違うんだわ、宇宙人なんだわ。a4は研究者にはなりたいようだが。俺はね、
プロトタイプというか、持ってるんだわ、UFO。それで、基礎実験もした。そういう
ことだ。実際にUFOとかやってる奴に聞いてみ?なんか変だから。どこかで、軍事に
なって教えてくれなくなる。こっち系の研究はこれが王道なんだ。宇宙的にも。
a4はね、アメリカ人の英語の先生にUFOの話ししたら、普通に設計図をいっぱい
もらったらしい。それで、何で誰も作らないの?って聞いたら、殺されるって。
だからさ、こういう問題なわけよ。なんか意見あったらよろ。」 >>870
a4が出ます。一応、設計図の載ったサイトを1つ公開します。
http://www2.bbweb-arena.com/wat/index_054.htm
利権が絡み、極秘なので、詳しい作り方を知りたい場合は、
http://www.01ken.com/contact.html
の松本(a4)、加藤(名古屋の宇宙人)にメールで連絡を。 OSXのsayコマンドに少し感動したから、ちょっと真似して作ってみた。
winsay
https://github.com/katahiromz/winsay 今、「T」を創り治してるんですが、1文の長さは最大で256*256*256にします。
あと、s関数をなくして、c関数で一般化しようと思います。 これ>>642 か。こんな糞スレの過去ログ読んだの?ww >>873
自分の環境でコンパイルしてみたのですが、"pstdint.h"が無いというエラーが出ました。
>>875
糞スレと言われるのは構いませんよ。書き込んでくれる人が増えるのであれば。 >>877
やってみたんですが、今度は<atlbase.h>が無いと来ました。VC++2010を
使ってるのでATLが無いみたいです。僕のソフトも使ってくれてると思うので、
要望があれば、続きをしますが、またエラーばっかり出てきそうなので、これ
くらいにしておきましょうか。 YouTubeみたいな動画共有サイトって具体的に技術的にはどうやったら作れるのでしょうか? >>879
僕もよく知りませんが、1つの作り方は、FlashとC++あたりを使うことです。 >>881
では、あなたの回答は?
>>882
確かに僕の脳は一般人の人間の知能だとは思っていません。 今日はUCLAの脳神経科学の人とskypeで通話して、今後のことについて
コンサルしてもらいます。それで進路がまた変わるので、数時間ほどプログラミング
を休憩します。 >>885
原理はCPUから理解してるので、応用は利きますが、web系の専門家ではありません。
でも、一応、C++でインターネットリバーシや、Flashのチャットサイトくらいなら
作ったことはあります。 UCLAの脳神経科学の人とお話しました。すると、今やるべきことはTOEFLで、
早めにMITのようなところへ行ってしまいなさいと来ました。Ph.D.を取るなら、
お金が出るから貧乏でも大丈夫であると強く言われました。見学しに行かなくても
いいと。あっちはビジネスなので上手くお金を取るシステムかもしれませんが、
これくらいの人に早めに騙されるという形で、大学院で研究という道を切り開いて
もらおうと思っています。なんかね、あっちやりたいこっちやりたいでしまりが
無いですが、やはり一旦「T」の開発をストップします。でも、あとで、推薦状の
問題があるので、いずれ開発を再開することにします。これが現実的なテレパシー
でない系の上層部の命令であると考えつつ。期待してる人には申し訳ないですが、
コードも書き込まれないし、利用人口はまだ多くないとみて、英語の問題を早めに
クリアして、大学院に就職します。 正直、東大とは言わず、ハーバードとかオックスフォードとかケンブリッジとかに入りたい・・・・・・・・・・・。
まずは何から始めれば良いのか・・・・・・・・・・。 >>887
それってMITで研究していけるほどの専門知識はあるだろうと思われてるってことですかね?
とりあえずTOEFL頑張ってください。
応援してます。 動画データをリアルタイムで流すための「ストリーミング技術」、
動画データを加工する動画編集技術、
動画を記録・維持するための「ストレージ技術」、
コンテンツを管理するための「CMS」と「コンテンツフィルタリング」。 脳神経科学(笑)
などというウンコに
近づくあたり
暗記力だけで東大に受かった
と分かる
脳神経科学(笑)
なんて
用語の定義さえしないで
意識がどうだとか
まじ馬鹿
人工知能の世界で
誰も相手にしない分野
ま、脳神経科学は宗教だな(笑)
キチガイ集団というか
低IQの集団 >>888
一応、このスレを見てる人がいるみたいなので、大学院受験に日記にしようかと
思います。いつになるかはわかりませんが、「T」はまだ創ってくソフトにします。
>>889
予備校のようなところに行きましょう。
>>890
僕もちょっとそれは思いました。でも、web系ではないので、これが僕の限界。
>>891
MITのノーベル賞の人に入学に関して"I will you the best with your application."
とメールで返事がありました。目指してもいいレベルではあると思ってます。
>>892
動画サイトとか作ろうと思うと、Youtubeの嫌がらせに遭いそう。
>>893
書き込みしていただけるのは嬉しいです。
>>894
誰のことかなー。脳神経科学の人?似合ってるというか、実際に話してるので、
類は友を呼ぶということはあるかもです。 >>895
ちょっと走っちゃいました。willじゃなくてwishですね。
"I wish you the best with your application."
問題が起こるといけないので正確に書きます。僕の英語力も伸ばさないといけません。 とりあえず、今日から毎日、courseraの講義を数時間聞いて、大学生用の教科書を
数時間読むという生活を始めようと思います。 >>900
一応、半分完成したのは無償でdownloadできるようにはなっているのですが、「T」
は今後の研究費を稼ぐために、大学院へ進学、ということです。裏の宇宙人や
未来人も「T」はGoogleか未踏くらいでお金が下りる計画だったみたいですよ。
そこでまた作戦を変えました。学費は年間4万ドルくらいするのですが、奨学金が
年間8万ドルくらい出るというのを聞いて、英語の勉強します。大学院留学には
推薦状3通も必要で、その時、この「T」を大学院でもっと脳神経科学的に研究
したいなどと盛り込む予定です。
>>901
将来的には妄想と現実を一致させるような研究もします。簡単に言えば、エリア51
でやっているような量子脳理論を超えた未知の物理法則の研究でしょうか。 Visual Studio 2017 Communityにアップグレードすれば、個人ユーザーは無料でATLが使えるぜ。数年前のパソコンが遅い場合は、近所のパソコン工房で記憶媒体のデータをSSDにデータ移行すればいい。 >>903
情報ありがとうございます。アップグレードは考えておきます。
「T」とか売れなそうだし、やはり大学院で研究したほうがいいと考え、留学のために
英語の勉強を頑張ってます。研究費数十万円あるだけでも、初期段階でソフトを
他の研究者に使わせられます。
現実的には入学してしまうと、猿くらいだったら、行きたまま脳を解剖とかして、
ここの神経細胞を壊すと、ここの機能が無くなるとかの実験をするかもしれません。
じゃぁ、知能のない動物には麻薬を使えばいいのか?とか、人間と動物の違いは?
最大多数の最大幸福を考えているのはどうなった?などで葛藤が起きるかもしれ
ません。こうしないと、僕の頭に関数電卓やWindowsが入らない。美味しくない
情報かもですが、中堅大学卒の人は将来的に東大くらいに頭にチップを無理やり
植え付けられ、操り人となるでしょう、と妄想^^; >>905
「T」とか出したいですけどね。動画作っても人数集まらないし、今のところは
プラン無いです。TOEFL受験費などを稼ぐ必要があるので、交渉によって、作るのは
ありにします。 受験費用がないほど貧乏なのか?
ま、キチガイは貧乏のほうがいい。
世間に迷惑かけなくて済むから。 >>907
凄い貧乏まではいかないんですけどね、父親はそこそこの一軒家を買ったために
ローンで月20万円払わなければならない、などの理由でお金はありません。
僕は障害者で就職できませんし。でも、一応、上層部に大学院進学のレールを敷いて
もらってます。キチガイであるということは認めることにします。 >>908
> 僕は障害者で就職できませんし。
ウソ書くなよ。
政府や大企業は障がい者を必ず雇用しなければならないのに、
給料は安いけど仕事はいくらでもあるはず。 >>909
政府がウソついてるんですよ。まず、アスペで高校中退したから、アルバイトとかも
できません。できるのは、父親の工場で働くことです。時給1000円です。専門が
近い仕事とはいえ、車を頻繁に使わないといけないため、障害で免許の持てない
僕は家業が継げず、そこで働くことすらできず、自殺しようと考えています。
>>910
UCLAの脳神経科学の先生のほうからです。英語の教材をそこから買ったら、
メールが届き、実際に会いませんか?ということになり、名古屋駅でさらなる契約を
結びました。その方はTOEFL115点で。僕が障害年金からコンサル代を月16,200円
払っているので、勉強の仕方を教えてもらえます。MITのノーベル賞の先生からも
"I wish you the best with your application."と、返信ありました。 >>912
もう使われてるので、僕も人間の脳の解剖とかしてもいいかもしれません。
機械と戦争が起きないように人間の頭にもチップを埋め込む研究もしたいです。
そういう研究ができるのであれば、もちろん、自分の脳にも埋め込みます。 チップと言うと恐いですが、ナノボットのようなものを血液に入れるだけかも
しれません。安全学というものを東大で一応勉強したので、危険性については
確率評価をしっかりしようと思っています。 >>915
阿羅漢という単語は知ってますけど、僕も詳しくないです。色即是空が何かなどを
勉強するために、お寺とかへ行って修行したほうがいいかもしれません。 阿羅漢になるのはどれくらい難しいことなのでしょうか? >>917
僕は詳しくありません。
>>918
「T」に関して必要な文法はそれに応じて検索しますが、文系の学術書を買っても
いいかもしれません。 >>917
そういえば、僕の高校時代の日本史の先生は悟りたくて、3日で悟る方法があるという
寺のようなところへ行き、簡単な修行をしたあと、書物を読んだと聞きました。 こんにちは。はじめまして。
私はMITの教授でノーベル賞候補者になったこともあります。
人工知能のプログラムの開発がサクサク進む書籍を特別に安い価格で
売ってさしあげましょう。
この書籍は売ってはならないのですが、a4さんは東大卒なんだけど、
精神的に不安定ということですので、特別にお売りしてあげようと思うのです。
どうでしょうか、東京駅で一度お会いしませんか?
書籍は月賦販売も可能ですので、月々は少額でも購入できます。
今回だけの特別です!
いかがでしょうか? >>921
人工知能の研究をしていてノーベル賞候補?
どの部門で候補だったんでしょうか? ロスチャイルド家当主と全知全能の神様はどっちの方が凄いのでしょうか? 全然人工知能とやらができてないじゃないか
お父さんが工場で汗水たらして働いてる間お前は何してるんだ 東大理系数学ってどうやったら解けるようになるのでしょうか? >>921
こんにちは。こちらこそ、はじめまして。
お偉いさんと伺って大変恐縮です。ご連絡ありがとうございます。
人工知能を開発していますが、今はMITの博士課程へ入学するために英語の勉強を
しています。その書籍も非常に興味があり購入したいのですが、あなたとの人間関係
のほうにもっと興味があります。推薦状などの問題をクリアしないといけないので。
東京駅で会うことはできます。ただ、僕は貧乏などの理由でスマホを持っていない
ので、会うときは、公衆電話などの方法を使います。とりあえず、ここだと荒らし
も多いので、メールかskypeあたりでお話しましょうか?
連絡先は下記の松本卓朗のほうです。
http://www.01ken.com/contact.html
よろしくお願い致します。 >>923
神様のほうだと思います。
>>924
もうちょっと改良すれば一気に喋るかもですが、コードをここで共有してくれる人が
全然現れないあたりで、一旦挫けてます。
>>925->>926
チャート→1対1対応の演習→大学への数学
復習は明日と1週間後と1ヶ月後。
という返信では駄目ですか? スマホなんて安いのは1〜2万円なんだから障害者年金で買えるでしょ。
なぜ買えないと思うのか... >>929
もともと持ってたんですけど、UFOの実験してたら、壊れちゃったんですよ。
また、携帯会社の誰かに見張られているのでは?といった統合失調症の監視妄想が
強くなってしまうので、無理には購入してません。あと、お金があったら、
TOEFLを受験したいんですよ。1回の受験につき$235かかります。 私は昔5ちゃんねる(当時は2ちゃんねる)で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
今となっては懐かしいですね・・・。 あっ、よく見たら上のソースコードはCREACOINのコードでした
CREAのソースコードはGitHubには上げてませんね・・・ >>931
来るのは遅くないですよ。まだまだこれからです。ただ、自分のやりたいことと、
いろんな人との人間関係があるので、今は英語の勉強をしています。
wikipedia見ました。P2Pニコ動は負荷のかかるものかもしれませんね。
このスレでは1文でもいいので、コードを書いてくれる人を募集しています。
たとえば、
c(i(ありがとう。),o(どういたしまして。))
みたいに。半分完成した「T」はこちらです。
http://www.01ken.com/art1.html
ただ、現在配っている半分完成した「T」は小さいバグもあるし、メモリも十分に
確保できていないため、治さないといけないです。その研究時間を作るためにも、
今30歳ですが、海外の大学院へ留学しようと思っています。 そういえば、逆にP2P機能はまだ作ってないですね。人が集まらないんですよ。
この板だけだと。他の板へ行くとスレが閉鎖しちゃうし。 いろんな人からあれやってこれやって言われて混乱してる状態ですが、留学前に、
推薦状を書いてもらうために、教授くらいの人とこのソフトを8割くらい完成させる
というのはありです。そういう先生が3人も見つかるかはわかりませんけどね。
厳しいです。 東京にいっぱい超高層マンションを建てたいのですが、具体的にどうすれば良いのでしょうか? >>936
僕と一緒に非ユニタリ量子コンピュータを作って、スパコンの2^(10^10)倍の計算力で、
ビジネスしましょう。 >>938
僕はリアルで名古屋の宇宙人に会ったとき、世界を牛耳っているのは、
「イルミナティ」と「フリーメイソン」であると、教育を受けました。 >>940
中二病という単語は、中二の頃に聞いたときは、おじさんたちが何やってるんだろう?
と思いましたが、今となっては、そういう定義かもしれませんが、早めに挫けさせて
負け組にさせる搾取構造なのではないかと思っています。 >>933
人工知能のコードは書けませんが、興味深いのでスレに参加させていただきたいと思います。
>>934
今はライブラリも豊富だろうし、P2P機能は昔よりも楽に作れるのでしょうね。
ちなみに、CREAは表向きP2P型動画共有を目標にしつつも
仮想空間構築のためのグリッドコンピューティングという個人的な目的がありました。
言ってしまえば、動画共有機能は人集めのためだったのですが、、、
実際は動画共有とかファイル共有でも人が集まらなくて
プロジェクト中断になってしまったので
P2Pで人集めるのは難しいですね。 私は今はもうP2P関連やるのは辞めちゃって
数学寄りのところにいます。
>>201 >>203 でCoqの名前が挙がってますが、
まあその辺です。
定理証明の分野は広く浅く勉強したことがあるので
ある程度はお教えできることもあるかもしれません。
実はこのスレにはリーマン予想を解決しようとしているという噂を聞いてやってきました。
私は今数理論理学から公理的集合論までの数学の基礎を
コンピュータ上で構築する試みを行っています。
Coqやその他定理証明支援系の二番煎じと言えばそうなのですが、
私は専門家向けじゃなく一般人にも分かりやすいシステムを作れないか
というところを主眼に置いています。 >>942
P2Pのライブラリ?あるかもですけど、僕は1から作りたい派です。
僕も格子の仮想空間を作ろうと思ったのですが、複雑なシムシティみたいなのを
作ってみたいと思っても、格子上の点を手動で動かしても知能のあることがあまり
できないな、といったところで一旦止まりました。時間をかければ、面白いもの
ができる、ということは信じていますが、玩具的な用途にしかならず、普及しない
と見積もって、それでの人工知能開発を一旦ストップしています。
>>943
考えてることがほぼ同じですね。数理論理学の本とか読んでた頃もありましたけど、
なんか、纏まってなくて好きになれないんですよ。しかも、コンピュータに
入れようと思うと、a=b=cと入力するだけで、a=b, b=c, a=cと理解させないと
いけないなどで、問題が起こると思っています。個人的な意見としては、人間の
扱っている数学は結構曖昧で、神経科学と量子計算で自動定理証明できるように
なったら、その後は、時計の芸術などが発展すると見越してます。僕も一般人に
わかりやすい書籍を売れないか、とか考えてます。 【浜、マ@トレーヤ】 ナマポ、ニート、ヒキコモリ <対> ユニクロ、自民党 【分ち合い抵抗勢力】
http://rosie.5ch.net/test/read.cgi/liveplus/1541471001/l50
被災地にはボランティアや義援金が殺到するのに、何で貧困層には無関心なの? 自分達が加害者だから? >>945
ユニクロが敵なんですね。僕の服は意外と原宿で集めましたが。貧困層に無関心なのは、
石油が足らなくなるとか、そういう問題を議論しないといけないと思ってます。 >>943
>私は今数理論理学から公理的集合論までの数学の基礎をコンピュータ上で構築する試みを行っています。
論理というのは人間の外にある「客観的」なものではなく、人間の遺伝子に組み込まれた「主観的」あるいは「人間的」なものだという感覚を持っています 本当に絶対に無になってもう二度と有になりたくない。 >>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]があります。 >>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つの推論規則を
採用すると証明がとんでもなく難しくなるというのもありますね。
逆に簡単に証明できるようにしようと思ったら、より複雑な公理や推論規則を採用しなければならなくなります
(あるいは、演繹定理というメタ的なアプローチもあります)。 レス数が950を超えています。1000を超えると書き込みができなくなります。