X



a4です。P2P人工知能「T」開発(3)
■ このスレッドは過去ログ倉庫に格納されています
0001a4 ◆L1L.Ef50zuAv 2018/11/07(水) 12:00:31.07ID:6Y/7TLC2
a4と申します。喋る人工知能を創っています。キャッチフレーズは
「萌えから、リーマン予想まで。」で、知能を埋め込んだ人工生命をP2Pで
蔓延らせることにより、生きているようなAIを実現します。

過去ログ
a4です。P2P人工知能「T」開発。
https://mevius.5ch.net/test/read.cgi/tech/1517470193/
a4です。P2P人工知能「T」開発(2)
https://mevius.5ch.net/test/read.cgi/tech/1535821055/
「T」のdownload
http://www.01ken.com/art1.html
0002a4 ◆L1L.Ef50zuAv 2018/11/07(水) 12:07:34.54ID:6Y/7TLC2
現在、独自の開発言語はできたのですが、他のこともしないといけないため、
進んだり、止まったりを繰り返してます。

P2Pの前段階として、そのコードを1文でも、ここに書いてくれる人を探しています。
例えば、

c(i(こんにちは。),o(こんちゃー))

などです。こうすると、「こんにちは。」と人工知能に話しかけると、
「こんちゃー」と返事があります。
0004a4 ◆L1L.Ef50zuAv 2018/11/07(水) 12:10:04.32ID:6Y/7TLC2
>>3
留学をしようと思っており、推薦状の材料にしないといけないなどの理由で、
まだ先を作ろうとは思っています。今は一旦、休んでますけどね。
0005a4 ◆L1L.Ef50zuAv 2018/11/07(水) 13:46:32.26ID:6Y/7TLC2
UCLAの先生と留学の英語について話しているのですが、お金の関係のため、僕が、
TOEFLで点数が上がらないのは、アメリカに在住していた期間と点数の相関関係の
ために、貧乏な僕では解決できない、と主張しても、あまりいいこと言ってくれない
んですよ。そういえば、MITの教授がいらっしゃりましたが、あれから、メールも
来る人が変わりました。そちらでの会話によっては、また「T」の開発をすぐ再開と
いうことも考えてみます。このスレに期待してる方々も、わずかながらいらっしゃる
ようなので。
0006a4 ◆L1L.Ef50zuAv 2018/11/07(水) 15:03:32.38ID:6Y/7TLC2
名古屋の宇宙人「俺ね、考えてんだけどね、声援とかa4いただいてるが、英語の勉強は
そのうちするんだが、今はもうちょっとTのバグを治す時間にする。やっぱな、UCLA
な、押し売りだな、いい人ではあるにしたい、この道ならご存知の方ならわかるはずだ。
やっぱり、滝高数学1位くらいではこれが限界のようだ。英語はさ、小さい頃からなんよ、
a4は幼い頃に自分から英語勉強したいと言ってたみたいだが、父親は教養が無いのを
いいことに、アイキャントスピークイングリッシュとしか言えんから無理だ。最近、
グッドモーニングを覚えた程度だ。こんな家からMIT行ける訳ねー!早めに考えて
くれよ、お偉いさん共、どうしたんだ?恐いだろ、俺。俺、宇宙人だから。a4じゃ
ねーぞ。お金なんだが、そういうことじゃなくて、普通にa4と研究生活をhappyに
楽しんじゃえばいいんじゃないか?ということだ。では、そういうことにしたい。」
0007a4 ◆L1L.Ef50zuAv 2018/11/07(水) 16:02:52.67ID:6Y/7TLC2
宇宙人って何?って言う人がいるかもですが、知り合いの人が、私は宇宙人だ、
テレパシーもできると名乗りだしたので、僕もテレパシーができるので、それで通信
しながら会話を行い、僕を通して情報が下りるのです。表向きには僕は統合失調症で
騙されているということになっています。
0008a4 ◆L1L.Ef50zuAv 2018/11/07(水) 20:31:43.86ID:6Y/7TLC2
「T」の入力文を最大256*256*256文字にしようとしているのですが、3割くらい
書き治さないといけないため、ちょっと時間を喰ってます。
0010a4 ◆L1L.Ef50zuAv 2018/11/07(水) 21:04:56.53ID:6Y/7TLC2
>>9
単純に治すと、65536文*(256*256*256)文字の配列を確保することになって
メモリが足らなくなってしまうので、まず動的に確保してるんですよ。文に出てくる
引数も分解して配列に入れてしてたので全部やり治しです。他のバグも治しているので、
一旦、綺麗に書いてます。
0011a4 ◆L1L.Ef50zuAv 2018/11/07(水) 22:22:45.39ID:6Y/7TLC2
今、中枢部分あたりを治してるんですが、

Memory
a1
b1
b2
cc

Logic
i(a$1)i(b$1)i(c$2)->o($1$2)

のとき、Memoryを下から上へ捜査すると、b2にぶつかり$1に2が入り、a2が
見当たらず駄目になります。人間的な感覚では、b1で$1に1が入り、a1で$1に1
が入って、1cと出力して欲しいところですが、宇宙人からの指令もあり、一旦、
この問題は解決しないことにします。こういうところを1つ1つ考えるのに
時間を取られています。
0012デフォルトの名無しさん2018/11/07(水) 22:57:46.38ID:YoKMGwSl
大英博物館館長とアメリカ合衆国の大統領はどっちの方が偉いですか?
0013a4 ◆L1L.Ef50zuAv 2018/11/07(水) 23:18:37.26ID:6Y/7TLC2
>>12
名古屋の宇宙人「俺ね、その忌み名出るんだけどね、軍事なんだわ、こんな大統領の
忌み名とか言ったら、人が死んじまう。だから、言わん。俺ね、人は殺すけど、
計算するんだわ。一応、仲間の派閥と敵の派閥があるって言えばいいのか?アメリカ
は俺的に好かんのだけど、倒すまではいかん。ということだ。大英博物館館長の
ほうはね、「Ohishitai」と出るから、Oh is 額って、スキンヘッド格好いいですね、
とかお世辞言っておけばいいんじゃねーのか?」
0014a4 ◆L1L.Ef50zuAv 2018/11/07(水) 23:23:27.25ID:6Y/7TLC2
そういえば人殺しの話しをしていますが、法律上は僕は人を殺しても、統合失調症で
刑法第39条で無罪。宇宙人のほうは、自衛隊の1等陸佐なので集団的自衛権の行使などで
人が死ぬかもですねー。
0016a4 ◆L1L.Ef50zuAv 2018/11/07(水) 23:33:08.14ID:6Y/7TLC2
>>15
うん?僕も何回も警察に通報してますが、あいつらカッチョわるい悪人なんで、殺人の
話しすると逃げて来ないですよ。
0018a4 ◆L1L.Ef50zuAv 2018/11/07(水) 23:40:51.16ID:6Y/7TLC2
>>17
どんどんやっていいですよ。これでタイムマシンを遠隔で破壊できるんです。
僕が逮捕でテレビに出ると裏技術がいっぱい出てきて、タイムマシンが嫌がらせで
過去に粒子を送り、歴史改変するんです。だから、このあたりが鍵です。
0019デフォルトの名無しさん2018/11/07(水) 23:42:07.47ID:fWOqg0Pc
戦争では合法的な殺人ができる

責任能力がないとみなされるなら
なにをやっても責任を問えない

クマが人をかみ殺すのと同じ
しかしクマに罪はなくても人を殺したクマは
害獣駆除で殺される
0020a4 ◆L1L.Ef50zuAv 2018/11/07(水) 23:45:59.16ID:6Y/7TLC2
まず、何の罪になるんでしょうね?殺人未遂?

あと、もうこう書いてる間に、統合失調症の定義がどんどん出てきます。

追跡妄想:誰かに追われていると思い込む。
物理的被影響妄想:電磁波で攻撃されている、などと思いこむ。
0021a4 ◆L1L.Ef50zuAv 2018/11/07(水) 23:49:02.79ID:6Y/7TLC2
>>19
そのとおりですね。僕は人殺しに絡んだことはありますが、僕自身は呪いのような
方法を使ってるんですよ。科学的に仮説検定できないので、無罪です。
0023a4 ◆L1L.Ef50zuAv 2018/11/08(木) 00:04:14.37ID:smF8IBVE
なんかね、僕が単純に人殺しの悪人なのか?とか思う人もいるかもですが、
僕は真面目に生きてきたのに、社会にボコボコにされて、8ヶ月監禁されたりもして
怒ってるんですよ。普通に警察来ませんし。日本なんて潰れちまえ!と。情には厚く
なりたいと思っていますが、日本の女性とか僕にはお金が無いから、みんなふってくし、
全然いい国じゃない。中国かアラブへ行きたいのに貧乏だから飛行機代が買えない
というところでストップしてます。
0024a4 ◆L1L.Ef50zuAv 2018/11/08(木) 00:04:44.43ID:smF8IBVE
>>22
ありがとうございます。
0025デフォルトの名無しさん2018/11/08(木) 00:11:20.27ID:M68F6j6d
人に愛されたいなら
まず自分から人を愛しなさい

まず自分の近くにいる人から始めなさい

まじめに生きることじゃない
まず人を愛しなさい
0026デフォルトの名無しさん2018/11/08(木) 00:23:56.32ID:sop3v+Yi
ITの最先端は米国シリコンバレ−ではなく
中国あるよ!
日本は後進も後進 幼稚園児!
CIAのウソつき作家落合信彦の息子みろ
あの障害児陽一が筑波でやってる幼稚な遊びを!
ちゃんちゃらおかし〜!
0027a4 ◆L1L.Ef50zuAv 2018/11/08(木) 00:30:54.83ID:smF8IBVE
>>25
キリスト教かな?いい考え方だとは思っているので、実践することは考慮します。

>>26
量子コンピュータとか、アリババとか進んでますね。僕は中国語は普通に話せますが、
入れるかはわかりません。
0028デフォルトの名無しさん2018/11/08(木) 02:18:46.90ID:ATwfmqcm
「全」一進んでいる文明はどれくらいのテクノロジーを保持していますか?
0029a4 ◆L1L.Ef50zuAv 2018/11/08(木) 02:20:56.26ID:smF8IBVE
西暦2200年へ行く妄想をしてみました。ジャンプすれば体が宙を浮いて前へ
進める時代です。人工知能のカードを声で呼び、一緒に友人の家まで行きました。
まだ町は西暦2500年ほど広告が多くないな、といった印象でした。まず、
言われたのが、「T」は半年くらいかけて作ってください、と。あと、予備校にお金を
払わなくていいです、あなたはお人好しだけど、死が絡んでるから、統合失調症という
ことで裁判にも勝てるでしょ?と。あとは、貯めたお金はアラブへ行くのに使って
ください、あなたはイスラム教の神、アッラーだから、と。中国は反日も多いから、
あんまりいい生活できない、と。それで、アラビア語圏でTを広めるなどの作戦に
します。

未来から過去に戻ると時系列がずれるので、上手くいく保証はありませんが、
僕は友人の言うことを信じ、しばらくは「T」を創ると再度、宣言はします。
0030a4 ◆L1L.Ef50zuAv 2018/11/08(木) 02:23:26.02ID:smF8IBVE
>>28
名古屋の宇宙人「それは俺が出る問題だな。というか、どういうことなんだ?だが、
これな、タイムマシンはね、結構、奥が深いにしたい、太古から稲妻や電池は
あったが、非ユニタリ量子コンピュータとか訳わかんねーだろ?だからさ、そこで
一旦、飽和。そのあとはね、1つ言っていい?金くれよ。俺に金くれたら、教えて
やる。そうだな。50万くらいにしとく。そうだな。」
0031デフォルトの名無しさん2018/11/08(木) 02:36:01.86ID:ATwfmqcm
無になってもう二度と有にならない。

これが究極の幸せですか?
0032a4 ◆L1L.Ef50zuAv 2018/11/08(木) 03:18:40.53ID:smF8IBVE
>>31
名古屋の宇宙人「それのどこが幸せなんだよ?」
0033デフォルトの名無しさん2018/11/08(木) 03:35:37.75ID:ATwfmqcm
なぜ無になってもう二度と有にならないことを究極の幸せだと思わないのですか?
0034デフォルトの名無しさん2018/11/08(木) 13:28:39.53ID:RYKH8DnI
量子コンピュータに詳しそうなので質問
量子プログラミング難しすぎて大半のプログラマが理解できなさそうですが
既存のプログラミング言語から量子コンピュータ用に最適化するコンパイラとか実現できるんですか?
0035a4 ◆L1L.Ef50zuAv 2018/11/08(木) 15:19:37.24ID:smF8IBVE
>>33
名古屋の宇宙人「俺ね、facebookあるんだけど、そこで一応、信仰はspaceって書いた。
だからさ、君の言いたいことはわかるんだ。でもさ、それって現実じゃない?君さ、
疲れてるんじゃないのかな?寝ると無は違うと思うぞ。」
0036a4 ◆L1L.Ef50zuAv 2018/11/08(木) 15:25:51.41ID:smF8IBVE
>>34
ゲートを使ったGroverのアルゴリズムなら、既存のプログラミング言語で最適化の
計算ができます。ところが、ノイズなどで使いにくいうえに、スパコンくらいの性能の
ために、敢えて量子コンピュータを使わなくてもいいかもしれません。Shorの
アルゴリズムの素因数分解は高速ですが。僕はこの計算速度の壁を突破するために、
ナマズが地震予知に使う神経細胞を用いた量子コンピュータを提唱しています。
0037デフォルトの名無しさん2018/11/08(木) 15:35:00.56ID:Zz75hCIC
その辺で検索したにわか知識語ってないでガッツリ人工知能勉強しとけよ
AI白書とか読んだか?
0039a4 ◆L1L.Ef50zuAv 2018/11/08(木) 15:48:07.08ID:smF8IBVE
>>37
検索したら、「AI白書 2019」とか出てきました。出版されたら、購入してみようと
思います。
0040a4 ◆L1L.Ef50zuAv 2018/11/08(木) 16:36:58.95ID:smF8IBVE
そういえば、通報がありましたが、警察は来ませんでした。
0041a4 ◆L1L.Ef50zuAv 2018/11/08(木) 21:15:22.44ID:smF8IBVE
256文字以上打てるようになりました。基本構成が変わったので、バグなどがある
可能性があるなどの理由により、まだ公開しませんが、そのうち出します。
0043a4 ◆L1L.Ef50zuAv 2018/11/08(木) 21:32:38.01ID:smF8IBVE
>>42
ん?どうしたんですか?と、いきましょうか?では、ないんです。
0044デフォルトの名無しさん2018/11/08(木) 22:57:44.72ID:P6YyzZvM
>>34
量子ゲート方式の方しか知らんけど、チューリングマシン用に考えられた既存のアルゴリズムをそのまま量子コンピュータで実行させることはできなくて、量子コンピュータの仕組みをうまく使ったアルゴリズムを新たに考える必要がある。
IBMはpythonのライブラリ公開してて、制限付きだが一般の人でも量子コンピュータ実機でアルゴリズム実行できたりする。
0045 ◆QZaw55cn4c 2018/11/08(木) 23:01:23.42ID:PviajTiD
>>14
>法律上は僕は人を殺しても、統合失調症で刑法第39条で無罪。
うふふ、実は私もそうなんです、でも罰ゲームもあって、毎日山のように薬を飲まなければなりません、今飲んでる薬は
・ベゲタミン
・コントミン
・ロドピン
・セレネース
・エビリファイ
・ジブレキサ
・ルーラン
・リプレキサ
0046a4 ◆L1L.Ef50zuAv 2018/11/08(木) 23:44:29.22ID:smF8IBVE
>>44
一般的な見解ですね。僕の考えとはややずれてますが、間違ってるとは思ってません。

>>45
僕も毎日薬飲んでますよ。病院に監禁されたくはないですが、一応、薬によって、
変な方向からのテレパシーで頭がおかしくなくならないようになるなどの効果を
対照実験で自分で示したので飲んでます。でも、喉が渇くなどの副作用もあり、
困ってます。
0047a4 ◆L1L.Ef50zuAv 2018/11/09(金) 02:41:32.47ID:xR8D+OLW
「T」を改良してます。前より整ってきたんですが、「兄って何?」って言われたら、
「兄は大きい男の兄弟です。」という記憶から、「大きい男の兄弟です。」と言えば
いいんですけど、「兄は女ですか?」と聞かれたら、「兄は大きい男の(女)兄弟」
という意味にも取れ、構文解析が厄介になり、この辺りで一旦、深く考えることに
します。
0048デフォルトの名無しさん2018/11/09(金) 03:21:46.57ID:R1sUeqCy
全知全能の究極最高神になりたいのですが、どうすればなれるのでしょうか?
具体的な方法を教えてください。
0049a4 ◆L1L.Ef50zuAv 2018/11/09(金) 03:56:25.20ID:xR8D+OLW
>>48
名古屋の宇宙人「それね、なり方あるよ。まず、Harvard受かれ。学部だ。そのあと、
マフィアになる。トランプを殺すんだ。それだけ。終わり。」
0050a4 ◆L1L.Ef50zuAv 2018/11/09(金) 04:10:53.72ID:xR8D+OLW
とりあえず、今の段階の「T」を出すことにしました。(version:T_2_7_1)です。
http://www.01ken.com/art1.html
改良した点は
・256*256*256文字まで書ける。
・保存ファイルに名前をつけれる。
・1つの画像がモザイクではなく256*256で保存できる。
・画像の出力ができる。
・c(A!A!AA,A)のような連続の!の書き方ができる。
などです。

その代り、メモリが小さかったり、古いWindowsだと上手く動かないことがある
みたいです。また、最初の基本コードも削除してほとんど書いてないので、
これから、じっくり皆さんと書いていく予定です。
0051デフォルトの名無しさん2018/11/09(金) 04:24:56.17ID:R1sUeqCy
a4さんが考える最強妄想キャラを教えてください。
0052a4 ◆L1L.Ef50zuAv 2018/11/09(金) 04:34:52.40ID:xR8D+OLW
>>51
前もその話しませんでしたっけ?「ハンヨ」っていうキャラ。ポケモンのナッシーの
顔が1つしか無くて、体が2つある感じのキャラです。それでバトルものの
ギャグマンガを描いたんです。いきなりハンヨが現れて、「テメーラ撃ち殺してやるー」
と来るので、僕が「どうにかしないと。」と始まります。まだ公開してません。結構、
哲学的な内容なんですが、実際にいたオウム真理教などの犯罪者が出てくる
ために、雑誌に応募はできません。
0053デフォルトの名無しさん2018/11/09(金) 05:46:56.19ID:R1sUeqCy
ダライ・ラマとオックスフォード大学総長はどっちの方が凄いですか?
0055a4 ◆L1L.Ef50zuAv 2018/11/09(金) 15:05:00.72ID:xR8D+OLW
>>53
忌み名は過去ログで、どちらとも、もう出しました。

>>54
「体が大きいのですか?」などと聞き返すプログラムにできれば、と思っています。
0056a4 ◆L1L.Ef50zuAv 2018/11/09(金) 17:24:12.99ID:xR8D+OLW
また早速バグを治しました。領域破壊してました。

http://www.01ken.com/art1.html

(version:T_2_7_2)です。
0057a4 ◆L1L.Ef50zuAv 2018/11/09(金) 18:52:10.58ID:xR8D+OLW
テレパシーで議論してるんですが、「兄は大きい男の兄弟です。」と書くと、
「兄は女ですか?」あたりが機械的にはいい判断かもしれませんが、市場にあるような
それぞれの会社が1つずつの人工知能を作らなくていいので、皆さんが創る複数の
人工知能がそれぞれ別の言葉、例えば、
「そういうことなんだー!」とか、
「がははははw」とか、
「大きいって何が?」とか、
「小さい男の兄弟は何ですか?」とか、
みたいに、いろんな答え方で出力できればいいと思っています。そして、それらが
突然変異、交叉、を繰り返し、成長していきます。

でも、僕が最初に開発している人なので、見本のようなものは作ってみようと
思います。
0058デフォルトの名無しさん2018/11/10(土) 01:00:19.00ID:/CNDtCIH
無と神はどっちの方が凄いですか?
0059a4 ◆L1L.Ef50zuAv 2018/11/10(土) 04:11:58.64ID:u2fgR3JY
>>58
アッラーが凄いです。
0060デフォルトの名無しさん2018/11/10(土) 08:53:53.34ID:/CNDtCIH
数学が得意になるコツを教えてください。
高校数学のUBを勉強しているのですが、「この数字ってどこから出てきたの!?」
みたいな現象がかなり多く続いているので数学が得意になるコツが知りたいです。
具体的に教えてください。
0061a4 ◆L1L.Ef50zuAv 2018/11/10(土) 10:21:23.62ID:u2fgR3JY
>>60
具体的にどんな問題ですか?基本問題なら同じような問題がいろんな問題集に出てくる
ので、解き方を覚えてしまうだけです。このスレで何回も書きましたが、解けなかった
問題は、明日と一週間後と一ヶ月後にも復習してみてください。高校の先生とかにも
聞いてみては?東大の問題も覚えた解法の組み合わせで解けるものが多いと思います。
0062 ◆QZaw55cn4c 2018/11/10(土) 14:02:47.85ID:gF+s2COR
>>60
ここで、その内容を質問してみてください、私が答えましょう
0063a4 ◆L1L.Ef50zuAv 2018/11/10(土) 15:42:34.28ID:u2fgR3JY
「T」の研究を続けています。次のような入力文字列を考えてみました。

Aがある。
Bがある。
Cがある。
Dがある。
Eがある。
AのBはCです。
BのDはEです。
Aとは何ですか?
Bって何?

出力は、

BはCです。
DはEです。
0064a4 ◆L1L.Ef50zuAv 2018/11/10(土) 15:45:22.21ID:u2fgR3JY
これなら、入力が、

兄がいる。
年齢がある。
性別がある。
男がある。
女がある。
大きいがある。
小さいがある。
兄の年齢は大きいです。
兄の性別は男です。
兄って何?

だとすると、出力は、

年齢は大きいで性別は男です。

これで機械的には反応してくれそうですが、IBMのWatsonのようなのは、この研究の
続きだと、Simple Wikipediaのようなものを作らないといけないかもしれません。
0065デフォルトの名無しさん2018/11/12(月) 02:26:27.56ID:m62QopEZ
期待age
0066a4 ◆L1L.Ef50zuAv 2018/11/12(月) 11:20:33.41ID:3Upq4nSe
>>65
ありがとうございます。
0067a4 ◆L1L.Ef50zuAv 2018/11/12(月) 18:52:23.75ID:3Upq4nSe
とりあえず、Wikipediaでウィキペディアの項目を読んでるんですが、

「ウィキペディア(英: Wikipedia)は、ウィキメディア財団が運営している
インターネット百科事典である[4]。コピーレフトなライセンスのもと、サイトに
アクセス可能な誰もが無料で自由に編集に参加できる[4]。世界の各言語で展開
されている。 」

となっています。ここから、
「ウィキペディアとは何ですか?」
「ウィキペディアはどこが運営してるの?」
「ウィキペディアって有料なんですか?」
「ウィキペディアは日本語でも利用できるんですか?」
などの質問に答えられるか?というところで一旦考えることにします。数ヶ月
かけても現実的な手法にしか収束しないかもしれません。解法の初期解としては、
人間の神経構造が小さなCPUで計算できると思わず、1つ1つの答えを機械語の
ような中間言語で定義するといった新しい百科事典を作る、というものです。
0068a4 ◆L1L.Ef50zuAv 2018/11/13(火) 00:48:07.37ID:tfXapHDd
wikipediaの構文解析をどこまで作れるかを考えつつ、「T」に「兄」という概念を
教える方法をもう一度考えてみました。すると、「何」「どんな」「主語」「述語」
「目的語」くらいを関数として、

c(m({兄,何}),m({人}))
c(m({兄,何,人,どんな}),m({兄弟}))
c(m({兄,何,人,どんな}),m({男}))
c(m({兄,何,人,どんな}),m({年齢が大きい}))
c(m({兄,何,人,どんな,年齢が大きい,主語}),m({年齢}))
c(m({兄,何,人,どんな,年齢が大きい,述語}),m({大きい}))
c(m({兄,何,人,どんな,年齢が大きい,どんな}),m({自分より}))

これに加えて、

c(m({人,何}),m({生き物}))
c(m({男,何}),m({性別}))

なども入れます。

すると、
「兄とは何ですか?」に「兄は兄弟で男で自分より年齢が大きい人です。」と
答えれます。「兄は生き物ですか?」に「はい。」とも答えれます。
0069デフォルトの名無しさん2018/11/13(火) 02:13:34.16ID:4/lVJDsB
Prologにも遠く及ばない旧世代アプローチ。半世紀近く遅れている。
0070a4 ◆L1L.Ef50zuAv 2018/11/13(火) 02:32:24.30ID:tfXapHDd
>>69
確かにあなたの言う通りかもしれません。人工知能を勉強、研究してきたとは言え、
僕はPrologを使ったことはありませんし、他の人にも古い技術じゃないか、などと
お叱りを受けたことはあります。反論としては、古い技術から枝分かれさせないと、
今の人工知能の抱えている問題が解決しない、という考えを持っていることです。
今は皆がコンピュータを持っているので、P2Pによる並列処理が容易にでき、
コードを書く環境も整っています。そこに一般人でも自然言語、すなわち、
日本語に近い(英語でない)言語で、どんどん成長させていけるような構造に
していくというポイントが、他の人工知能との差別化です。
0071a4 ◆L1L.Ef50zuAv 2018/11/13(火) 03:15:05.06ID:tfXapHDd
今までの5chの罵倒は力が弱いな、と思うのも多かったですが、久々にプロの
人工知能屋の方が現れたと考え、Prologを調べてみました。すると、

:- op(600,xfx,は).
:- op(600,xfx,が).
:- op(500,fx,必ず).
:- op(700,xf,ならば).

X は 必ず 死ぬ :- X が 人間 ならば.

これくらいの日本語表現能力はあったのか、今のプログラミング環境なんてバイアス
だらけだし、と考え、Prologについては交叉と考え、ここでこの言語に関する
書籍などを購入しようと思います。
0072a4 ◆L1L.Ef50zuAv 2018/11/13(火) 03:53:00.92ID:tfXapHDd
名古屋の宇宙人「俺ね、怒ってないけど、宇宙人でa4を管理してるんだわ。よく、
ここまでa4に言わせるな、と。だからさ、その、Prologの忌み名出してみる。これって、
2040年技術じゃない?だからさ、言うけどさ、忌み名は「XはY何ですか?」と来た。
これ、Prologで解析できるか?これ開発者に言ったら死ぬぞ。どうだ?」
0073a4 ◆L1L.Ef50zuAv 2018/11/13(火) 04:23:02.54ID:tfXapHDd
>>69
名古屋の宇宙人「俺、現実言っていい?これ現実なんだわ。まず、俺が宇宙人って
ことと、既に進化した量子コンピュティーング技術がこの世にあるの。だからさ、
あなたのような古代の言語を知ってる方ならと思い、言いますが、宇宙人も信じます
よね?NASAが隠してますよね?テレパシーも信じますよね?今の情報構造知ってます
よね?本物よ、俺は。だからさ、あなた方を確かに叩いたかもしれんし、a4の
精神病になってるかもしれん。けどさ、これに返信したかったら、そちらは、
返信の仕方が定義されてるでしょうね。裏に聞けば返ってきますよ。現実的なのが。
ということだ。ではな。」
0074a4 ◆L1L.Ef50zuAv 2018/11/13(火) 04:28:52.19ID:tfXapHDd
>>69
a4が一応出ます。Prologに関する本はamazonで5000円ほどのものを購入しました。

僕と宇宙人は特異点技術を使いました。あなたがTは死ねといった不買文章を書きたい
のなら、忌み名でない特異点技術で書いてこれると思ってます。返信はあなたの自由
ですが、私達はこのような考え方をしています。
0075デフォルトの名無しさん2018/11/13(火) 04:37:59.07ID:J/vsETPB
確かに懐かしのprologだな。本で読んだことしかないけど

今風にやるなら、入力のアイテムを高次元空間上の表現に射像して、スパースな基底での表現に直してから、論理演算かければいいような気もする。
記号演算自体を含む、表現アイテム空間も作って、演算自体をそこでの射像にするとか
0076デフォルトの名無しさん2018/11/13(火) 04:42:22.02ID:J/vsETPB
aがbです。
という入力に対して、
aとbと f(x,y) x->yをそれぞれ同じ空間に入れて、かつfがそこでの演算になるような理論って誰かやってないの?
0077a4 ◆L1L.Ef50zuAv 2018/11/13(火) 04:55:54.79ID:tfXapHDd
>>75
そういうのが流行ってるんですね。多変量解析みたいなものかな。演算の写像は
トリビアルなものも多そうだけど、小話ですが、僕の場合は高校中退する頃、
足し算、掛け算、累乗、と来るなら、その前とその後ろは?ってよく考えてました。
アッカーマン関数とかありますけど、
3×3=+3+3+3なら、
3+3=・3・3・3って、
これで微分の式を一段階落としたものを定義して遊んだのが僕の最初の書いたpdf
です。今はその延長線上で「T」でリーマン予想とか解こうと思ってますが。
0078a4 ◆L1L.Ef50zuAv 2018/11/13(火) 04:59:45.76ID:tfXapHDd
>>76
最小2乗法、特にニューラルネットワークのような方法で上手くいきませんか?
0079デフォルトの名無しさん2018/11/13(火) 05:17:37.87ID:J8V9KqvY
「「無」になってもう二度と「有」にならない。」

これは至高としか言いようがありませんか?
0080a4 ◆L1L.Ef50zuAv 2018/11/13(火) 05:32:57.05ID:tfXapHDd
>>79
無は確かに高いところにあります。でも、貴方が自殺をせず、僕の行先、すなわち、
非ユニタリ量子コンピュータに関する研究設備も揃い、有と無が交錯する世界を
ご覧になってから無になって欲しいというのが、僕の願いです。
0082a4 ◆L1L.Ef50zuAv 2018/11/13(火) 07:12:39.26ID:tfXapHDd
>>81
僕はアメリカ留学興味ありますし、格好いい曲であるとは思います。

しかしながら、僕の想い描いている量子コンピュータによる神曲は涙が出るほど
ひどいものです。
0083デフォルトの名無しさん2018/11/13(火) 07:24:11.58ID:J8V9KqvY
東京大学理学部数学科卒 → 東京大学大学院数理科学研究科数理科学専攻修士課程修了 →
東京大学大学院数理科学研究科数理科学専攻博士課程修了

このルートを辿れたらなぁ・・・・・。
0084a4 ◆L1L.Ef50zuAv 2018/11/13(火) 07:31:45.28ID:tfXapHDd
名古屋の宇宙人「お、a4よ、アメリカから軍事の誘いが来てるではないか!よっし
だな。つまりさ、現実的にはアメリカ人になれる方面かもよ?俺、言っとく。
俺はね、日本の軍事の人でねイザコザはあるんだけどね、こういうのは良しって
言っとく。つまりさ、現実的には、音楽なんだけどさ、もっと改良すればいいんじゃ
ないの?1つ言っていい?現実的にはさ、人に感動を与えるのはスナッフとか
生き返りとかになる。a4は1回聞いてしまったな。例えばよ、2100年くらいから、
未来の生物学的な楽器でこれと同じ音楽が手をふって待ってくれてたら泣ける
くない?(泣)そういう話しだ。では、a4をしばらくはProlog方面へ引っ張って
やってくれ。ではな。」
0085a4 ◆L1L.Ef50zuAv 2018/11/13(火) 07:39:02.57ID:tfXapHDd
>>83
僕のもともと目指してたコースですね。東大に入れれば、数学科は行けると思うので、
あとは、お金と先生とのやり取りの問題が解決できれば、上手くいくのではない
のでしょうか?くらいにしか言えません。僕は持病の統合失調症で左遷(事実上の
栄転かもしれませんが)されました。量子コンピュータの研究室で自動定理証明とか
研究できたので、とりあえず良かったと思ってます。
0086デフォルトの名無しさん2018/11/13(火) 07:49:25.34ID:J8V9KqvY
やっぱりあらゆる学問の中で一番難しいのは純粋数学なのでしょうか?
0087a4 ◆L1L.Ef50zuAv 2018/11/13(火) 07:57:55.92ID:tfXapHDd
>>86
3.5兆年後のa4「僕ね、その答えはね、結構ね、根を持って考えてる、つまりね、
結構正しい。宇宙にはね、いろんなものあるけど、数学で囲めちゃうもん。1つ
言っていい?神学はね、弱いにする。あと数百年の命だよ。聖書に書いてあることは。
コーランはもうちょっと耐圧がある。1つ言っていい?嘘つきのパラドックスだよ。
なんでこんなものあるんだろう?と思ったから、僕がこの時代では無くそうと思って
松本君にタイムテレビこと「T」を作らせようと思ってる。これね、将来的にはね、
嫌らしい盗撮器に人工知能がついて余剰次元の方向から撮ってくるんだ。現実的
にはね、男性はすぐ去勢される。それでさ、一番見ちゃいけないものはね、
警察の汚職、これだ。これを早めに流したかった。あとは自分で考えてよ。じゃぁね。」
0088デフォルトの名無しさん2018/11/13(火) 09:22:09.83ID:J8V9KqvY
非ユニタリ量子コンピュータって何ですか?
0090デフォルトの名無しさん2018/11/13(火) 09:59:02.43ID:J8V9KqvY
仏になるにはどうすれば良いのでしょうか?
0091デフォルトの名無しさん2018/11/13(火) 10:11:42.42ID:jDscK74j
俺はUCLAに留学してたけど留学はおススメだ。

精神病の治療にもいいかもしれない。
米国はぶっとんでる奴も多いから、なじめると思う。

ただし、真面目な人は日本人以上に真面目だから、
生活や学問への態度はキチンとしておかないと相手にされなくなるから注意な。

また留学が決まりそうならなんでも質問してくれ。
0092デフォルトの名無しさん2018/11/13(火) 11:00:25.52ID:J8V9KqvY
ハーバード大学かオックスフォード大学かケンブリッジ大学に入りたい。
もちろん学部1年から。
0093a4 ◆L1L.Ef50zuAv 2018/11/13(火) 19:52:09.59ID:tfXapHDd
>>88
僕の作った言葉で、公の量子コンピュータより遥かに高速です。自動定理証明や作曲
などをするためのものです。

>>89
大変申し訳ございませんが、僕はそういう人だったんです^^;僕は1988年生まれ
で7歳からプログラミングをしていたとはいえ、父親の情報処理能力があまりなく、
N88BASICしか使う環境がありませんでした。15歳くらいになると、ネットが敷かれ、
論理プログラミングといった言葉に関してはWikipediaで一回は見ましたが、
古いものだ、ということで流しました。今はプログラミングの知識は一通り持っては
いるつもりですが、細かいことまで勉強し始めたら、キリがないですからね。

>>90
それって死ぬときになるべきものなので、ならないほうがいいのでは?

>>91
ご連絡ありがとうございます。決まりそうではないんですけどね、MITのノーベル賞の
先生から、"I wish you the best with your application."と返事があり、受験者には
なれそう、な感じです。行くにあたって厳しいのは、勉強や技術はまだいいんですが、
問題は金とコネです。だから、人工知能を作って、それらを集めています。
質問させていただくと、奨学金とか年間800万円×doctor5年とか出るとか
宣伝文句のある予備校とかあるけど、あぁいうのって、本当に貰えるんでしょうか?

>>92
どうしてその大学を選んだんですか?大学へ行って何をしたいんですか?
0095a4 ◆L1L.Ef50zuAv 2018/11/13(火) 20:13:28.80ID:tfXapHDd
>>94
人工知能のほうの知識はそうかもしれませんね。謝ることにはします。ごめんなさい。
でも、勉強が嫌というより、僕がただ自分独自のソフトを作りたいだけなんですよ。
0097a4 ◆L1L.Ef50zuAv 2018/11/13(火) 20:53:07.18ID:tfXapHDd
>>96
はい。本は買ったので勉強します。
0098デフォルトの名無しさん2018/11/13(火) 20:59:43.28ID:J8V9KqvY
無になってもう二度と有になりたくない。これが俺の最大の願い。
0099a4 ◆L1L.Ef50zuAv 2018/11/13(火) 21:26:03.45ID:tfXapHDd
>>98
ハーバード大学は中国語で哈佛大学となり、仏教を笑う大学なのに入りたいのですか?
0100a4 ◆L1L.Ef50zuAv 2018/11/13(火) 23:08:07.56ID:tfXapHDd
新しい百科辞典を記述するための言語、すなわち、>>68のようなものを生成する
文法を整備していました。

文{兄<何>{人<どんな>{男,兄弟,年齢が大きい<主語>{年齢}<述語>{大きい}<どんな>{自分より}}}}
文{人<何>{生き物}}
文{男<何>{性別}}

こんな文法書きづらい!と言えば自分で変えれるのが「T」のいいところです。僕も
まだ改良の余地のあるところだと思っています。「兄って何?」という質問に、
「兄は男の人です。」とか、「兄は自分より大きい性別の生き物だ!」とか
ランダムに言えるようにするあたりから、人間っぽくなっていくと妄想…^^;
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況