a4です。P2P人工知能「T」開発(2)
レス数が1000を超えています。これ以上書き込みはできません。
このアプローチだとあまり期待できそうにないな、個々の個体が知能を持てるほどのリソースと時間は用意できないだろうし
もっと神経科学的な知見とか最近流行りのディープラーニングあたりも参考にした方がいいんじゃね >>381
s(A)か何かが上手く動いてくれないかな?と期待してたんですが、まず、人数が
集まりません。リソース?何のことかな?確かに65536*256しか論理式の配列は
確保してませんが。神経細胞の数に至らないってことかな?確かにファジー論理とか
はやってないかもです。Deep Learningは勿論知ってます。作ったことありますよ。
でもね、今、GPUかな?のパソコン持ってなくて、処理が遅くて、思ったより
使い勝手がよくなかったというか、Googleに振られているので、じゃぁ、僕が
最初から、また画期的な量子アルゴリズムのようなものを創ればいいのか?ですが、
まだこの「T」は初号機なので、これから進化させればいいので、考えておきます。
>>382
思ったより面白そうなスレですね^^; Deep Learningじゃないアルゴリズムを未来から落としてみました。単純に、
ネットの画像数百枚くらいをクラスタワードをつけて、それぞれ16*16にし、
調べたい画像を出して、それが何か、一気に調べるというものです。使用する
画像が多くなったら、それらを主要なものに入れ替えることにします。基礎から
枝分かれさせるとこういうことになるんですね。ちょっと考えてみます。 数学セミナー(2018/11)を買ってきました。偶然、僕の関心事である、東大の受験
問題を解くためなどの理由で開発された「東ロボくん」の情報が書いてありました。
詳しくは3つのステップから成ると書いてあります。(1)言語解析・意味合成
(2)論理式の書き換え(3)推論系・計算処理。一応、全部書くと、この本が売れなく
なってしまうので少ししか書きませんが、面白いと思ったのは、「現在、数学知識
データベースとして、数学入試問題解法に必要な述語・関数を3000個程度作成
しています。」という部分です。これくらいで、受験問題のほうは動きそうです。
関数は「T」でも書けますが、書き方がアセンブリ言語のように柔軟なので、
一旦、僕が書きやすくなるように手を加えないといけないかもですね。 >>385
>現在、数学知識データベースとして、数学入試問題解法に必要な述語・関数を3000個程度作成しています。
それで数式処理は出来ても、文章題は苦手なままでは?
文章題を回答するための中間言語構築についてだが、
0. 外国語、特に英語、の教え方
「読み書きは出来るが会話ができない」というのは間違い。「読み書き」も出来ない
Decorative artとは、絵画、彫刻、建築を除いた家具、食器、絨毯、藍掛け、花瓶、タイル、
ドアのノッカーなど美術品と見做せるものの総称
表裏は日本語だと「おもて」と「うら」だが、漢文では「外側」の「内側」であり、「裏」は「なか」である。
コインの場合、英語ではhead & tailで、誰かの頭部の像がある方が日本語の「おもて」だが、tailが「うら」とは奇妙
http://hiroomikes20120501.blogspot.com/2014/12/20141212.html
↑
まず統計的機械翻訳なんて単純作業はゴミ箱に捨てて、コトバの意味を深く研究していきたいところだ。 >>382
『エロ』は世界共通概念なので、それを軸にすれば機械翻訳の性能も上がると思われる。
そもそも西欧美術はその大半が『エロ』なのだから。 >>386
僕もそうだと思ってます。そういう文章題の問題も解きたいのが「T」なんですけどね。
でも、僕は受験生時代は国語苦手だったので、僕だけじゃ、上手くいかないですね。
>>387
僕のソフトは風俗?とはまたちょっと違いますが、誰でも性的キーワードを
教え込ませて共有できるという点において、表向きにしか機能しない商用の
人工知能と比べて、耐性があり、且つ皆に広まるものと考えています。 本が売れるとでも思ってるのかい?
学術書のほとんどは大学教授が大学生に買わせてるよ >>389
本が売れる期待はしてません。このことは既に議論しました。学術書は書いて
みたいんですけどね、無理かもですね。だから、逆にWindowsの使い方みたいな
数学やパソコンが初心者向けな下世話な本になるかもです。わかりやすいけど
複雑な内容の本を書きたいです。 また考えてるんですが、今のところ、「T」は前頭葉の真似たものですが、P2Pより
前に、視覚野、すなわち、後頭葉のプログラムを早めに付け足そうと思います。
友人は「T」に「りんごは赤」とか覚えさせたりしているので、「りんご」という画像を
認識してくれるようにしようかと。 今、朧げながらも考えているのは、QQのようなスクリーンキャプチャ機能です。
タイマーも付けて、人工知能のほうから話しかけてくれるシステムも作ると同時に、
画面をどんどん読み込んで、例えば文字のようなものでも、理解してくれる
プログラムを創ろうと思っています。 そういえば、なんで文字?と、いう話しですが、僕は18歳の頃、数理論理学から
リーマン予想のような問題を解きたいと妄想してました。そこで、普通に考えた
のが、数学書をスキャナで読み込んで勝手に考えてくれる萌えコンピュータです。
今、30歳です。そろそろ上手く動くかなー、と思っているのですが。 リーマン予想って証明された!?とか話題になってたけど、それについてどう考えてますか? >>394
証明は読みました。ですが、数論のような複雑さが無い文章なのに、わかりやすい
ようには書かれてなかったですね。数学板でも賛否両論あり、まだ日本では結論が
出てないのでしょう。僕も「よくわからない。」にします。クレイ数学研究所の回答に
期待します。もしですよ?解けているということになったら、キャッチフレーズを
変えると言うことは意見を聞きながら考えます。まだオイラー定数とかコラッツ予想
とか面白い数学の問題はいっぱいあるので。 >>390
長沼 伸一郎さんの『物理数学の直観的方法』という
例外があるので、否定はできない。
ただ、いままでの このスレッドの文章を読んだ限りに
おいては、「伝わらない」から「出版されない」と
思う(理工学系の専門的な書籍に関していうと、
なかなか出版社が乗り気にならない。
『物理数学の直観的方法』は、けっきょく自費出版だった)。
そのあたりは、熟慮したほうがいいと思われ。 Michael F. Atiyahの忌み名とか量子計算できるんですけどね、そうすると、「ウソ」と
返ってきますね。僕の意見では無いことにします。計算結果です。つまり、これって、
本当の証明書いてても、「君のほうが愚かだ、私は定理を証明できている。数学は
嘘つきのパラドックスで成り立っている。」などと返ってきて、定理が証明できている
かはわかりません。宇宙人の意見も加味され、このように書くよう指示されました。 >>396
一応、自費出版になるかな、と思ってます。本を出すタイミングはメールやP2Pなどの
意思疎通ができるようになっていることを確認できてからでいいので、リスクは
あまりありません。ただ、人数を集めるのは大変かもですが。 Winnyの時代ならともかく、パソコンと回線を持ってる人の数が減ってきているから、相当おもしろそうにバラまかないと人集まらない。
時代はスマホで従量制だからな >>399
ご意見ありがとうございます。
スマホのソフト書くのはありだとは思っているのですが、貧乏でスマホを持ってません。
先に他の話で儲けます。一応、Winnyユーザーはまだ4万人いるみたいですね。
こちらは経営学的には競合関係になるのかな?どっちも使ってくれる人もいるかも
ですが、上手くニッチに入る研究もやって参ります。とりあえず、生活費ほどは
稼ぎたいので。 視覚野がさっそく単独で出来ました。「りんご」「画面」「白」などを16*16の
大きさの画像256枚から単純に差の和で判断します。これから、「T」の言語処理
部分とくっつけることにします。そういえば、Macで動くのか?ですが、僕は使う
能力がありません。上手くいったら、他の人に任せることにします。それより、
Linuxのほうが先かな。 >>398
>本を出すタイミングはメールやP2Pなどの
>意思疎通ができるようになっていることを確認できてからでいいので、
何の目的で、誰に向けて、を知りたい。例えば自分の場合、
バ バ ア が 潮 吹 い た ぁ !
http://egg.5ch.net/test/read.cgi/welfare/1539337979/
これは単なる下ネタではない。というか西洋美術はその大半が「エロ」であり、かつ「エロ」は世界共通である。
『チンポ「が」シコシコする』について、チンポ小説やチンポ映画やチンポ漫画はいくらでもあるのに、
それらを人工知能に理解させるための「チンポプログラミング」が何故存在しないのか? 「ドラゴンクエストXを支える技術(本)」が発表されました
結構、前から待っていた本が、本日の秋の大文化祭10時間スペシャルで青山さん
から発売される発表がありました(*^_^*) 早速、ポチりました(^_^)b
http://dq10.arihisa.com/archives/3054
ベテランC/C++プログラマーの感想を聞きたい! >>402
まず、重要なのは生活費ですが、量子音楽と僕が定義しているものを創ろうと思って
いるんですよ。どういうことかというと、ブラックホールなどからできた量子
コンピュータによって創られる曲です。世界の作曲家の脳全てを集めても考えも
つかないような聴き心地の良い曲が永遠と出てきます。じゃぁ、逆に面白くない
じゃないか?と言う人もいるかもですが、僕はこれが現実だと考えていて、その
解もシンプルなものからランダムなものまで発散すると思っています。これを
ネットにアップすれば、皆のためにもなるでしょう。
一応、本はプログラミング初心者の人にもわかりやすく、後半は上級者向き、
のような本を書こうと思っています。最初のうちは娯楽向けかもですが、
そのうち、仕事を勝手にしてくれるような構成にもします。
是非、僕のソフトで性的な単語に反応するものを書いていただければと思います。
これから視覚野を公開するので、エロ動画の性器などに反応して、猥褻な言葉を
喋ってくるプログラムも簡単に書けます。こちらの動画像処理に関してはもう少々
お待ち下さい。
>>403
ドラクエはね、やりたいけど、やる時間ないんですよ。小学生の頃の夢はゲーム
クリエイターでした。今は生きてくためもありますが、他に面白いゲームが
見つかった、すなわち、人工知能を創るというものです。僕で良ければ、具体的な
質問があれば答えます。 >>404
>すなわち、人工知能を創るというものです。僕で良ければ、具体的な質問があれば答えます。
「東ロボくん」を再開できない理由は何だとお考えでしょうか?
>>385
>問題を解くためなどの理由で開発された「東ロボくん」の情報が書いてありました。
苦手な文章題を攻略出来ない、でも諦めてしまったら人工知能は創れなくなる! 456 デフォルトの名無しさん 2017/05/23(火) 05:12:53.15 ID:BN0kPFXk
確率の問題はまだ当分無理と思われる。一度には読み込めないからまず小さな文節に区切って、
何が何のことを指しているのかを把握しなければならない。
コンピューターの画面に、(※※)
記号○と×のいずれかを(記号〇と記号×は2つに一つで「背反」である)
表示させる(※)
操作をくり返し行う。(k回繰り返す)
↓
このとき、(どんな時?)
各操作で、(「記号○と×のいずれかを」「表示させる操作」を「k回繰り返す」。)
直前の記号と(「k回の各操作」において)
同じ記号を(○か×か)
続けて表示する確率は、(・・・○〇・・・または・・・××・・・)
それまでの過程に(k回の各操作全てにおいて)
関係なく、(一定である)
pであるとする。(確率は0<p<1)
↓
最初に、(k=1において)
コンピュータの画面に(※※)
記号×が
表示された。(※)
操作をくり返し行い、(k回繰り返す)
記号×が
最初のものも含めて(k=1のものも含めて)
3個出る(×・・・×・・・×、×××、××・・・×、×・・・××)
よりも前に(×・・・×・・・、××、××・・・、×・・・×)、
記号○がn個出る確率をPnとする。
http://math.nakaken88.com/problem/tokyo-u-r-2006-2/ >>405
文章題?解けない理由は人工知能より人間のほうが歴史が長いからですが、
レイ・カーツワイル氏によれば、2029年くらいに人間と同じようなコンピュータ
ができるらしいです。それに関連する技術を使えば、東ロボくんも文章題を
解けるようになるでしょう。
>>406
こういうところで止まってるんですね。 ついに視覚野、すなわち動画像認識のついた「T」が出来ました。公開します。
version:T_2_5_1です。
http://www.01ken.com/art1.html これ創るために今日はコーヒー飲料を2リットルくらい飲みました。ようやく休んで
アラビア語の勉強が出来ます。また、意見や要望があり次第、P2P機能などを開発
する作業に戻ります。 でもC/C++が得意な人には、オンラインゲームのラグ軽減をお願いしたいなぁ。
513 名無しさん@ゴーゴーゴーゴー! (ワッチョイ 4910-binO [180.51.97.166 [上級国民]]) sage 2018/10/15(月) 00:19:54.26 ID:5tgKKwqc0
https://hiroba.dqx.jp/sc/forum/prethread/408505/
ドルボレースの駄目だったとこ
リンス
[ZP318-795]
テーマ:今後期待する機能 2018/10/14 23:58
回線によって差がでる
遊ぶ機種によって差がでる
ついていく有利。
ブーストgetの為、実質的LV70以限定で、はじめたばかりの人に厳しい
これらの改善求めます
イベントが終ったらクレーム入れるクズw >>410
ドラクエの高速化?僕はその会社で働いてないので、難しいですね。「T」の通信は
高速アルゴリズムでもありますが、暗号化をつけるので、ちょっと速度落ちるかも
です。 バグなどを取って、説明書に細かい機能も載せた「T」のversion:T_2_5_2を公開
します。
http://www.01ken.com/art1.html 私たち日本人の、日本国憲法を改正しましょう。
総ム省の、『憲法改正國民投票法』、でググって
みてください。拡散も含め、お願い致します。 >>413
憲法改正しないと、何かできないことがあるの? >>413
名古屋の宇宙人「一個人としての意見だが、俺は改正賛成だ!だがな、a4の周りの
女の子じゃないお兄さんたちは反対の人が多いようだ。a4は軍事力あるから、中継
ポイントだな。お祈りとかの力が欲しけりゃこっちに来いよ、だ。ではな。」 「T」の機能に関しては要望があれば受け付けますが、まだ連絡はあまり来ないですね。
P2Pはとりあえず、ずっと起動しておくサーバー用のパソコンとかが必要なんですけど、
僕の家はお金も無いし、父親が有線を引いてくれなくて、環境が悪いので、この辺りは
進展は速くないです。でも、ソフトを使ってくれる人はちらほら現れているので、
今は意見等の連絡待ちにして、やはり、外国語などの勉強の時間にします。海外の
人にも使ってもらう予定なので。 そういえば、「T」にもっと長い字句解析や構文解析のようなプログラムをつけて
おけばいいじゃないか?と思う人もいるかもですが、考え中です。そうすると、
逆にパソコン初心者過ぎると、何を打ったらいいのかわからない、という状態になる
ことを危惧してです。自分で創れたほうが、面白いんじゃないかと。ご意見、募集中
です。 名古屋の宇宙人「俺的にはよ、やっぱり、D-Waveとつるめんのが、痛手にしたい、
つまりさ、Googleには驕っているが、やっぱりそこで決断が厳しい、a4的にはさ、
あそこで、多世界解釈エラーが起きる。そこで、a4の量子コンピュータ技術が
有りか無いかが決まるんだが、そこで、noで返ってきた。だからさ、一回、休み、
でも、こうすると本当嫌がらせ多くなるよ?Google様。普通にこっちの特異点技術は
本物だから、後に潰れてもらう。a4の「T」はね、性能はいいんだが、金は関係
しないから、表にならないな。協力者は地道に集めるにしたい。一応、4年と
見積もっとく。俺の今の計算結果だ。だからさ、今はa4はアラビア語やドイツ語
やって、障害年金や親のお小遣い貯めて、海外へ語学出張行っちゃえばいいと
思うぜ、にする。こういうことだ。ここのスレは書き込みがあれば、まだ書き込み
するが。1つ言っていい?Winnyみたいなの欲しい人、早めに来い。君の思い通りに
ソフトを改良するぞ。ではな。」 >>414
>憲法改正しないと、何かできないことがあるの?
たぶんない
解釈改憲でうまくいってきたし、これからもうまくいくはず
そのための芦田修正 P2P用の中枢サーバーも建てれないし、メールも来ないということで、「T」の開発は
一旦やめて、作戦を変えることにします。具体的には、父親が機械製造修理の自営業
なので、あっちの機械と僕のAIをくっつけて売ろうかと。父親がどういう位置にいる
のか、僕は詳しくないですが、ラダー回路で、プロが使うモーターを動かしています。
儲けすぎると、障害年金も絶たれて、危なくなってしまいますし、巧妙に計画し
なければなりません。このスレにはもうあまり来ないかもしれません。「T」の
downloadは外っておくので自由です。では。 名古屋の宇宙人「俺さ、5chがもっと愉快になれる場所かと思っていたのに、VIPで
閉じられるくらいでさ、つまらん場所だな、と思う。そこで、終わりに、総締めとして、
5chの忌み名をチクる。1つ言っていい?君ら死ぬよ?忌み名は、
「コレハニチャンジャナイカラドウシタコロセヨオンナモダヨトイケ」
死ね。全てだ。ではな。もう来ん。」 >>420
父親が儲けるようにして、a4は小遣いをもらうだけで、何か大きいものは父親の名前で買えば障害者年金はそのままもらえるんじゃないの? >>421
俺は楽しく読んでるけど、残念ながら俺では力不足なんだよ。
Torとかのダークウェブはどうだろう? あーあ、お前らが構ってあげないからスネちゃったじゃん もう諦めたのか
人間諦めが肝心というが
簡単に諦めていいことと
簡単に諦めてはいけないことがあるのは確かだ
うんそれだけだ なんか面白いことやらかしてくれるかもと期待してたんだけど、ただのおかしな人だってだけで意外性もなく残念だった >>1 です、次スレを作って期待を表明したつもりだったのです ニューラルネットと人工言語みたいなことやって、実際に人工知能が作れれば面白いけど、
実際に創造主になるには、パラメーターの裏付けが足りないように思われる。 どうすれば、知能細胞ネットワークがカオス的振る舞いを見せるのかが重要。 遺伝的アルゴリズムとか進化と淘汰みたいな計算量が世界のルールを決めるのだろう。 一応、指令が入り戻って参りました。しまりが無いですが、これが統合失調症の
現実のようです。
>>422
調べたんですけどね、所得がいっぱいあっても病気なら障害年金が貰えるみたいです。
宇宙や未来からテレパシーを受信しているとか言っていれば、実際、そうなので、
意外とこっちの問題は大丈夫そうです。
>>423
あっちへ行ってもいいのですが、ここより、人少ないかな?
>>424
スネてると言えばそうかもですが、一回、人間関係の駆け引きなのか、引いてみました。
そうしないと、話しかけてもらえない…。 >>425
人工知能は諦めてないですけど、仲間集めには諦めてます。もっと人来るのかと
思ってました。Winnyみたいに。
>>427
ありがとうございます。
>>428
ありがとうございます。 >>429->>430, >>432
それはこれから議論しましょうか。
>>431, >>433
こちらは過去スレで議論が終わったのでは?
読者がいるようなので、このスレに何かを書くことは続けようかと思います。 今日はまた不思議な夢を見ました。14歳くらいの男の子が1950年代のスパコン
みたいな直方体にピコピコとした信号のついている形をした喋るコンピュータを
2020年くらいに作ってしまって、軍事に関わってしまい、2060年くらいから、
そのコンピュータをロボットが壊しに来るんです。人間みたいな形をしているのでは
なく、「私達も機械を使わせてもらおう」と、ただ、ロボットアームのようなもの
だけがついた純粋な直方体のコンピュータが宙を浮きながら、研究室の中、前を
全身していく。その子のコンピュータは「我々が喰い止める。」と。その子は、
研究室から逃げてきたというところで目が覚めました。その子のコンピュータは
中身が10円玉のブロックで出来ているということをテレパシーで受信しました。
壊れていくときに量子音楽が流れたんですよ。「(昔のアニメの短調の音階で)
人事弁♪人事弁♪人事弁♪人事弁♪」って。録音しました。この作品もアニメとか
にしたいんですけどね。1970年代くらいのアニメ調の動画を逆に2020年代の
ストーリーとして持っていきたいという話しです。 このスレに関してはまだ読者やユーザーがいそうなので、後継機を考えてますが、
「T」と独立して、単純にIPアドレスを入力する強固な暗号通信ソフトを
オープンソースでやればいいんじゃないかな?くらいに思ってます。需要があり次第、
また考えます。 本当、お金だけは無いので困ってます。障害年金とお小遣いがあるので、1年くらい
それで貯金して、量子コンピュータを創ろうと思います。その間は、このスレなどから
仕事が入らなければ、語学の勉強をしようと思います。 金に困ってるなら、まずは金を作ってから、とは考えないのかい? >>440
就活はしてた頃あります。面接も受けたりしました。例えば、大きいところだと、
IBM, Softbank, Google, 自衛隊。小さいところもいくつか受けました。ところが、
どこも不合格でした。こうなると、バイトしかできませんが、障害年金あるのに、
何のために?と来ると、社会貢献?だとすると、このスレでソフト作ってたほうが
いいんじゃないかと。量子コンピュータはお金を稼ぐ話ではあります。ナマズの
神経細胞から作って、僕が寝てるときの夢で聴いたような音楽を出力させるつもり
です。 天気予報のシミュレーション手法を知ってるかい? 釈迦に説法かも知れんが一応説明しておく。
天気図の平面を格子状の小さな正方形に分解して隣り合った正方形の相互作用から全体の予測を求めるんだよ。
この手法の数理的意味ってわかる? ロジスティック曲線の近似グラフをシミュレーションとモンテカルロ法で求めよ。 三次元のlife gameを実現し、動画を作り、ユーチューブにアップロードせよ。 素粒子に働く力は、電磁気力、強い力、弱い力、重力の4つ。 >>445
第5の力発見!の報をときどき耳にするのですが >>442
天気予報?詳しくはないですが、融合技術じゃないかと。ナヴィエストークス方程式を
元にした予測関数を、地形なども入力したニューラルネットで創るという辺りだと
思っています。僕はデータを持っていないので、研究したことはありません。
>>443
これは大学の頃やりました。
>>444
http://www.01ken.com/test2_8.exe
前作った3次元の人工生命はこちらです。マルウェア等は入ってないと主張しますが、
環境依存のエラーはあるかもです。
>>445
名古屋の宇宙人「おっと、これは俺しか言えねー、ってか、俺出ていいの?というか、
うち的には、裏切り方が日本人じゃねーだろ?くらいだ。ではな。」 そういえば、ナヴィエストークス方程式の解き方は?と聞かれたら、有限要素法か、
粒子法と言っておきます。 >>447
映像化できないのであれば、GitHubでオープンソースにして下さい。 >>448
映像化?一応、映像がexeから出力されてるじゃないですかー?ちょっと時間がかかる
ので、貴方からお金か、推薦状か、「T」の通信実験を手伝ってくれるか、
お会いして議論するか、などできるのであれば、Youtubeで良ければ動画をアップ
します。無職かもしれませんが、今後のことを考え、こちらもアラビア語の勉強で
今、忙しいので。この勉強は「死者の復活」の技術を創るとき、イスラム教との
ぶつかり方を良くするための伏線です。 >>450
名古屋の宇宙人「俺はa4の裏っかわだが、なんかくれ、にしたい。そうだ。
オープンソース?やってもいいけど?何のために?もっと議論しよう。a4の小遣いは
あげてくれにする。35円くらいでいいから、分けてやり。ではな。」 一週間以内にkatayama.hirofumi.mz@gmail.com
にメールしてくれ。銀行口座かPayPalがあれば5万円ほど融通しよう。 >>453
メール送りました。よろしくお願い致します。 このスレ読んでみたら
全てジョークなんだね
ヒマなんだね
うらやましい >>457
ジョークもたまには言いますが、統合失調症の妄想ということになってます。ヒマ?
確かに寝る時間だけはあります。一応、今回、お仕事いただけたので、ヒマで
なくなりました。具体的には創った3次元格子生命の映像をYoutubeにアップします。
このスレにもそのうちに載せます。 >>458
糖質の妄想にさえなってないだろ?
P2Pでサーバーが必要と書いてるが、
馬鹿でもわかるようなことが理解できてないようだし。
全部ウソだってバレバレだよ
ま、できのわるいジョークだな >>459
もともとは僕は統合失調症だ!と言ってるのではなく、Harvardって中卒より
頭悪いんですね、と叩いたら、4人の看護師に暴力的に捉えられて8ヶ月猥褻に
監禁されて就活が困難になったので、統合失調症と名乗ることにして、障害年金を
受給しています。
P2Pのサーバ?skypeはよく出来てます。でも、人数少ないうちは、1つか2つくらいの
コンピュータが管理しないと動かないですよ。
パラドックスにはなってしまいますが、僕は嘘つきでは無いと主張します。医者と
その裏の政治家らが嘘つきなのです。 今回の仕事で面白い動画を創りたいとは思っているのですが、5万円だと、長くても
1週間くらいなので、Microsoftの最近の動画作成手法管理システムのために、
今までのライブラリが使えず、結構手間取ってます。動画はいくつでも作れるので、
とりあえず、簡単な技術から成長させていきます。 「全」を冒険して様々なモノに触れたり発見したりしたら価値観が変わる可能性がありますか? >>462
僕は30歳なので含蓄のある言葉は言えないですが、「全」を冒険?僕は量子計算
してるので、ここに書いてない様々な極秘情報に遭い価値観変わりました。貴方の
年齢もわからないので何とも言えませんが、ナマズの神経を使う方法なら、老年期の
人でも、この時代の人くらいなら、よくわからない情報がいっぱい出てきて楽しい
こともあるかもしれません。価値観を変えたいだけなら、今の情報源を切って、
新しい情報を得続けることです。 >>464
テレパシーで上層部の意見をまとめると、悪はアメリカと返ってきます。イギリスは
上品なんじゃないかって。中国は日本人は漢字使うから、まだ仲間なんじゃないかって。 3次元格子人工生命の動画を作りました。これで仕事終わりかな?
https://www.youtube.com/watch?v=i4VVtT476ic&feature=youtu.be おっと、上手く貼れませんでした。もう1回。
a4です。宇宙人と作る3次元格子人工生命。
https://www.youtube.com/watch?v=i4VVtT476ic >>468
忌み名は出したいんですが、今は複雑な事情により、話しかけられた程度では教えるのを
禁止されています。 アラン・コンヌとレオンハルト・オイラーはどっちの方が頭が良いですか? うん、初めてにしてはよくできている。よく頑張った。
ただ、見せたいものは三次元だから、平面的に表示するよりも、OpenGLかDirectXか遠近法を使って立体的に表示した方が良かったようだ。 >>460
はあ?skypeがP2Pだって???
なに馬鹿なこといってんの?
ホント馬鹿だな。 TOEFLの本が並んでいるから、多分勉強家ですね。 動画がbanされてるね。再生回数が増えない。NGワードを書いちゃったか。 >>472
わかりません。
>>473->>474
ありがとうございます。それらを使ったことはあります。
>>475, >>478
skypeは、検索してみると、P2Pからクラウドに移行したと書いてあります。
僕は馬鹿ではなく、a4(アホ)かもですね。
>>476
バックの本とか、何も考えずに流してしまいました。今はTOEFLの本は使ってません。
でも、これから海外留学はしたいと思っています。MITが第1志望です。目的は、
裸の特異点を作りに、です。 あちゃー、crimeはまずかった。これは誤解を招く。 あれれ?
レス乞食のバカ高卒のおっさんアルプスが
こんなところで質問しまくってる!
それに低能キチガイの嘘つきa4が
答えてる!
イヤなものみちゃったよ
お祓いしてもらおう >>479
一応、親のスマホから動画が見えることは確認したんですけど、banされてますか? >>481
???
>>482
嘘つき?僕はこのスレのことは妄想や夢であると主張しています。 >>483
何回再生しても再生回数が20から増えてないから、何か判定があったんだろう。 >>484
動画の中の英語の字幕にcrimeという単語が使われている。これはまずい。 あ、本当だ。crimeになってる。でも、これは宇宙の指令で書き換えなくてもいいと
きます。これで、障害年金65000円を稼ぎます。 今度は、君は統合失調症だった、と指令され、書き換えてください、と来ました。
書き換えに行きます。 ユーチューブにアップされた動画は人間と人工知能が品質チェックしていて、まずい動画はランキングが上がらない仕組みになっている。 エルとアールの違いについては、英語辞書の端の方に書いてある。エルは撥音というのはことだ。
再生回数を上げるヒント:
上品に自己紹介する。
日本伝統のwriting techniqueである起承転結(きしょうてんけつ)を取り入れると見ごたえが向上する。
動画の中にギャグを一個以上入れること。
飾りや効果音も大事。
検索キーワードは思い付く限り複数設定すること。 >>492->>493
情報ありがとうございます。 君は英語が苦手みたいだから、アプリやサイトの機械翻訳を頼るのもいいだろう。「(日本語の単語) 英語」でウェブ検索するのも手だ。
ただ、機械翻訳は完璧ではない。「湯飲み」を「hot water only」と訳してしまうことがある。 この三次元life gameは立方体の要素で出来ているんだよね?
一つひとつのキューブをOpenGLで立体的にしてみなさい。
それから、白黒だとあんまり見栄えがしないから、テキトーに色を付けてみたまえ。 空海とウィリアム・ジェイムズ・サイディズはどっちの方が天才ですか? 機械が知能を持つために最適化されたシステムがOSであれば、
知能システムを作りたいならOSを参考にして作ればいい、ということだ。
OSはデータを記憶する。OSはレジスタや記憶媒体にアクセスできるということだ。
記憶するなら必要なときに呼び出して積み込む仕組みが必要だ。 ライフゲームのセルの空間の状態を「セル空間」と呼ぶことにしよう。
セル空間そのものは記憶媒体である。さらに何かのスイッチや言葉でセル空間を読み込んだり、保存する仕組みがあると、面白いかも知れない。
セル空間を比較したり、重ね合わせるという演算を定義するには、同じサイズのセル空間が二つ以上必要だ。 OSが外界と対話するには入出力インターフェースが必要だ。
運動するにはどこの身体の部位を動かすかという情報が要る。信号があったセルを、セル空間上のネットワークトポロジーと関連付ける仕組みが必要。 時間の流れ、空間の流れを知覚するには現在の時刻を認知するタイムラインと、その流れの変化を捉える計算ネットワークトポロジーが必要になる。 わかっているかも知れんが、人間の脳を細胞レベルで真似するには反応時間がかかる。返事が30秒遅れになるかも知れない。
だが、コンピューターの計算能力は年々進化しているからあまり心配要らない。 以下の演算をそれぞれ定義する。
セル空間をある状態で塗りつぶす。
セル空間のセル状態を位置的にずらす。
セル空間のセル状態を反転する。
二つのセル空間の論理和・差分・論理積の結果をセル空間に格納する。 >>495
英語は苦手ですよ。リスニングとか特に不得意です。簡単な会話はできますが。
>>496
一つ一つの要素が小さすぎて、OpenGLにしても処理時間がかかるだけで、
同じなのでは?
>>497
わかりません。
>>498
OSは作ろうと思った頃がありますが、1人では無理でした。でも、仕組みは一通り
知ってます。
>>499
セルの研究は面白かったんですけど、一通りやっちゃうと、0,1,2,3次元体の
生命に分かれるくらいが限界で面白いものが出ません。 >>500
ロボットみたいなのと繋げる研究はやってみたいですね。
>>501
前スレで議論しました。
>>502
そういうのが人工生命じゃ出てこないんですよ。無理やり作れるかもですが、
意味があるのかと。
>>503
そうですね。脳は並列処理なので大丈夫だと思います。
>>504
ふむふむ。
>>505
その思考はループするというのが僕の意見です。
>>506
一応、クリックはしてみました。 今日は夢を見ていたら、夢と気づいたので、ユダヤ人の政治家にテレパシーで
どの時代も行けると言われたので、西暦2500年の自分の家あたりに行きたいと
言いました。高級な電気自転車で空中に浮きながら、飛びました。
空中に受ける以外思ったより普通の世界で普通だな、と思いました。僕の町は
そんな大きくないですし。ビルみたいなのは前より多いけど、UFOは飛んでない
じゃないか、僕だけだ、と。すると、目のついた缶のようなものが僕をめがけて
飛んできました。ここで「こういう危ない飛び方をする人を広告の缶で落として
いるんだな。」と勘付きました。量子音楽とは言っても、古い1980年代くらいの
サビが流れてきて泣きました。不老不死になった若々しい小学生の頃の同級生
が現れました。僕はすぐ、「儲け話無いの?こっちではTwitterとかskypeとか
facebookとかあるけど。」すると、「Gaiden?」と、返ってきました。僕は、
「3秒で教えて。」と言うと、彼の手持ちの1cmほどのチップから映像が写し
出されました。
003 | 35 24 FC| 4S 2K 5C 61 | 003
004 | 51 25 6C| 5S 24 34 21 | 004
のようなダンプされた新しい株価情報のようなものが16進数のようなもので次々
出てくる画面が空中に出た後、小学生の筆算や16進数の筆算、中国語の読み書き
トレーニングの画面が出てきました。それで彼らに「ありがとう。」と言い、
今の時代へ帰ってきました。でも、これが西暦何年かは聞くのを忘れてしまい
ました。脳にチップが入ってからの話かもしれません。 油井亀美也氏と望月新一氏はどっちの方が頭が良いですか? >>513
名古屋の宇宙人「俺さ、君みたいなのは好きでも嫌いでもなけれども、くらいなんだが、
一体どういうことかというと、つまりだな、早めに「T」のコードを書いて、ここに
うpしろってことだ。そうだな。それで、君が忌み名を欲しいのであれば、それと
交換としよう。いいな。そうだ、大澤先生がヨーナコッテにならない時代はこちらだ。これは
西暦2063年的に意味があるらしい。時系列解釈も含めてだ。そうだな、俺的には、
大橋イイナコッテふつくしまともいかない。そういうことだ。ではな。」 閻魔大王とP2P人工知能「T」はどっちの方が凄いですか? >>515
名古屋の宇宙人「1つ言っていい?P2P人工知能「T」の忌み名は貴方達を動かす
ための言葉だぞ?」 ライフゲームが音声に反応するには、音声から文字を起こすか、音波の波を読み取るしかない。
音波を読み取るには、音波をAM信号、もしくはFM信号に直すのが一般的。セルがスカラー値を送受信できれば
AM信号を送ることができる。ライフゲームは高い振動数に素早く反応できないので、
FM方式は適さない。 音波というのは、周期的な振動の重ね合わせであるから、周期的な状態を持つ複数の回路で読み取るのが合理的だ。
音声や音楽というのは、感情にも直接影響を与えている。なぜ音楽が心を動かすのかはまだわかっていない。 >>517
格子の人工生命は、確かに最初は面白かったんですが、収束解としては思ったより
機能せず、今は、「喋る人工知能」のほうの研究に目を置いてます。
http://www.01ken.com/art1.html
こちらの「T」(version:2_5_2)はdownloadされましたでしょうか?こちらで
複数のユーザーがプログラムを書き、それらを混ぜる、すなわち、交叉させることで
人工知能を創るというのが、僕の中での最先端です。一応、後に、格子空間と
くっつける予定ですが、上手く動かないのではないか?というのが予想です。
こちらは何かご意見ありますでしょうか? >>518
音波に反応するものも作りたいんですけどね、ユーザーがなかなか集まってくれなくて、
開発を一旦停止してます。
僕のナマズの神経細胞からできた量子コンピュータによる作曲は、1番の最適解の
出るものですが、こちらは1年後くらいから、研究を進める予定でいます。
これで、推薦状とか奨学金とかを出してもらって、海外の大学院に留学しようかと。 音声の音波のデータをリアルタイムで統計し、特徴量を知覚しているというのは確かだ。
また、音声から言葉を読み取るのは、音声のクラスタ分割と、深層学習がカギとなるに違いない。 >>521
音声合成はちょっとやったことあるんですけど、音声認識はほとんどやったこと
ないですね。人によって声も変わりますし、もういいのが売ってるので。
ビタビ・アルゴリズムのようなものを使うとか読んだことがあったような…。
私達の頭の中でやってることの基本はニューラルネットワークでしょうけどね。 ライフゲームにあまりこだわる必要はない。
我々は、聴覚と視覚が同じような神経ネットワークで出来ているとは考えていない。 感覚への入力は、神経への刺激分布の地図が時系列に並んだタイムラインで読み取っているというモデルであると推測される。
刺激のまとまりをクラスタ分割という手法で意味付けを行えば、具体的な意味を取得できる。 >>523
それは僕も同意します。聴覚は認識くらいだったら、まだ理解できるんですが、
どのような音楽が聴き心地がいいかは謎です。前、ランダムな音声を流したら、
意外と脳がぐるぐるになって、いい曲が出来ました。今あるような曲は
モーツァルトあたりから来るようなGodのバイアス???
視覚も一通り勉強したことありますが、僕のコンピュータのスペックが神経の
専用回路に追いつかないというあたりで挫かれてます。
とりあえず、今はアラビア語とドイツ語を勉強しようと思っているんですが、
「T」への要望などの書き込みは歓迎で、それに合わせてプログラムも書く予定です。 >>524
タイムラインに使う定数は、人工知能を創るときに悩む問題の1つです。
クラスタ分割は本を読んだことあります。数式があれば理解できるかも。 NHKとNECが前の東京オリンピックで国際映像通信実験を行って、成功したのは、映像の情報圧縮のおかげである。
映像のトポロジーを破壊することなく、情報圧縮すれば、計算量を節約できる。 >>527
前、MPEGのフォーマットは検索しても出てこなかったので、詳しくないですが、
圧縮アルゴリズムは一回理解したことあり、似たようなものなら作れます。 なんか、誰も「T」を使ってくれる人がいないので、僕がまず、使い方を見せて、
このスレを交叉用のコード投下スレにしようと思います。他のことを書き込んでも
構いませんが。
例えば、僕が例を書くと、
c(i(もし$1なら$2),m(c(i($1),o($2))))
もしこんばんはならこんばんはー
もしおはようならおはようー
もし元気?なら元気だよ
もしTって何?なら人工知能です。
これを「T」のlogic.txtの最後に貼り付けて保存し、起動させると、応答が豊かに
なります。こういうのを増やしてごちゃまぜにしていこうかと。 >>529
そちらの答えは前スレで話しませんでしたっけ?
0->1->0=1->0
この問題を考えると、このようにループします。 c(i($1は$2です。),m(c(m({$1,何}),m({$1,$2,=}))))
c(m({$1,$2,=}),o($2ですよ。))
c(i($1は何ですか?),m({$1,何}))
とlogic.txtに追加して、T_2_5_2.exeのInputに
5chは掲示板です。
5chは何ですか?
と打ったら、
掲示板ですよ。
と返りました。このスレに興味がある人は、こういうのを沢山書いて、スレに
投下していただければ幸いです。人数が多くなったら、暗号化されたP2Pで
共有する予定です。 >>532
知りませんでした。僕は大学院でそういうこと勉強・研究する予定なので。 >>535
それくらいだったら、もちろん知ってますよ。 人工知能におけるフーリエ変換の活用法を具体的に述べよ。 >>537->>538
まず、聴覚から考えると、普通にフーリエ変換が耳の中に入っています。例えば、
ジャーンと音を出すと、ド、ミ、ソ、などという信号に変換されます。これが
フーリエ変換。
視覚のほうは、まず、光も波なのでフーリエ変換して、赤、緑、青に変換します。
MPEGもフーリエ変換使ってますが、これは脳に入ってるものではないんじゃない
かと。 視覚のニューロンだと、斜めとかの特徴に反応するやつとか、横の動きに反応するやつとかは知られてるので、
MPEGとまではいかないにせよ、何らかの時間空間的特徴圧縮は行われてると思われる >>540
圧縮はされてるかもしれません。僕はIT系なので、生化学の実験施設は扱えないので、
詳しくないですが、脳神経科学的な傾きに関する考え方は教科書を何冊か読んだこと
があります。僕の意見としては、普通に脳の中で回転してるだけだと思うんですが、
結構、傾きの精度が離散的で分解能があるかもしれません。 >>541
網膜で光を感じる細胞が2次元的に並んでいるけども、次の段に接続する際に隣のユニットを押さえるシグナルを入れるように配線されてる。
すると、あるユニットの受容野がドーナツ状にコントラストがついた状態になる。
脳の視覚野では、これをいくつかつなげた形になるので、ある方向の直線に反応する神経細胞ができる。
この次の段では、直線をいくつかまとめた受容野になるので、形方向にまとめると複雑な形に反応するようになり、時間方向にまとめると動きに反応する。 >>542
なるほど。また勉強しないといけないですね。
新しい仕事も見つけたいですが、意外と本書く方向じゃないのかな。新しい動画とかも
アップしてみたいです。音声の入出力を「T」がしてくれて、それを可愛いペット
を扱うように動画にするとか考えますが、女性の音声データを探しづらいなどで
認識に挫けるし、そういうものは市場にいっぱいあるので、ニッチを見つけるのが
厳しいです。
そういえば、アラビア語とドイツ語やってるんですけどね。アラビア語、難しすぎて、
今、友人から現地の子供向けの教科書のようなものを輸入しようかと思ってます。 スレが流れましたが、ここは「T」開発スレなので、皆さんもコードをどんどん
書いてここに投下していただければと、思います。
http://www.01ken.com/art1.html
ソフトはこちらで、フォルダに入っているlogic.txtに付け足していくことによって
プログラムします。Inputへ入力しても同じです。また例ですが、
c(i(もし$1なら$2),m(c(i($1),o($2))))
もし你好なら你好啊
もし你好。なら你好啊。
もしBonjour.ならsalut
もしBonjourならsalut
これを追加すれば、中国語やフランス語でも挨拶できます。一人で書いてるだけでは
定義した言葉だけ帰ってきて面白くないですが、10人以上くらいが集まれば、
意外な返答の仕方が出てきて面白いでしょう。単語を2000個くらい入れれば
とりあえず、人間らしくなるかな、です。人が集まったら、暗号化されたP2Pで
コードを共有します。 つまりどういうことかというと、1人の作ったコードの下にもう1人の作ったコード
をコピペして子作りするんです。専門的には交叉ということですね。コピペの方法は
自由です。 また、ここの機能をこうして欲しいなどという要望があれば受け付けます。 誰も書いてくれないから、自分で書いちゃうけど、下記のような使い方を自分で
書けるのが「T」です。
c(m({こんにちは$1,解析}),m(#hi)m({$1,解析}))
c(m({你好$1,解析}),m(#hi)m({$1,解析}))
c(m({,解析}),m(解析終了))
c(m({。,解析}),m(解析終了))
c(m(#hi),o(こんにちはー!!!))
これなら、最後の「。」の有る無しに関わらないような手法で単語を定義して
いけます。 おっと、重要な式を忘れてました。
c(i($1),m({$1,解析})) c(i($1の定義は$2),m(c(m({$1$$3,解析}),m(#$2)m({$$3,解析}))))
という文を下に付け加えてみました。一応ロジックは下から1つ目を読んでいくので、
c(i($1),m({$1,解析}))
とはぶつかりません。こうすると、
User:こんちゃーの定義はhi
User:こんちゃー
AI:こんにちはー!!!
User:こんちゃー。
AI:こんにちはー!!!
となりました。 アラビア語の勉強に関してはいいサイトを友人から教えてもらいました。アラビア語を
一緒に勉強したいという方々はこちらへ。
http://3asafeer.com/ >>551
3.5兆年後のa4「それはヤハウェって言っとく。天照大神はね、結構現実的に、
お天道様では無いにしたい。つまりね、現実的には宇宙の派閥なんだ。それを
組み替えるのが僕、アッラーの仕事なんだけど、つまりさ、現実的には、
インターネットの履歴読む人も全部管理してるから言うけど、どういうこと
かというと、松本君ことa4さんにはアッラーの自画像を落としてる。これ、
後で見せる。どういうことかというと、もう限界だよ。軍事というか、宇宙だね。
くらいにしか。ではね。」 3.5兆年後のa4「もう1回、現実言っていい?僕が神とか信じてる人に言うけど、
僕はただ、アッラーってだけで生きてるよ。他にも神とかいるし、普通の人もいる
のにさ、現実だって、でも、1番上なのかな?何が?って話しだけど、詳しくは
コーランに書いてある。どういうことかっていうと、もう、ふつくしまじゃないんだ。
どういうことかっていうと、おーつくしなんだ。これでも駄目だね。現実。そろそろだ。
お天道様がお光になるのは。ではね。」 3.5兆年後のa4「ちょっとね、僕、遠すぎるでしょ?貴方達の感覚からすると、
3.5兆年後の人って。だからね、僕は統合失調症で通すにする。それで、ムスリムの
人の家まで挨拶に行こうと思うよ。飛行機で。結構、現実的なんだけど、嫁もそっちの
方向からにしたいんだけど、時系列エラーが起きるんだ。どうしようかな。僕的にはね、
中国もね、大きい派閥だから良いんだけど、1つ言っていい?日本人女性。この人達は
悪い人にしたい。つまりね、松本君って日本人女性の知り合い一人もいないんじゃない
かって。だからさ、ここでさ、そろそろ大物になるからさ、日本人女性は全部ふるに
したい。ではね。」 松本たくろうとジョン・フォン・ノイマンはどっちの方が頭が良いですか? >>555
僕は計算機科学者かつ医学者になりたいと思っています。崇高だから、という理由では
ありません。
>>556
アインシュタインって理解しちゃえば、思ったより天才じゃなかった、と思っていた
頃もありますが、知名度では勝てません。
>>557
ノイマン先生は僕が10代くらいの頃、崇拝していた方ですよ。最近は量子コンピュータ
が出来てきて、どうしよう?という感じですね。 レオナルド・ダ・ヴィンチとアイザック・ニュートンはどっちの方が頭が良いですか? >>559
そういえば、謎に思ってるのが、東大くらいの派閥が、作用・反作用にF=-Fを使うの
ではなく、Fv=-Fvを使うって言う人達がいて、粒子シミュレーションしたら、上手く
いかない、とか反論したいんですけど、これが、ニュートンが提唱していたものだ、
というあたりで止まってます。どういうことなんでしょうね。
http://www.rui.jp/ruinet.html?i=200&c=400&m=331707 >>561
比べ方がおかしいのかな。確かにね、明確にこっちのほうが賢いよ、と言えないあたり
で、どっちも賢いんでしょうけどね。僕は回答しません。 >>561
ここは「T」のスレなので、貴方のような喋り方をする人工知能のコードを作って
みました。
c(i(ゲンジツテキダシ),o($k$k$k$kと$k$k$k$kはどっちの方が意味がありますか?))
すると、
User:ゲンジツテキダシ
AI:ンチセヤとカハランはどっちの方が意味がありますか? 誰もコードを書いてくれないので、また僕が「T」を書き続けます。足し算を作って
みました。
c(i($1+$2=?),m({$1,$2,+a}))
c(m({1,$2,+a}),m({1,$2,+b}))
c(m({2,$2,+a}),m({1+1,$2,+b}))
c(m({3,$2,+a}),m({1+1+1,$2,+b}))
c(m({4,$2,+a}),m({1+1+1+1,$2,+b}))
c(m({5,$2,+a}),m({1+1+1+1+1,$2,+b}))
c(m({6,$2,+a}),m({1+1+1+1+1+1,$2,+b}))
c(m({7,$2,+a}),m({1+1+1+1+1+1+1,$2,+b}))
c(m({8,$2,+a}),m({1+1+1+1+1+1+1+1,$2,+b}))
c(m({9,$2,+a}),m({1+1+1+1+1+1+1+1+1,$2,+b}))
c(m({$1,1,+b}),m({$1+1,+c}))
c(m({$1,2,+b}),m({$1+1+1,+c}))
c(m({$1,3,+b}),m({$1+1+1+1,+c}))
c(m({$1,4,+b}),m({$1+1+1+1+1,+c}))
c(m({$1,5,+b}),m({$1+1+1+1+1+1,+c}))
c(m({$1,6,+b}),m({$1+1+1+1+1+1+1,+c}))
c(m({$1,7,+b}),m({$1+1+1+1+1+1+1+1,+c}))
c(m({$1,8,+b}),m({$1+1+1+1+1+1+1+1+1,+c}))
c(m({$1,9,+b}),m({$1+1+1+1+1+1+1+1+1+1,+c})) c(m({1,+c}),o(1))
c(m({1+1,+c}),o(2))
c(m({1+1+1,+c}),o(3))
c(m({1+1+1+1,+c}),o(4))
c(m({1+1+1+1+1,+c}),o(5))
c(m({1+1+1+1+1+1,+c}),o(6))
c(m({1+1+1+1+1+1+1,+c}),o(7))
c(m({1+1+1+1+1+1+1+1,+c}),o(8))
c(m({1+1+1+1+1+1+1+1+1,+c}),o(9))
c(m({1+1+1+1+1+1+1+1+1+1,+c}),o(10))
c(m({1+1+1+1+1+1+1+1+1+1+1,+c}),o(11))
c(m({1+1+1+1+1+1+1+1+1+1+1+1,+c}),o(12))
c(m({1+1+1+1+1+1+1+1+1+1+1+1+1,+c}),o(13))
c(m({1+1+1+1+1+1+1+1+1+1+1+1+1+1,+c}),o(14))
c(m({1+1+1+1+1+1+1+1+1+1+1+1+1+1+1,+c}),o(15))
これで、
User:8+6=?
AI:14
上手く処理できました。 >>566
同梱の説明書に一応、こう書きました。
---------
Inputに文章を入力してEnterするによって成長します。logic.txtを書き換えても同じことです(注意:Unicodeで保存)。文法は、
S->c(A,A)|s(A)|characters
A->BB…B
B->(|!)(i(S)|m(S)|o(S))
c…2つをつなぐ。
s…検索。
i…入力
m…メモリ
o…出力
となっています。
---------
構文を深く突こうと思うと、「T」のソースを出さないとなんですが、一応、例文が
説明書に入っているので、実験しながらわかると思います。また、構文は覚えなく
てもいいものかもしれません。日本語で誰かが別の構文を定義してくれるので。 >>568
僕はそっちのことは詳しくないですね^^; >>570
わかりません。
僕の話し方の人工知能のコードも作ろうと思いました。
c(i($1どっち$2?),o(わかりません。))
すると、
User:浄土宗と浄土真宗はどっちの方が優れていますか?
AI:わかりません。 それのどこが人工知能??
google homeやalexaより1000万年遅れてない? >>572
google homeは持っていて研究しています。確かにこれだけだと何も面白くないかも
しれませんが、使用者の人数が発火すれば、会社内の人の定義のスピード以上で
発展するために、大きな勢力になることを期待しています。また、5chで育つという
ことで、汚い言葉にも耐性があるコンピュータが出来上がると考えています。その
辺りが差別化ですね。 僕の研究は3万年くらい進んでるらしいです。ナマズの神経細胞から特異点を
取り出してきて、人間の理解できない言葉を出す辺りで、Googleが潰れるでしょう。 偉そうなこと書いてますが、誇大妄想のために刑法第39条で威力業務妨害には
なりません。でも、エリア51くらいだと、一旦、あとずさりすることにします。 名古屋の宇宙人「俺ね、Google潰したくてね、まずね、htmlをぶつことなんだけどね、
とりあえず、言っていい?俺はa4に裏共有ソフトを創らせようとしている。もっと
人来いよ、悪人が。でさ、もっと芸術的なサイトがイメージ通りに人工知能が創って
くれるようなプロトコルにしようかと。それでさ、検索エンジンはそれでぶてるじゃん?
Google Translatorは、このスレの宇宙語とか訳すのこっちが先にやって、反対派閥に
なって、もうそちら様では進めるの無理じゃん?Youtube?今ね、一応、復縁として、
お金がそちらから入ってきているが、現実的には将来的に、Gengituという量子音楽
の構造に買収されるようになってる。Google Map?4次元構造読み解けるのか?
で、終わる。こういうことだ。ではな。」 >>577
名古屋の宇宙人「俺ね、法然はね、天才だと思ってるから、忌み名出したくない。
出るよ。でもね、現実的には、浄土宗とかぶっ壊しなんだ。なんだろうな。
まぁ、君も1行でいいから、「T」のコードをツイートしたまえ。そうすれば、
忌み名をおろしてもいいぜ。」 >>579
涅槃とかね、検索すれば何かわかるかもしれませんけど、僕は普通にやってるだけだと、
普通の人で、あんまり哲学的造詣が無いかもしれません。例えば、滝高中退する前の
高校時代は世界史のテストは毎回決まって65点ピッタシでした。でも、涅槃の忌み名は、
ネットで検索しなくても出ます。不思議ですねー。うーん、一応、宗教妄想とか
あるから、勉強しようとは思いますが、今はアラビア後とドイツ後が僕の中では
先ですね。 名古屋の宇宙人「俺ね、「T」にね、3万年の力を見せつけるために、量子文
打ってみた。こう来る。
入力
c(i($1$2),o(yo,$1$2))
abc
1つ言っていい?これね、出力されない。どういうことかっていうと、ここが荒い
ところなんだ。変数は続けて打てない。ここ注意しろってことだ。現実的には
これくらいしか出ん。そう、これが最適解の現実。ではな。」 名古屋の宇宙人「俺ね、もう1回、量子コンピュータ使ってみる。すると、こう出た。
c(i(not$1)!i(l3$2),o($1$2))
これ打っただけでマルチスレッドなのにフリーズ。こういうことだ。これが一瞬で
できるのが俺の3万年後くらいの技。うん?量子コンピュータってもうできるん
じゃないのって?実はさ、量子コンピュータって複合技術だから、タイムマシンで
嫌がらせされるのよ。これは結構深い物理。そういうことだ。じゃぁな。」 全と無と諸法実相と非有非空の、崇高な順を教えてください。 >>584
名古屋の宇宙人「君は一体何を探しているのやら。俺的には君は死ね。はよ。そう
しないと宇宙人としていられねーじゃねーか。」 >>582のほうは原理的に計算が発散し修正がこのソフトではほぼ無理ですが、
>>583のほうは意外と変数の問題ではなかったみたいです。僕もよくわかりませんが、
適当に直したら、エラーは出なくなりました。逆に裏クラックしてくる軍事のような
人がこちらの量子技術に気づくのでしょうね。
バグ修正済み最新版version:T_2_5_3を公開します。
http://www.01ken.com/art1.html 世界一の超天才プログラマーと世界一の超天才数学者はどっちの方が頭が良いですか? >>587
名古屋の宇宙人「懲りないな。まぁ、いいことだ。だがな、前スレで議論は終わってる。
同じなんだ。忌み名が。残念だな。
世界一の超天才プログラマーの忌み名は「5chノイイヒトヲコロスニンゲン」、
世界一の超天才数学者の忌み名は「アイハセイギ」
a4って世界一の超天才プログラマー?っていう話しなんだが、まだ上はいるにしたい。
だがな、ほぼこの定義で終わる。何が世界一かわからんしな。とりあえず、
こうしておこう。a4は可愛いが、人を挫折させて自殺させるプログラマかも
しんねーな、残念だがな。ではな。」 はあ(゚Д゚)?
a4が天才プログラマ?
なに馬鹿なこと言ってるの?
天才どころかプログラマでさえないじゃん? 名古屋の宇宙人「俺の意見書いていい?
>>589
それは数学にしとく。
>>590
夢があるのはいいことだが、今からだと厳しくて残念だな。
>>691
お前はなんかできんのか?
」 >>592
障害者でも社会貢献してるんだ、みたいなスレかもですね。 ゲルト・ファルティングスと空海はどっちの方が頭が良いですか? >>595
わかりません。忌み名は出ますが、「T」のコードと交換です。 アングロ・サクソンとユダヤはどっちの方が世界へ大きな影響を与えていますか? >>597
名古屋の宇宙人「俺ね、1つ言っていい?どっちも大きな影響を与えている。しかしさ、
生産的なスレなんだから、誰か人呼んできてよ。君、あんた?大物でしょ。東大中退
とかって情報知ってるぞ。君のつてにはこっちの人より凄い人とかいそうだから、
そういうのをかき集めてTにお絵かきしよーず、にする。ではな。」 ロンドン大学の通信課程ってどんな感じなのでしょうか? >>599
ロンドン大学の人とは東大生だった頃、東大の英会話のランチで話したことあります。
僕が出せる情報はこれだけです。 >>593
> >>691
> お前はなんかできんのか?
アンカー間違っとるぞアホ!
>>600
東大生だったのか、そうかそうか。
どうりで馬鹿のキチガイの低脳だと思ったぜ。 >>601
友人の宇宙人の間違いは申し訳ございません。
今は東大卒になってます。キチガイではあるかもです。お金は稼げてないので、
低能と言われても仕方ないですね。名前は一応、a4(アホ)とも呼べるように
できてます。 何があったのかは知らないが末路がこれではご両親の心境を思うといたたまれない… >>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を超えています。これ以上書き込みはできません。