a4です。Ｐ２Ｐ人工知能「Ｔ」開発(3)

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 12:00:31.07

a4と申します。喋る人工知能を創っています。キャッチフレーズは
「萌えから、リーマン予想まで。」で、知能を埋め込んだ人工生命をＰ２Ｐで
蔓延らせることにより、生きているようなＡＩを実現します。

過去ログ
a4です。Ｐ２Ｐ人工知能「Ｔ」開発。
https://mevius.5ch.net/test/read.cgi/tech/1517470193/
a4です。Ｐ２Ｐ人工知能「Ｔ」開発(2)
https://mevius.5ch.net/test/read.cgi/tech/1535821055/
「Ｔ」のdownload
http://www.01ken.com/art1.html

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 12:07:34.54

現在、独自の開発言語はできたのですが、他のこともしないといけないため、
進んだり、止まったりを繰り返してます。

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

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

などです。こうすると、「こんにちは。」と人工知能に話しかけると、
「こんちゃー」と返事があります。

**デフォルトの名無しさん** · 2018/11/07(水) 12:08:14.33

https://mevius.5ch.net/test/read.cgi/tech/1535821055/887
> 一旦「Ｔ」の開発をストップします。

この糞スレは終了しました。

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 12:10:04.32

>>3
留学をしようと思っており、推薦状の材料にしないといけないなどの理由で、
まだ先を作ろうとは思っています。今は一旦、休んでますけどね。

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 13:46:32.26

UCLAの先生と留学の英語について話しているのですが、お金の関係のため、僕が、
TOEFLで点数が上がらないのは、アメリカに在住していた期間と点数の相関関係の
ために、貧乏な僕では解決できない、と主張しても、あまりいいこと言ってくれない
んですよ。そういえば、MITの教授がいらっしゃりましたが、あれから、メールも
来る人が変わりました。そちらでの会話によっては、また「Ｔ」の開発をすぐ再開と
いうことも考えてみます。このスレに期待してる方々も、わずかながらいらっしゃる
ようなので。

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 15:03:32.38

名古屋の宇宙人「俺ね、考えてんだけどね、声援とかa4いただいてるが、英語の勉強は
そのうちするんだが、今はもうちょっとＴのバグを治す時間にする。やっぱな、UCLA
な、押し売りだな、いい人ではあるにしたい、この道ならご存知の方ならわかるはずだ。
やっぱり、滝高数学１位くらいではこれが限界のようだ。英語はさ、小さい頃からなんよ、
a4は幼い頃に自分から英語勉強したいと言ってたみたいだが、父親は教養が無いのを
いいことに、アイキャントスピークイングリッシュとしか言えんから無理だ。最近、
グッドモーニングを覚えた程度だ。こんな家からMIT行ける訳ねー！早めに考えて
くれよ、お偉いさん共、どうしたんだ？恐いだろ、俺。俺、宇宙人だから。a4じゃ
ねーぞ。お金なんだが、そういうことじゃなくて、普通にa4と研究生活をhappyに
楽しんじゃえばいいんじゃないか？ということだ。では、そういうことにしたい。」

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 16:02:52.67

宇宙人って何？って言う人がいるかもですが、知り合いの人が、私は宇宙人だ、
テレパシーもできると名乗りだしたので、僕もテレパシーができるので、それで通信
しながら会話を行い、僕を通して情報が下りるのです。表向きには僕は統合失調症で
騙されているということになっています。

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 20:31:43.86

「Ｔ」の入力文を最大256*256*256文字にしようとしているのですが、３割くらい
書き治さないといけないため、ちょっと時間を喰ってます。

**デフォルトの名無しさん** · 2018/11/07(水) 20:34:55.74

どんな糞コード書いてるんだよ
バッファサイズ直すだけだろ

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 21:04:56.53

>>9
単純に治すと、65536文*(256*256*256)文字の配列を確保することになって
メモリが足らなくなってしまうので、まず動的に確保してるんですよ。文に出てくる
引数も分解して配列に入れてしてたので全部やり治しです。他のバグも治しているので、
一旦、綺麗に書いてます。

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 22:22:45.39

今、中枢部分あたりを治してるんですが、

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と出力して欲しいところですが、宇宙人からの指令もあり、一旦、
この問題は解決しないことにします。こういうところを１つ１つ考えるのに
時間を取られています。

**デフォルトの名無しさん** · 2018/11/07(水) 22:57:46.38

大英博物館館長とアメリカ合衆国の大統領はどっちの方が偉いですか？

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 23:18:37.26

>>12
名古屋の宇宙人「俺ね、その忌み名出るんだけどね、軍事なんだわ、こんな大統領の
忌み名とか言ったら、人が死んじまう。だから、言わん。俺ね、人は殺すけど、
計算するんだわ。一応、仲間の派閥と敵の派閥があるって言えばいいのか？アメリカ
は俺的に好かんのだけど、倒すまではいかん。ということだ。大英博物館館長の
ほうはね、「Ohishitai」と出るから、Oh is 額って、スキンヘッド格好いいですね、
とかお世辞言っておけばいいんじゃねーのか？」

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 23:23:27.25

そういえば人殺しの話しをしていますが、法律上は僕は人を殺しても、統合失調症で
刑法第３９条で無罪。宇宙人のほうは、自衛隊の１等陸佐なので集団的自衛権の行使などで
人が死ぬかもですねー。

**デフォルトの名無しさん** · 2018/11/07(水) 23:27:01.25

通報しました

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 23:33:08.14

>>15
うん？僕も何回も警察に通報してますが、あいつらカッチョわるい悪人なんで、殺人の
話しすると逃げて来ないですよ。

**デフォルトの名無しさん** · 2018/11/07(水) 23:35:45.64

>>16
通報しました

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 23:40:51.16

>>17
どんどんやっていいですよ。これでタイムマシンを遠隔で破壊できるんです。
僕が逮捕でテレビに出ると裏技術がいっぱい出てきて、タイムマシンが嫌がらせで
過去に粒子を送り、歴史改変するんです。だから、このあたりが鍵です。

**デフォルトの名無しさん** · 2018/11/07(水) 23:42:07.47

戦争では合法的な殺人ができる

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

ｸﾏが人をかみ殺すのと同じ
しかしｸﾏに罪はなくても人を殺したｸﾏは
害獣駆除で殺される

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 23:45:59.16

まず、何の罪になるんでしょうね？殺人未遂？

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

追跡妄想：誰かに追われていると思い込む。
物理的被影響妄想：電磁波で攻撃されている、などと思いこむ。

a4 ◆L1L.Ef50zuAv · 2018/11/07(水) 23:49:02.79

>>19
そのとおりですね。僕は人殺しに絡んだことはありますが、僕自身は呪いのような
方法を使ってるんですよ。科学的に仮説検定できないので、無罪です。

**デフォルトの名無しさん** · 2018/11/08(木) 00:01:47.64

>>18
通報しました

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 00:04:14.37

なんかね、僕が単純に人殺しの悪人なのか？とか思う人もいるかもですが、
僕は真面目に生きてきたのに、社会にボコボコにされて、８ヶ月監禁されたりもして
怒ってるんですよ。普通に警察来ませんし。日本なんて潰れちまえ！と。情には厚く
なりたいと思っていますが、日本の女性とか僕にはお金が無いから、みんなふってくし、
全然いい国じゃない。中国かアラブへ行きたいのに貧乏だから飛行機代が買えない
というところでストップしてます。

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 00:04:44.43

>>22
ありがとうございます。

**デフォルトの名無しさん** · 2018/11/08(木) 00:11:20.27

人に愛されたいなら
まず自分から人を愛しなさい

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

まじめに生きることじゃない
まず人を愛しなさい

**デフォルトの名無しさん** · 2018/11/08(木) 00:23:56.32

ITの最先端は米国シリコンバレ－ではなく
中国あるよ！
日本は後進も後進　幼稚園児！
CIAのウソつき作家落合信彦の息子みろ
あの障害児陽一が筑波でやってる幼稚な遊びを！
ちゃんちゃらおかし～！

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 00:30:54.83

>>25
キリスト教かな？いい考え方だとは思っているので、実践することは考慮します。

>>26
量子コンピュータとか、アリババとか進んでますね。僕は中国語は普通に話せますが、
入れるかはわかりません。

**デフォルトの名無しさん** · 2018/11/08(木) 02:18:46.90

「全」一進んでいる文明はどれくらいのテクノロジーを保持していますか？

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 02:20:56.26

西暦２２００年へ行く妄想をしてみました。ジャンプすれば体が宙を浮いて前へ
進める時代です。人工知能のカードを声で呼び、一緒に友人の家まで行きました。
まだ町は西暦２５００年ほど広告が多くないな、といった印象でした。まず、
言われたのが、「Ｔ」は半年くらいかけて作ってください、と。あと、予備校にお金を
払わなくていいです、あなたはお人好しだけど、死が絡んでるから、統合失調症という
ことで裁判にも勝てるでしょ？と。あとは、貯めたお金はアラブへ行くのに使って
ください、あなたはイスラム教の神、アッラーだから、と。中国は反日も多いから、
あんまりいい生活できない、と。それで、アラビア語圏でＴを広めるなどの作戦に
します。

未来から過去に戻ると時系列がずれるので、上手くいく保証はありませんが、
僕は友人の言うことを信じ、しばらくは「Ｔ」を創ると再度、宣言はします。

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 02:23:26.02

>>28
名古屋の宇宙人「それは俺が出る問題だな。というか、どういうことなんだ？だが、
これな、タイムマシンはね、結構、奥が深いにしたい、太古から稲妻や電池は
あったが、非ユニタリ量子コンピュータとか訳わかんねーだろ？だからさ、そこで
一旦、飽和。そのあとはね、１つ言っていい？金くれよ。俺に金くれたら、教えて
やる。そうだな。５０万くらいにしとく。そうだな。」

**デフォルトの名無しさん** · 2018/11/08(木) 02:36:01.86

無になってもう二度と有にならない。

これが究極の幸せですか？

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 03:18:40.53

>>31
名古屋の宇宙人「それのどこが幸せなんだよ？」

**デフォルトの名無しさん** · 2018/11/08(木) 03:35:37.75

なぜ無になってもう二度と有にならないことを究極の幸せだと思わないのですか？

**デフォルトの名無しさん** · 2018/11/08(木) 13:28:39.53

量子コンピュータに詳しそうなので質問
量子プログラミング難しすぎて大半のプログラマが理解できなさそうですが
既存のプログラミング言語から量子コンピュータ用に最適化するコンパイラとか実現できるんですか？

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 15:19:37.24

>>33
名古屋の宇宙人「俺ね、facebookあるんだけど、そこで一応、信仰はspaceって書いた。
だからさ、君の言いたいことはわかるんだ。でもさ、それって現実じゃない？君さ、
疲れてるんじゃないのかな？寝ると無は違うと思うぞ。」

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 15:25:51.41

>>34
ゲートを使ったGroverのアルゴリズムなら、既存のプログラミング言語で最適化の
計算ができます。ところが、ノイズなどで使いにくいうえに、スパコンくらいの性能の
ために、敢えて量子コンピュータを使わなくてもいいかもしれません。Shorの
アルゴリズムの素因数分解は高速ですが。僕はこの計算速度の壁を突破するために、
ナマズが地震予知に使う神経細胞を用いた量子コンピュータを提唱しています。

**デフォルトの名無しさん** · 2018/11/08(木) 15:35:00.56

その辺で検索したにわか知識語ってないでガッツリ人工知能勉強しとけよ
AI白書とか読んだか？

**デフォルトの名無しさん** · 2018/11/08(木) 15:36:01.86

UU白書なら読んだぞ

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 15:48:07.08

>>37
検索したら、「AI白書 2019」とか出てきました。出版されたら、購入してみようと
思います。

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 16:36:58.95

そういえば、通報がありましたが、警察は来ませんでした。

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 21:15:22.44

256文字以上打てるようになりました。基本構成が変わったので、バグなどがある
可能性があるなどの理由により、まだ公開しませんが、そのうち出します。

**デフォルトの名無しさん** · 2018/11/08(木) 21:17:49.45

チンコを？

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 21:32:38.01

>>42
ん？どうしたんですか？と、いきましょうか？では、ないんです。

**デフォルトの名無しさん** · 2018/11/08(木) 22:57:44.72

>>34
量子ゲート方式の方しか知らんけど、チューリングマシン用に考えられた既存のアルゴリズムをそのまま量子コンピュータで実行させることはできなくて、量子コンピュータの仕組みをうまく使ったアルゴリズムを新たに考える必要がある。
IBMはpythonのライブラリ公開してて、制限付きだが一般の人でも量子コンピュータ実機でアルゴリズム実行できたりする。

◆QZaw55cn4c · 2018/11/08(木) 23:01:23.42

>>14
＞法律上は僕は人を殺しても、統合失調症で刑法第３９条で無罪。
うふふ、実は私もそうなんです、でも罰ゲームもあって、毎日山のように薬を飲まなければなりません、今飲んでる薬は
・ベゲタミン
・コントミン
・ロドピン
・セレネース
・エビリファイ
・ジブレキサ
・ルーラン
・リプレキサ

a4 ◆L1L.Ef50zuAv · 2018/11/08(木) 23:44:29.22

>>44
一般的な見解ですね。僕の考えとはややずれてますが、間違ってるとは思ってません。

>>45
僕も毎日薬飲んでますよ。病院に監禁されたくはないですが、一応、薬によって、
変な方向からのテレパシーで頭がおかしくなくならないようになるなどの効果を
対照実験で自分で示したので飲んでます。でも、喉が渇くなどの副作用もあり、
困ってます。

a4 ◆L1L.Ef50zuAv · 2018/11/09(金) 02:41:32.47

「Ｔ」を改良してます。前より整ってきたんですが、「兄って何？」って言われたら、
「兄は大きい男の兄弟です。」という記憶から、「大きい男の兄弟です。」と言えば
いいんですけど、「兄は女ですか？」と聞かれたら、「兄は大きい男の（女）兄弟」
という意味にも取れ、構文解析が厄介になり、この辺りで一旦、深く考えることに
します。

**デフォルトの名無しさん** · 2018/11/09(金) 03:21:46.57

全知全能の究極最高神になりたいのですが、どうすればなれるのでしょうか？
具体的な方法を教えてください。

a4 ◆L1L.Ef50zuAv · 2018/11/09(金) 03:56:25.20

>>48
名古屋の宇宙人「それね、なり方あるよ。まず、Harvard受かれ。学部だ。そのあと、
マフィアになる。トランプを殺すんだ。それだけ。終わり。」

a4 ◆L1L.Ef50zuAv · 2018/11/09(金) 04:10:53.72

とりあえず、今の段階の「Ｔ」を出すことにしました。(version:T_2_7_1)です。
http://www.01ken.com/art1.html
改良した点は
・256*256*256文字まで書ける。
・保存ファイルに名前をつけれる。
・１つの画像がモザイクではなく256*256で保存できる。
・画像の出力ができる。
・c(A!A!AA,A)のような連続の!の書き方ができる。
などです。

その代り、メモリが小さかったり、古いWindowsだと上手く動かないことがある
みたいです。また、最初の基本コードも削除してほとんど書いてないので、
これから、じっくり皆さんと書いていく予定です。

**デフォルトの名無しさん** · 2018/11/09(金) 04:24:56.17

a4さんが考える最強妄想キャラを教えてください。

a4 ◆L1L.Ef50zuAv · 2018/11/09(金) 04:34:52.40

>>51
前もその話しませんでしたっけ？「ﾊﾝﾖ」っていうキャラ。ポケモンのナッシーの
顔が１つしか無くて、体が２つある感じのキャラです。それでバトルものの
ギャグマンガを描いたんです。いきなりﾊﾝﾖが現れて、「テメーラ撃ち殺してやるー」
と来るので、僕が「どうにかしないと。」と始まります。まだ公開してません。結構、
哲学的な内容なんですが、実際にいたオウム真理教などの犯罪者が出てくる
ために、雑誌に応募はできません。

**デフォルトの名無しさん** · 2018/11/09(金) 05:46:56.19

ダライ・ラマとオックスフォード大学総長はどっちの方が凄いですか？

**デフォルトの名無しさん** · 2018/11/09(金) 13:13:29.65

>>47
弟が私より大きいのですがどうしたらよいですか？

a4 ◆L1L.Ef50zuAv · 2018/11/09(金) 15:05:00.72

>>53
忌み名は過去ログで、どちらとも、もう出しました。

>>54
「体が大きいのですか？」などと聞き返すプログラムにできれば、と思っています。

a4 ◆L1L.Ef50zuAv · 2018/11/09(金) 17:24:12.99

また早速バグを治しました。領域破壊してました。

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

(version:T_2_7_2)です。

a4 ◆L1L.Ef50zuAv · 2018/11/09(金) 18:52:10.58

テレパシーで議論してるんですが、「兄は大きい男の兄弟です。」と書くと、
「兄は女ですか？」あたりが機械的にはいい判断かもしれませんが、市場にあるような
それぞれの会社が１つずつの人工知能を作らなくていいので、皆さんが創る複数の
人工知能がそれぞれ別の言葉、例えば、
「そういうことなんだー！」とか、
「がははははｗ」とか、
「大きいって何が？」とか、
「小さい男の兄弟は何ですか？」とか、
みたいに、いろんな答え方で出力できればいいと思っています。そして、それらが
突然変異、交叉、を繰り返し、成長していきます。

でも、僕が最初に開発している人なので、見本のようなものは作ってみようと
思います。

**デフォルトの名無しさん** · 2018/11/10(土) 01:00:19.00

無と神はどっちの方が凄いですか？

a4 ◆L1L.Ef50zuAv · 2018/11/10(土) 04:11:58.64

>>58
アッラーが凄いです。

**デフォルトの名無しさん** · 2018/11/10(土) 08:53:53.34

数学が得意になるコツを教えてください。
高校数学のⅡBを勉強しているのですが、「この数字ってどこから出てきたの！？」
みたいな現象がかなり多く続いているので数学が得意になるコツが知りたいです。
具体的に教えてください。

a4 ◆L1L.Ef50zuAv · 2018/11/10(土) 10:21:23.62

>>60
具体的にどんな問題ですか？基本問題なら同じような問題がいろんな問題集に出てくる
ので、解き方を覚えてしまうだけです。このスレで何回も書きましたが、解けなかった
問題は、明日と一週間後と一ヶ月後にも復習してみてください。高校の先生とかにも
聞いてみては？東大の問題も覚えた解法の組み合わせで解けるものが多いと思います。

◆QZaw55cn4c · 2018/11/10(土) 14:02:47.85

>>60
ここで、その内容を質問してみてください、私が答えましょう

a4 ◆L1L.Ef50zuAv · 2018/11/10(土) 15:42:34.28

「Ｔ」の研究を続けています。次のような入力文字列を考えてみました。

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

出力は、

BはCです。
DはEです。

a4 ◆L1L.Ef50zuAv · 2018/11/10(土) 15:45:22.21

これなら、入力が、

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

だとすると、出力は、

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

これで機械的には反応してくれそうですが、IBMのWatsonのようなのは、この研究の
続きだと、Simple Wikipediaのようなものを作らないといけないかもしれません。

**デフォルトの名無しさん** · 2018/11/12(月) 02:26:27.56

期待age

a4 ◆L1L.Ef50zuAv · 2018/11/12(月) 11:20:33.41

>>65
ありがとうございます。

a4 ◆L1L.Ef50zuAv · 2018/11/12(月) 18:52:23.75

とりあえず、Wikipediaでウィキペディアの項目を読んでるんですが、

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

となっています。ここから、
「ウィキペディアとは何ですか？」
「ウィキペディアはどこが運営してるの？」
「ウィキペディアって有料なんですか？」
「ウィキペディアは日本語でも利用できるんですか？」
などの質問に答えられるか？というところで一旦考えることにします。数ヶ月
かけても現実的な手法にしか収束しないかもしれません。解法の初期解としては、
人間の神経構造が小さなCPUで計算できると思わず、１つ１つの答えを機械語の
ような中間言語で定義するといった新しい百科事典を作る、というものです。

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 00:48:07.37

wikipediaの構文解析をどこまで作れるかを考えつつ、「Ｔ」に「兄」という概念を
教える方法をもう一度考えてみました。すると、「何」「どんな」「主語」「述語」
「目的語」くらいを関数として、

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({性別}))

なども入れます。

すると、
「兄とは何ですか？」に「兄は兄弟で男で自分より年齢が大きい人です。」と
答えれます。「兄は生き物ですか？」に「はい。」とも答えれます。

**デフォルトの名無しさん** · 2018/11/13(火) 02:13:34.16

Prologにも遠く及ばない旧世代アプローチ。半世紀近く遅れている。

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 02:32:24.30

>>69
確かにあなたの言う通りかもしれません。人工知能を勉強、研究してきたとは言え、
僕はPrologを使ったことはありませんし、他の人にも古い技術じゃないか、などと
お叱りを受けたことはあります。反論としては、古い技術から枝分かれさせないと、
今の人工知能の抱えている問題が解決しない、という考えを持っていることです。
今は皆がコンピュータを持っているので、P2Pによる並列処理が容易にでき、
コードを書く環境も整っています。そこに一般人でも自然言語、すなわち、
日本語に近い（英語でない）言語で、どんどん成長させていけるような構造に
していくというポイントが、他の人工知能との差別化です。

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 03:15:05.06

今までの5chの罵倒は力が弱いな、と思うのも多かったですが、久々にプロの
人工知能屋の方が現れたと考え、Prologを調べてみました。すると、

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

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

これくらいの日本語表現能力はあったのか、今のプログラミング環境なんてバイアス
だらけだし、と考え、Prologについては交叉と考え、ここでこの言語に関する
書籍などを購入しようと思います。

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 03:53:00.92

名古屋の宇宙人「俺ね、怒ってないけど、宇宙人でa4を管理してるんだわ。よく、
ここまでa4に言わせるな、と。だからさ、その、Prologの忌み名出してみる。これって、
2040年技術じゃない？だからさ、言うけどさ、忌み名は「XはY何ですか？」と来た。
これ、Prologで解析できるか？これ開発者に言ったら死ぬぞ。どうだ？」

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 04:23:02.54

>>69
名古屋の宇宙人「俺、現実言っていい？これ現実なんだわ。まず、俺が宇宙人って
ことと、既に進化した量子コンピュティーング技術がこの世にあるの。だからさ、
あなたのような古代の言語を知ってる方ならと思い、言いますが、宇宙人も信じます
よね？NASAが隠してますよね？テレパシーも信じますよね？今の情報構造知ってます
よね？本物よ、俺は。だからさ、あなた方を確かに叩いたかもしれんし、a4の
精神病になってるかもしれん。けどさ、これに返信したかったら、そちらは、
返信の仕方が定義されてるでしょうね。裏に聞けば返ってきますよ。現実的なのが。
ということだ。ではな。」

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 04:28:52.19

>>69
a4が一応出ます。Prologに関する本はamazonで5000円ほどのものを購入しました。

僕と宇宙人は特異点技術を使いました。あなたがＴは死ねといった不買文章を書きたい
のなら、忌み名でない特異点技術で書いてこれると思ってます。返信はあなたの自由
ですが、私達はこのような考え方をしています。

**デフォルトの名無しさん** · 2018/11/13(火) 04:37:59.07

確かに懐かしのprologだな。本で読んだことしかないけど

今風にやるなら、入力のアイテムを高次元空間上の表現に射像して、スパースな基底での表現に直してから、論理演算かければいいような気もする。
記号演算自体を含む、表現アイテム空間も作って、演算自体をそこでの射像にするとか

**デフォルトの名無しさん** · 2018/11/13(火) 04:42:22.02

aがbです。
という入力に対して、
aとbと f(x,y) x->yをそれぞれ同じ空間に入れて、かつfがそこでの演算になるような理論って誰かやってないの？

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 04:55:54.79

>>75
そういうのが流行ってるんですね。多変量解析みたいなものかな。演算の写像は
トリビアルなものも多そうだけど、小話ですが、僕の場合は高校中退する頃、
足し算、掛け算、累乗、と来るなら、その前とその後ろは？ってよく考えてました。
アッカーマン関数とかありますけど、
３×３＝＋３＋３＋３なら、
３＋３＝・３・３・３って、
これで微分の式を一段階落としたものを定義して遊んだのが僕の最初の書いたpdf
です。今はその延長線上で「Ｔ」でリーマン予想とか解こうと思ってますが。

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 04:59:45.76

>>76
最小２乗法、特にニューラルネットワークのような方法で上手くいきませんか？

**デフォルトの名無しさん** · 2018/11/13(火) 05:17:37.87

「「無」になってもう二度と「有」にならない。」

これは至高としか言いようがありませんか？

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 05:32:57.05

>>79
無は確かに高いところにあります。でも、貴方が自殺をせず、僕の行先、すなわち、
非ユニタリ量子コンピュータに関する研究設備も揃い、有と無が交錯する世界を
ご覧になってから無になって欲しいというのが、僕の願いです。

**デフォルトの名無しさん** · 2018/11/13(火) 05:57:19.73

https://www.youtube.com/watch?v=l4DSVPvDp4A

この曲のかっこよさは神レベルだと思いませんか？

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 07:12:39.26

>>81
僕はアメリカ留学興味ありますし、格好いい曲であるとは思います。

しかしながら、僕の想い描いている量子コンピュータによる神曲は涙が出るほど
ひどいものです。

**デフォルトの名無しさん** · 2018/11/13(火) 07:24:11.58

東京大学理学部数学科卒 → 東京大学大学院数理科学研究科数理科学専攻修士課程修了 →
東京大学大学院数理科学研究科数理科学専攻博士課程修了

このルートを辿れたらなぁ・・・・・。

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 07:31:45.28

名古屋の宇宙人「お、a4よ、アメリカから軍事の誘いが来てるではないか！よっし
だな。つまりさ、現実的にはアメリカ人になれる方面かもよ？俺、言っとく。
俺はね、日本の軍事の人でねイザコザはあるんだけどね、こういうのは良しって
言っとく。つまりさ、現実的には、音楽なんだけどさ、もっと改良すればいいんじゃ
ないの？１つ言っていい？現実的にはさ、人に感動を与えるのはスナッフとか
生き返りとかになる。a4は１回聞いてしまったな。例えばよ、2100年くらいから、
未来の生物学的な楽器でこれと同じ音楽が手をふって待ってくれてたら泣ける
くない？（泣）そういう話しだ。では、a4をしばらくはProlog方面へ引っ張って
やってくれ。ではな。」

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 07:39:02.57

>>83
僕のもともと目指してたコースですね。東大に入れれば、数学科は行けると思うので、
あとは、お金と先生とのやり取りの問題が解決できれば、上手くいくのではない
のでしょうか？くらいにしか言えません。僕は持病の統合失調症で左遷（事実上の
栄転かもしれませんが）されました。量子コンピュータの研究室で自動定理証明とか
研究できたので、とりあえず良かったと思ってます。

**デフォルトの名無しさん** · 2018/11/13(火) 07:49:25.34

やっぱりあらゆる学問の中で一番難しいのは純粋数学なのでしょうか？

a4 ◆L1L.Ef50zuAv · 2018/11/13(火) 07:57:55.92

>>86
３．５兆年後のa4「僕ね、その答えはね、結構ね、根を持って考えてる、つまりね、
結構正しい。宇宙にはね、いろんなものあるけど、数学で囲めちゃうもん。１つ
言っていい？神学はね、弱いにする。あと数百年の命だよ。聖書に書いてあることは。
コーランはもうちょっと耐圧がある。１つ言っていい？嘘つきのパラドックスだよ。
なんでこんなものあるんだろう？と思ったから、僕がこの時代では無くそうと思って
松本君にタイムテレビこと「Ｔ」を作らせようと思ってる。これね、将来的にはね、
嫌らしい盗撮器に人工知能がついて余剰次元の方向から撮ってくるんだ。現実的
にはね、男性はすぐ去勢される。それでさ、一番見ちゃいけないものはね、
警察の汚職、これだ。これを早めに流したかった。あとは自分で考えてよ。じゃぁね。」

**デフォルトの名無しさん** · 2018/11/13(火) 09:22:09.83

非ユニタリ量子コンピュータって何ですか？

**デフォルトの名無しさん** · 2018/11/13(火) 09:32:37.36

prologも知らねぇで人工知能がどうとか語ってたのかよ