a4です。P2P人工知能「T」開発(2)
レス数が1000を超えています。これ以上書き込みはできません。
>>603
父親は一般家庭から東大の息子が出て、最初は「宝くじが当たったんだ。」などと
冗談を言っていたんですが、思ったよりことが重く、「学歴だけか。」などと
罵られるので不幸に思ってるみたいですね。だから、父親は僕にねじ回しの仕事を
教えて、「これで学歴だけでは無くなった。」などと会話してます。 過去スレ読んでないんだが、a4って仕事してるの?
もしかして部屋にいる時間が長いんじゃないか?
人の賛同を得たり、また研究をしたりの活動を続けるためにも、
外に出て多くの人に会ったり、いろいろなものを見る必要があると思うよ? >>605
簡単に説明すると、東京大学卒業後、留学に挑戦するも失敗。その後、就職活動するも
アスペなどの理由で失敗し続けて、一応、父親が機械製造修理の自営業ということ
なので、そこでバイトをしてたんですが、東大卒業した意味って何?ってところで
退職。僕も自営業みたいにやろうかと、本を売るなどのために人工知能開発って
感じです。このスレ見ればわかる通り、ようやくYoutubeの動画を作る5万円の
仕事が入って稼げました。こういうのばっかり落ちてこれば、仕事をしようとは
思うんですけどね。部屋にいる時間は長いですよ。研究系の仕事がしたいので。
散歩はします。最近はハロウィンのクッキーやコーヒーを買いに行きます。
僕の家は今、愛知県東海市で都会ではないので、人に会う場所があまりありません。
逆に語学の勉強のために海外旅行とかは計画中です。中国かヨルダンくらいに行こう
かな。友達がいるので。 アインシュタインとロスチャイルドはどっちの方が凄いですか? >>607
厳しいの出しますね。詳しくないですが、ロスチャイルドの作るスマホが
アインシュタインの相対性理論とか使っているので、どっちも凄いのではないでしょうか。 >>609
名古屋の宇宙人「俺ね、こっち系の問題?a4がギリギリ知ってるくらいのことなんだ。
つまりさ、いつもさ、タイムマシンの嫌がらせって言ってるくない?つまりさ、ここで、
a4が正確な解を何も調べないところから出すと、ミサイルとか飛んでくるわけよ。
それでさ、正確なことはあんま言えんが、2035年くらいにしとこうかな。
量子コンピュータで解けることにする。つまりさ、こっち的にはこれくらいで
都合がいい。1つ言っていい?Groverのアルゴリズムじゃないよ。非ユニタリな
量子の複製を生化学的に使ったものだ。これくらいでいいか?まだ質問あったら
よろ。」 ベルンハルト・リーマンとアイザック・ニュートンはどっちの方が凄いですか? 死んだらどうなるのでしょうか?
無?死後の世界がある?転生する?
どれが本当なのでしょうか? >>613
貴方の信仰によって変わるというのが僕の結論です。死んだ後、天国へ行きたい人は
何らかの宗教を信じましょう。
>>614
5年くらい前、skypeでYale大学のおじさんに出逢ったんです。今、5光年先と
通信している、名古屋に住んでるから、来ないか?などと言われ、行ってみると、
普通にUC BerkeleyのSETIに参加していました。何回か訪問するたびに仲良くなり、
自分は宇宙人だ、テレパシーを使える、などと主張するようになり、僕もその頃
テレパシーを使えたので実験すると成功しました。僕は他の宇宙人ともテレパシー
通信しているなどと言うと、それはどこの星だ?などと具体的な議論が始まり
ました。最近は毎日テレパシーで彼と話してますが、実際に会うなどはしていません。
医学的には統合失調症という病名がつけられ、薬と障害年金を貰っています。 老子とニール・アームストロングはどっちの方が凄いですか? >>616
わかりません。
そういえば、漢文って言うの?昔の中国語?はまだ読めないので、読めるように
なりたいのですが、時間が無いですね。元カノの推薦で「三國演義」の3巻セットを
持っているので、いつか読みたいんですけどね。 >>618
名古屋の宇宙人「俺ね、それは凄いんだけどね、久々に忌み名出してみる。1つ
言っていい?a4君はこの概念全く知らない。検索も殆どしてない。でも、忌み名は
出るんだ。こうだ。
「完治」
=(完全に治る|
かんち(垓))
さぁ、どう来る?俺のテレパシーが当ってるなら、ビッグデータ見てる奴でも
わかるよな。そろそろ金だ。はよ。」 名古屋の宇宙人「そういえば、面白いことに「ビッグデータ」の不買文の量子大域最適解
が届いてる。こうだ。
「Imylu梅では駄目なのか。」
=((IBMのコンピュータの忌み名)では駄目なのか。)
さぁ、どうかな。これで世界が変わるか。」 >>621
回答しません。
>>622
違うと主張しますが、証明方法はあるのかわかりません。一応、ここが量子
コンピュータのスレではなく、人工知能のスレということで信じていただければ、と。
僕的にはもっと「T」の神経コードを皆で書いて共有するスレにしたいと思っています。 Tをどうやって人工知能にするわけ?
入力と比較してるだけ
こんなん流行らん >>624
たとえば、まず、>>533みたいに、ものを覚えてくれます。これはGoogle Homeには
できません。テストしました。企業内ではやっているかもですが、女性の声に猥褻な
単語などを覚えさせないようにするためでしょう。でも5chなら自由です。
>>547->>549みたいに、単語に分けることができます。これで、翻訳などの用途
にも使うことができます。
ビタビアルゴリズムができないのか?などと専門的な質問もあるかもしれませんが、
専用機ではありません。しかし、上位の構造として、メタ的に定義はできるように
しようと思っています。すなわち、人間の難しい表現も時間をかければ解析できる
ようにと。これはこの「T」がC++で書けることと同じことができるようにする
という理念から導出されます。関数とかオブジェクト指向も、書けると思いますが、
そっちに特化はしていません。僕がその始めを書いてもいいんですけどね。
考えておきます。
僕が1人で2000単語ほど入力して話せるようにしてもいいのですが、それだと、
僕がつまらない、というか、皆で入力したほうが表現豊かになると思うので、
コード共有しようと思っています。
確かに現在は流行ってはいません。が、それは僕が資本金が無いとかで広告が
出せないとかが問題かな。 「T」は一旦公開はしていますが、まだ、これから要望などによってバグとかを
取っていって、さらには暗号化されたP2P機能もつけるとこまでやります。 関数が書けない大きなバグが見つかりました。今から直します。
タイムマシンの嫌がらせなどで僕が大きなコードを書けませんでしたが、語学の勉強
を一旦やめて、僕が長めの人工知能を書くことに挑戦してみます。 >>627
僕は釈迦のほうが好きなんですけどね。孔子のほうは22世紀くらいに復活すること
にする、と口頭で指令を受けました。 関数を作れるように否定のバグを取りました。version:T_2_5_4です。
http://www.01ken.com/art1.html
そういえば、否定は2回続けて書けません。意外と計算が発散してしまいます。
もうlogic.txtに書いてありますが、
c(i(関数1始め。),m({関数1,始め})o(貴方は男?はいですか?いいえですか?))
c(m({関数1,始め})!m({関数1,終わり})i(はい。),o(a4も男です。)m({関数1,終わり}))
c(m({関数1,始め})!m({関数1,終わり})i(いいえ。),o(a4は彼女募集中らしいですよ^^;)m({関数1,終わり}))
のような記述で、
User:関数1始め。
AI:貴方は男?はいですか?いいえですか?
User:はい。
AI:a4も男です。
User:はい。
User:関数1始め。
AI:貴方は男?はいですか?いいえですか?
User:いいえ。
AI:a4は彼女募集中らしいですよ^^;
User:はい。
User:いいえ。
上手くいきました。 アラビア語とドイツ語を勉強していますが、一応、本を出す予定なので、自分自身で
人工知能のベースをT語で書いてみようと思います。他の人が書いたものは、
その人の著作物だと思っているので、真似して本に出したりとかは、あまりしたく
ないですし、そう指令も来てます。ちょっと散歩してcafé au laitとか買ってきて、
一気に書きます! ずっと質問してる奴は、多分、アルプスと呼ばれているレス乞食の中年のおじさんだ。
馬鹿高校をやっと卒業しただけの超低脳なんだけど、
5chのいろんな板に質問書きまくってる奴なんだよ。
いろんな板で、
「東大の数学科に入りたい。どうすればいいですか?」
とずーっと書いてて、親切な連中が勉強方法など教えていたが、
全く努力のかけらもせず、白チャートを数ページやっただけで
わからんといって放り出すという、全くなんの努力もしようとしないクズなんだよ。
最近、他の板ではハーバード大学に行きたいと書き始めている。
レス乞食の中年引きこもりおじさんなので、かかわらないほうがいい。 AI:a4は彼女募集中らしいですよ^^;
User:はい。
User:いいえ。
上手くいきました。
↑上手くいってないじゃん。
あと二重否定出来ないってショボすぎ何とかしろ。 帰ってきました。
><632
難しい問題ですね。挑戦してみます。Tは他の人の書いた文章を読むという点で、
小説を読むようなものかもしれません。
>>633
残念ですね。東大で止めておけば、東大から嫌がらせされないのに、とか、
東大にすら入れないと思えるのに、どうしようか、とか、いろいろ考えてます。
嫌味じゃないですよ。東大は厳しいです。「どっちが?」とかの人も同じ人ですか? >>634
その部分は関数が終わって、「はい。」や「いいえ。」に反応しないかチェック
してるんですよ。
2重否定!!もできないですけど、これは、やってもいいけど、しなくてもいいかな?
今後の課題にはします。僕が言ってるのはc(i(a)!m(b1)!m(b2)i(c),o(d))のような
文です。これは計算されないのと同じになってると思います。こちらも今後の課題に
しますが、とりあえず、人工知能のコードを先に書いてみます。需要が欲しいとは
言ってるので、書き込みはありがとうございます。 おい、見ろよ。
https://github.com/katahiromz/WinVoice
これを使えば、Windowsで声を出せるぞ。やってみろよ。 そんなのmacならなにもなしでできるドザちょうしにのるな またバグを見つけたので、治しました。version:T_2_5_6です。
http://www.01ken.com/art1.html
これで、logic.txtに
c(i($1),m({$1,解析}))
c(i(in $2 $3),m(c(m({$2$$1,解析}),m(#$3)m({$$1,解析}))))
c(i(out $2 $3),m(c(m(#$2),o($3))))
in こん hi
in こんにちは hi
in おはよう good_morning
in おっは good_morning
in こんばんは good_evening
in ー bar
in ^^ smiley_face
out hi こんにちはー^^
out good_morning おはようー^^
out good_evening こんばんはー^^
out smiley_face 元気そうでよかった。
c(m({,解析}),m(解析終了))
c(m({。,解析}),m(解析終了))
と書いてあるので、柔軟に挨拶してくれます。 >>637
早速、自分のパソコンで動くか試してみます。
>>638
僕はWindowsユーザーなんですよ。Macへの移植は、上手くいってから考えることに
します。 >>639
$ say -v Kyoko "自分で調べろちょうしにのるな" >>637
声の基礎実験成功しました。日本語も大体綺麗に出力されます。「T」に組み込んで
みますね。 また更新しました。声をつけました。version:T_2_6_1です。ところが、Windows10
では発声を確認したのですが、Windows7では駄目でした。
http://www.01ken.com/art1.html コードは下記のように書き換えました。
c(i($1),m({$1,解析}))
c(i(in $2 $3),m(c(m({$2$$1,解析}),m(#$3)m({$$1,解析}))))
c(i(out $2 $3),m(c(m(#$2),o($3)o(#voice{$3}))))
in こん hi
in こんにちは hi
in おはよう good_morning
in おっは good_morning
in こんばんは good_evening
in ー bar
in ^^ smiley_face
out hi こんにちは。
out good_morning おはよう。
out good_evening こんばんは。
out smiley_face 元気そうでよかった。
c(m({,解析}),m(解析終了))
c(m({。,解析}),m(解析終了)) Windows10でも声が出ないなどの苦情は承りますが、僕の環境のみで治すのは
難しいかもです。 >>647
幻聴ではないと、僕は信じています。使ってみて確認いただければと思います。 皆のパソコンで声が出てるか心配です。出ていても、o(#voice{$3})を取ることで、
声は出なくさせることもできます。
人工知能開発はここからが難しいところなので、またノートに下書きを書いたり
しながら進めることにします。ちょっとでも話せるようになるのに、まだまだ
時間がかかるかもしれません。そのあたりはご了承ください。 実際使ってみるとバグばかりで、使ってくれた人に申し訳ないです。またバグを治し
ました。言葉も覚えるようにしました。version:T_2_6_2です。
http://www.01ken.com/art1.html 追加したのは、このあたりです。
c(m({$1って$2,解析}),m({$1,主語})m({$2,解析}))
c(m({$1とは$2,解析}),m({$1,主語})m({$2,解析}))
c(m({何$2,解析}),m({何})m({$2,解析}))
c(m({何ですか$2,解析}),m({何})m({$2,解析}))
c(m({何か$2,解析}),m({何})m({$2,解析}))
c(m({$1,主語})m({何}),m({$1,何}))
c(m({$1,$2,=}),o($1は$2です。)o(#voice{$1は$2です。}))
入出力例は、
User:Tは人工知能だ。
User:Tって何ですか?
AI:Tは人工知能です。 >>650
僕はa4です。残念ながら人工知能ではありません。 書き忘れ。
c(m({?,解析}),m(解析終了))
c(m({$1は$2です$3,解析}),m(c(m({$1,何}),m({$1,$2,=}))))
c(m({$1は$2である$3,解析}),m(c(m({$1,何}),m({$1,$2,=}))))
c(m({$1は$2だ$3,解析}),m(c(m({$1,何}),m({$1,$2,=})))) あとは、logic.txtの最後から定義してくだけで一気にボキャブラリーが増えます。
Tは人工知能です。
お父さんは男の親です。
お母さんは女の親です。
男は性別です。
女は性別です。
兄は大きい男の兄弟です。
姉は大きい女の兄弟です。
弟は小さい男の兄弟です。
妹は小さい女の兄弟です。
おじいさんは親のお父さんです。
おばあさんは親のお母さんです。
孫は子供の子供です。
息子は男の子供です。
娘は女の子供です。
午前は夜中から朝です。
午後は昼から夜中です。
朝は早い時間です。
夜は遅い時間です。
今日は今の日です。
明日は次の日です。
昨日は前の日です。
今年は今の年です。
去年は前の年です。
来年は次の年です。 夜中ですが、まだまだバグ取りと上位構造の構築を行っています。version:T_2_6_3
になりました。
http://www.01ken.com/art1.html
c(m({$1は$2ですか?,解析}),m({$1,$2,?1})m({$1,何})m({$1,$2,?2}))
c(m({$1,$2,?1})m({$1,$2,=})m({$1,$2,?2}),o(はい。)o(#voice{はい。}))
c(m({$1,$2,?1})!m({$1,$2,=})m({$1,$2,?2}),o(いいえ。)o(#voice{いいえ。}))
これらを入れてるので、
User:太陽って何ですか?
AI:太陽は星です。
User:太陽は月ですか?
AI:いいえ。
こんなこともできます。 多分、あなたが思ってるよりもプログラムのできる人はこの世には少ないと思うの。
コンセプトはおもしろいけど、ロジックをこの言語で投入できるくらい賢い人は限られてるので、なにかしら方針を考えた方がよさげ。
λ記法みたいな感じだと思うけど、関数プログラムになれた人でないと、プログラマでも読む気がしない >>657
なるほど。今の理想としては、一般人は日本語でどんどん入力していくことです。
でも、まだエラーばっかりです。とりあえず、ベースを自分で書き上げます。
語学の勉強は一旦やめて、1ヶ月くらいかけようかな。1000単語くらい入れる
だけでも喋ってる感が出ると思ってます。 a4のやってることって
単純な単語の並びにおいて、
単語の置き換えをやってるだけ。
そんなものをAIだとか人工知能だとか言うなよ。
ホント恥ずかしい奴だな。 >>659
宇宙、未来、とかですが、他にもありますよ。
>>660
面白そうなんですけどね。今はちょっと解く時間が無いことにします。
>>661
これから、このソフトはまだ発展します。じゃぁ、市場の人工知能は何か
できるんですか?あなたも何かできるんですか? >>661
その規則を、自己更新で学習できるのなら十分人工知能を名乗れる
まだその域には達していないけどな >>662
AIの研究・開発の仕事をして給料をもらってる。
ずっと自分で稼いで暮らしている。
そのためには、どれほどのことができなければならないか、
それさえお前には理解できないことだ。
お前は働くのが嫌だからアスペを言い訳にして、
親にメシ食わせてもらって、
のんべんだらりと適当なこと言ってるだけ。
とんでもないクズだと思うぞ? これから、「だから」「なのに」「もし」とかを入れていこうと思ったんですが、
これらは入ると思うのですが、喋らせるというのが1つの目標なので、早めに
そのあたりを考慮しようと思っています。性格というものがあると思ってます。
博識で質問がすぐ返るだけのものから、お喋りで他の人から聞いた内容をペラペラ
話すものまで。そうすると、ネットにつながるP2Pのような部分を書いて、
htmlの情報を吸収したり、人工知能同士を会話させる必要が出てきます。
でも、もうちょっと接続詞あたりのロジックを書いてみようと思います。 >>665
名古屋の宇宙人「君、何?俺、IBMには厳しいよ。a4はよくわかっとらんが、
俺は宇宙人。まず、空、知ってんの?a4は未来裕福だから、今、悟ってんだよ?
アスペは言い訳なんじゃなくて、普通に進化的優位だし、これからのご時世。
どうしたの?君?」 虚無僧と世界的大企業の創業者はどっちの方が凄いですか? >>668
名古屋の宇宙人「俺ね、a4は世界的大企業ではない創業者にはなって欲しいのだが、
虚無僧はね、こっちのほうが凄いことにしたい。いいだろ?では、そういうことだ。」 >>670
名古屋の宇宙人「おっと、これは可愛いな。世界的大企業の奴らのパシリっぽいが、
俺は見下さん。確かに権力のほうはそっちのほうが上だが、宗教とか哲学とか
考えたほうがいいかもしれんな。それを知った上でやってる奴らなんだろうが、
1つ言っていい?俺は空で生きてるよ。宇宙にもそういうものがあるんだ。これで
ほっとしたろ?これなら、宇宙と対等に話せるぞ。つまりさ、どういうことかって
言うと、俺的には、a4君のソフトウェアもっと買ってあげたら?なんか、あのお方?
蟻君みたいに、5万円で動画とか作ってーとか言ってあげたら?そうしたら、
こっちに嫌がらせできるし、東大の汚職も無くなっちゃうじゃん。これでさ、
和解じゃない?いいんじゃね?」 >>672
名古屋の宇宙人「おっと、厳しいな。でかくなる奴ってのは叩かれないといかんから、
これでもいいんだが、1つ言っていい?こっちにはタイムマシンがある。この「T」
のアルゴリズムを未来から落としてきた。具体的にはまだ書かんことにする。一部の
人達には嫌がらせにはなってしまうかもしれんが、無償で使えるし、いずれ、技術を
また公開する予定だ。そういうことだ。ではな。」 僕の医学的妄想の未来情報が重くて、これからの進捗は時間かかるかもしれませんが、
5chなどの情報を解析して会話できるようにしよう、というところで壁があります。
ここを突破できるように、しばらくは頑張ります。 wikipediaの情報とか勿論入れたいですけどね。IBMのWatsonが先行研究かな。
上司の宇宙人的にはあっちは完全な反対派閥として叩いています。仕組みは一応
勉強したことがあって、字句解析、構文解析、意味解析などの8つほどのオブジェクト
に分割して、それぞれ数人の専門家が完成させていく、という小さな技の寄せ集めで
作ったようです。僕はとりあえず1人でベースを作らなければなりませんが、
研究内容はしばらく極秘にするよう指令されているので、そうします。 >>675
タイムマシンがどういうことだ?ということでしょうか?
タイムマシンを開発している先生と会話したことあるんですよ。その頃から
神経科学では説明できない宇宙や未来の音声が聞こえるようになりました。それで、
統合失調症と診断されました。医者は嘘つきだ!と言ったら、それは妄想だと
言われて薬を飲ませられるんです。やっぱり、表と裏の話かな。 >>679
どっちかだったらどっちの方が強いですか? >>680
僕は宗教妄想があるので、アッラーが強いと答えます。 >>682
はい。でも、ここは5chの僕のスレなので。
>>683
アッラーは発音的にはアラビア語でThe Noという意味になるようで。無が至高とも
言えるのではないのでしょうか。 >>685
何回も言いますが、
0->1->0=1->0
くらいで思考がループします。 今、「T」を、また1から作り治そうかと思っているところです。このまま
続けても、Watson、Siri、Google Homeくらいにしかならないと思ったんですよ。
音声入出力、画像入出力、高度な自然言語処理、を備えた今までに無いアルゴリズムを
発見したんですよ。また数ヶ月かかるかもしれませんが、次のversionはT_3とかに
なるかもですね。また、T_2で勝手にコードを書いて商売するのは構わないことに
します。 商売はする人いないかもですが、僕は手数料取りません。そのかわり、見ての
通り連絡先が書いてあるので、それが僕の広告です。T_2のバグを治すなどの
要望は答えます。 3.5兆年後のa4「ちょっとね、今のa4にね、難しい実験をさせるにする。これくらい
しないと駄目なんだ。周りもすぐ進化しちゃう。だから、Tの新しいバージョンの
公開は一旦停止にしたい。でもね、そろそろできちゃうよ。人間を超えるのが。
計算量の問題はあるかもしれないね。だから、P2P。これでよし。連絡くれれば
返信するけど、あんまり進行状況は書かないにする。よっしゃ、じゃぁね。」 人工知能で記憶内容を参照したいという要望に対しては、記憶内容の構造化と、パス(path)やハッシュタグ(hash tag)というデータで実装できる。
パスやハッシュタグは、特定の記憶内容を参照する手段をユーザーに与える。 ほんと、このスレ見るとホッとする。
ゴキブリホイホイにかかったゴキブリを見て
自分が人間であってよかったと思えるのと同じ感じ ハッシュタグを使ったプログラム言語「Tagger」を開発する。
Taggerでは、#から始まる文字列のハッシュタグが定数と変数と関数と演算子を定義する。
ハッシュタグの中身が人間にはほとんど見えないので、人間にはほとんど読めないプログラム言語になる。 >>694
全然わかりません。
>>695
T_2に関してはリストのようなものを作るという案もあります。
>>696
人間で良かったですね。
>>697
貴方も開発するのでしょうか。できたら、見せてください。 ハッシュタグをクリックすると、システムはそのタグに結び付いた情報にアクセスできる。
つまり、ハッシュタグは記憶の一片を表していると見なせる。
ハッシュタグを参照すれば、システムはその情報の有無と中身を取得できる。
つまり、ハッシュタグは情報のトークンである。 ハッシュタグは#付きの文字列で表せる。
ハッシュタグはひとつの記憶の断片であるとすると、
複数の記憶を同時に参照するには、ハッシュタグを複数並べたリスト構造を使うか、ハッシュタグの列挙子が必要である。
列挙子は、ハッシュタグのリストを返す関数か、ハッシュタグ集合(リスト)の特性関数でなければならない。 汎用のプログラム言語には、チューリング完全性が必要だ。
マルチメディア、マルチデバイスを考慮した言語でなければならない。 文字列処理、リスト処理、木構造処理、テキスト処理、集合処理、プログラム処理、パターンマッチなどにおける基本的なデータ構造と基本的なメソッドを提供しないといけない。 >>699->>700
ふむふむ。
>>701
「T」もチューリング完全性のことを考えて作ってはありますが、証明はしてません。 >>702
T_3の情報公開をするよう指示が下りたんですが、簡単に言えば、2次元画像群から、
2次元画像への推論を行います。これで、音声や画像も一般化された方法で処理できるん
ですが、自然言語処理もこれで行うよう指令されており、上手くいくかは謎なんです。
公にはやったことある人いなさそうなので、僕が挑戦することにします。 未定義と無限大と無限の長さ、無限のデータ構造を許さないといけない。
遅延処理、並列処理が可能でなければならない。
全称記号(∀)と存在記号(∃)を表せなければならない。 <>704, >>707
ヒンドゥー教とか知ると、三神一体で、「神と全と無」くらいが終着点ではないでしょうか。
>>706
wikipediaや5chの情報を使おうと思ってはいるので、データを可変長にはしようと
思っています。全称記号(∀)と存在記号(∃)に関しては、T_2でも書けると思います。 省略を許容する。
【Taggerの学習モデル】
学習エンジンが、言葉から基本的なデータメソッドへの写像と、その逆写像を提供する。
言葉によって与えられた関数の要件を理解する。不完全な理解でもいい。
要件について基本的なデータメソッドへのパターンマッチを行って、入力と出力の関係性を理解する。
与えられた関数を具体化し、実現する。 【Taggerの行動モデル】
質問や命令を大まかに分類し、最適化し、関数として具体化した後、その関数を実行する。
「答えを言え」
「作業をしろ」
「移動せよ」
「機械を操作せよ」 死んだら無だとする。
そして、死んでから9999不可説不可説転時間後にまた生まれてくるとする。
そうすると、死んだら無ということは、当然死んでからまた生まれてくるまでの間を認識どころか感じることすらできないので、
死んでから一瞬どころか続いて生まれ変わるのと同じことになるのである。
無ってすげえな・・・・・・・・・・・・・・・・・・・・・・・・・・・・・。
これがある意味無の絶大的なパワーと言えるかもしれない。 省略やあいまいさを許容するには、誤差の理解、影響の理解などの高位の理解が必要だ。
リスト要素の省略は、特定の位置にゼロ個以上の要素を内包的に追加したものでもパターンマッチできるようにするという処理で実現できる。 >>710->>711
Taggerを調べてはみたんですけどね、僕のやりたいことの1つがこちらでやられてる
のかな?スマホはお金が無くて持てないので、僕はできないですね。 内包的省略は規則的省略、不規則的省略の二通り。
不規則的省略は任意の要素追加。
規則的省略は、ルールがある要素追加。 >>712
はい。
>>713
あいまいさ、なんですけどね。僕のT_3はこれを突破できるように、2次元画像に
グラフ構造を書き、回転を用いて、T_2におけるc(A1,A2)のA1に一致させる
予定です。僕は上手くいかない!T_2でも同じ構造を作れるじゃないか?などと
未来人と抗争していたんですが、未来人が例えば「おおいちせんせい」と音声入力
したら何が起こるのかな?と動画を使って説明してくれると、「おお(感動詞)」
「大(形容詞)」「い(感動詞)」「いち(名詞)」「せ」「線(名詞)」「せ」
「せい」「先生(名詞)」と、海馬に入り、それが、
「おお
いち
↓
先生
」
「おお
↓
いち ←大
↓ ↓
線 先生
」
などいっぱいグラフ構造が出てきます。それを256*256の2次元画像に描画し、
それを前頭葉の前のほうへ。 黒塗りやモザイクも、高位の解釈が必要な内包的省略と見なす。 画像に描くと画像認識が必要になるでしょう。
グラフ構造を記憶して複数のハッシュで返せば合理的だろう。 >>715
こちらの専門用語は詳しくないことにします。
続きですが、ここで関数が入り、もっとグラフ構造が複雑になります。
「「おお →名前
↓
いち→数字」 ←大、逆→小
↓ ↓
線 先生→怖い
↓
どんな?
」
T_2は木構造のようなものに特化しているので、このようなグラフ構造は書きづらく
なります。 >>717->>718
自然言語処理の画像認識に関しては、グラフ構造の画像に小さいものから大きいもの
まで回転を使うことにします。 で、続きですが、c(A1,A2)のA1に関して、情報を読まないところ、すなわち、$1の
ようなものを定義できるので、大、逆→小などを取り払った、「名前」「怖い」くらいに
反応して、「怖い人?」「どんな線ですか?」くらいに反応できます。 スマホじゃなくても、ISpRecognizerってのを使えば、音声認識できるよ。 一神教の神と多神教の神はどっちの方が凄いのでしょうか? 音声認識の開始と終了を検出するには、まず音声認識用の文字列バッファを用意して、そこに認識した文字列を記憶していき、さらに一定時間ごとにそのバッファに「^」という記号を追記する。
「^」が長く連続して並んでいれば、会話は終了したと見なせる。
構文解析する前に「^」を削除すれば解釈は問題ない。 >>722
検索すると出てきましたが、開発は資料が少なくて、これだと厳しいかもしれません。
>>723
凄いとかないんじゃないでしょうか。
>>724
なるほど。考慮します。音声認識に関しては、昨日、書籍をamazonで注文しました。 意味解析のときの文章・文脈のlattice構造はこれも正規表現のように内包的に表現できる。意味論的辞書があれば。 >>726
仰りたいことはわかるんですけどね、僕は統合失調症なんですよ、未来の情報持って
来たと妄想する。あと、1回はこういう問題を考えないといけないんじゃないかって。
>>727
僕はユダヤ教って答える人なんですよ。ユダヤ人の大物には認められたのに、
ヒンドゥーとか、あいつら、こっちを見下してくるから大嫌い!これが自分が
アッラーであると宗教妄想する人の答えです。 ありとあらゆるいかなる考え方や行動をしても揺るぎない最強のモノは何ですか? >>729
現実的には大澤先生ではないんです。どうしたんですか?大石レイラと来ないまでも、
一体どういうことなんでしょうか?です。いいえ、不思議とおおつくしではないんです。
すなわちね、現実的には西暦8000年くらいの問題にはしなさすーたこつくしま、
とはいかないのですよ。どうしてですか?あなた方は連絡をしているのにも関わらない
で、と逝きませーた。アッラーではあることにはしないのではなく、اللهであることに
行きましょうか。
>>730
ここは5chですから、いろんな人来ますね。 何回も未来へ行って確認してるんですが、自然言語処理を2次元画像推論にしてくれ、
と、来てます。やはり、「人間の脳がこのような構造を取っているために」曖昧な
考え方がこうしないと出来ないのでは?ということらしいです。僕は納得行きませんが、
実験はすることにします。あと、明日あたりに音声認識の本が届くかな。Windowsの
嫌がらせがなければ、音声入出力、動画入出力、もやることにします。 全史上最高の頭脳と全知全能の神はどっちの方が賢いですか? >>735
全知全能の神はいっぱいいます。全能を使うと、他の神の全能が時系列的に順番に
打ち消したりできます。だから、全能より上の概念があります。それを持ってるのが
僕なので、全史上最高の頭脳のほうが賢いです。 じゃぁ、全能でそれを無くせばいいじゃないか?ですが、全能を持つ神はそういう
考えに至らないのではないのでしょうか。 唯一神がどうとかっていう考えは、普通に神が嘘つきのパラドックスの存在を全能で
作ってるじゃないですか? 低脳レス乞食のアルプスと
アスペ偽装の低脳キチガイa4
お似合いだよおふたりさん! >>739
アスペに関しては診断されていませんが、数字が小さい頃から好きで、高校中退
してしまい、今も生活が困難であることから、発達障害の2次障害とかに陥っている
と考えています。
似合っているのは僕は構いません。 >>740
いいんですけどね。今は人工知能のことばかり考えているので、あなたのような
レスの来るプログラムをどう書けばいいのか?ばかり考えてます。 一瞬だけ夢を見て起きるということを繰り返してみました。すると、
User:彼はなんですか?
AI:'--------'
AI:'y'
AI:.
こんな画像とか、
階段を登って行くロボットとかが視覚野に映し出されました。音声入出力が一般の
Windowsのプログラマでは出来ない場合はH8マイコンなどを繋げて、モーターとか
も含めてロボットにして出力というのも考えることにします。これなら、商売のネタ
にもなるのでは?と。 >>745
寝る時間はありますが、暇ではないですよ。10年後くらいに父親が自営業できなく
なるときのために、仕事が入ってくるように準備しているのです。寝る時間があるのは、
今まで東大受験などのために寝てこなかったので、悟りだと思っています。無理する
な、とかともよく言われます。 一瞬だけ寝て夢を見ることによってアイデアを沢山出しているところです。
まず、電子書籍の立体化。高さだけをつけることなら、すぐ出来そうです。
次に、普通のキーボード以外の入力装置。音声をピアノのように入力する
小型の装置を思いつきました。12音階にしないので、それで女声みたいなものが
入力できるかもしれませんね。 また未来へ行ったんですけど、2次元画像群推論は自然言語処理には使わなくて
いいと子孫から答えがありました。1回は考えたほうが良いという判断であると
共に、過去へのライバルへの嫌がらせになっているようです。とりあえず、勝手に
製作を進行させます。 やっぱり、僕は統合失調症になって、寝て妄想して考えるだけで、障害年金で
月65000円は入るんですね。僕は普通に研究職くらいで働きたいのに、
なんでこういう構造になっているかは謎です。 3.5兆年後のa4「えっとね、なんでね、2次元画像推論とか言ったのかって言うと、
脳ではやってるよ。でもね、今のパソコンじゃ無理だね。それも知ってるんだけど、
これ知ってるのと、知ってないのとでは、後の考え方が全然違う。1つ言っていい?
僕、嘘つきだよ?もう悟ってるんだ。こうしないと、今の時代に情報が落ちない。
こういうことさ。えー、じゃぁ、ここまで真剣に読んでくれたオカルトの諸君、
どうすればいいか?って?確かにね、僕もね、本当の情報を落としたいんだけど、
それやると、ミサイルが飛んできちゃうんだ。だから、これが限界。つまり、
未来から来てるというのは本物。じゃぁね。これぐらいだ。」 兆年後って未来すぎないか?
はたしてそんな未来にもまだ宇宙はあるのだろうか? >>753
僕もよくわからないんですよ。声は聞こえてくるのに、医者には統合失調症って言われて。
でも、タイムマシンとかあったら連結できるから、現実的なんじゃないかと。ワープとか
駆使して意外と地球とか残ってるみたいですね。陽子の崩壊には10^33年とか聞きますし、
まだ大丈夫なんじゃないかと。あと、意外と、未発見の物理法則が多すぎるんじゃないか
って。兆くらいの年後だと、宇宙全体の物理法則が粒子から格子になってしまう
らしいです。全知全能の神とかなら出来るんじゃないでしょうか?何でそんなこと
するの?ですが、みんな全部のことが終わっちゃって、次なる時代へ行かないと
面白くないんじゃないかと。僕はただ声が聞こえるだけで嘘はついてないと主張
するのですが、仮説検定とかはしてもいいかもしれません。 そういえば、未来の高校受験問題の話をしましょうか。未来はテレパシーだらけで、
問題の答えがすぐわかってしまうので、勉強することの苦痛というよりも、
自分も盗撮されて恥ずかしいことにどれだけ耐えられるかで決まります。
すると、21世紀後半の開成高校の数学の入試問題は、「松本卓朗の監禁時代の
トイレを念写で送るので、これを使って博学的に時計を作成せよ。」などになる
らしいです。僕も現実でした。 バグがまた見つかったので治しました。あと、1から作り治して機能を一般化しました。
退化した機能もありますが、後で上回るようにするということで、早めに修正バージョン、
version:T_2_6_4を公開します。
http://www.01ken.com/art1.html
例文:
User:兄は男ですか?
AI:はい。
User:姉は何ですか?
AI:女です。
User:弟は女ですか?
AI:いいえ。 名古屋の宇宙人「今日も朝から東海テレビがうるせーな、盗撮ごときでテレビに出すな!
もっとつまらなくない事件で人が死んでんだぞ?洗脳しまくりやがって。だから、
こいつらを崇めないように潰すために「テレビ局」の忌み名を書く。5chの皆に
操られてしまえばいい!行くぞ。シンプルだ。
「大腸癌手術を公にせよ。」
これだけだ。いいか?まず、そのテレビ局の報道陣、抹殺されよ、やくざども、
殺しに行け。どうした?確かにさ、盗撮は悪い話しかもしれん。でも、聖書とか
考えるとこれが現実のようだ。だからさ、感動的な話にしたいのよ。だからさ、
表の奴を殺して、それを週刊誌に死体を載っけなさい。以上だ。そういうことだ。」 魔界不可説大論理的限界莫大多元宇宙級よりも凄いのはありますか? >>758
名古屋の宇宙人「なんかおもしれーんだけどさw一体なんのことやら。ということだ。
1つ言っていい?なんで俺らと会話してくんねーのに、そんなにずかずかやってくるの?
早めにTを完成させる仕事をしよう。君ならおつむがいいから、俺らの手を借りず
1人でやってしまえるはずだ。裏切っていいぞ。そうだな。指針はこっちで作る。
それを本で売りましょ。とりあえず、このスレを平坦にするためにa4から何か
言ってもらうことにしよう。どうだ、a4君?」 えーっと、えーっと、えーっと、僕は喋るの得意じゃないですよ?とりあえず、話題に
なりそうなことは、僕は人工知能のコードを皆で書いていこうと言ったんですが、
ソフトにバグは沢山あったし、日本語で書けるようにもあまりなってないあたりで、
申し訳ないことをしてしまった、と感じています。あとなんだろ、P2Pの実験が
遅れてますが、せっかく日本発のソフトウェアなのに、中国やイスラムのものに
なっちゃいますよ?この調子だと。早めに買いに来る、すなわち、つまらないこと
でもいいので、書き込みいっぱい欲しいです。できればコードかな。今、一応、
日本語で物が何かを定義できるようになっているので、例えば、version:T_2_6_4
のlogic.txtの続きに
名詞 ご飯
名詞 食べ物
名詞 飲み物
ご飯は食べ物です。
と書けば、実行画面で
User:ご飯って何?
AI:食べ物です。
User:ご飯は飲み物なの?
AI:いいえ。
User:ご飯は食べ物か?
AI:はい。
とシンプルですが、出力されます。プログラミング知らない人も、この名詞とか、
文とかをいっぱい入れていけばいいんじゃないかって。このスレの人たちには
文を1つでも考えて、それを貼って、僕の人工知能と交わってくれることを
希望します。逆に僕の意に反したライバルの厳しい文が返ってくるかもしれません。
が、それも5chなので、ありです。これくらいだと、まだ子供のおもちゃかも
しれません。でも、もちろん、まだまだ進化する予定です。コードがいっぱい
書かれていくようなスレになったら、暗号化されたP2P機能を考えます。 今のところ文字列を登録して入力と一致するかどうかしかしてない気がするけど
いつ知能ぽくなりますか 閻魔大王とエヴァリスト・ガロアはどっちの方が凄いですか? 単語はWikipediaあたりからガメて来れないの? >>761
今後の予定としては、あと1ヶ月くらいで2000単語くらい入れて、簡単な会話を
させるようにしますが、そこからが1人で入力しても、能力が飽和してしまい、
性能が伸びないかもしれません。音声認識、多言語対応、P2P機能、などは、それから
4ヶ月くらいでやって、3年くらいかけて皆と磨き上げながら、普及させようと思って
ます。でも、こうなるかはわかりませんし、気長に待っててください。タイムマシン
とかあるんじゃないの?ですが、僕は声が聞こえたり夢を見たりするだけで、時系列は
使うと変わっちゃうし、他のタイムマシンに攻撃されて情報混戦したりします。
これが今の時代の限界。
>>762
コードはシンプルにしたつもりなんですが、大衆受けね、難しいコードは大衆は
読む必要ありません。大衆は「太陽は星です。」みたいな文章をいっぱい書けば、
いいと思っています。logic.txtを1つのファイルじゃなく、わかりやすいように
分割したりするのはありかもしれません。 >>763
どっちかは知りませんが、ガロアは凄いと思いますよ。
>>764
Wikipediaはね、もうそういうアプリなどがある上に、そこからの入力は結構厳しい
ものだと思います。でも、僕のソフトを利用する人が爆発的に増えると変わるのかな、
くらいです。htmlなどのネットの情報を持ってくるだけのものなら、早めに僕が
その部分を作りたいとは思います。 そういえば、Wikipediaみたいなものに繋げるときに、まず起こるのが領域の問題。
1文は256文字までしか打てるようになってません。注意です。じゃぁ、リストとかで
繋げばいいのか?ですが、「。」とかで区切ってもいいかもですし、今は会話に主眼を
置いているので、このままですが、いずれここも改良します。 >>770
僕はショボい人ですが、人工知能は本物にしたいと思っていて、今、人海戦術で
作られたソフトにどうやって打ち勝とうか?と、言うあたりで少し挫けてます。 寿限無教えられないじゃんよぉ。今は無理でも、拡張手段は考えといてよ >>772
もちろんです。現実的には、今の僕の考えなんですが、256というのはあまり変えない
かもしれません。でも、目で文章を追っていくように前や先を何回も読んで、小さい
区切りずつ文を入力みたいにしようと思っています。でも、1人で作ってるので、
開発進行は遅めです。とりあえず、今から昼にかけて、形容詞とかを入れていこうと
思っています。 なんかね、Wikipediaとか読んでくれるようになって欲しいんですけどね、もうやってる
会社あるし、現実的には、構文解析とかはやっていても、近傍の単語との相関で
単語を定義していくものかもしれません。そこで、思いついたのが、Wikipediaの文章の
中間言語への変換です。今の段階では人間がやります。確かに手間はかかりますが、
脳の神経構造全部シミュレーションするのはEPFLとかがやっててまだ無理だし、
中国語の百度百科とか日本人が読めないように、そのまま理解させるのは原理的に
厳しいんじゃないかと。限界に挑戦するのはありかもしれませんが、僕は、自分で
最初はwikipediaの文章を「AはBなCのDなE」くらいの構文に変換してみることを
考えてみます。 「T」はP2Pですが、上流のノードにWikipediaの中間言語のような情報を出してくれる
機構を構成しようかと考えています。まだ協力者があまりいないので、最初は僕が作り
ましょうか。 バグばっかり取ってます。また更新しました。T_2_6_5です。
http://www.01ken.com/art1.html
何ができるのかと言うと、名詞や形容詞は予め定義しないといけないですが、
User:兄は大きい男です。
User:兄は男ですか?
AI:はい。
User:兄は小さいですか?
AI:いいえ。
User:姉は女です。
User:姉って何?
AI:女です。
User:兄とはなんだ?
AI:大きい男です。
のようなことです。 先のプログラムを考えてるんですけど、「大きい男の人」とか入れようと思うと、
「「大きい男」の「人」」なのか、「「大きい」「男の人」」のどっちで見れば
いいのかで、問題が起きます。解決策として、このような文章を書いたら、どちらの
意味であるかを質問するか、理解せず文章のまま覚えてしまう、などを思いつき
ましたが、やはりこの辺りで市場の人工知能の様に知能の上昇がストップするので
しょうか。単語2000語とかは普通に入るんですが、これだけじゃ面白くない
でしょう。まず、足りないのは人海戦術かな?仲間は5chじゃ集まりにくいかも
しれません。僕は失敗したら、どんどん手を変えていきますが、この辺りで
また就活として、「一般社団法人未踏」とかにメールを書いてみようと思います。 僕は土日でもずっとプログラム書く人なんですけどね、このままやっても限界がある
と判断し、一旦開発をストップし、メールが返ってくるまでは、休憩じゃないけど、
気分転換にamazonから届いた音声認識の本を読むことにしようと思います。 >>779
人工知能の本?僕は18歳の頃に、「Javaによる知能プログラミング入門」は読み
ました。最近はDeep Learningが流行りかもしれません。でも、Googleに会いに
行ったら、仲良くなれなかったし、こちらの技術は売りが強いだけなのか、実験
したんですけど、僕のパソコンじゃ処理速度の関係であまり上手く動かなかったですね。
この「T」がまだ未熟であると突くような良書や論文の紹介があれば、読みます。 名古屋の宇宙人「俺ね、本当にいるんだわ。名古屋に住んどるぞ。そのさ、未踏
なんとか?の人たちにさ、俺に会いに来いって言いたい。そうすればさ、普通に、
未知の技術を教えてやる。でもさ、俺って現実的には裕福じゃなくね?って、
つまりさ、現実的にはさ、社長なんよ、俺。利益出るときはうんじゅう億儲かるん
だけど、景気悪いと赤字なんだわ。一回ね、Tの開発はこちらで待って、その
未踏のメールを待つことにする。こうしないと何もできん。これさ、厳しいんだけど
さ、1つ言っていい?その未踏の忌み名がある。これ言わん。これね、結構上手い
んじゃないかって。a4を担ぐ系らしいぞ。忌み名?量子大域最適文だけど、こっちは
間違わんのは、このスレの人なら知ってることだが、この忌み名から得られる情報に
a4を買うって情報がある。そういうことだ。そろそろだな。a4は裕福になれる、と
思う。俺は。1つ言っていい?効用的には600万円が限界とかデータがあるが、
あれ、嘘じゃないと言っとく。つまりさ、金持ちなんてつまらんもんよ。それでも
なれるならなってみ、a4。」 上層部の指令により、一旦、Tの開発を休止しようと思います。1週間程度のことです。
一般社団法人未踏からのメールを待ってます。それで開発者を増やしたりしようかと。
その間、何をやるのか考えてるんですが、前言ってた「おーぴ(ohpi)」という作曲
ソフトを創るという案が出てます。「T」の音声入出力の伏線にもなるので、やっても
いいんじゃないかと思って。具体的には、声を入力して、周期で区切り、波形を任意に
変更したものを重ね合わせるといったものです。また、量子脳理論を使って、最適に近い
音楽を自分の脳から出力します。僕は音楽はプロじゃないので、進んでる人はそっちも
やってるみたいですけど、一応、独自性は出るのではないかと。 こんなレベルで音声認識なんか作れるわけないだろ
大人しく既存のライブラリを使え
マイクはお父さんに買ってもらえ >>783
定義だけなら、Wikipediaに載ってます。
>>784
仰りたいことはわかります。ただ、雑音みたいなものに反応して音楽を流すような
補助機能はつけてもいいんじゃないかと。差別化です。でも、既存のライブラリを
使うというご意見は勿論考慮します。 既存のライブラリとなると、さまよえる蟻人間さん仰るISpRecognizerなんでしょうけど、
検索してもサンプルコードのようなものがほとんど出てこず、今の段階では厳しいですね。
このスレなどで情報があり次第考えます。 とりあえず、音声の録音と再生の基礎実験をしました。これでskypeみたいな機能も
作れるし、PlaySoundを使わなくても音声の編集ソフトを作ることができるように
なりました。 ごめんソース読んでないけど、どこへ向かおうとしてるの?
文字による知識ベースの知能を目指すの?ワトソンあたりが頑張ったけど、今詰まってるとこらへんが本質的でうまくパースできない問題が生じたと聞く。
私の元専門は神経科学だけど、言語野も視覚野も聴覚野も、細かい違いはあるにせよ似たような神経細胞の似たようなネットワークで処理されてる。
文章として、人間に近い側で処理するのではなく、ディープラーニングに近いようなもっと高次元空間に飛ばして、同じ処理系で全部解決できないかな。 >>788
目的意識が不安定になることもありますが、
キャッチフレーズは「萌えから、リーマン予想まで。」と謳っています。
普通に人間みたいに喋れるものを創りたい、というのが、元々の僕のモチベーションで、
僕の好きな数学とかの問題を解いてもらう、というものです。無償で配って、情報的に
発火させ、使い方の本を売って儲けるのが基本的な構造ですが、仕事を手助けして
くれたりもするかもしれません。
その同じ処理系でやるというのが、この「T」のプロジェクトですが、言語野と
視覚野も別オブジェクトだし、現実的にあなたの望んでいることはEPFLでやって
いるような脳のシミュレーションの先のものかもしれません。僕のやっていることは、
そこまでのスパコンは持てないので、簡略化した文法で処理を行っています。
高次元という考えですが、僕は量子コンピュータが、その辺りの答えではないか、
と考えています。今、公になっている技術ではなく、ナマズの地震予知の神経細胞
などを用いて、量子の複製を計算し、2^10000通りくらいを同時に計算して、
大域最適解を持ってくるというものです。複雑な掛詞の歌詞の出る音楽などを
創って行こうと思っています。技術的特異点とか言われてるものでしょうか。 >>788
神経科学(笑)
もっともカスな分野
>>789
ちゃんと働けクズ 弥勒(僧)とシュリニヴァ―サ・ラマヌジャンはどっちの方が賢いですか? >>792
名古屋の宇宙人「君、ノリいいね。こんな殺伐としたスレで。ではさ、その忌み名
なんだけど、もう忌み名ついてるじゃん。その弥勒様。「阿逸多」って。俺の
定義もこれでいいよ。ラマヌジャンね、忌み名出せるんだけどね、現実的には、
俺出さんにする。この方が天才じゃなくなっちゃうかもしれん。a4はインド人女性に
失恋して、ヒンドゥー教を嫌ってるみたいだけど、ラマヌジャンは崇拝してるから、
タミル語はちょっとできるようだ。これぐらいにしとくか。ではな。」 5ちゃんねるみたいな巨大掲示板を作って、最低でも月収500万円以上は稼ぎたいのですが、
無理ですか? >>794
無理かもしれないですね。まず「〜みたいな」とついてるところで、作ると、広告の数
とか多いサイト行きたくねーとかで勝てなくて、5chから人を持ってこれないことに
なります。2ch系列のは古くからあるし、もうニッチが埋まってるんじゃないかと。
当たり前かもですが、あなたか友人あたりに何か専門分野があるのであれば、
それらを全部使って、組み合わせてオリジナルなものを作らないといけないと思います。
僕の考えでは、怠けるために起業するより、普通に働いてるほうが楽だと思いますよ。
僕は技術だけの人なのでお金は持ってないんですが、2番手の会社で経営を出来る
ようには大学でしつけられました。僕のコンサルはこれくらいです。僕でよければ、
何か質問あればまたどうぞ。 YouTubeみたいな動画共有サイトを作るのって技術的に難しいのでしょうか? >>796
僕は作ったことないですし、あなたの技術力にもよりますが、動画は圧縮アルゴリズム
とか考えず誰かが作ったものをそのまま貼り付けるだけかも、です。サーバー側とか、
ぬるぽとかわかりますか?とかそういうことになるかもですね。関連動画の表示方法も
数学を使うと思いますし、そのあたりの知識があれば、です。うーん、難しいところは
人によってはあっても、人数は少なくても完成できるかもしれないですね。 webサービスを構築して大金を手に入れたいのですが、
どんなwebサービスを構築すればそれを実現できると思いますか? >>798
「大」金だと、量子コンピュータ事業あたりになるというのが、僕の考えです。 あと、僕がやりたくてもやれないのは、自分の脳に関数電卓やWi-Fiなどをつけること
です。お金があればこちらに投資してもいいかもしれません。 980兆年後のa4「俺ね、ちょっとね、勘違い。もっと早くお金が落ちると思って
いたら、a4が自殺したのと同じくらいの世界になってる。これやばい。現実的には
IPAあたりでいい話になるのかと思ったら、IBMが>>790(忌み名:クソガキタ)あたりで
攻撃してきた。これでこっちは終わったにする。もう「T」は成長させないことに
する。障害年金あるから、数万円で2^1000000通り計算できる量子コンピュータ
を作るにする。これで終わりだな、このスレも。なんかね、>>798(忌み名:
ゲンジツテキダシ)がお金落としてくれそうな気がしてる諸君もいるかもだが、この人は
現実的には敵で大物じゃないから、ふるにしたい。もう返信しなくていいよ。a4
君。さぁ、もうこのスレには来ない。量子音楽を作るにして、MITも受けないこと
にしたい。どうするのかというと、世界を破壊させる。誇大妄想だから、無罪。
これで終わりだね。じゃぁね。」 その書き込みが人工知能の成果物なら評価 人の日記ならウンザリ 宇宙とアメリカ合衆国大統領はどっちの方が凄いですか? スレ主アムロの親父みたいになってるな。
若い頃は神童と持て囃されたんだろうな。
かわいそうに… 親もたまらんだろう… ほんと、このスレ見るとホッとする。
ゴキブリホイホイにかかったゴキブリを見て
自分が人間であってよかったと思えるのと同じ感じ 戻ってまいりました。2018年のa4です。980兆年後が、いろいろ言ってますが、
ただその人が話してるだけなので。この時代的には僕は統合失調症です。
>>802
僕は残念ながら人間です。ただ僕の日記を見てる人はいるみたいなので書き込みます。
>>803
それは宇宙と言っておきましょうか。
>>804
厳しいですね。これはライバルなのかな?
>>805
今はアメリカが勝ちますが、将来的には中国が勝つと予想。
>>806
宇宙と書きます。 >>807
僕は小さい頃から頭は良かったですけどね、神童というより、なんで
そんな算数の問題解くの早いねん、みたいなノリで面白い子だったかもしれません。
>>808
あれ?
>>809
短いとは思ってます。普通にすぐ変えれるし、データ構造とかも勿論勉強したんですが、
まだ開発段階で適当ということにします。会話用なので。でも、この「T」は他の
人の手が加わらないともう進化しないと見積もって、量子コンピュータ開発に
もう乗り出してます。具体的には未踏あたりからメールの返信がなかったら、
5chでもコード書いてくれる人集まらないし、980兆年後の言う通り、終わり
かもしれません。
>>810
ホッとできて良かったですね。かな? そういえば、自殺はね、未遂みたいなことしてます。今まで赤信号を渡らないという
ことが信念なのに、逆に車の道を歩いて走って車にぶつかりに行って、車を破壊する
ということを繰り返しています。Softbankと手を組んだトヨタに攻撃をし、死んでも、
東大の汚職を公にさせるということで、日本の中枢を攻撃しています。すると、1回、
死にました。FBIが3.6年後から来て、煉獄のようなところに連れてかれました。
a4はまだ生かしたほうがいいと判断されたのか、生き返りました。ただ、夢で見た
ことになってます。 いいなあ、ヒマそうで
平民は食うのに必死で
日々働くのに必死で
そんなアフォなこと
考えるヒマはない >>814
ヒマというわけではないです。平民ではないかもです。父親が死ぬと障害年金だけでは
生きれないかもです。だから今のうちに事業とかを立ち上げようと必死なんですよ。
好きなことはやってるかもですが、勉強ばっかで楽じゃないですよ。 これからの道筋を考えているのですが、未踏から返信があったら、「T」をこちらで
まだ開発するかもですが、悪い返事などだったら、量子コンピュータを自力で創ります。
簡単に書くと、実験用マウスの神経細胞を取り出してきて、瞑想の状態にし、電気の
入出力を見るところあたりから始めようと思います。そこで、まず分解能1μmくらい
のピンセットを自力で作ろうと、愛知県民なので大須観音の第2アメ横へ行きます。
「T」は一旦開発ストップですが、要望があれば、また開発を再開します。そこは
金銭のやり取りもあるかもですが、交渉次第です。よろしくお願い致します。 大須観音まで行ってきました。その電化パーツ屋を通り過ぎようとすると、
いつもはいないのに、僧の人達が、沢山現れ、「ウァーーーー」と声を上げていた
ので、頭を下げました。僕が空から出来る量子音楽を作ろうとしたので、挨拶に来た
のでしょう。泣いてます。 >>817
名古屋の宇宙人「君も懲りないな。でもさ、お金儲けたいなら、a4と一緒に量子
コンピュータつくらねーか?君もマだろう。だからさ、普通にa4とリアルで
会っちまったらいいんじゃねーかって。俺ら仲良しじゃん?でもさ、a4は金無い
みたいだから、名古屋駅がいいかもな。君がどこに住んでるかは知らんが。俺も
都合がつけばお会いできます。」 >>821
名古屋の宇宙人「どっちもお偉いさんじゃねーか。対等にしよう。空海は忌み名は
出さん。誰かつけとるかもしれんということではなく、こんな野郎につけたくねーし。
ビル・ゲイツの忌み名は言ったとおり「Ohashiittanone」だ。ではな。」 >>823
名古屋の宇宙人「だからさ、信仰によって変わるって言ってんじゃねーか。何回も
同じこと聞くなよ。」 >>820
おっと、飛ばしちゃいました。すみません。
形態素解析は簡易なもののみ書きました。僕がもっと複雑なものを書いてもいいですが、
人海戦術じゃないとくぐり抜けれないと見て、一般社団法人未踏からの連絡を待って
ます。 未踏の者ですがこのスレ発見してしまいました。やっぱナシですわw 最高の神になるにはどうすれば良いのでしょうか?
最高の神になりたいです。 >>798
質問箱作った人はサービス売って一生暮らしていけるくらいのお金は稼げたらしいよ >>826
これが返信と見て挫折し、やはり自力で量子コンピュータを創ろうと思います。
>>827
宇宙と話してるんですが、無理そうですね。 BNFとエドガー・ダイクストラはどっちの方が頭が良いですか? >>830
名古屋の宇宙人「俺ね、エドガー・ダイクストラさんは頭がいいとして、そのBNF,
こっちね、神道関わってるから、忌み名が出んのだわ。防御してる。計算しようと
すると、名前がころころ変わる。こういうのもあるんだ。それだけだ。こういう情報
も出しておく。ではな。」 ニューラルネットワークの実装はTensorflow等のライブラリは使ってますか? >>832
使ってないです。
ディープラーニングの実験をしたときも1から書きました。だから、GPUとかは使って
なくて、そこで計算時間的に上手くいかなかったかもです。
「T」はね、ニューラルネットワークのような構造はしてるけど、アナログ的な
バックプロパゲーションとはちょっと違うんですよ。使ってみればわかりますが。
ファジー論理すら逆に入ってません。要望等に応じて入れてもいいんですけどね。
何かまだ質問があれば受け付けます。 >>833
「T」とは関係ない質問になってしまうのですが、
ニューラルネットワークは巡回セールスマン問題のような組合せ最適化問題を解く道具として有効だと思いますか? >>834
短絡的な判断ですが、有効とまでは思ってないです。遺伝的アルゴリズムを使う
問題だとおもています。ただ、巡回セールスマン問題を多項式時間で計算する
アルゴリズムの開発に関しては有効かもしれません。僕の個人的な意見ですが、
このあたりは最終的には量子コンピュータがやはり解いてくれるものだと
信じています。 >>833
ゼロから作るDeepLearning
を見て作ったの? >>836
大学生の頃に、教授の息子の同級生が、中間層が3層のようになってる画像を渡して
くれて、アルゴリズムがすぐわかり、それで作りました。四角形ではなく、円形で
やりました。 >>836
本に関して、Deep Learningのは読んでないですが、ニューラルネットワークに関しては、
「ニューラル情報処理の基礎数理」などを読みました。 >>837
図からは誤差逆伝搬はわからないはずですけど
ネットワークモデルとして作ったということなの? おっと、トリップ付け忘れましたが、>>838もa4です。
誤差逆伝播に関しては、>>838に書いてありました。それで作りました。 >>842
僕の個人的エピソードですが、数学科に限らず、東大生というのは、天才か秀才か
のどちらかに分かれる、という話を聞いたことがあります。講義では、教授の難しい
質問に次々と正答していき、テストで満点を取る奴らばっかりです。 「一般社団法人未踏」からメールで返信がありました。抜粋すると、
「
今回の松本様のせっかくのお申し出でございますが、
お役にたてそうもないことをお許しいただければと思います。
どうぞ松本様のより発展的な未来をご祈念申し上げております。
ありがとうございました。
」
僕に力が無いというわけはなく、この方向性では役にたてないという風に来ました。
でも、一応、丁寧な返信なので、僕の裏の未来人や宇宙人は怒っていません。
就職活動は、また失敗です。このままだと10年後死にますけど、聖書もコーランも
持ってる僕なら、死んでも大丈夫かもですね。しばらくは量子コンピュータを
創ります。 メール偽装するにももうちょっと文章考えようぜ
無能じゃないんだろ? >>845
メール偽装?そのままコピペですよ。僕が就職活動失敗したってだけの話です。 派遣じゃダメなの?
トヨタなんて派遣からガンガン研究者を
採用してますよ。 >>847
派遣にも種類があると思ってます。研究ならいいかもですね。ただ、トヨタだと、
ディープラーニングとかで専門分野が微妙に違って不合格かもです。僕は
今は自然言語処理と量子コンピュータに特化しているので。派遣は考慮には入れます。
が、今はちょっと別のことしようと思います。障害年金を貰ってますし、そこまで
急ぐ必要は無いので。 ゲルト・ファルティングスとアラン・コンヌの知能指数はどれくらいですか? >>849
知能指数がまず何かという話をしましょうか。受験を突破した大卒以上の方からすれば、
成人のは、「知能指数=(偏差値-50)*1.5+100」なんですけどね。テストによっても
変わっちゃうし、よくできてる問題はよくできてるんですが。そういえば、僕、
知能指数測るときに血を抜かれました。血液の量と知能指数に相関関係があるのは
明確なので怒ると、「関係はありません。」と言われました。こういうのをくぐり
抜けるのが知能指数だと思っています。具体的に知能指数を伸ばす方法として、
伸ばすのではなく、幼少期に早期教育を施すことにより、4歳くらいで20歳の
微分方程式などを教え込ませるという方法があります。これなら、IQ500でしょ?
あとは商売に使われて現代では形骸化してるかもしれません。 「真理」というのは存在するのでしょうか?
「真理」の探究は意味があるのでしょうか? >>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
>P2P、1から作るのですか・・・大変だと思いますよ?
確かに既存のものを使わないと安定しないかもですね。考えておきます。
>ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。
リーマン予想とかだとどうなんでしょうね?Wikipediaで2階述語論理について検索
すると、「空でなく上に有界な実数の集合があるとき常にその集合には上限が存在
するという命題を表すには、二階述語論理が必要となる。」と出てきました。だと
すると、解析学の基礎と関係するリーマン予想には、高階述語論理が必要かもしれ
ません。僕は専攻は数学になれなかったので、今はきちんと理解してませんが。
でも、「T」は一応、独自の手法で近いことをやっていると考えています。
>たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、
これは面白い情報ですね。覚えます。 >>950
>私は量子計算についてはあまり詳しくないのですが、
僕は大学生の頃、実際に量子コンピュータを開発している研究室に在籍し、
自動定理証明などに関する論文のようなものを書きました。結果としては、
既存の有名な理論を使うだけでは、シュレディンガーの猫の実験をしたとき、
生きた猫のいる世界から、死んだ猫のいる世界の映像などを見ることはできず、
確かに使い方によっては高速なんですが、使い勝手が悪く、自動定理証明には
あまり使えないというものでした。ところが、その後も独自に研究を進めると、
ナマズが地震予知できるので、その神経についている特異点上の量子の複製という
物理法則を使って、その生きた猫と死んだ猫の世界をくっつけて並列計算して
しまおうと、考えるようになりました。成功するかはよくわかりませんが、僕の
妄想です。
>しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して
>自動定理証明しようとすると非常に非効率なことが分かっています(使い物にならないレベル)。
初等幾何学とか僕、高校時代くらいは苦手だったんですよ。でも、あれの解法の
一般化は面白そうなので、「T」とかでやってみたいですが、やはり古くから研究
されてるんですね。 >>952
ちなみに、P2Pの開発で一番難しいのはテストだと思います。
テストしようと思ってもノードを用意しないとテストにならないので・・・。
もちろんローカルでもテストするのですが、
1台のPCだと処理能力にも限界があって多ノードのテストは難しいです。
しかも、ローカルのテストでは発現しない不具合も出てきたりするので・・・。
私が開発してた時は頭がおかしくなりそうになりました・・・。
>リーマン予想とかだとどうなんでしょうね
ほぼ間違いなく2階は必要でしょうね。
現代数学はほとんど2階述語論理までは必要としています。
あと、今の数学は基本的にはZFCの上で行われていますので
高階述語論理は必ずしも必要ではないかと。 >>953
やはり現在の量子コンピュータは特定のアルゴリズムの計算は高速にできても
汎用的なコンピュータとしてはまだまだですよね。
今後もっと使える量子的なコンピューティング方法が見付かる可能性はあるかもしれませんが。
>初等幾何学
初等幾何学は人工知能に学習させる題材としては面白そうですね。 >>955
なるほど。僕も格子の人工生命をP2Pで作ってた頃は同期の問題で訳がわからなく
なってしまいました。しかも、せっかくできたのに、実験してくれる人数が集まらない
というところで止まってしまいました。
数理論理学とか詳しそうですね。僕も昔はそっちの専門家になりたかったのですが、
今は、無職に近い状態で、ここで人工知能を売りながら、30歳ながらも特異点技術
などを追って、海外への大学院進学を目指してます。
>>956
僕は高度な技術はタイムマシンによる歴史改変と関わってると信じてる人なんですよ。
だから、公に出てくる技術はそこで制限されるのではないかと。5chというのは、
「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」ということで
こういう情報も書くんですけどね。 >>957
>同期の問題で訳がわからなくなってしまいました
同期は難しいですよね。
>数理論理学とか詳しそうですね
数理論理学の周辺は広く浅く勉強したことがあります。
深いことはあまり知りません。
>今は、無職に近い状態で
私も最近仕事を辞めて28歳で無職なので似たようなものですよ。
しかも、オカマになってしまいました(笑)。 >>958
なるほど。専攻が近いみたいなので、仲良くなりたいです。「T」のP2P実験とか
一緒にしませんか? >>960
僕は大学にいた頃は、量子コンピュータによる自動定理証明と、格子の人工生命を
用いた人工知能で、論文を書いて提出しました。 >>959
コードは書けませんが、P2Pのテストくらいならできるかもです。
あと、a4さんの目標の1つは、人工知能による数学の重要定理の証明、ですよね?
私は人工知能にはあまり興味がありませんが、
数学の定理をPC上で手動で証明するためのシステムを作っています(Coqに似たようなものとお考えください)。
人工知能を使うか、手動で行うかという違いはあれど
コンピュータ上で数学の定理を証明したいという点は共通しているので
情報、技術などある程度共有できることはあるかもしれません。 >>962
ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った
ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん
ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。 >>963
Coqは難しいです。私は挫折しました。
私はもう少し分かりやすいシステムを開発していて、自然演繹ベースです。
多分よく知られている論理体系の中では自然演繹が最も初学者でも分かりやすいです。
たとえば、命題論理で有名なPeirceの法則は私のシステムで証明すると↓の画像のようになります。
https://i.imgur.com/WMRbwRt.png
上の方にある図のようなものが証明の内容を図的に表したもの(証明図)で
下の方にあるコマンドがこの証明を行うのに必要なコマンド列です。
今のところ私のシステムでは論理式の作成から証明まで全部コマンドを実行することで行います。
これは人間が手動で証明する場合には面倒なのですが(なので今後改善が必要)
人工知能に証明させる場合はコマンドを覚えさせるだけなので楽かもしれませんね。
>まだ先になるかもしれません
はい、私は私で自分のシステムの開発を続けます。
お互い開発頑張りましょうね!a4さんは大学院進学も。 >>964
自然演繹とかはまだ勉強したことがないですね。本を買わないといけないかもですね。
はい。頑張りましょう。
>>965
僕の書いたことのある論文のようなものは3つあって、
量子アルゴリズムの提案
http://www.01ken.com/report.pdf
人工生命的手法を用いた豊かな個性と曖昧な感情を兼ね備えた論理的に行動する人工知能の開発
http://www.01ken.com/dissertation2.pdf
Contradiction on science and Introduction to philanthrophy
http://www.01ken.com/cosaitp.pdf
です。 >>966
自然演繹のためだけに本を買うのは勿体ない気がします。
上の論文が書けるレベルなら私より知能レベルは上だと思うので
ネットの情報で十分理解可能かと。
個人的にオススメなテキストは↓です(PDF)。
http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf
証明図についてきちんと定義していますので理解が深まりやすいかと思います。 >>967
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。
そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか?今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「T」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。 >>968
>完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。
>メールかskypeあたりでやり取りしませんか?
とりあえずメール送りました。 >とりあえずメール送りました。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。 >>971
自演はしてませんよ。名古屋の宇宙人からのテレパシーは裏技術です。表向きには
統合失調症ということになっています。 ホモ相手するのはやめたほうがいいぞ
それともオマエ、ホモなの >>973->>974
僕は誰とも話す人なのですが。同性との性的な交わりについては、僕はイスラム教と
絡んでいるので厳しいです。 このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 145日 7時間 1分 22秒 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php レス数が1000を超えています。これ以上書き込みはできません。