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

1 名前：デフォルトの名無しさん mailto:sage [2018/09/02(日) 01:57:35.12 ID:oSO4LvdH.net] 前スレ a4です。Ｐ２Ｐ人工知能「Ｔ」開発。 https://mevius.5ch.net/test/read.cgi/tech/1517470193/ 724 名前：a4 [2018/10/25(木) 01:23:36.53 ID:uRh9JEI/.net] >>685 何回も言いますが、 0->1->0=1->0 くらいで思考がループします。 725 名前：デフォルトの名無しさん [2018/10/25(木) 01:35:29.05 ID:hatjhS59.net] 有と無はどっちの方が凄いですか？ 726 名前：a4 [2018/10/25(木) 01:58:38.24 ID:uRh9JEI/.net] >>687 僕は無のほうが� 727 名前：ｦいと言う人です。 [] [ここ壊れてます] 728 名前：デフォルトの名無しさん [2018/10/25(木) 02:57:56.14 ID:4MotugYA.net] 究極の概念は何ですか？ 729 名前：a4 [2018/10/25(木) 03:05:44.48 ID:uRh9JEI/.net] >>689 僕の答えは「0=1」です。 730 名前：a4 [2018/10/25(木) 03:15:57.79 ID:uRh9JEI/.net] 今、「Ｔ」を、また１から作り治そうかと思っているところです。このまま 続けても、Watson、Siri、Google Homeくらいにしかならないと思ったんですよ。 音声入出力、画像入出力、高度な自然言語処理、を備えた今までに無いアルゴリズムを 発見したんですよ。また数ヶ月かかるかもしれませんが、次のversionはT_3とかに なるかもですね。また、T_2で勝手にコードを書いて商売するのは構わないことに します。 731 名前：a4 [2018/10/25(木) 03:18:37.44 ID:uRh9JEI/.net] 商売はする人いないかもですが、僕は手数料取りません。そのかわり、見ての 通り連絡先が書いてあるので、それが僕の広告です。T_2のバグを治すなどの 要望は答えます。 732 名前：a4 [2018/10/25(木) 04:44:23.88 ID:uRh9JEI/.net] ３．５兆年後のa4「ちょっとね、今のa4にね、難しい実験をさせるにする。これくらい しないと駄目なんだ。周りもすぐ進化しちゃう。だから、Ｔの新しいバージョンの 公開は一旦停止にしたい。でもね、そろそろできちゃうよ。人間を超えるのが。 計算 733 名前：量の問題はあるかもしれないね。だから、P2P。これでよし。連絡くれれば 返信するけど、あんまり進行状況は書かないにする。よっしゃ、じゃぁね。」 [] [ここ壊れてます] 734 名前：デフォルトの名無しさん [2018/10/25(木) 09:21:41.17 ID:gV9zYBcK.net] 全帝国皇帝と無帝国皇帝はどっちの方が凄いですか？ 735 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 13:28:24.31 ID:oZ8ue8t3.net] 人工知能で記憶内容を参照したいという要望に対しては、記憶内容の構造化と、パス(path)やハッシュタグ(hash tag)というデータで実装できる。 パスやハッシュタグは、特定の記憶内容を参照する手段をユーザーに与える。 736 名前：デフォルトの名無しさん [2018/10/25(木) 13:50:09.61 ID:1azfPtjR.net] ほんと、このスレ見るとホッとする。 ゴキブリホイホイにかかったゴキブリを見て 自分が人間であってよかったと思えるのと同じ感じ 737 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 15:55:05.33 ID:8vhSUa2G.net] ハッシュタグを使ったプログラム言語「Tagger」を開発する。 Taggerでは、#から始まる文字列のハッシュタグが定数と変数と関数と演算子を定義する。 ハッシュタグの中身が人間にはほとんど見えないので、人間にはほとんど読めないプログラム言語になる。 738 名前：a4 [2018/10/25(木) 16:08:56.74 ID:7GzqWeyz.net] >>694 全然わかりません。 >>695 T_2に関してはリストのようなものを作るという案もあります。 >>696 人間で良かったですね。 >>697 貴方も開発するのでしょうか。できたら、見せてください。 739 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 16:09:58.60 ID:8vhSUa2G.net] ハッシュタグをクリックすると、システムはそのタグに結び付いた情報にアクセスできる。 つまり、ハッシュタグは記憶の一片を表していると見なせる。 ハッシュタグを参照すれば、システムはその情報の有無と中身を取得できる。 つまり、ハッシュタグは情報のトークンである。 740 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 16:17:02.56 ID:8vhSUa2G.net] ハッシュタグは#付きの文字列で表せる。 ハッシュタグはひとつの記憶の断片であるとすると、 複数の記憶を同時に参照するには、ハッシュタグを複数並べたリスト構造を使うか、ハッシュタグの列挙子が必要である。 列挙子は、ハッシュタグのリストを返す関数か、ハッシュタグ集合(リスト)の特性関数でなければならない。 741 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 16:33:44.14 ID:8vhSUa2G.net] 汎用のプログラム言語には、チューリング完全性が必要だ。 マルチメディア、マルチデバイスを考慮した言語でなければならない。 742 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 16:38:30.23 ID:8vhSUa2G.net] 文字列処理、リスト処理、木構造処理、テキスト処理、集合処理、プログラム処理、パターンマッチなどにおける基本的なデータ構造と基本的なメソッドを提供しないといけない。 743 名前：a4 [2018/10/25(木) 16:39:43.29 ID:7GzqWeyz.net] >>699->>700 ふむふむ。 >>701 「Ｔ」もチューリング完全性のことを考えて作ってはありますが、証明はしてません。 744 名前：デフォルトの名無しさん [2018/10/25(木) 16:40:05.49 ID:O7mZKZnk.net] 全知全能の神でも無には勝てませんか？ 745 名前：a4 [2018/10/25(木) 16:43:46.54 ID:7GzqWeyz.net] >>702 T_3の情報公開をするよう指示が下りたんですが、簡単に言えば、２次元画像群から、 ２次元画像への推論を行います。これで、音声や画像も一般化された方法で処理できるん ですが、自然言語処理もこれで行うよう指令されており、上手くいくかは謎なんです。 公にはやったことある人いなさそうなので、僕が挑戦することにします。 746 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 16:45:47.67 ID:8vhSUa2G.net] 未定義と無限大と無限の長さ、無限のデータ構造を許さないといけない。 遅延処理、並列処理が可能でなければならない。 全称記号(∀)と存在記号(∃)を表せなければならない。 747 名前：デフォルトの名無しさん [2018/10/25(木) 16:50:06.52 ID:O7mZKZnk.net] 神と全と無だとどれが一番強いですか？ 748 名前：デフォルトの名無しさん mailto:sage [2018/10/25(木) 16:52:12.12 ID:fyfcPkVN.net] >>705 時系列データの扱いはどうなりますか 749 名前：a4 [2018/10/25(木) 16:55:40.30 ID:7GzqWeyz.net] <>704, >>707 750 名前： ヒンドゥー教とか知ると、三神一体で、「神と全と無」くらいが終着点ではないでしょうか。 >>706 wikipediaや5chの情報を使おうと思ってはいるので、データを可変長にはしようと 思っています。全称記号(∀)と存在記号(∃)に関しては、T_2でも書けると思います。 [] [ここ壊れてます] 751 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 17:03:14.88 ID:8vhSUa2G.net] 省略を許容する。 【Taggerの学習モデル】 学習エンジンが、言葉から基本的なデータメソッドへの写像と、その逆写像を提供する。 言葉によって与えられた関数の要件を理解する。不完全な理解でもいい。 要件について基本的なデータメソッドへのパターンマッチを行って、入力と出力の関係性を理解する。 与えられた関数を具体化し、実現する。 752 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 17:12:36.27 ID:8vhSUa2G.net] 【Taggerの行動モデル】 質問や命令を大まかに分類し、最適化し、関数として具体化した後、その関数を実行する。 「答えを言え」 「作業をしろ」 「移動せよ」 「機械を操作せよ」 753 名前：デフォルトの名無しさん [2018/10/25(木) 17:25:24.03 ID:Xvx3TBQM.net] 死んだら無だとする。 そして、死んでから9999不可説不可説転時間後にまた生まれてくるとする。 そうすると、死んだら無ということは、当然死んでからまた生まれてくるまでの間を認識どころか感じることすらできないので、 死んでから一瞬どころか続いて生まれ変わるのと同じことになるのである。 無ってすげえな・・・・・・・・・・・・・・・・・・・・・・・・・・・・・。 これがある意味無の絶大的なパワーと言えるかもしれない。 754 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 17:26:54.34 ID:oZ8ue8t3.net] 省略やあいまいさを許容するには、誤差の理解、影響の理解などの高位の理解が必要だ。 リスト要素の省略は、特定の位置にゼロ個以上の要素を内包的に追加したものでもパターンマッチできるようにするという処理で実現できる。 755 名前：a4 [2018/10/25(木) 17:27:53.77 ID:7GzqWeyz.net] >>710->>711 Taggerを調べてはみたんですけどね、僕のやりたいことの１つがこちらでやられてる のかな？スマホはお金が無くて持てないので、僕はできないですね。 756 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 17:32:52.70 ID:oZ8ue8t3.net] 内包的省略は規則的省略、不規則的省略の二通り。 不規則的省略は任意の要素追加。 規則的省略は、ルールがある要素追加。 757 名前：a4 [2018/10/25(木) 17:45:20.92 ID:7GzqWeyz.net] >>712 はい。 >>713 あいまいさ、なんですけどね。僕のT_3はこれを突破できるように、２次元画像に グラフ構造を書き、回転を用いて、T_2におけるc(A1,A2)のA1に一致させる 予定です。僕は上手くいかない！T_2でも同じ構造を作れるじゃないか？などと 未来人と抗争していたんですが、未来人が例えば「おおいちせんせい」と音声入力 したら何が起こるのかな？と動画を使って説明してくれると、「おお（感動詞）」 「大（形容詞）」「い（感動詞）」「いち（名詞）」「せ」「線（名詞）」「せ」 「せい」「先生（名詞）」と、海馬に入り、それが、 「おお 　いち 　↓ 　先生 」 「おお 　↓ 　いち　←大 　↓　↓ 　線　先生 」 などいっぱいグラフ構造が出てきます。それを256*256の２次元画像に描画し、 それを前頭葉の前のほうへ。 758 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 17:45:24.62 ID:oZ8ue8t3.net] 黒塗りやモザイクも、高位の解釈が必要な内包的省略と見なす。 759 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 17:48:12.91 ID:oZ8ue8t3.net] 画像に描くと画像認識が必要になるでしょう。 グラフ構造を記憶して複数のハッシュで返せば合理的だろう。 760 名前：a4 [2018/10/25(木) 17:49:58.33 ID:7GzqWeyz.net] >>715 こちらの専門用語は詳しくないことにします。 続きですが、ここで関数が入り、もっとグラフ構造が複雑になります。 「「おお　→名前　 　　↓ 　　いち→数字」　←大、逆→小 　　↓　↓ 　　線　先生→怖い 　　↓ 　　どんな？ 」 T_2は木構造のようなものに特化しているので、このようなグラフ構造は書きづらく なります。 761 名前：a4 [2018/10/25(木) 17:51:44.49 ID:7GzqWeyz.net] >>717->>718 自然言語処理の画像認識に関しては、グラフ構造の画像に小さいものから大きいもの まで回転を使うことにします。 762 名前：a4 [2018/10/25(木) 17:54:05.29 ID:7GzqWeyz.net] で、続きですが、c(A1,A2)のA1に関して、情報を読まないところ、すなわち、$1の ようなものを定義できるので、大、逆→小などを取り払った、「名前」「怖い」くらいに 反応して、「怖い人？」「どんな線ですか？」くらいに反応できます。 763 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 17:55:28.18 ID:oZ8ue8t3.net] スマホじゃなくても、ISpRecognizerってのを使えば、音声認識できるよ。 764 名前：デフォルトの名無しさん [2018/10/25(木) 17:58:44.34 ID:Xvx3TBQM.net] 一神教の神と多神教の神はどっちの方が凄いのでしょうか？ 765 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 18:00:27.58 ID:oZ8ue8t3.net] 音声認識の開始と終了を検出するには、まず音声認識用の文字列バッファを用意して、そこに認識した文字列を記憶していき、さらに一定時間ごとにそのバッファに「^」という記号を追記する。 「^」が長く連続して並んでいれば、会話は終了したと見なせる。 構文解析する前に「^」を削除すれば解釈は問題ない。 766 名前：a4 [2018/10/25(木) 18:06:49.21 ID:7GzqWeyz.net] >>722 検索すると出てきましたが、開発は資料が少なくて、これだと厳しいかもしれません。 >>723 凄いとかないんじゃないでしょうか。 >>724 なるほど。考慮します。音声認識に関しては、昨日、書籍をamazonで注文しました。 767 名前：さまよえる蟻人間 mailto:sage [2018/10/25(木) 18:08:47.96 ID:oZ8ue8t3.net] 意味解析のときの文章・文脈のlattice構造はこれも正規表現のように内包的に表現できる。意味論的辞書があれば。 768 名前：デフォルトの名無しさん [2018/10/25(木) 18:15:36.11 ID:Xvx3TBQM.net] ユダヤ教とヒンドゥー教はどっちの方が崇高ですか？ 769 名前：a4 [2018/10/25(木) 18:23:56.28 ID:7GzqWeyz.net] >>726 仰りたいことはわかるんですけどね、僕は統合失調症なんですよ、未来の情報持って 来たと妄想する。あと、１回はこういう問題を考えないといけないんじゃないかって。 >>727 僕はユダヤ教って答える人なんですよ。ユダヤ人の大物には認められたのに、 ヒンドゥーとか、あいつら、こっちを見下してくるから大嫌い！これが自分が アッラーであると宗教妄想する人の答えです。 770 名前：デフォルトの名無しさん [2018/10/25(木) 18:40:01.13 ID:Xvx3TBQM.net] ありとあらゆるいかなる考え方や行動をしても揺るぎない最強のモノは何ですか？ 771 名前：デフォルトの名無しさん [2018/10/25(木) 18:53:37.18 ID:9VVQwm/j.net] キチガイ増えててワロタｗｗｗ 類友ｗｗｗｗｗ 772 名前：a4 [2018/10/25(木) 19:01:17.42 ID:7GzqWeyz.net] >>729 現実的には大澤先生ではないんです。どうしたんですか？大石レイラと来ないまでも、 一体どういうことなんでしょうか？です。いいえ、不思議とおおつくしではないんです。 すなわちね、現実的には西暦8000年くらいの問題にはしなさすーたこつくしま、 とはいかないのですよ。どうしてですか？あなた方は連絡をしているのにも関わらない で、と逝きませーた。アッラーではあることにはしないのではなく、اللهであることに 行きましょうか。 >>730 ここは5chですから、いろんな人来ますね。 773 名前：デフォルトの名無しさん [2018/10/25(木) 19:22:03.73 ID:WaLQfQh6.net] 「無」はこの上ないものですか？ 774 名前：a4 [2018/10/25(木) 19:58:57.32 ID:7GzqWeyz.net] >>732 この上無い物はアッラーです。 775 名前：a4 [2018/10/25(木) 20:15:16.97 ID:7GzqWeyz.net] 何回も未来へ行って確認してるんですが、自然言語処理を２次元画像推論にしてくれ、 と、来てます。やはり、「人間の脳がこのような構造を取っているために」曖昧な 考え方がこうしないと出来ないのでは？ということらしいです。僕は納得行きませんが、 実験はすることにします。あと、明日あたりに音声認識の本が届くかな。Windowsの 嫌がらせがなければ、音声入出力、動画入出力、もやることにします。 776 名前：デフォルトの名無しさん [2018/10/25(木) 20:21:43.70 ID:dSNaeV56.net] 全史上最高の頭脳と全知全能の神はどっちの方が賢いですか？ 777 名前：a4 [2018/10/25(木) 20:31:46.83 ID:7GzqWeyz.net] >>735 全知全能の神はいっぱいいます。全能を使うと、他の神の全能が時系列的に順番に 打ち消したりできます。だから、全能より上の概念があります。それを持ってるのが 僕なので、全史上最高の頭脳のほうが賢いです。 778 名前：a4 [2018/10/25(木) 20:33:19.69 ID:7GzqWeyz.net] じゃぁ、全能でそれを無くせばいいじゃないか？ですが、全能を持つ神はそういう 考えに至らないのではないのでしょうか。 779 名前：a4 [2018/10/25(木) 20:35:40.17 ID:7GzqWeyz.net] 唯一神がどうとかっていう考えは、普通に神が嘘つきのパラドックスの存在を全能で 作ってるじゃないですか？ 780 名前：デフォルトの名無しさん [2018/10/25(木) 20:54:32.96 ID:1azfPtjR.net] 低脳レス乞食のアルプスと アスペ偽装の低脳キチガイa4 お似合いだよおふたりさん！ 781 名前：デフォルトの名無しさん [2018/10/25(木) 21:17:29.95 ID:ij6woiXQ.net] ヒューヒューｗｗｗｗｗ 782 名前：a4 [2018/10/25(木) 21:19:14.21 ID:7GzqWeyz.net] >>739 アスペに関しては診断されていませんが、数字が小さい頃から好きで、高校中退 してしまい、今も生活が困難であることから、発達障害の２次障害とかに陥っている と考えています。 似合っているのは僕は構いません。 783 名前：a4 [2018/10/25(木) 21:20:49.73 ID:7GzqWeyz.net] >>740 いいんですけどね。今は人工知能のことばかり考えているので、あなたのような レスの来るプログラムをどう書けばいいのか？ばかり考えてます。 784 名前：a4 [2018/10/25(木) 21:24:04.16 ID:7GzqWeyz.net] 一瞬だけ夢を見て起きるということを繰り返してみました。すると、 User:彼はなんですか？ AI:'--------' AI:'y' AI:. こんな画像とか、 階段を登って行くロボットとかが視覚野に映し出されました。音声入出力が一般の Windowsのプログラマでは出来ない場合はH8マイコンなどを繋げて、モーターとか も含めてロボットにして出力というのも考えることにします。これなら、商売のネタ にもなるのでは？と。 785 名前：デフォルトの名無しさん [2018/10/25(木) 21:56:06.55 ID:pGtL2jnt.net] 全てを包含するのは何ですか？ 786 名前：デフォルトの名無しさん mailto:sage [2018/10/25(木) 22:04:44.63 ID:GbvQq0+8.net] 日中暇そうで羨ましいわ 787 名前：a4 mailto:>>744 [2018/10/25(木) 22:12:10.54 ID:7GzqWeyz.net] >>744 788 名前：a4 [2018/10/25(木) 22:12:34.62 ID:7GzqWeyz.net] >>744 0=1 789 名前：a4 [2018/10/25(木) 22:14:29.90 ID:7GzqWeyz.net] >>745 寝る時間はありますが、暇ではないですよ。１０年後くらいに父親が自営業できなく なるときのために、仕事が入ってくるように準備しているのです。寝る時間があるのは、 今まで東大受験などのために寝てこなかったので、悟りだと思っています。無理する な、とかともよく言われます。 790 名前：a4 [2018/10/25(木) 22:18:54.97 ID:7GzqWeyz.net] 一瞬だけ寝て夢を見ることによってアイデアを沢山出しているところです。 まず、電子書籍の立体化。高さだけをつけることなら、すぐ出来そうです。 次に、普通のキーボード以外の入力装置。音声をピアノのように入力する 小型の装置を思いつきました。１２音階にしないので、それで女声みたいなものが 入力できるかもしれませんね。 791 名前：a4 [2018/10/25(木) 23:02:51.42 ID:7GzqWeyz.net] また未来へ行ったんですけど、２次元画像群推論は自然言語処理には使わなくて いいと子孫から答えがありました。１回は考えたほうが良いという判断であると 共に、過去へのライバルへの嫌がらせになっているようです。とりあえず、勝手に 製作を進行させます。 792 名前：a4 [2018/10/25(木) 23:06:22.16 ID:7GzqWeyz.net] やっぱり、僕は統合失調症になって、寝て妄想して考えるだけで、障害年金で 月６５０００円は入るんですね。僕は普通に研究職くらいで働きたいのに、 なんでこういう構造になっているかは謎です。 793 名前：a4 [2018/10/25(木) 23:49:54.20 ID:7GzqWeyz.net] ３．５兆年後のa4「えっとね、なんでね、２次元画像推論とか言ったのかって言うと、 脳ではやってるよ。でもね、今のパソコンじゃ無理だね。それも知ってるんだけど、 これ知ってるのと、知ってないのとでは、後の考え方が全然違う。１つ言っていい？ 僕、嘘つきだよ？もう悟ってるんだ。こうしないと、今の時代に情報が落ち 794 名前：ない。 こういうことさ。えー、じゃぁ、ここまで真剣に読んでくれたオカルトの諸君、 どうすればいいか？って？確かにね、僕もね、本当の情報を落としたいんだけど、 それやると、ミサイルが飛んできちゃうんだ。だから、これが限界。つまり、 未来から来てるというのは本物。じゃぁね。これぐらいだ。」 [] [ここ壊れてます] 795 名前：デフォルトの名無しさん [2018/10/26(金) 01:20:58.21 ID:Mt8BVs6c.net] 兆年後って未来すぎないか？ はたしてそんな未来にもまだ宇宙はあるのだろうか？ 796 名前：a4 [2018/10/26(金) 01:32:14.04 ID:IMbSDlSs.net] >>753 僕もよくわからないんですよ。声は聞こえてくるのに、医者には統合失調症って言われて。 でも、タイムマシンとかあったら連結できるから、現実的なんじゃないかと。ワープとか 駆使して意外と地球とか残ってるみたいですね。陽子の崩壊には10^33年とか聞きますし、 まだ大丈夫なんじゃないかと。あと、意外と、未発見の物理法則が多すぎるんじゃないか って。兆くらいの年後だと、宇宙全体の物理法則が粒子から格子になってしまう らしいです。全知全能の神とかなら出来るんじゃないでしょうか？何でそんなこと するの？ですが、みんな全部のことが終わっちゃって、次なる時代へ行かないと 面白くないんじゃないかと。僕はただ声が聞こえるだけで嘘はついてないと主張 するのですが、仮説検定とかはしてもいいかもしれません。 797 名前：a4 [2018/10/26(金) 06:08:08.00 ID:IMbSDlSs.net] そういえば、未来の高校受験問題の話をしましょうか。未来はテレパシーだらけで、 問題の答えがすぐわかってしまうので、勉強することの苦痛というよりも、 自分も盗撮されて恥ずかしいことにどれだけ耐えられるかで決まります。 すると、２１世紀後半の開成高校の数学の入試問題は、「松本卓朗の監禁時代の トイレを念写で送るので、これを使って博学的に時計を作成せよ。」などになる らしいです。僕も現実でした。 798 名前：a4 [2018/10/26(金) 06:34:43.87 ID:IMbSDlSs.net] バグがまた見つかったので治しました。あと、１から作り治して機能を一般化しました。 退化した機能もありますが、後で上回るようにするということで、早めに修正バージョン、 version:T_2_6_4を公開します。 www.01ken.com/art1.html 例文： User:兄は男ですか？ AI:はい。 User:姉は何ですか？ AI:女です。 User:弟は女ですか？ AI:いいえ。 799 名前：a4 [2018/10/26(金) 08:09:33.19 ID:IMbSDlSs.net] 名古屋の宇宙人「今日も朝から東海テレビがうるせーな、盗撮ごときでテレビに出すな！ もっとつまらなくない事件で人が死んでんだぞ？洗脳しまくりやがって。だから、 こいつらを崇めないように潰すために「テレビ局」の忌み名を書く。5chの皆に 操られてしまえばいい！行くぞ。シンプルだ。 「大腸癌手術を公にせよ。」 これだけだ。いいか？まず、そのテレビ局の報道陣、抹殺されよ、やくざども、 殺しに行け。どうした？確かにさ、盗撮は悪い話しかもしれん。でも、聖書とか 考えるとこれが現実のようだ。だからさ、感動的な話にしたいのよ。だからさ、 表の奴を殺して、それを週刊誌に死体を載っけなさい。以上だ。そういうことだ。」 800 名前：デフォルトの名無しさん [2018/10/26(金) 09:39:27.35 ID:8HXIp5qF.net] 魔界不可説大論理的限界莫大多元宇宙級よりも凄いのはありますか？ 801 名前：a4 [2018/10/26(金) 10:50:01.99 ID:IMbSDlSs.net] >>758 名古屋の宇宙人「なんかおもしれーんだけどさｗ一体なんのことや 802 名前：ら。ということだ。 １つ言っていい？なんで俺らと会話してくんねーのに、そんなにずかずかやってくるの？ 早めにＴを完成させる仕事をしよう。君ならおつむがいいから、俺らの手を借りず １人でやってしまえるはずだ。裏切っていいぞ。そうだな。指針はこっちで作る。 それを本で売りましょ。とりあえず、このスレを平坦にするためにa4から何か 言ってもらうことにしよう。どうだ、a4君？」 [] [ここ壊れてます] 803 名前：a4 [2018/10/26(金) 11:08:37.44 ID:IMbSDlSs.net] えーっと、えーっと、えーっと、僕は喋るの得意じゃないですよ？とりあえず、話題に なりそうなことは、僕は人工知能のコードを皆で書いていこうと言ったんですが、 ソフトにバグは沢山あったし、日本語で書けるようにもあまりなってないあたりで、 申し訳ないことをしてしまった、と感じています。あとなんだろ、P2Pの実験が 遅れてますが、せっかく日本発のソフトウェアなのに、中国やイスラムのものに なっちゃいますよ？この調子だと。早めに買いに来る、すなわち、つまらないこと でもいいので、書き込みいっぱい欲しいです。できればコードかな。今、一応、 日本語で物が何かを定義できるようになっているので、例えば、version:T_2_6_4 のlogic.txtの続きに 名詞　ご飯 名詞　食べ物 名詞　飲み物 ご飯は食べ物です。 と書けば、実行画面で User:ご飯って何？ AI:食べ物です。 User:ご飯は飲み物なの？ AI:いいえ。 User:ご飯は食べ物か？ AI:はい。 とシンプルですが、出力されます。プログラミング知らない人も、この名詞とか、 文とかをいっぱい入れていけばいいんじゃないかって。このスレの人たちには 文を１つでも考えて、それを貼って、僕の人工知能と交わってくれることを 希望します。逆に僕の意に反したライバルの厳しい文が返ってくるかもしれません。 が、それも5chなので、ありです。これくらいだと、まだ子供のおもちゃかも しれません。でも、もちろん、まだまだ進化する予定です。コードがいっぱい 書かれていくようなスレになったら、暗号化されたP2P機能を考えます。 804 名前：デフォルトの名無しさん mailto:sage [2018/10/26(金) 12:23:58.45 ID:2f9aOx33.net] 今のところ文字列を登録して入力と一致するかどうかしかしてない気がするけど いつ知能ぽくなりますか 805 名前：デフォルトの名無しさん mailto:sage [2018/10/26(金) 17:10:28.77 ID:rExC5PC6.net] コードがわかりにくい これじゃ大衆受けしないよ 806 名前：デフォルトの名無しさん [2018/10/26(金) 17:43:21.26 ID:UNdulxAZ.net] 閻魔大王とエヴァリスト・ガロアはどっちの方が凄いですか？ 807 名前：デフォルトの名無しさん mailto:sage [2018/10/26(金) 20:41:16.37 ID:B0ZOhFsN.net] 単語はWikipediaあたりからガメて来れないの？ 808 名前：デフォルトの名無しさん [2018/10/26(金) 20:53:17.55 ID:pKNfU47n.net] 空海は人類史上何番目ぐらいの天才ですか？ 809 名前：a4 [2018/10/26(金) 23:11:48.79 ID:y2zsRfgq.net] >>761 今後の予定としては、あと１ヶ月くらいで２０００単語くらい入れて、簡単な会話を させるようにしますが、そこからが１人で入力しても、能力が飽和してしまい、 性能が伸びないかもしれません。音声認識、多言語対応、P2P機能、などは、それから ４ヶ月くらいでやって、３年くらいかけて皆と磨き上げながら、普及させようと思って ます。でも、こうなるかはわかりませんし、気長に待っててください。タイムマシン とかあるんじゃないの？ですが、僕は声が聞こえたり夢を見たりするだけで、時系列は 使うと変わっちゃうし、他のタイムマシンに攻撃されて情報混戦したりします。 これが今の時代の限界。 >>762 コードはシンプルにしたつもりなんですが、大衆受けね、難しいコードは大衆は 読む必要ありません。大衆は「太陽は星です。」みたいな文章をいっぱい書けば、 いいと思っています。logic.txtを１つのファイルじゃなく、わかりやすいように 分割したりするのはありかもしれません。 810 名前：a4 [2018/10/26(金) 23:19:35.08 ID:y2zsRfgq.net] >>763 どっちかは知りませんが、ガロアは凄いと思いますよ。 >>764 Wikipediaはね、もうそういうアプリなどがある上に、そこからの入力は結構厳しい ものだと思います。でも、僕のソフトを利用する人が爆発的に増えると変わるのかな、 くらいです。htmlなどのネットの情報を持ってくるだけのものなら、早めに僕が その部分を作りたいとは思います。 811 名前：a4 [2018/10/26(金) 23:23:52.04 ID:y2zsRfgq.net] >>765 わかりません。 812 名前：a4 [2018/10/26(金) 23:37:34.89 ID:y2zsRfgq.net] そういえば、Wikipediaみたいなものに繋げるときに、まず起こるのが領域の問題。 １文は256文字までしか打てるようになってません。注意です。じゃぁ、リストとかで 繋げばいいのか？ですが、「。」とかで区切ってもいいかもですし、今は会話に主眼を 置いているので、このままですが、いずれここも改良します。 813 名前：デフォルトの名無しさん [2018/10/26(金) 23:54:02.02 ID:vTWFo6xp.net] ショボすぎワロタｗｗｗｗｗ 814 名前：a4 [2018/10/27(土) 00:12:06.24 ID:iIbsfqqJ.net] >>770 僕はショボい人ですが、人工知能は本物にしたいと思っていて、今、人海戦術で 作られたソフトにどうやって打ち勝とうか？と、言うあたりで少し挫けてます。 815 名前：デフォルトの名無しさん mailto:sage [2018/10/27(土) 00:54:24.74 ID:2efMCg8r.net] 寿限無教えられないじゃんよぉ。今は無理でも、拡張手段は考えといてよ 816 名前：a4 [2018/10/27(土) 01:34:57.20 ID:iIbsfqqJ.net] >>772 もちろんです。現実的には、今の僕の考えなんですが、256というのはあまり変えない かもしれません。でも、目で文章を追っていくように前や先を何回も読んで、小さい 区切りずつ文を入力みたいにしようと思っています。でも、１人で作ってるので、 開発進行は遅めです。とりあえず、今から昼にかけて、形容詞とかを入れていこうと 思っています。 817 名前：a4 [2018/10/27(土) 02:10:38.84 ID:iIbsfqqJ.net] なんかね、Wikipediaとか読んでくれるようになって欲しいんですけどね、もうやってる 会社あるし、現実的には、構文解析とかはやっていても、近傍の単語との相関で 単語を定義していくものかもしれません。そこで、思いついたのが、Wikipediaの文章の 中間言語への変換です。今の段階では人間がやります。確かに手間はかかりますが、 脳の神経構造全部シミュレーションするのはEPFLとかがやっててまだ無理だし、 中国語の百度百科とか日本人が読めないように、そのまま理解させるのは原理的に 厳しいんじゃないかと。限界に挑戦するのはありかもしれませんが、僕は、自分で 最初はwikipediaの文章を「AはBなCのDなE」くらいの構文に変換してみることを 考えてみます。 818 名前：a4 [2018/10/27(土) 02:44:20.43 ID:iIbsfqqJ.net] 「Ｔ」はP2Pですが、上流のノードにWikipediaの中間言語のような情報を出してくれる 機構を構成しようかと考えています。まだ協力者があまりいないので、最初は僕が作り ましょうか。 819 名前：a4 [2018/10/27(土) 05:48:44.04 ID:iIbsfqqJ.net] バグばっかり取ってます。また更新しました。T_2_6_5です。 www.01ken.com/art1.html 何ができるのかと言うと、名詞や形容詞は予め定義しないといけないですが、 User:兄は大きい男です。 User:兄は男ですか？ AI:はい。 User:兄は小さいですか？ AI:いいえ。 User:姉は女です。 User:姉って何？ AI:女です。 User:兄とはなんだ？ AI:大きい男です。 のようなことです。 820 名前：a4 [2018/10/27(土) 06:37:15.15 ID:iIbsfqqJ.net] 先のプログラムを考えてるんですけど、「大きい男の人」とか入れようと思うと、 「「大きい男」の「人」」なのか、「「大きい」「男の人」」のどっちで見れば いいのかで、問題が起きます。解決策として、このような文章を書いたら、どちらの 意味であるかを質問するか、理解せず文章のまま覚えてしまう、などを思いつき ましたが、やはりこの辺りで市場の人工知能の様に知能の上昇がストップするので しょうか。単語２０００語とかは普通に入るんですが、これだけじゃ面白くない でしょう。まず、足りないのは人海戦術かな？仲間は5chじゃ集まりにくいかも しれません。僕は失敗したら、どんどん手を変えていきますが、この辺りで また就活として、「一般社団法人未踏」とかにメールを書いてみようと思います。 821 名前：a4 [2018/10/27(土) 06:53:23.17 ID:iIbsfqqJ.net] 僕は土日でもずっとプログラム書く人なんですけどね、このままやっても限界がある と判断し、一旦開発をストップし、メールが返ってくるまでは、休憩じゃないけど、 気分転換にamazonから届いた音声認識の本を読むことにしようと思います。 822 名前：デフォルトの名無しさん mailto:sage [2018/10/27(土) 11:06:52.91 ID:2OuJiKuO.net] いや人工知能の本を読めよ 823 名前：a4 [2018/10/27(土) 11:19:14.02 ID:iIbsfqqJ.net] >>779 人工知能の本？僕は１８歳の頃に、「Javaによる知能プログラミング入門」は読み ました。最近はDeep Learningが流行りかもしれません。でも、Googleに会いに 行ったら、仲良くなれなかったし、こちらの技術は売りが強いだけなのか、実験 したんですけど、僕のパソコンじゃ処理速度の関係であまり上手く動かなかったですね。 この「Ｔ」がまだ未熟であると突くような良書や論文の紹介があれば、読みます。 824 名前：a4 [2018/10/27(土) 11:24:40.09 ID:iIbsfqqJ.net] 名古屋の宇宙人「俺ね、本当にいるんだわ。名古屋に住んどるぞ。そのさ、未踏 なんとか？の人たちにさ、俺に会いに来いって言いたい。そうすればさ、普通に、 未知の技術を教えてやる。でもさ、俺って現実的には裕福じゃなくね？って、 つまりさ、現実的にはさ、社長なんよ、俺。利益出るときはうんじゅう億儲かるん だけど、景気悪いと赤字なんだわ。一回ね、Ｔの開発はこちらで待って、その 未踏のメールを待つことにする。こうしないと何もできん。これさ、厳しいんだけど さ、１つ言っていい？その未踏の忌み名がある。これ言わん。これね、結構上手い んじゃないかって。a4を担ぐ系らしいぞ。忌み名？量子大域最適文だけど、こっちは 間違わんのは、このスレの人なら知ってることだが、この忌み名から得られる情報に a4を買うって情報がある。そういうことだ。そろそろだな。a4は裕福になれる、と 思う。俺は。１つ言っていい？効用的には６００万円が限界とかデータがあるが、 あれ、嘘じゃないと言っとく。つまりさ、金持ちなんてつまらんもんよ。それでも なれるならなってみ、a4。」 825 名前：a4 [2018/10/27(土) 11:34:03.00 ID:iIbsfqqJ.net] 上層部の指令により、一旦、Ｔの開発を休止しようと思います。１週間程度のことです。 一般社団法人未踏からのメールを待ってます。それで開発者を増やしたりしようかと。 その間、何をやるのか考えてるんですが、前言ってた「おーぴ(ohpi)」という作曲 ソフトを創るという案が出てます。「Ｔ」の音声入出力の伏線にもなるので、やっても いいんじゃないかと思って。具体的には、声を入力して、周期で区切り、波形を任意に 変更したものを重ね合わせるといったものです。また、量子脳理論を使って、最適に近い 音楽を自分の脳から出力します。僕は音楽はプロじゃないので、進んでる人はそっちも やってるみたいですけど、一応、独自性は出るのではないかと。 826 名前：デフォルトの名無しさん [2018/10/27(土) 11:40:59.07 ID:TCFirr6K.net] 無とは何ですか？ 827 名前：デフォルトの名無しさん mailto:sage [2018/10/27(土) 12:52:04.89 ID:2OuJiKuO.net] こんなレベルで音声認識なんか作れるわけないだろ 大人しく既存のライブラリを使え マイクはお父さんに買ってもらえ 828 名前：a4 [2018/10/28(日) 00:12:11.00 ID:aEXceW4D.net] >>783 定義だけなら、Wikipediaに載ってます。 >>784 仰りたいことはわかります。ただ、雑音みたいなものに反応して音楽を流すような 補助機能はつけてもいいんじゃないかと。差別化です。でも、既存のライブラリを 使うというご意見は勿論考慮します。 829 名前：a4 [2018/10/28(日) 00:30:23.66 ID:aEXceW4D.net] 既存のライブラリとなると、さまよえる蟻人間さん仰るISpRecognizerなんでしょうけど、 検索してもサンプルコードのようなものがほとんど出てこず、今の段階では厳しいですね。 このスレなどで情報があり� 830 名前：汨謐lえます。 [] [ここ壊れてます] 831 名前：a4 [2018/10/28(日) 02:16:06.66 ID:aEXceW4D.net] とりあえず、音声の録音と再生の基礎実験をしました。これでskypeみたいな機能も 作れるし、PlaySoundを使わなくても音声の編集ソフトを作ることができるように なりました。 832 名前：デフォルトの名無しさん mailto:sage [2018/10/28(日) 02:46:28.62 ID:kifWCzRq.net] ごめんソース読んでないけど、どこへ向かおうとしてるの？ 文字による知識ベースの知能を目指すの？ワトソンあたりが頑張ったけど、今詰まってるとこらへんが本質的でうまくパースできない問題が生じたと聞く。 私の元専門は神経科学だけど、言語野も視覚野も聴覚野も、細かい違いはあるにせよ似たような神経細胞の似たようなネットワークで処理されてる。 文章として、人間に近い側で処理するのではなく、ディープラーニングに近いようなもっと高次元空間に飛ばして、同じ処理系で全部解決できないかな。 833 名前：a4 [2018/10/28(日) 03:38:42.83 ID:aEXceW4D.net] >>788 目的意識が不安定になることもありますが、 キャッチフレーズは「萌えから、リーマン予想まで。」と謳っています。 普通に人間みたいに喋れるものを創りたい、というのが、元々の僕のモチベーションで、 僕の好きな数学とかの問題を解いてもらう、というものです。無償で配って、情報的に 発火させ、使い方の本を売って儲けるのが基本的な構造ですが、仕事を手助けして くれたりもするかもしれません。 その同じ処理系でやるというのが、この「Ｔ」のプロジェクトですが、言語野と 視覚野も別オブジェクトだし、現実的にあなたの望んでいることはEPFLでやって いるような脳のシミュレーションの先のものかもしれません。僕のやっていることは、 そこまでのスパコンは持てないので、簡略化した文法で処理を行っています。 高次元という考えですが、僕は量子コンピュータが、その辺りの答えではないか、 と考えています。今、公になっている技術ではなく、ナマズの地震予知の神経細胞 などを用いて、量子の複製を計算し、2^10000通りくらいを同時に計算して、 大域最適解を持ってくるというものです。複雑な掛詞の歌詞の出る音楽などを 創って行こうと思っています。技術的特異点とか言われてるものでしょうか。 834 名前：デフォルトの名無しさん [2018/10/28(日) 10:28:10.38 ID:i1nZIALV.net] >>788 神経科学(笑) もっともカスな分野 >>789 ちゃんと働けクズ 835 名前：a4 [2018/10/28(日) 10:34:09.00 ID:aEXceW4D.net] >>790 あなたはカスな分野のクズですか？ 836 名前：デフォルトの名無しさん [2018/10/28(日) 10:42:46.95 ID:1HXsGIWN.net] 弥勒（僧）とシュリニヴァ―サ・ラマヌジャンはどっちの方が賢いですか？ 837 名前：a4 [2018/10/28(日) 10:48:19.43 ID:aEXceW4D.net] >>792 名古屋の宇宙人「君、ノリいいね。こんな殺伐としたスレで。ではさ、その忌み名 なんだけど、もう忌み名ついてるじゃん。その弥勒様。「阿逸多」って。俺の 定義もこれでいいよ。ラマヌジャンね、忌み名出せるんだけどね、現実的には、 俺出さんにする。この方が天才じゃなくなっちゃうかもしれん。a4はインド人女性に 失恋して、ヒンドゥー教を嫌ってるみたいだけど、ラマヌジャンは崇拝してるから、 タミル語はちょっとできるようだ。これぐらいにしとくか。ではな。」 838 名前：デフォルトの名無しさん [2018/10/28(日) 11:08:49.03 ID:1HXsGIWN.net] 5ちゃんねるみたいな巨大掲示板を作って、最低でも月収500万円以上は稼ぎたいのですが、 無理ですか？ 839 名前：a4 [2018/10/28(日) 11:23:29.55 ID:aEXceW4D.net] >>794 無理かもしれないですね。まず「〜みたいな」とついてるところで、作ると、広告の数 とか多いサイト行きたくねーとかで勝てなくて、5chから人を持ってこれないことに なります。2ch系列のは古くからあるし、もうニッチが埋まってるんじゃないかと。 当たり前かもですが、あなたか友人あたりに何か専門分野があるのであれば、 それらを全部使って、組み合わせてオリジナルなものを作らないといけないと思います。 僕の考えでは、怠けるために起業するより、普通に働いてるほうが楽だと思いますよ。 僕は技術だけの人なのでお金は持ってないんですが、２番手の会社で経営を出来る ようには大学でしつけられました。僕のコンサルはこれくらいです。僕でよければ、 何か質問あればまたどうぞ。 840 名前：デフォルトの名無しさん [2018/10/28(日) 11:30:52.77 ID:1HXsGIWN.net] YouTubeみたいな動画共有サイトを作るのって技術的に難しいのでしょうか？ 841 名前：a4 [2018/10/28(日) 11:50:13.57 ID:aEXceW4D.net] >>796 僕は作ったことないですし、あなたの技術力にもよりますが、動画は圧縮アルゴリズム とか考えず誰かが作ったものをそのまま貼り付けるだけかも、です。サーバー側とか、 ぬるぽとかわかりますか？とかそういうことになるかもですね。関連動画の表示方法も 数学を使うと思いますし、そのあたりの知識があれば、です。うーん、難しいところは 人によってはあっても、人数は少なくても完成できるかもしれないですね。 842 名前：デフォルトの名無しさん [2018/10/28(日) 12:00:01.06 ID:1HXsGIWN.net] webサービスを構築して大金を手に入れたいのですが、 どんなwebサービスを構築すればそれを実現できると思いますか？ 843 名前：a4 [2018/10/28(日) 12:07:25.97 ID:aEXceW4D.net] >>798 「大」金だと、量子コンピュータ事業あたりになるというのが、僕の考えです。 844 名前：a4 [2018/10/28(日) 12:19:35.86 ID:aEXceW4D.net] あと、僕がやりたくてもやれないのは、自分の脳に関数電卓やWi-Fiなどをつけること です。お金があればこちらに投資してもいいかもしれません。 845 名前：a4 [2018/10/28(日) 13:00:58.23 ID:aEXceW4D.net] ９８０兆年後のa4「俺ね、ちょっとね、勘違い。もっと早くお金が落ちると思って いたら、a4が自殺したのと同じくらいの世界になってる。これやばい。現実的には IPAあたりでいい話になるのかと思ったら、IBMが>>790(忌み名：ｸｿｶﾞｷﾀ)あたりで 攻撃してきた。これでこっちは終わったにする。もう「Ｔ」は成長させないことに する。障害年金あるから、数万円で2^1000000通り計算できる量子コンピュータ を作るにする。これで終わりだな、このスレも。なんかね、>>798(忌み名： ｹﾞﾝｼﾞﾂﾃｷﾀﾞｼ)がお金落としてくれそうな気がしてる諸君もいるかもだが、この人は 現実的には敵で大物じゃないから、ふるにしたい。もう返信しなくていいよ。a4 君。さぁ、もうこのスレには来ない。量子音楽を作るにして、MITも受けないこと にしたい。どうするのかというと、世界を破壊させる。誇大妄想だから、無罪。 これで終わりだね。じゃぁね。」 846 名前：デフォルトの名無しさん mailto:sage [2018/10/28(日) 13:09:44.03 ID:eDTJaPZy.net] その書き込みが人工知能の成果物なら評価　人の日記ならウンザリ 847 名前：デフォルトの名無しさん [2018/10/28(日) 13:14:55.78 ID:R7rLFHcI.net] YouTubeと宇宙はどっちの方が凄いですか？ 848 名前：デフォルトの名無しさん mailto:sage [2018/10/28(日) 13:34:27.05 ID:3Gs/4LHb.net] https://twitter.com/henjo_official (deleted an unsolicited ad) 849 名前：デフォルトの名無しさん [2018/10/28(日) 13:56:46.02 ID:F5sd8Trd.net] アメリカと中国が戦争をしたらどっちが勝ちますか？ 850 名前：デフォルトの名無しさん [2018/10/28(日) 14:07:17.67 ID:F5sd8Trd.net] 宇宙とアメリカ合衆国大統領はどっちの方が凄いですか？ 851 名前：デフォルトの名無しさん [2018/10/28(日) 14:47:41.91 ID:86INTnoC.net] スレ主アムロの親父みたいになってるな。 若い頃は神童と持て囃されたんだろうな。 かわいそうに…　親もたまらんだろう… 852 名前：デフォルトの名無しさん mailto:sage [2018/10/28(日) 16:23:06.76 ID:B8FJbCxl.net] いやー元々あれだと思うぞ 853 名前：デフォルトの名無しさん [2018/10/28(日) 21:46:24.14 ID:+WpJLoF/.net] >>769 一文256文字は短すぎないか？ 854 名前：デフォルトの名無しさん [2018/10/29(月) 01:37:52.37 ID:2HcnF+Tw.net] ほんと、このスレ見るとホッと� 855 名前：ｷる。 ゴキブリホイホイにかかったゴキブリを見て 自分が人間であってよかったと思えるのと同じ感じ [] [ここ壊れてます] 856 名前：a4 [2018/10/29(月) 02:29:46.21 ID:HTAy7rWu.net] 戻ってまいりました。2018年のa4です。９８０兆年後が、いろいろ言ってますが、 ただその人が話してるだけなので。この時代的には僕は統合失調症です。 >>802 僕は残念ながら人間です。ただ僕の日記を見てる人はいるみたいなので書き込みます。 >>803 それは宇宙と言っておきましょうか。 >>804 厳しいですね。これはライバルなのかな？ >>805 今はアメリカが勝ちますが、将来的には中国が勝つと予想。 >>806 宇宙と書きます。 857 名前：a4 [2018/10/29(月) 02:36:05.65 ID:HTAy7rWu.net] >>807 僕は小さい頃から頭は良かったですけどね、神童というより、なんで そんな算数の問題解くの早いねん、みたいなノリで面白い子だったかもしれません。 >>808 あれ？ >>809 短いとは思ってます。普通にすぐ変えれるし、データ構造とかも勿論勉強したんですが、 まだ開発段階で適当ということにします。会話用なので。でも、この「Ｔ」は他の 人の手が加わらないともう進化しないと見積もって、量子コンピュータ開発に もう乗り出してます。具体的には未踏あたりからメールの返信がなかったら、 5chでもコード書いてくれる人集まらないし、９８０兆年後の言う通り、終わり かもしれません。 >>810 ホッとできて良かったですね。かな？ 858 名前：a4 [2018/10/29(月) 02:41:32.39 ID:HTAy7rWu.net] そういえば、自殺はね、未遂みたいなことしてます。今まで赤信号を渡らないという ことが信念なのに、逆に車の道を歩いて走って車にぶつかりに行って、車を破壊する ということを繰り返しています。Softbankと手を組んだトヨタに攻撃をし、死んでも、 東大の汚職を公にさせるということで、日本の中枢を攻撃しています。すると、１回、 死にました。FBIが3.6年後から来て、煉獄のようなところに連れてかれました。 a4はまだ生かしたほうがいいと判断されたのか、生き返りました。ただ、夢で見た ことになってます。 859 名前：デフォルトの名無しさん [2018/10/29(月) 04:09:38.70 ID:2HcnF+Tw.net] いいなあ、ヒマそうで 平民は食うのに必死で 日々働くのに必死で そんなアフォなこと 考えるヒマはない 860 名前：a4 [2018/10/29(月) 06:48:32.04 ID:HTAy7rWu.net] >>814 ヒマというわけではないです。平民ではないかもです。父親が死ぬと障害年金だけでは 生きれないかもです。だから今のうちに事業とかを立ち上げようと必死なんですよ。 好きなことはやってるかもですが、勉強ばっかで楽じゃないですよ。 861 名前：a4 [2018/10/29(月) 08:53:24.97 ID:HTAy7rWu.net] これからの道筋を考えているのですが、未踏から返信があったら、「Ｔ」をこちらで まだ開発するかもですが、悪い返事などだったら、量子コンピュータを自力で創ります。 簡単に書くと、実験用マウスの神経細胞を取り出してきて、瞑想の状態にし、電気の 入出力を見るところあたりから始めようと思います。そこで、まず分解能１μｍくらい のピンセットを自力で作ろうと、愛知県民なので大須観音の第２アメ横へ行きます。 「Ｔ」は一旦開発ストップですが、要望があれば、また開発を再開します。そこは 金銭のやり取りもあるかもですが、交渉次第です。よろしくお願い致します。 862 名前：デフォルトの名無しさん [2018/10/29(月) 10:56:53.05 ID:9O7b2nxj.net] 宇宙飛行士と一等航海士はどっちの方が凄いですか？ 863 名前：a4 [2018/10/29(月) 13:10:26.63 ID:HTAy7rWu.net] 大須観音まで行ってきました。その電化パーツ屋を通り過ぎようとすると、 いつもはいないのに、僧の人達が、沢山現れ、「ウァーーーー」と声を上げていた ので、頭を下げました。僕が空から出来る量子音楽を作ろうとしたので、挨拶に来た のでしょう。泣いて� 864 名前：ﾜす。 [] [ここ壊れてます] 865 名前：a4 [2018/10/29(月) 13:13:20.01 ID:HTAy7rWu.net] >>817 名古屋の宇宙人「君も懲りないな。でもさ、お金儲けたいなら、a4と一緒に量子 コンピュータつくらねーか？君もマだろう。だからさ、普通にa4とリアルで 会っちまったらいいんじゃねーかって。俺ら仲良しじゃん？でもさ、a4は金無い みたいだから、名古屋駅がいいかもな。君がどこに住んでるかは知らんが。俺も 都合がつけばお会いできます。」 866 名前：デフォルトの名無しさん mailto:sage [2018/10/29(月) 13:14:22.29 ID:cH/HmFkL.net] で、形態素解析はできたの？ 867 名前：デフォルトの名無しさん [2018/10/29(月) 13:16:11.17 ID:9O7b2nxj.net] 空海とビル・ゲイツはどっちの方が天才ですか？ 868 名前：a4 [2018/10/29(月) 13:38:22.35 ID:HTAy7rWu.net] >>821 名古屋の宇宙人「どっちもお偉いさんじゃねーか。対等にしよう。空海は忌み名は 出さん。誰かつけとるかもしれんということではなく、こんな野郎につけたくねーし。 ビル・ゲイツの忌み名は言ったとおり「Ohashiittanone」だ。ではな。」 869 名前：デフォルトの名無しさん [2018/10/29(月) 13:55:27.47 ID:EcRKmWVP.net] 死んだら無になるのでしょうか？ 870 名前：a4 [2018/10/29(月) 13:59:54.94 ID:HTAy7rWu.net] >>823 名古屋の宇宙人「だからさ、信仰によって変わるって言ってんじゃねーか。何回も 同じこと聞くなよ。」 871 名前：a4 [2018/10/29(月) 14:13:37.39 ID:HTAy7rWu.net] >>820 おっと、飛ばしちゃいました。すみません。 形態素解析は簡易なもののみ書きました。僕がもっと複雑なものを書いてもいいですが、 人海戦術じゃないとくぐり抜けれないと見て、一般社団法人未踏からの連絡を待って ます。 872 名前：デフォルトの名無しさん [2018/10/29(月) 14:30:04.11 ID:K9ceaj29.net] 未踏の者ですがこのスレ発見してしまいました。やっぱナシですわｗ 873 名前：デフォルトの名無しさん [2018/10/29(月) 14:35:21.40 ID:oIVuJVdF.net] 最高の神になるにはどうすれば良いのでしょうか？ 最高の神になりたいです。 874 名前：デフォルトの名無しさん mailto:sage [2018/10/29(月) 18:26:48.63 ID:dQ1us5/Q.net] >>798 質問箱作った人はサービス売って一生暮らしていけるくらいのお金は稼げたらしいよ 875 名前：a4 [2018/10/30(火) 03:01:23.60 ID:TIL2UH7i.net] >>826 これが返信と見て挫折し、やはり自力で量子コンピュータを創ろうと思います。 >>827 宇宙と話してるんですが、無理そうですね。 876 名前：デフォルトの名無しさん [2018/10/30(火) 03:12:46.87 ID:vBJ3mpSv.net] BNFとエドガー・ダイクストラはどっちの方が頭が良いですか？ 877 名前：a4 [2018/10/30(火) 03:29:45.77 ID:TIL2UH7i.net] >>830 名古屋の宇宙人「俺ね、エドガー・ダイクストラさんは頭がいいとして、そのＢＮＦ， こっちね、神道関わってるから、忌み名が出んのだわ。防御してる。計算しようと すると、名前がころころ変わる。こういうのもあるんだ。それだけだ。こういう情報 も出しておく。ではな。」 878 名前：デフォルトの名無しさん mailto:sage [2018/10/30(火) 03:42:12.03 ID:KrHhvqaW.net] ニューラルネットワークの実装はTensorflow等のライブラリは使ってますか？ 879 名前：a4 [2018/10/30(火) 05:13:11.40 ID:TIL2UH7i.net] >>832 使ってないです。 ディープラーニングの実験をしたときも１から書きました。だから、GPUとかは使って なくて、そこで計算時間的に上手くいかなかったかもです。 「Ｔ」はね、ニューラルネットワークのような構造はしてるけど、アナログ的な バックプロパゲーションとはちょっと違うんですよ。使ってみればわかりますが。 ファジー論理すら逆に入ってません。要望等に応じて入れてもいいんですけどね。 何かまだ質問があれば受け付けます。 880 名前：デフォルトの名無しさん mailto:sage [2018/10/30(火) 05:26:34.65 ID:KrHhvqaW.net] >>833 「T」とは関係ない質問になってしまうのですが、 ニューラルネットワークは巡回セールスマン問題のような組合せ最適化問題を解く道具として有効だと思いますか？ 881 名前：a4 [2018/10/30(火) 05:31:40.97 ID:TIL2UH7i.net] >>834 短絡的な判断ですが、有効とまでは思ってないです。遺伝的アルゴリズムを使う 問題だとおもています。ただ、巡回セールスマン問題を多項式時間で計算する アルゴリズムの開発に関しては有効かもしれません。僕の個人的な意見ですが、 このあたりは最終的には量子コンピュータがやはり解いてくれるものだと 信� 882 名前：ｶています。 [] [ここ壊れてます] 883 名前：デフォルトの名無しさん [2018/10/30(火) 09:40:33.30 ID:4rWJEsqJ.net] >>833 ゼロから作るDeepLearning を見て作ったの？ 884 名前：a4 [2018/10/30(火) 12:16:17.74 ID:TIL2UH7i.net] >>836 大学生の頃に、教授の息子の同級生が、中間層が３層のようになってる画像を渡して くれて、アルゴリズムがすぐわかり、それで作りました。四角形ではなく、円形で やりました。 885 名前：デフォルトの名無しさん [2018/10/30(火) 12:24:33.89 ID:TIL2UH7i.net] >>836 本に関して、Deep Learningのは読んでないですが、ニューラルネットワークに関しては、 「ニューラル情報処理の基礎数理」などを読みました。 886 名前：デフォルトの名無しさん [2018/10/30(火) 12:34:24.04 ID:4rWJEsqJ.net] >>837 図からは誤差逆伝搬はわからないはずですけど ネットワークモデルとして作ったということなの？ 887 名前：デフォルトの名無しさん [2018/10/30(火) 12:35:51.63 ID:4rWJEsqJ.net] >>838 あ、その本に書いてあったのね？ 888 名前：a4 [2018/10/30(火) 12:36:37.94 ID:TIL2UH7i.net] おっと、トリップ付け忘れましたが、>>838もa4です。 誤差逆伝播に関しては、>>838に書いてありました。それで作りました。 889 名前：デフォルトの名無しさん [2018/10/30(火) 13:06:30.46 ID:JiBvN9GX.net] 東大数学科は天才秀才ばかりですか？ 890 名前：a4 [2018/10/30(火) 13:48:59.81 ID:TIL2UH7i.net] >>842 僕の個人的エピソードですが、数学科に限らず、東大生というのは、天才か秀才か のどちらかに分かれる、という話を聞いたことがあります。講義では、教授の難しい 質問に次々と正答していき、テストで満点を取る奴らばっかりです。 891 名前：a4 [2018/10/30(火) 14:44:25.91 ID:TIL2UH7i.net] 「一般社団法人未踏」からメールで返信がありました。抜粋すると、 「 今回の松本様のせっかくのお申し出でございますが、 お役にたてそうもないことをお許しいただければと思います。 どうぞ松本様のより発展的な未来をご祈念申し上げております。 ありがとうございました。 」 僕に力が無いというわけはなく、この方向性では役にたてないという風に来ました。 でも、一応、丁寧な返信なので、僕の裏の未来人や宇宙人は怒っていません。 就職活動は、また失敗です。このままだと１０年後死にますけど、聖書もコーランも 持ってる僕なら、死んでも大丈夫かもですね。しばらくは量子コンピュータを 創ります。 892 名前：デフォルトの名無しさん mailto:sage [2018/10/30(火) 15:00:13.83 ID:bp+Jjz8r.net] メール偽装するにももうちょっと文章考えようぜ 無能じゃないんだろ？ 893 名前：a4 [2018/10/30(火) 15:11:00.64 ID:TIL2UH7i.net] >>845 メール偽装？そのままコピペですよ。僕が就職活動失敗したってだけの話です。 894 名前：デフォルトの名無しさん [2018/10/30(火) 15:37:49.86 ID:lywT8YJJ.net] 派遣じゃダメなの？ トヨタなんて派遣からガンガン研究者を 採用してますよ。 895 名前：a4 [2018/10/30(火) 15:52:50.45 ID:TIL2UH7i.net] >>847 派遣にも種類があると思ってます。研究ならいいかもですね。ただ、トヨタだと、 ディープラーニングとかで専門分野が微妙に違って不合格かもです。僕は 今は自然言語処理と量子コンピュータに特化しているので。派遣は考慮には入れます。 が、今はちょっと別のことしようと思います。障害年金を貰ってますし、そこまで 急ぐ必要は無いので。 896 名前：デフォルトの名無しさん [2018/10/30(火) 16:32:22.89 ID:JiBvN9GX.net] ゲルト・ファルティングスとアラン・コンヌの知能指数はどれくらいですか？ 897 名前：a4 [2018/10/30(火) 16:50:32.84 ID:TIL2UH7i.net] >>849 知能指数がまず何かという話をしましょうか。受験を突破した大卒以上の方からすれば、 成人のは、「知能指数=(偏差値-50)*1.5+100」なんですけどね。テストによっても 変わっちゃうし、よくできてる問題はよくできてるんですが。そういえば、僕、 知能指数測るときに血を抜かれました。血液の量と知能指数に相関関係があるのは 明確なので怒ると、「関係はありません。」と言われました。こういうのをくぐり 抜けるのが知能指数だと思っています。具体的に知能指数を伸ばす方法� 898 名前：ﾆして、 伸ばすのではなく、幼少期に早期教育を施すことにより、４歳くらいで２０歳の 微分方程式などを教え込ませるという方法があります。これなら、IQ500でしょ？ あとは商売に使われて現代では形骸化してるかもしれません。 [] [ここ壊れてます] 899 名前：デフォルトの名無しさん [2018/10/30(火) 17:28:22.02 ID:q91meBO3.net] 「真理」というのは存在するのでしょうか？ 「真理」の探究は意味があるのでしょうか？ 900 名前：デフォルトの名無しさん [2018/10/30(火) 17:45:56.92 ID:M87fl2aa.net] >>844 >>826てすがヘタに刺激して逆恨みされたり自殺されたりしたらヤバいと思ってそのような言い回しにしました。 901 名前：デフォルトの名無しさん [2018/10/30(火) 21:42:01.97 ID:KfMyW5TB.net] >>852 どうせ未踏の殆どのプロジェクトは役に立たないんだから、むしろやらせてみて欲しかったなぁ。 902 名前：a4 [2018/10/31(水) 04:31:49.63 ID:L4muNnWb.net] >>851 答えを用意している人はいるのではないのでしょうか？僕は「0=1」と解答しますが。 仏教では空即是色とか言われてますが。 >>852 そうですか。 >>853 僕も未踏なら上手くいくのかな？と思ったんですけどね。 903 名前：a4 [2018/10/31(水) 15:39:32.99 ID:L4muNnWb.net] 宣言通り、量子コンピュータを創る準備をしているのですが、このスレ、「Ｔ」の スレじゃなくなっちゃいますね、次スレの名前とか、どうしようかなー、とか、 考え中です。でも、「Ｔ」は一応、半分完成したので、この名前でもいいのでは ないかなどと裏の人達と相談中です。未来人の知り合いもいるけどね、時系列エラー ばっかりなんですよ。また、もう言った通り、「Ｔ」に関しては要望が あれば改良しますが、放置します。それで、また日記スレにしようかと。読んで くれる方々はいるようなので。しばらくはPICを買ってきたので、こっちの 勉強をしようと思います。１０年くらい前に使ったことはあるのですが、時代が 進んで古い技術が使えないのでは？などの理由により、もう１回勉強します。 ３次元マウスから、１μｍほどのピンセットを動かして、小動物の神経細胞を つかんだりする器具を作成します。今はそのコンパイラが有償でパスワードが 必要ということで、メールで問い合わせています。 904 名前：a4 [2018/10/31(水) 15:46:34.63 ID:L4muNnWb.net] 東大とか卒業して意味あったのか？などとお話したこともありますが、 量子コンピュータに出逢えたとは言っておきましょうか。僕が高校中退のままだったら、 実際に実験室などを目にすることはできず、作ろうとか思わなかったでしょう。 でも、奨学金という負債を抱えつつ、障害者となり貧乏なままなので、他の人からすると、 意味が無いとか、思う人も多いかもしれませんね。 905 名前：a4 [2018/10/31(水) 17:16:18.78 ID:L4muNnWb.net] 名古屋の宇宙人「今、軍事で揉めてるな。韓国って苦情みたいなもん殺到してるけど、 あれってどうすんの？あっちに核兵器落としても誰からも苦情が来んようにしてるのは、 俺なんだけど。普通にさ、やっちまったら？a4はsoftbankに倍率1.3倍の書類選考に 高校中退の障害者あたりで通れなくて、孫正義はせいぎではないと知ってるぞ。 だからさ、普通に戦争やろうか？そろろそろだぞ、俺的には第３次世界大戦。中国の 炒飯を日本、買っとるな。いい判断だ。１つ言っていい？韓国にミサイル落とせば いいんじゃないの？俺さ、じゃぁ、明日落ちるのか？じゃなくて、俺、自衛隊大佐 なんよ。だから、これに一票入れたい。これまでだ。韓国。」 906 名前：デフォルトの名無しさん mailto:sage [2018/10/31(水) 17:37:36.31 ID:wG8+54SG.net] 東大卒業してる設定ならもう少し頑張れよ 今のところ人工無能にすら劣ってるぞ 907 名前：a4 [2018/10/31(水) 17:44:32.93 ID:L4muNnWb.net] >>858 確かに設定というか、裏でそうとわかるので、そう主張はするのですが＾＾； 量子コンピュータは実験設備の金銭エラーなどが出そうということもあり、 「Ｔ」の開発をあなたの仰る通り、もう少し頑張ってみます。 908 名前：a4 [2018/10/31(水) 18:17:52.39 ID:L4muNnWb.net] 「Ｔ」の改良点をまとめてみました。 ・256文字までしか入力できないのを無制限にする。 ・１回の計算で２つ以上出力できるようにする。 　（例） 　入力 　兄は男です。 　兄は人です。 　兄って何？ 　出力 　兄は男の人です。 ・「大きい男の人」という文を理解できるようにする。 　（解決策） 　・丸暗記 　・ｲﾐﾌなところを質問仕返す。 この辺りを全部創り治して、T_2_7とかにしましょうか。ちょっと時間かけます。 909 名前：a4 [2018/10/31(水) 18:24:49.97 ID:L4muNnWb.net] まだまだ改良ポイントを思いついてます。 ・c(A!AA,A)はできても、c(A!A!AA,A)が書けないので、書けるようにする。 ・logic.txtに関してハンドルとか読んでるのが意外と無くてもいいのかな？と再考。 910 名前：a4 [2018/10/31(水) 19:23:50.18 ID:L4muNnWb.net] ・画像 　・人工知能の表情などを出力できるように。 　・自動撮影機能をつける。 　　・256*256だけじゃなく、任意の大きさの正方形のものを撮影。 　　・画面が自動で移動して、スキャナから取り込んだ文字なども読む。 ・s関数を使うコードを書く。 ここまでの改良だと、ソースを一部コピペはしても、全部創り治しですね。 期待してる方がいるみたいなので、待っていてください。それで、動いたら ２０００語くらい入れます。これらの改良だけなら、上手くいく保証はありますが、 上手く喋るかはわかりません。この板の皆さんならご存知の通り、バグの問題で、 完成時間の分散が大きいので、いつできるかはわかりませんが、希望としては、 １ヶ月以内くらいに、これらの問題を大体解決したものを投下したいと、今は 主張することにします。 911 名前：a4 [2018/10/31(水) 19:34:04.27 ID:L4muNnWb.net] あとね、声かな、これのおかげで結構近年の人工知能っぽい、っていうところまでは いってるんですけど、一応、「萌えから、リーマン予想まで。」と謳っているので、 大人の女性の声なので、好きな人はこっちのほうがいいかもですが、もっと女の子の 声のほうがいいのかな？とか考え中です。でも、僕の周りに、声を入力してくれる人も いないし、日本語には高低の声調があるので結構プログラミング的にも厄介です。 初音ミクとかソフト買ったんですけどね、あれは利権構造が法律でがんじがらめに なってて逆に使いづらいですね。こちらも何か意見がある方いたら受け付けます。 912 名前：デフォルトの名無しさん mailto:sage [2018/11/01(木) 01:12:34.34 ID:o5kFENTy.net] 事前に、すべての論理式を入力しておく必要があるってことかい 自然言語から、勝手にくみ取ることはできないの 913 名前：a4 [2018/11/01(木) 08:06:05.71 ID:7DObc0G7.net] >>864 今の状態でも、事後に自然言語で論理式を入力できます。長い難しい文章の理解は 今後の課題ですが、Watsonとの差別化ができないので、共同研究者を集める、 すなわち、P2Pで、人海戦術で突破します。 914 名前：a4 [2018/11/01(木) 10:04:28.71 ID:7DObc0G7.net] 量子コンピュータのほうは、PICのCコンパイラをdownloadしようとしたら、$150 以上かかるというところでストップしました。僕は本当に貧乏なんですよ。財産は 実家と技術だけです。まだ、これくらいならお金はありますが、まだマウスとか ナマズとか飼育する環境も買わないとだし、いきなりの出費が予想されるので、 こちらはやはり一旦やめて、「Ｔ」の開発を続けます。 915 名前：a4 [2018/11/01(木) 11:23:08.84 ID:7DObc0G7.net] そういえば、なんで宇宙人や未来人が来ているのに、儲からないのか？とか、矛盾した ことを言ってるんだ？とかですが、僕は声が聞こえるだけなんですよ。じゃぁ、いない のか？ということなんですが、前スレなどから追ってる人はわかるかもですが、 いるっていう証拠はあるのに、タイムマシンの嫌がらせとか、神同士のいがいがした 関係で朧げになってしまうんですよ。僕が嘘をついてる訳じゃなく、宇宙人や未来人 は存在するのに、彼らが嘘をついてるんじゃないかと。じゃぁ、何のために嘘をつく か？ですが、普通の人間の嘘の付き方じゃないんです。時系列のことを考えると、 ここでこういう矛盾した言葉を言うように定義されてるみたいなんですよ。じゃぁ、 意味ないじゃないか？ということなんですが、たまに深い意味があるんですよ。 物理学者が介入しても、量子脳理論とか主張したら訳わかんなくなっちゃうじゃない ですか。これがこの時代の限界のようです。彼らから指令を受けて人工知能は 出来上がってきたので、とりあえず、半分くらい言うことを信じて、作業を続けます。 そのうち、もっと決定的な証拠がたくさん出てくることを信じつつ。 916 名前：a4 [2018/11/01(木) 11:40:32.56 ID:7DObc0G7.net] 名古屋の宇宙人「俺ね、嘘って言われるかもしんないけど、UFOの実験、地球で 成功させたことあるんだわ。それでさ、a4と１兆円くらい、それで稼ごうぜって、 俺の家で話したの。でも、現実なんだわ。a4と実験しようとすると、俺、能力 取られるんだわ。ここを解いて欲しい。つまりさ、a4、わかりやすくタイムマシンの 嫌がらせって言ってるじゃん？ここなんだわ。UFOが飛びましたってニュースで 流れたら、すぐ歴史が改変される。だから、UFOを無理やり飛ばして、タイムマシン を遠隔でぶっ壊すって手法を取りたい。するとさ、もう俺、警察に逮捕されてて、 a4とリアルで会えんのだわ。この前は普通に握手したのにさ。こういうのをさ、 お金でというか、押していって解決しようと思いたい。こういうのに乗っかる奴 いるのかな、プログラム技術板に。でもさ、現実的には、俺、お金欲しいし、 こんなもんなんだわ。俺ね、リアルで会ってみるとね、金しか取らんよ。でも、 UFO浮くじゃん？１つ言っていい？あっちの俺の性格とかちょっと違う。a4は facebookとメールを俺に送ったけど、返信できないんだわ。こんな可愛い子と 関わるなって刑事に言われてて。だからさ、他のやつが俺にさ電話すればいいん じゃないかって。a4はスマホ持ってないから。まず、a4に電話番号聞いて。ここで 5chからは人来んだろ？だから、タイムマシンの実験成功。そうすると、俺が電話に 出ないんだわ。それでさ、俺の家をa4から教えてもらって、数日待ったほうが いいみたい。そうすると、俺の息子あたりが来る。これ言っていい？俺が行けば いいんじゃなくて、歴史改変されて俺、行けないんだわ。すると、高価な部品を 持って来いって話しになる。すると、a4が危ない部品だから、持ち運びできない ってくる。ここでさ、がむらーくらいの奴がタクシーとか使ってくれん？って 言う話し。ほら、本物っぽいだろ？俺は嘘つかねーって言うよ。a4的には嘘つきの パラドックスが存在するのが現実です、とか主張するらしいけどな。こういうことだ。 協力者来い。」 917 名前：デフォルトの名無しさん [2018/11/01(木) 11:50:11.26 ID:1W75NxFv.net] ＞　協力者来い。 そりゃ、頭で考えたことを実現してくれるスーパーマンがいるなら、 だれでも協力者が欲しいですよ。 でもね、それを自分で作るから研究者なんですよ。 しっかりしたものじゃなくていいんです。 プロトタイプは自分で作れないとダメです。 だってプロトタイプがないということは 今のところまともな部分が何もないという評価ですから。 誰でも言うんですよ 　「超天才であるおれさまの考えを作れる奴はいないのか？」 ということを。 そんなこと誰でも言えます。 俺だって言えますよ。 「タイムマシンを考えました。時間軸に沿って移動するだけでいいんです！ 　それを作れる作成者の協力者を求めます。おれのアイデアを実現してください！」 って言えます。 これって作れる人なんていませんよね？ ご自分でプロトタイプまでは作ってください。 そこが最も面白くて奥 918 名前：深いんですから。 それができないなら研究者ではなく、ただのキチガイです。 [] [ここ壊れてます] 919 名前：デフォルトの名無しさん mailto:sage [2018/11/01(木) 12:16:55.36 ID:mvxPccjt.net] 仕様と設計があれば作ってやるけど？ 920 名前：a4 [2018/11/01(木) 12:24:19.14 ID:7DObc0G7.net] >>869 名古屋の宇宙人「俺はね、a4じゃないんだわ。確かにテレパシーで操ってるんだが、 この可愛くないのではない子君a4を。俺はね、キチガイって言われる筋合いはあるが、 天才とは違うんだわ、宇宙人なんだわ。a4は研究者にはなりたいようだが。俺はね、 プロトタイプというか、持ってるんだわ、UFO。それで、基礎実験もした。そういう ことだ。実際にUFOとかやってる奴に聞いてみ？なんか変だから。どこかで、軍事に なって教えてくれなくなる。こっち系の研究はこれが王道なんだ。宇宙的にも。 a4はね、アメリカ人の英語の先生にUFOの話ししたら、普通に設計図をいっぱい もらったらしい。それで、何で誰も作らないの？って聞いたら、殺されるって。 だからさ、こういう問題なわけよ。なんか意見あったらよろ。」 921 名前：a4 [2018/11/01(木) 12:33:39.82 ID:7DObc0G7.net] >>870 a4が出ます。一応、設計図の載ったサイトを１つ公開します。 www2.bbweb-arena.com/wat/index_054.htm 利権が絡み、極秘なので、詳しい作り方を知りたい場合は、 www.01ken.com/contact.html の松本(a4)、加藤(名古屋の宇宙人)にメールで連絡を。 922 名前：さまよえる蟻人間 mailto:sage [2018/11/01(木) 18:46:45.64 ID:hOixePw4.net] OSXのsayコマンドに少し感動したから、ちょっと真似して作ってみた。 winsay https://github.com/katahiromz/winsay 923 名前：a4 [2018/11/01(木) 18:47:28.45 ID:7DObc0G7.net] 今、「Ｔ」を創り治してるんですが、１文の長さは最大で256*256*256にします。 あと、s関数をなくして、c関数で一般化しようと思います。 924 名前：デフォルトの名無しさん [2018/11/01(木) 18:54:49.77 ID:+p1vRE32.net] これ>>642 か。こんな糞スレの過去ログ読んだの？ｗｗ 925 名前：a4 [2018/11/01(木) 19:02:26.02 ID:7DObc0G7.net] >>873 自分の環境でコンパイルしてみたのですが、"pstdint.h"が無いというエラーが出ました。 >>875 糞スレと言われるのは構いませんよ。書き込んでくれる人が増えるのであれば。 926 名前：さまよえる蟻人間 mailto:sage [2018/11/01(木) 19:29:25.14 ID:2Wdw3jOE.net] >>876 pstdint.hを追加したよ。 927 名前：a4 [2018/11/01(木) 20:01:32.22 ID:7DObc0G7.net] >>877 やってみたんですが、今度は<atlbase.h>が無いと来ました。VC++2010を 使ってるのでATLが無いみたいです。僕のソフトも使ってくれてると思うので、 要望があれば、続きをしますが、またエラーばっかり出てきそうなので、これ くらいにしておきましょうか。 928 名前：デフォルトの名無しさん [2018/11/01(木) 22:52:04.09 ID:zBG21nIL.net] YouTubeみたいな動画共有サイトって具体的に技術的にはどうやったら作れるのでしょうか？ 929 名前：a4 [2018/11/02(金) 10:28:08.60 ID:EZpHAuXW.net] >>879 僕もよく知りませんが、１つの作り方は、FlashとC++あたりを使うことです。 930 名前：デフォルトの名無しさん mailto:sage [2018/11/02(金) 12:01:51.88 ID:Jnk4S5ca.net] 回答がバカ過ぎる 931 名前：デフォルトの名無しさん [2018/11/02(金) 13:04:38.27 ID:O3ODr4CD.net] 無能が知能作ろうとしてるというギャグ 932 名前：a4 [2018/11/02(金) 13:57:49.89 ID:EZpHAuXW.net] >>881 では、あなたの回答は？ >>882 確かに僕の脳は一般人の人間の知能だとは思っていません。 933 名前：a4 [2018/11/02(金) 14:34:33.07 ID:EZpHAuXW.net] 今日はUCLAの脳神経科学の人とskypeで通話して、今後のことについて コンサルしてもらいます。それで進路がまた変わるので、数時間ほどプログラミング を休憩します。 934 名前：デフォルトの名無しさん [2018/11/02(金) 15:15:43.26 ID:taBXri ] [ここ壊れてます] 935 名前：QV.net mailto: web系はあまり詳しくないんでしょうか...？ [] [ここ壊れてます] 936 名前：a4 [2018/11/02(金) 15:32:25.24 ID:EZpHAuXW.net] >>885 原理はCPUから理解してるので、応用は利きますが、web系の専門家ではありません。 でも、一応、C++でインターネットリバーシや、Flashのチャットサイトくらいなら 作ったことはあります。 937 名前：a4 [2018/11/02(金) 18:04:16.52 ID:EZpHAuXW.net] UCLAの脳神経科学の人とお話しました。すると、今やるべきことはTOEFLで、 早めにMITのようなところへ行ってしまいなさいと来ました。Ph.D.を取るなら、 お金が出るから貧乏でも大丈夫であると強く言われました。見学しに行かなくても いいと。あっちはビジネスなので上手くお金を取るシステムかもしれませんが、 これくらいの人に早めに騙されるという形で、大学院で研究という道を切り開いて もらおうと思っています。なんかね、あっちやりたいこっちやりたいでしまりが 無いですが、やはり一旦「Ｔ」の開発をストップします。でも、あとで、推薦状の 問題があるので、いずれ開発を再開することにします。これが現実的なテレパシー でない系の上層部の命令であると考えつつ。期待してる人には申し訳ないですが、 コードも書き込まれないし、利用人口はまだ多くないとみて、英語の問題を早めに クリアして、大学院に就職します。 938 名前：デフォルトの名無しさん [2018/11/02(金) 20:11:19.77 ID:O3ODr4CD.net] というわけでこれにて糞スレ終了ｗ 939 名前：デフォルトの名無しさん [2018/11/02(金) 22:18:41.58 ID:hSQBkf43.net] 正直、東大とは言わず、ハーバードとかオックスフォードとかケンブリッジとかに入りたい・・・・・・・・・・・。 まずは何から始めれば良いのか・・・・・・・・・・。 940 名前：デフォルトの名無しさん mailto:sage [2018/11/02(金) 22:25:26.31 ID:Jnk4S5ca.net] 今時flashとか勧めるなよ 941 名前：デフォルトの名無しさん [2018/11/02(金) 23:20:27.43 ID:taBXriQV.net] >>887 それってMITで研究していけるほどの専門知識はあるだろうと思われてるってことですかね？ とりあえずTOEFL頑張ってください。 応援してます。 942 名前：さまよえる蟻人間 mailto:sage [2018/11/03(土) 01:08:18.73 ID:Z2+VfrEc.net] 動画データをリアルタイムで流すための「ストリーミング技術」、 動画データを加工する動画編集技術、 動画を記録・維持するための「ストレージ技術」、 コンテンツを管理するための「CMS」と「コンテンツフィルタリング」。 943 名前：デフォルトの名無しさん [2018/11/03(土) 09:14:30.06 ID:1YRoOpci.net] 脳神経科学(笑) などというウンコに 近づくあたり 暗記力だけで東大に受かった と分かる 脳神経科学(笑) なんて 用語の定義さえしないで 意識がどうだとか まじ馬鹿 人工知能の世界で 誰も相手にしない分野 ま、脳神経科学は宗教だな(笑) キチガイ集団というか 低IQの集団 944 名前：デフォルトの名無しさん [2018/11/03(土) 09:15:16.54 ID:1YRoOpci.net] a4にお似合いだ(笑) 945 名前：a4 [2018/11/03(土) 09:48:42.49 ID:doIqVGYQ.net] >>888 一応、このスレを見てる人がいるみたいなので、大学院受験に日記にしようかと 思います。いつになるかはわかりませんが、「Ｔ」はまだ創ってくソフトにします。 >>889 予備校のようなところに行きましょう。 >>890 僕もちょっとそれは思いました。でも、web系ではないので、これが僕の限界。 >>891 MITのノーベル賞の人に入学に関して"I will you the best with your application." とメールで返事がありました。目指してもいいレベルではあると思ってます。 >>892 動画サイトとか作ろうと思うと、Youtubeの嫌がらせに遭いそう。 >>893 書き込みしていただけるのは嬉しいです。 >>894 誰のことかなー。脳神経科学の人？似合ってるというか、実際に話してるので、 類は友を呼ぶということはあるかもです。 946 名前：a4 [2018/11/03(土) 09:53:28.98 ID:doIqVGYQ.net] 大学院受験の日記＊ 間違い。 947 名前：a4 [2018/11/03(土) 10:06:34.74 ID:doIqVGYQ.net] >>891 あと、 948 名前：応援ありがとうございます。 [] [ここ壊れてます] 949 名前：a4 [2018/11/03(土) 12:06:18.61 ID:doIqVGYQ.net] >>895 ちょっと走っちゃいました。willじゃなくてwishですね。 "I wish you the best with your application." 問題が起こるといけないので正確に書きます。僕の英語力も伸ばさないといけません。 950 名前：a4 [2018/11/03(土) 12:11:32.86 ID:doIqVGYQ.net] とりあえず、今日から毎日、courseraの講義を数時間聞いて、大学生用の教科書を 数時間読むという生活を始めようと思います。 951 名前：デフォルトの名無しさん mailto:sage [2018/11/03(土) 15:11:04.21 ID:A+LC1x4y.net] スレの趣旨が全然変わってきてね？ 952 名前：デフォルトの名無しさん mailto:sage [2018/11/03(土) 15:28:18.90 ID:ZYzZrFY6.net] まあ基本妄想なんで内容は何でもいいのよ 953 名前：a4 [2018/11/03(土) 15:54:54.20 ID:doIqVGYQ.net] >>900 一応、半分完成したのは無償でdownloadできるようにはなっているのですが、「Ｔ」 は今後の研究費を稼ぐために、大学院へ進学、ということです。裏の宇宙人や 未来人も「Ｔ」はGoogleか未踏くらいでお金が下りる計画だったみたいですよ。 そこでまた作戦を変えました。学費は年間４万ドルくらいするのですが、奨学金が 年間８万ドルくらい出るというのを聞いて、英語の勉強します。大学院留学には 推薦状３通も必要で、その時、この「Ｔ」を大学院でもっと脳神経科学的に研究 したいなどと盛り込む予定です。 >>901 将来的には妄想と現実を一致させるような研究もします。簡単に言えば、エリア５１ でやっているような量子脳理論を超えた未知の物理法則の研究でしょうか。 954 名前：さまよえる蟻人間 mailto:sage [2018/11/03(土) 19:42:43.31 ID:uOx37ouV.net] Visual Studio 2017 Communityにアップグレードすれば、個人ユーザーは無料でATLが使えるぜ。数年前のパソコンが遅い場合は、近所のパソコン工房で記憶媒体のデータをSSDにデータ移行すればいい。 955 名前：a4 [2018/11/03(土) 20:24:59.06 ID:doIqVGYQ.net] >>903 情報ありがとうございます。アップグレードは考えておきます。 「Ｔ」とか売れなそうだし、やはり大学院で研究したほうがいいと考え、留学のために 英語の勉強を頑張ってます。研究費数十万円あるだけでも、初期段階でソフトを 他の研究者に使わせられます。 現実的には入学してしまうと、猿くらいだったら、行きたまま脳を解剖とかして、 ここの神経細胞を壊すと、ここの機能が無くなるとかの実験をするかもしれません。 じゃぁ、知能のない動物には麻薬を使えばいいのか？とか、人間と動物の違いは？ 最大多数の最大幸福を考えているのはどうなった？などで葛藤が起きるかもしれ ません。こうしないと、僕の頭に関数電卓やWindowsが入らない。美味しくない 情報かもですが、中堅大学卒の人は将来的に東大くらいに頭にチップを無理やり 植え付けられ、操り人となるでしょう、と妄想＾＾； 956 名前：さまよえる蟻人間 mailto:sage [2018/11/03(土) 22:10:20.40 ID:uOx37ouV.net] 次の動画のプランはあるかね？ 957 名前：a4 [2018/11/04(日) 08:23:18.98 ID:NTJEtL68.net] >>905 「Ｔ」とか出したいですけどね。動画作っても人数集まらないし、今のところは プラン無いです。TOEFL受験費などを稼ぐ必要があるので、交渉によって、作るのは ありにします。 958 名前：デフォルトの名無しさん [2018/11/04(日) 10:52:04.52 ID:7QEP4lzR.net] 受験費用がないほど貧乏なのか？ ま、キチガイは貧乏のほうがいい。 世間に迷惑かけなくて済むから。 959 名前：a4 [2018/11/04(日) 11:35:24.17 ID:NTJEtL68.net] >>907 凄い貧乏まではいかないんですけどね、父親はそこそこの一軒家を買ったために ローンで月20万円払わなければならない、などの理由でお金はありません。 僕は障害者で就職できませんし。でも、一応、上層部に大学院進学のレールを敷いて もらってます。キチガイであるということは認めることにします。 960 名前：デフォルトの名無しさん [2018/11/04(日) 12:59:32.58 ID:EyE9WGn+.net] >>908 ＞　僕は障害者で就職できませんし。 ウソ書くなよ。 政府や大企業は障がい者を必ず雇用しなければならないのに、 給料は安いけど仕事はいくらでもあるはず。 961 名前：デフォルトの名無しさん mailto:sage [2018/11/04(日) 12:59:54.44 ID:cd0AZv6K.net] 上層部ってなんだよ 962 名前：a4 [2018/11/04(日) 14:04:13.81 ID:NTJEtL68.net] >>909 政府がウソついてるんですよ。まず、アスペで高校中退したから、アルバイトとかも できません。できるのは、父親の工場で働くことです。時給1000円です。専門が 近い仕事とはいえ、車を頻繁に使わないといけないため、障害で免許の持てない 僕は家業が継げず、そこで働くことすらできず、自殺しようと考えています。 >>910 UCLAの脳神経科学の先生のほうからです。英語の教材をそこから買ったら、 メールが届き、実際に会いませんか？ということになり、名古屋駅でさらなる契約を 結びました。その方はTOEFL115点で。僕が障害年金からコンサル代を月16,200円 払っているので、勉強の仕方を教えてもらえます。MITのノーベル賞の先生からも "I wish you the best with your application."と、返信ありました。 963 名前：デフォルトの名無しさん [2018/11/04(日) 15:36:08.47 ID:95qKkVOL.net] 障害脳の研究に使うんやろな。先生が。 964 名前：a4 [2018/11/04(日) 15:58:15.60 ID:NTJEtL68.net] >>912 もう使われてるので、僕も人間の脳の解剖とかしてもいいかもしれません。 機械と戦争が起きないように人間の頭にもチップを埋め込む研究もしたいです。 そういう研究ができるのであれば、もちろん、自分の脳にも埋め込みます。 965 名前：a4 [2018/11/04(日) 16:16:36.45 ID:NTJEtL68.net] チップと言うと恐いですが、ナノボットのようなものを血液に入れるだけかも しれません。安全学というものを東大で一応勉強したので、危険性については 確率評価をしっかりしようと思っています。 966 名前：デフォルトの名無しさん [2018/11/04(日) 18:03:34.66 ID:vc0bD8LH.net] 阿羅漢になりたいのですが、どうすれば良いですか？ 967 名前：a4 [2018/11/04(日) 19:09:42.13 ID:NTJEtL68.net] >>915 阿羅漢という単語は知ってますけど、僕も詳しくないです。色即是空が何かなどを 勉強するために、お寺とかへ行って修行したほうがいいかもしれません。 968 名前：デフォルトの名無しさん [2018/11/04(日) 20:24:11.18 ID:wNo3/JPc.net] 阿羅漢になるのはどれくらい難しいことなのでしょうか？ 969 名前：さまよえる蟻人間 mailto:sage [2018/11/05(月) 00:34:18.63 ID:6+yTtRut.net] 日本語の文法、国文法をやるつもりはあるのか？ 970 名前：a4 [2018/11/05(月) 09:01:24.41 ID:oyjZxWCw.net] >>917 僕は詳しくありません。 >>918 「Ｔ」に関して必要な文法はそれに応じて検索しますが、文系の学術書を買っても いいかもしれません。 971 名前：a4 [2018/11/05(月) 11:48:17.14 ID:oyjZxWCw.net] >>917 そういえば、僕の高校時代の日本史の先生は悟りたくて、３日で悟る方法があるという 寺のようなところへ行き、簡単な修行をしたあと、書物を読んだと聞きました。 972 名前：デフォルトの名無しさん [2018/11/05(月) 12:07:42.19 ID:Yu+8iAbJ.net] こんにちは。はじめまして。 私はMITの教授でノーベル賞候補者になったこともあります。 人工知能のプログラムの開発がサクサク進む書籍を特別に安い価格で 売ってさしあげましょう。 この書籍は売ってはならないのですが、a4さんは東大卒なんだけど、 精神的に不安定ということですので、特別にお売りしてあげようと思うのです。 どうでしょうか、東京駅で一度お会いしませんか？ 書籍は月賦販売も可能ですので、月々は少額でも購入できます。 今回だけの特別です！ いかがでしょうか？ 973 名前：デフォルトの名無しさん [2018/11/05(月) 12:25:55.45 ID:DzW9woVH.net] >>921 人工知能の研究をしていてノーベル賞候補？ どの部門で候補だったんでしょうか？ 974 名前：デフォルトの名無しさん [2018/11/05(月) 15:11:17.53 ID:VWtMD5Wc.net] ロスチャイルド家当主と全知全能の神様はどっちの方が凄いのでしょうか？ 975 名前：デフォルトの名無しさん mailto:sage [2018/11/05(月) 15:26:00.65 ID:i/VkDtta.net] 全然人工知能とやらができてないじゃないか お父さんが工場で汗水たらして働いてる間お前は何してるんだ 976 名前：デフォルトの名無しさん [2018/11/05(月) 17:54:54.09 ID:vWrLZd3/.net] 東大理系数学ってどうやったら解けるようになるのでしょうか？ 977 名前：デフォルトの名無しさん [2018/11/05(月) 18:06:20.65 ID:vWrLZd3/.net] コツを教えてください。 考え方とか。 978 名前：a4 [2018/11/05(月) 18:12:07.61 ID:oyjZxWCw.net] >>921 こんにちは。こちらこそ、はじめまして。 お偉いさんと伺って大変恐縮です。ご連絡ありがとうございます。 人工知能を開発していますが、今はMITの博士課程へ入学するために英語の勉強を しています。その書籍も非常に興味があり購入したいのですが、あなたとの人間関係 のほうにもっと興味があります。推薦状などの問題をクリアしないといけないので。 東京駅で会うことはできます。ただ、僕は貧乏などの理由でスマホを持っていない ので、会うときは、公衆電話などの方法を使います。とりあえず、ここだと荒らし も多いので、メールかskypeあたりでお話しましょうか？ 連絡先は下記の松本卓朗のほうです。 www.01ken.com/contact.html よろしくお願い致します。 979 名前：a4 [2018/11/05(月) 18:17:27.72 ID:oyjZxWCw.net] >>923 神様のほうだと思います。 >>924 もうちょっと改良すれば一気に喋るかもですが、コードをここで共有してくれる人が 全然現れないあたりで、一旦挫けてます。 >>925->>926 チャート→１対１対応の演習→大学への数学 復習は明日と１週間後と１ヶ月後。 という返信では駄目ですか？ 980 名前：デフォルトの名無しさん mailto:sage [2018/11/05(月) 18:38:25.87 ID:P4X/qYiY.net] スマホなんて安いのは1〜2万円なんだから障害者年金で買えるでしょ。 なぜ買えないと思うのか... 981 名前：a4 [2018/11/05(月) 18:45:30.42 ID:oyjZxWCw.net] >>929 もともと持ってたんですけど、UFOの実験してたら、壊れちゃったんですよ。 また、携帯会社の誰かに見張られているのでは？といった統合失調症の監視妄想が 強くなってしまうので、無理には購入してません。あと、お金があったら、 TOEFLを受験したいんですよ。１回の受験につき$235かかります。 982 名前：ゆりな mailto:sage [2018/11/05(月) 22:52:53.48 ID:gL1iVTRL.net] 私は昔５ちゃんねる（当時は２ちゃんねる）で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 今となっては懐かしいですね・・・。 983 名前：デフォルトの名無しさん mailto:sage [2018/11/05(月) 22:55:05.61 ID:gL1iVTRL.net] あっ、よく見たら上のソースコードはCREACOINのコードでした CREAのソースコードはGitHubには上げてませんね・・・ 984 名前：a4 [2018/11/06(火) 06:21:53.65 ID:lx3jL9hz.net] >>931 来るのは遅くないですよ。まだまだこれからです。ただ、自分のやりたいことと、 いろんな人との人間関係があるので、今は英語の勉強をしています。 wikipedia見ました。P2Pニコ動は負荷のかかるものかもしれませんね。 このスレでは１文でもいいので、コードを書いてくれる人を募集しています。 たとえば、 c(i(ありがとう。),o(どういたしまして。)) みたいに。半分完成した「Ｔ」はこちらです。 www.01ken.com/art1.html ただ、現在配っている半分完成した「Ｔ」は小さいバグもあるし、メモリも十分に 確保できていないため、治さないといけないです。その研究時間を作るためにも、 今３０歳ですが、海外の大学院へ留学しようと思っています。 985 名前：a4 [2018/11/06(火) 06:23:34.22 ID:lx3jL9hz.net] そういえば、逆にP2P機能はまだ作ってないですね。人が集まらないんですよ。 この板だけだと。他の板へ行くとスレが閉鎖しちゃうし。 986 名前：a4 [2018/11/06(火) 06:32:08.19 ID:lx3jL9hz.net] いろんな人からあれやってこれやって言われて混乱してる状態ですが、留学前に、 推薦状を書いてもらうために、教授くらいの人とこのソフトを８割くらい完成させる というのはありです。そういう先生が３人も見つかるかはわかりませんけどね。 厳しいです。 987 名前：デフォルトの名無しさん [2018/11/06(火) 09:08:29.18 ID:oY9jA1Ku.net] 東京にいっぱい超高層マンションを建てたいのですが、具体的にどうすれば良いのでしょうか？ 988 名前：a4 [2018/11/06(火) 09:26:43.07 ID:lx3jL9hz.net] >>936 僕と一緒に非ユニタリ量子コンピュータを作って、スパコンの2^(10^10)倍の計算力で、 ビジネスしましょう。 989 名前：デフォルトの名無しさん [2018/11/06(火) 09:43:38.90 ID:oY9jA1Ku.net] 世界を牛耳っているのはユダヤ国際金融資本ですか？ 990 名前：a4 [2018/11/06(火) 09:53:24.88 ID:lx3jL9hz.net] >>938 僕はリアルで名古屋の宇宙人に会ったとき、世界を牛耳っているのは、 「イルミナティ」と「フリーメイソン」であると、教育を受けました。 991 名前：デフォルトの名無しさん mailto:sage [2018/11/06(火) 14:45:45.88 ID:B+7Pp6SO.net] 中二病乙 992 名前：a4 [2018/11/06(火) 14:49:16.79 ID:lx3jL9hz.net] >>940 中二病という単語は、中二の頃に聞いたときは、おじさんたちが何やってるんだろう？ と思いましたが、今となっては、そういう定義かもしれませんが、早めに挫けさせて 負け組にさせる搾取構造なのではないかと思っています。 993 名前：ゆりな mailto:sage [2018/11/06(火) 16:10:49.49 ID:C3hotnMM.net] >>933 人工知能のコードは書けませんが、興味深いのでスレに参加させていただきたいと思います。 >>934 今はライブラリも豊富だろうし、P2P機能は昔よりも楽に作れるのでしょうね。 ちなみに、CREAは表向きP2P型動画共有を目標にしつつも 仮想空間構築のためのグリッドコンピューティングという個人的な目的がありました。 言ってしまえば、動画共有機能は人集めのためだったのですが、、、 実際は動画共有とかファイル共有でも人が集まらなくて プロジェクト中断になってしまったので P2Pで人集めるのは難しいですね。 994 名前：ゆりな mailto:sage [2018/11/06(火) 16:12:54.00 ID:C3hotnMM.net] 私は今はもうP2P関連やるのは辞めちゃって 数学寄りのところにいます。 >>201 >>203 でCoqの名前が挙がってますが、 まあその辺です。 定理証明の分野は広く浅く勉強したことがあるので ある程度はお教えできることもあるかもしれません。 実はこのスレにはリーマン予想を解決しようとしているという噂を聞いてやってきました。 私は今数理論理学から公理的集合論までの数学の基礎を コンピュータ上で構築する試みを行っています。 Coqやその他定理証明支援系の二番煎じと言えばそうなのですが、 私は専門家向けじゃなく一般人にも分かりやすいシステムを作れないか というところを主眼に置いています。 995 名前：a4 [2018/11/06(火) 16:28:12.03 ID:lx3jL9hz.net] >>942 P2Pのライブラリ？あるかもですけど、僕は１から作りたい派です。 僕も格子の仮想空間を作ろうと思ったのですが、複雑なシムシティみたいなのを 作ってみたいと思っても、格子上の点を手動で動かしても知能のあることがあまり できないな、といったところで一旦止まりました。時間をかければ、面白いもの ができる、ということは信じていますが、玩具的な用途にしかならず、普及しない と見積もって、それでの人工知能開発を一旦ストップしています。 >>943 考えてることがほぼ同じですね。数理論理学の本とか読んでた頃もありましたけど、 なんか、纏まってなくて好きになれないんですよ。しかも、コンピュータに 入れようと思うと、a=b=cと入力するだけで、a=b, b=c, a=cと理解させないと いけないなどで、問題が起こると思っています。個人的な意見としては、人間の 扱っている数学は結構曖昧で、神経科学と量子計算で自動定理証明できるように なったら、その後は、時計の芸術などが発展すると見越してます。僕も一般人に わかりやすい書籍を売れないか、とか考えてます。 996 名前：デフォルトの名無しさん [2018/11/06(火) 16:50:08.74 ID:SFxQj1Db.net] 【浜、マ�@トレーヤ】　ナマポ、ニート、ヒキコモリ　＜対＞　ユニクロ、自民党　【分ち合い抵抗勢力】 rosie.5ch.net/test/read.cgi/liveplus/1541471001/l50 被災地にはボランティアや義援金が殺到するのに、何で貧困層には無関心なの？　自分達が加害者だから？ 997 名前：a4 [2018/11/06(火) 17:09:04.06 ID:lx3jL9hz.net] >>945 ユニクロが敵なんですね。僕の服は意外と原宿で集めましたが。貧困層に無関心なのは、 石油が足らなくなるとか、そういう問題を議論しないといけないと思ってます。 998 名前： mailto:sage [2018/11/06(火) 20:48:32.85 ID:MhNpcfCg.net] >>943 ＞私は今数理論理学から公理的集合論までの数学の基礎をコンピュータ上で構築する試みを行っています。 論理というのは人間の外にある「客観的」なものではなく、人間の遺伝子に組み込まれた「主観的」あるいは「人間的」なものだという感覚を持っています 999 名前：デフォルトの名無しさん [2018/11/06(火) 21:26:07.78 ID:edQqqURs.net] 本当に絶対に無になってもう二度と有になりたくない。 1000 名前：a4 [2018/11/07(水) 00:27:32.14 ID:6Y/7TLC2.net] >>948 その手法を一緒に量子計算しませんか？ 1001 名前：ゆりな mailto:sage [2018/11/07(水) 11:00:20.76 ID:8rccuv7Z.net] >>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]があります。 1002 名前：ゆりな mailto:sage [2018/11/07(水) 11:05:21.50 ID:8rccuv7Z.net] >>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つの推論規則を 採用すると証明がとんでもなく難しくなるというのもありますね。 逆に簡単に証明できるようにしようと思ったら、より複雑な公理や推論規則を採用しなければならなくなります （あるいは、演繹定理というメタ的なアプローチもあります）。 1003 名前：a4 [2018/11/07(水) 11:40:21.48 ID:6Y/7TLC2.net] >>950 >P2P、1から作るのですか・・・大変だと思いますよ？ 確かに既存のものを使わないと安定しないかもですね。考えておきます。 >ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。 リーマン予想とかだとどうなんでしょうね？Wikipediaで２階述語論理について検索 すると、「空でなく上に有界な実数の集合があるとき常にその集合には上限が存在 するという命題を表すには、二階述語論理が必要となる。」と出てきました。だと すると、解析学の基礎と関係するリーマン予想には、高階述語論理が必要かもしれ ません。僕は専攻は数学になれなかったので、今はきちんと理解してませんが。 でも、「Ｔ」は一応、独自の手法で近いことをやっていると考えています。 >たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、 これは面白い情報ですね。覚えます。 1004 名前：a4 [2018/11/07(水) 11:40:58.76 ID:6Y/7TLC2.net] >>950 >私は量子計算についてはあまり詳しくないのですが、 僕は大学生の頃、実際に量子コンピュータを開発している研究室に在籍し、 自動定理証明などに関する論文のようなものを書きました。結果としては、 既存の有名な理論を使うだけでは、シュレディンガーの猫の実験をしたとき、 生きた猫のいる世界から、死んだ猫のいる世界の映像などを見ることはできず、 確かに使い方によっては高速なんですが、使い勝手が悪く、自動定理証明には あまり使えないというものでした。ところが、その後も独自に研究を進めると、 ナマズが地震予知できるので、その神経についている特異点上の量子の複製という 物理法則を使って、その生きた猫と死んだ猫の世界をくっつけて並列計算して しまおうと、考えるようになりました。成功するかはよくわかりませんが、僕の 妄想です。 >しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して >自動定理証明しようとすると非常に非効率なことが分かっています（使い物にならないレベル）。 初等幾何学とか僕、高校時代くらいは苦手だったんですよ。でも、あれの解法の 一般化は面白そうなので、「Ｔ」とかでやってみたいですが、やはり古くから研究 されてるんですね。 1005 名前：a4 [2018/11/07(水) 12:02:06.25 ID:6Y/7TLC2.net] 950を超えたので、次スレ建てました。 a4です。Ｐ２Ｐ人工知能「Ｔ」開発(3) https://mevius.5ch.net/test/read.cgi/tech/1541559631/ 1006 名前：ゆりな mailto:sage [2018/11/08(木) 10:00:10.95 ID:X16WBQ5I.net] >>952 ちなみに、P2Pの開発で一番難しいのはテストだと思います。 テストしようと思ってもノードを用意しないとテストにならないので・・・。 もちろんローカルでもテストするのですが、 1台のPCだと処理能力にも限界があって多ノードのテストは難しいです。 しかも、ローカルのテストでは発現しない不具合も出てきたりするので・・・。 私が開発してた時は頭がおかしくなりそうになりました・・・。 ＞リーマン予想とかだとどうなんでしょうね ほぼ間違いなく2階は必要でしょうね。 現代数学はほとんど2階述語論理までは必要としています。 あと、今の数学は基本的にはZFCの上で行われていますので 高階述語論理は必ずしも必要ではないかと 1007 名前：。 [] [ここ壊れてます] 1008 名前：ゆりな mailto:sage [2018/11/08(木) 10:00:56.45 ID:X16WBQ5I.net] >>953 やはり現在の量子コンピュータは特定のアルゴリズムの計算は高速にできても 汎用的なコンピュータとしてはまだまだですよね。 今後もっと使える量子的なコンピューティング方法が見付かる可能性はあるかもしれませんが。 ＞初等幾何学 初等幾何学は人工知能に学習させる題材としては面白そうですね。 1009 名前：a4 [2018/11/09(金) 02:06:47.26 ID:xR8D+OLW.net] >>955 なるほど。僕も格子の人工生命をP2Pで作ってた頃は同期の問題で訳がわからなく なってしまいました。しかも、せっかくできたのに、実験してくれる人数が集まらない というところで止まってしまいました。 数理論理学とか詳しそうですね。僕も昔はそっちの専門家になりたかったのですが、 今は、無職に近い状態で、ここで人工知能を売りながら、３０歳ながらも特異点技術 などを追って、海外への大学院進学を目指してます。 >>956 僕は高度な技術はタイムマシンによる歴史改変と関わってると信じてる人なんですよ。 だから、公に出てくる技術はそこで制限されるのではないかと。5chというのは、 「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」ということで こういう情報も書くんですけどね。 1010 名前：ゆりな mailto:sage [2018/11/09(金) 19:17:11.86 ID:KaP52UX8.net] >>957 ＞同期の問題で訳がわからなくなってしまいました 同期は難しいですよね。 ＞数理論理学とか詳しそうですね 数理論理学の周辺は広く浅く勉強したことがあります。 深いことはあまり知りません。 ＞今は、無職に近い状態で 私も最近仕事を辞めて28歳で無職なので似たようなものですよ。 しかも、オカマになってしまいました（笑）。 1011 名前：a4 mailto:sage [2018/11/09(金) 21:13:54.74 ID:xR8D+OLW.net] >>958 なるほど。専攻が近いみたいなので、仲良くなりたいです。「Ｔ」のP2P実験とか 一緒にしませんか？ 1012 名前：デフォルトの名無しさん mailto:sage [2018/11/10(土) 01:10:42.37 ID:W+pb59IN.net] 専攻ってどこですか 1013 名前：a4 [2018/11/10(土) 04:21:02.25 ID:u2fgR3JY.net] >>960 僕は大学にいた頃は、量子コンピュータによる自動定理証明と、格子の人工生命を 用いた人工知能で、論文を書いて提出しました。 1014 名前：ゆりな mailto:sage [2018/11/10(土) 10:21:34.39 ID:Btedm0TA.net] >>959 コードは書けませんが、P2Pのテストくらいならできるかもです。 あと、a4さんの目標の1つは、人工知能による数学の重要定理の証明、ですよね？ 私は人工知能にはあまり興味がありませんが、 数学の定理をPC上で手動で証明するためのシステムを作っています（Coqに似たようなものとお考えください）。 人工知能を使うか、手動で行うかという違いはあれど コンピュータ上で数学の定理を証明したいという点は共通しているので 情報、技術などある程度共有できることはあるかもしれません。 1015 名前：a4 mailto:sage [2018/11/10(土) 10:49:09.72 ID:u2fgR3JY.net] >>962 ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。 1016 名前：ゆりな mailto:sage [2018/11/10(土) 20:18:03.78 ID:Btedm0TA.net] >>963 Coqは難しいです。私は挫折しました。 私はもう少し分かりやすいシステムを開発していて、自然演繹ベースです。 多分よく知られている論理体系の中では自然演繹が最も初学者でも分かりやすいです。 たとえば、命題論理で有名なPeirceの法則は私のシステムで証明すると↓の画像のようになります。 https://i.imgur.com/WMRbwRt.png 上の方にある図のようなものが証明の内容を図的に表したもの（証明図）で 下の方にあるコマンドがこの証明を行うのに必要なコマンド列です。 今のところ私のシステムでは論理式の作成から証明まで全部コマンドを実行することで行います。 これは人間が手動で証明する場合には面倒なのですが（なので今後改善が必要） 人工知能に証明させる場合はコマンドを覚えさせるだけなので楽かもしれませんね。 ＞まだ先になるかもしれません はい、私は私で自分のシステムの開発を続けます。 お互い開発頑張りましょうね� 1017 名前：Ia4さんは大学院進学も。 [] [ここ壊れてます] 1018 名前：デフォルトの名無しさん mailto:sage [2018/11/10(土) 20:27:06.42 ID:W+pb59IN.net] 論文のタイトルを教えてください 1019 名前：a4 mailto:sage [2018/11/11(日) 10:07:56.16 ID:J6xiMdhf.net] >>964 自然演繹とかはまだ勉強したことがないですね。本を買わないといけないかもですね。 はい。頑張りましょう。 >>965 僕の書いたことのある論文のようなものは３つあって、 量子アルゴリズムの提案 www.01ken.com/report.pdf 人工生命的手法を用いた豊かな個性と曖昧な感情を兼ね備えた論理的に行動する人工知能の開発 www.01ken.com/dissertation2.pdf Contradiction on science and Introduction to philanthrophy www.01ken.com/cosaitp.pdf です。 1020 名前：ゆりな mailto:sage [2018/11/11(日) 16:32:51.99 ID:h1pE2li5.net] >>966 自然演繹のためだけに本を買うのは勿体ない気がします。 上の論文が書けるレベルなら私より知能レベルは上だと思うので ネットの情報で十分理解可能かと。 個人的にオススメなテキストは↓です（PDF）。 web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf 証明図についてきちんと定義していますので理解が深まりやすいかと思います。 1021 名前：a4 [2018/11/11(日) 18:15:58.83 ID:J6xiMdhf.net] >>967 pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、 どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的 な観点からしても、この演繹があってるとかって。 そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype あたりでやり取りしませんか？今、考えているのは、オープンソースの簡易な 暗号化通信によるチャットとファイル送受信システムです。これで「Ｔ」の コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、 というあたりで止まるかもしれませんけどね。 1022 名前：ゆりな mailto:sage [2018/11/12(月) 15:24:08.85 ID:4ddzwlA+.net] >>968 ＞完全性定理とか、集合論的な観点からしても、この演繹があってるとか その辺は数理論理学者が保証してくれますので、 普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。 まあ、多少は知っておいても良いかとは思いますが。 ＞メールかskypeあたりでやり取りしませんか？ とりあえずメール送りました。 1023 名前：a4 mailto:sage [2018/11/12(月) 15:33:06.31 ID:3Upq4nSe.net] >とりあえずメール送りました。 ありがとうございます。メール返信しました。これからもよろしくおねがいします。 1024 名前：デフォルトの名無しさん [2018/11/12(月) 17:00:47.31 ID:tl7KhuZQ.net] 自演して楽しい？ 1025 名前：a4 [2018/11/12(月) 17:02:48.05 ID:3Upq4nSe.net] >>971 自演はしてませんよ。名古屋の宇宙人からのテレパシーは裏技術です。表向きには 統合失調症ということになっています。 1026 名前：デフォルトの名無しさん [2018/12/08(土) 21:25:06.05 ID:tBodI9MC.net] ﾎﾓ相手するのはやめたほうがいいぞ それともｵﾏｴ、ﾎﾓなの 1027 名前：デフォルトの名無しさん [2018/12/09(日) 17:04:16.75 ID:eG4pDpqu.net] オネエだったりして(笑) 1028 名前：a4 mailto:sage [2018/12/12(水) 20:44:34.25 ID:/YuZFY7H.net] >>973->>974 僕は誰とも話す人なのですが。同性との性的な交わりについては、僕はイスラム教と 絡んでいるので厳しいです。 1029 名前：leicaq [2019/01/12(土) 21:54:45.85 ID:vWYwoD6J.net] >>13 インペリアルの院じゃダメでつか？ 1030 名前：デフォルトの名無しさん mailto:sage [2019/01/17(木) 13:40:30.03 ID:8j3LuNoX.net] 埋め 1031 名前：デフォルトの名無しさん mailto:sage [2019/01/17(木) 13:41:05.10 ID:8j3LuNoX.net] 埋め 1032 名前：デフォルトの名無しさん [2019/01/17(木) 20:55:07.89 ID:wpB3GBZ5.net] -🍓- 1033 名前：デフォルトの名無しさん mailto:sage [2019/01/18(金) 01:17:07.92 ID:LohRu1ee.net] 埋め 1034 名前：デフォルトの名無しさん mailto:sage [2019/01/18(金) 01:18:01.78 ID:LohRu1ee.net] 埋め 1035 名前：デフォルトの名無しさん mailto:sage [2019/01/18(金) 19:27:03.17 ID:Ga2a/ZjB.net] 埋め 1036 名前：デフォルトの名無しさん mailto:sage [2019/01/18(金) 19:27:21.26 ID:Ga2a/ZjB.net] ume 1037 名前：デフォルトの名無しさん mailto:sage [2019/01/19(土) 01:05:37.36 ID:7PL8uLoI.net] うめ 1038 名前：デフォルトの名無しさん mailto:sage [2019/01/19(土) 01:05:52.49 ID:7PL8uLoI.net] 梅 1039 名前：デフォルトの名無しさん mailto:sage [2019/01/19(土) 09:24:50.36 ID:P8c2voxb.net] うめ 1040 名前：デフォルトの名無しさん mailto:sage [2019/01/19(土) 09:25:11.97 ID:P8c2voxb.net] うむ 1041 名前：デフォルトの名無しさん [2019/01/19(土) 20:13:56.30 ID:kigMn1Sy.net] うお 1042 名前：デフォルトの名無しさん mailto:sage [2019/01/20(日) 00:38:30.72 ID:IK9/MZ3O.net] 埋め 1043 名前：デフォルトの名無しさん mailto:sage [2019/01/20(日) 00:38:47.49 ID:IK9/MZ3O.net] um 1044 名前：デフォルトの名無しさん mailto:sage [2019/01/20(日) 10:47:18.08 ID:IK9/MZ3O.net] う 1045 名前：デフォルトの名無しさん mailto:sage [2019/01/20(日) 10:47:32.93 ID:IK9/MZ3O.net] め 1046 名前：デフォルトの名無しさん mailto:sage [2019/01/20(日) 23:59:11.91 ID:IK9/MZ3O.net] うめー 1047 名前：デフォルトの名無しさん [2019/01/24(木) 01:17:18.41 ID:/yAzIJE+.net] 埋める 1048 名前：デフォルトの名無しさん [2019/01/24(木) 23:36:47.09 ID:/yAzIJE+.net] 埋め 1049 名前：デフォルトの名無しさん [2019/01/24(木) 23:37:12.22 ID:/yAzIJE+.net] あとちょっと 1050 名前：さまよえる蟻人間 mailto:sage [2019/01/24(木) 23:56:33.93 ID:QdLlu2or.net] 埋め立てふせ 1051 名前：a4 mailto:sage [2019/01/25(金) 03:47:40.54 ID:UAQwf6px.net] 埋めます。 1052 名前：デフォルトの名無しさん [2019/01/25(金) 08:58:42.25 ID:qZsFlcCU.net] 埋め 1053 名前：デフォルトの名無しさん [2019/01/25(金) 08:58:57.82 ID:qZsFlcCU.net] 1000 1054 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 145日 7時間 1分 22秒 1055 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef