X
a4です。Ｐ２Ｐ人工知能「Ｔ」開発(2)
レス数が1000を超えています。これ以上書き込みはできません。
0952a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/07(水) 11:40:21.48ID:6Y/7TLC2
>>950

>P2P、1から作るのですか・・・大変だと思いますよ？
確かに既存のものを使わないと安定しないかもですね。考えておきます。

>ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。
リーマン予想とかだとどうなんでしょうね？Wikipediaで２階述語論理について検索
すると、「空でなく上に有界な実数の集合があるとき常にその集合には上限が存在
するという命題を表すには、二階述語論理が必要となる。」と出てきました。だと
すると、解析学の基礎と関係するリーマン予想には、高階述語論理が必要かもしれ
ません。僕は専攻は数学になれなかったので、今はきちんと理解してませんが。
でも、「Ｔ」は一応、独自の手法で近いことをやっていると考えています。

>たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、
これは面白い情報ですね。覚えます。
0953a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/07(水) 11:40:58.76ID:6Y/7TLC2
>>950

>私は量子計算についてはあまり詳しくないのですが、
僕は大学生の頃、実際に量子コンピュータを開発している研究室に在籍し、
自動定理証明などに関する論文のようなものを書きました。結果としては、
既存の有名な理論を使うだけでは、シュレディンガーの猫の実験をしたとき、
生きた猫のいる世界から、死んだ猫のいる世界の映像などを見ることはできず、
確かに使い方によっては高速なんですが、使い勝手が悪く、自動定理証明には
あまり使えないというものでした。ところが、その後も独自に研究を進めると、
ナマズが地震予知できるので、その神経についている特異点上の量子の複製という
物理法則を使って、その生きた猫と死んだ猫の世界をくっつけて並列計算して
しまおうと、考えるようになりました。成功するかはよくわかりませんが、僕の
妄想です。

>しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して
>自動定理証明しようとすると非常に非効率なことが分かっています（使い物にならないレベル）。
初等幾何学とか僕、高校時代くらいは苦手だったんですよ。でも、あれの解法の
一般化は面白そうなので、「Ｔ」とかでやってみたいですが、やはり古くから研究
されてるんですね。
0955ゆりな ◆Ky/cs3er/I
垢版 |
2018/11/08(木) 10:00:10.95ID:X16WBQ5I
>>952
ちなみに、P2Pの開発で一番難しいのはテストだと思います。
テストしようと思ってもノードを用意しないとテストにならないので・・・。
もちろんローカルでもテストするのですが、
1台のPCだと処理能力にも限界があって多ノードのテストは難しいです。
しかも、ローカルのテストでは発現しない不具合も出てきたりするので・・・。
私が開発してた時は頭がおかしくなりそうになりました・・・。

＞リーマン予想とかだとどうなんでしょうね
ほぼ間違いなく2階は必要でしょうね。
現代数学はほとんど2階述語論理までは必要としています。
あと、今の数学は基本的にはZFCの上で行われていますので
高階述語論理は必ずしも必要ではないかと。
0956ゆりな ◆Ky/cs3er/I
垢版 |
2018/11/08(木) 10:00:56.45ID:X16WBQ5I
>>953
やはり現在の量子コンピュータは特定のアルゴリズムの計算は高速にできても
汎用的なコンピュータとしてはまだまだですよね。
今後もっと使える量子的なコンピューティング方法が見付かる可能性はあるかもしれませんが。

＞初等幾何学
初等幾何学は人工知能に学習させる題材としては面白そうですね。
0957a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/09(金) 02:06:47.26ID:xR8D+OLW
>>955
なるほど。僕も格子の人工生命をP2Pで作ってた頃は同期の問題で訳がわからなく
なってしまいました。しかも、せっかくできたのに、実験してくれる人数が集まらない
というところで止まってしまいました。

数理論理学とか詳しそうですね。僕も昔はそっちの専門家になりたかったのですが、
今は、無職に近い状態で、ここで人工知能を売りながら、３０歳ながらも特異点技術
などを追って、海外への大学院進学を目指してます。

>>956
僕は高度な技術はタイムマシンによる歴史改変と関わってると信じてる人なんですよ。
だから、公に出てくる技術はそこで制限されるのではないかと。5chというのは、
「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」ということで
こういう情報も書くんですけどね。
0958ゆりな ◆Ky/cs3er/I
垢版 |
2018/11/09(金) 19:17:11.86ID:KaP52UX8
>>957
＞同期の問題で訳がわからなくなってしまいました
同期は難しいですよね。

＞数理論理学とか詳しそうですね
数理論理学の周辺は広く浅く勉強したことがあります。
深いことはあまり知りません。
＞今は、無職に近い状態で
私も最近仕事を辞めて28歳で無職なので似たようなものですよ。
しかも、オカマになってしまいました（笑）。
0959a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/09(金) 21:13:54.74ID:xR8D+OLW
>>958
なるほど。専攻が近いみたいなので、仲良くなりたいです。「Ｔ」のP2P実験とか
一緒にしませんか？
0961a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/10(土) 04:21:02.25ID:u2fgR3JY
>>960
僕は大学にいた頃は、量子コンピュータによる自動定理証明と、格子の人工生命を
用いた人工知能で、論文を書いて提出しました。
0962ゆりな ◆Ky/cs3er/I
垢版 |
2018/11/10(土) 10:21:34.39ID:Btedm0TA
>>959
コードは書けませんが、P2Pのテストくらいならできるかもです。
あと、a4さんの目標の1つは、人工知能による数学の重要定理の証明、ですよね？
私は人工知能にはあまり興味がありませんが、
数学の定理をPC上で手動で証明するためのシステムを作っています（Coqに似たようなものとお考えください）。
人工知能を使うか、手動で行うかという違いはあれど
コンピュータ上で数学の定理を証明したいという点は共通しているので
情報、技術などある程度共有できることはあるかもしれません。
0963a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/10(土) 10:49:09.72ID:u2fgR3JY
>>962
ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った
ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん
ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。
0964ゆりな ◆Ky/cs3er/I
垢版 |
2018/11/10(土) 20:18:03.78ID:Btedm0TA
>>963
Coqは難しいです。私は挫折しました。
私はもう少し分かりやすいシステムを開発していて、自然演繹ベースです。
多分よく知られている論理体系の中では自然演繹が最も初学者でも分かりやすいです。
たとえば、命題論理で有名なPeirceの法則は私のシステムで証明すると↓の画像のようになります。
https://i.imgur.com/WMRbwRt.png
上の方にある図のようなものが証明の内容を図的に表したもの（証明図）で
下の方にあるコマンドがこの証明を行うのに必要なコマンド列です。
今のところ私のシステムでは論理式の作成から証明まで全部コマンドを実行することで行います。
これは人間が手動で証明する場合には面倒なのですが（なので今後改善が必要）
人工知能に証明させる場合はコマンドを覚えさせるだけなので楽かもしれませんね。

＞まだ先になるかもしれません
はい、私は私で自分のシステムの開発を続けます。
お互い開発頑張りましょうね！a4さんは大学院進学も。
0966a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/11(日) 10:07:56.16ID:J6xiMdhf
>>964
自然演繹とかはまだ勉強したことがないですね。本を買わないといけないかもですね。

はい。頑張りましょう。

>>965
僕の書いたことのある論文のようなものは３つあって、

量子アルゴリズムの提案
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

です。
0967ゆりな ◆Ky/cs3er/I
垢版 |
2018/11/11(日) 16:32:51.99ID:h1pE2li5
>>966
自然演繹のためだけに本を買うのは勿体ない気がします。
上の論文が書けるレベルなら私より知能レベルは上だと思うので
ネットの情報で十分理解可能かと。
個人的にオススメなテキストは↓です（PDF）。
http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf
証明図についてきちんと定義していますので理解が深まりやすいかと思います。
0968a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/11(日) 18:15:58.83ID:J6xiMdhf
>>967
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。

そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか？今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「Ｔ」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。
0969ゆりな ◆Ky/cs3er/I
垢版 |
2018/11/12(月) 15:24:08.85ID:4ddzwlA+
>>968
＞完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。

＞メールかskypeあたりでやり取りしませんか？
とりあえずメール送りました。
0970a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/12(月) 15:33:06.31ID:3Upq4nSe
>とりあえずメール送りました。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。
0971デフォルトの名無しさん
垢版 |
2018/11/12(月) 17:00:47.31ID:tl7KhuZQ
自演して楽しい？
0972a4 ◆L1L.Ef50zuAv
垢版 |
2018/11/12(月) 17:02:48.05ID:3Upq4nSe
>>971
自演はしてませんよ。名古屋の宇宙人からのテレパシーは裏技術です。表向きには
統合失調症ということになっています。
0973デフォルトの名無しさん
垢版 |
2018/12/08(土) 21:25:06.05ID:tBodI9MC
ﾎﾓ相手するのはやめたほうがいいぞ
それともｵﾏｴ、ﾎﾓなの
0974デフォルトの名無しさん
垢版 |
2018/12/09(日) 17:04:16.75ID:eG4pDpqu
オネエだったりして(笑)
0975a4 ◆L1L.Ef50zuAv
垢版 |
2018/12/12(水) 20:44:34.25ID:/YuZFY7H
>>973->>974
僕は誰とも話す人なのですが。同性との性的な交わりについては、僕はイスラム教と
絡んでいるので厳しいです。
0976leicaq
垢版 |
2019/01/12(土) 21:54:45.85ID:vWYwoD6J
>>13
インペリアルの院じゃダメでつか？
0979デフォルトの名無しさん
垢版 |
2019/01/17(木) 20:55:07.89ID:wpB3GBZ5
-🍓-
0988デフォルトの名無しさん
垢版 |
2019/01/19(土) 20:13:56.30ID:kigMn1Sy
うお
0994デフォルトの名無しさん
垢版 |
2019/01/24(木) 01:17:18.41ID:/yAzIJE+
埋める
0995デフォルトの名無しさん
垢版 |
2019/01/24(木) 23:36:47.09ID:/yAzIJE+
埋め
0996デフォルトの名無しさん
垢版 |
2019/01/24(木) 23:37:12.22ID:/yAzIJE+
あとちょっと
0999デフォルトの名無しさん
垢版 |
2019/01/25(金) 08:58:42.25ID:qZsFlcCU
埋め
1000デフォルトの名無しさん
垢版 |
2019/01/25(金) 08:58:57.82ID:qZsFlcCU
1000
10011001
垢版 |
Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 145日 7時間 1分 22秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
レス数が1000を超えています。これ以上書き込みはできません。
ニューススポーツなんでも実況