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

**デフォルトの名無しさん** · 2018/09/02(日) 01:57:35.12

前スレ
a4です。Ｐ２Ｐ人工知能「Ｔ」開発。
https://mevius.5ch.net/test/read.cgi/tech/1517470193/

**ゆりな** ◆Ky/cs3er/I · 2018/11/10(土) 10:21:34.39

>>959
コードは書けませんが、P2Pのテストくらいならできるかもです。
あと、a4さんの目標の1つは、人工知能による数学の重要定理の証明、ですよね？
私は人工知能にはあまり興味がありませんが、
数学の定理をPC上で手動で証明するためのシステムを作っています（Coqに似たようなものとお考えください）。
人工知能を使うか、手動で行うかという違いはあれど
コンピュータ上で数学の定理を証明したいという点は共通しているので
情報、技術などある程度共有できることはあるかもしれません。

a4 ◆L1L.Ef50zuAv · 2018/11/10(土) 10:49:09.72

>>962
ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った
ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん
ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。

**ゆりな** ◆Ky/cs3er/I · 2018/11/10(土) 20:18:03.78

>>963
Coqは難しいです。私は挫折しました。
私はもう少し分かりやすいシステムを開発していて、自然演繹ベースです。
多分よく知られている論理体系の中では自然演繹が最も初学者でも分かりやすいです。
たとえば、命題論理で有名なPeirceの法則は私のシステムで証明すると↓の画像のようになります。
https://i.imgur.com/WMRbwRt.png
上の方にある図のようなものが証明の内容を図的に表したもの（証明図）で
下の方にあるコマンドがこの証明を行うのに必要なコマンド列です。
今のところ私のシステムでは論理式の作成から証明まで全部コマンドを実行することで行います。
これは人間が手動で証明する場合には面倒なのですが（なので今後改善が必要）
人工知能に証明させる場合はコマンドを覚えさせるだけなので楽かもしれませんね。

＞まだ先になるかもしれません
はい、私は私で自分のシステムの開発を続けます。
お互い開発頑張りましょうね！a4さんは大学院進学も。

**デフォルトの名無しさん** · 2018/11/10(土) 20:27:06.42

論文のタイトルを教えてください

a4 ◆L1L.Ef50zuAv · 2018/11/11(日) 10:07:56.16

>>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

です。

**ゆりな** ◆Ky/cs3er/I · 2018/11/11(日) 16:32:51.99

>>966
自然演繹のためだけに本を買うのは勿体ない気がします。
上の論文が書けるレベルなら私より知能レベルは上だと思うので
ネットの情報で十分理解可能かと。
個人的にオススメなテキストは↓です（PDF）。
http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf
証明図についてきちんと定義していますので理解が深まりやすいかと思います。

a4 ◆L1L.Ef50zuAv · 2018/11/11(日) 18:15:58.83

>>967
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。

そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか？今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「Ｔ」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。

**ゆりな** ◆Ky/cs3er/I · 2018/11/12(月) 15:24:08.85

>>968
＞完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。

＞メールかskypeあたりでやり取りしませんか？
とりあえずメール送りました。

a4 ◆L1L.Ef50zuAv · 2018/11/12(月) 15:33:06.31

>とりあえずメール送りました。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。

**デフォルトの名無しさん** · 2018/11/12(月) 17:00:47.31

自演して楽しい？

a4 ◆L1L.Ef50zuAv · 2018/11/12(月) 17:02:48.05

>>971
自演はしてませんよ。名古屋の宇宙人からのテレパシーは裏技術です。表向きには
統合失調症ということになっています。

**デフォルトの名無しさん** · 2018/12/08(土) 21:25:06.05

ﾎﾓ相手するのはやめたほうがいいぞ
それともｵﾏｴ、ﾎﾓなの

**デフォルトの名無しさん** · 2018/12/09(日) 17:04:16.75

オネエだったりして(笑)

a4 ◆L1L.Ef50zuAv · 2018/12/12(水) 20:44:34.25

>>973->>974
僕は誰とも話す人なのですが。同性との性的な交わりについては、僕はイスラム教と
絡んでいるので厳しいです。

**leicaq** · 2019/01/12(土) 21:54:45.85

>>13
インペリアルの院じゃダメでつか？

**デフォルトの名無しさん** · 2019/01/17(木) 13:40:30.03

埋め

**デフォルトの名無しさん** · 2019/01/17(木) 13:41:05.10

埋め

**デフォルトの名無しさん** · 2019/01/17(木) 20:55:07.89

-🍓-

**デフォルトの名無しさん** · 2019/01/18(金) 01:17:07.92

埋め

**デフォルトの名無しさん** · 2019/01/18(金) 01:18:01.78

埋め

**デフォルトの名無しさん** · 2019/01/18(金) 19:27:03.17

埋め

**デフォルトの名無しさん** · 2019/01/18(金) 19:27:21.26

ume

**デフォルトの名無しさん** · 2019/01/19(土) 01:05:37.36

うめ

**デフォルトの名無しさん** · 2019/01/19(土) 01:05:52.49

梅

**デフォルトの名無しさん** · 2019/01/19(土) 09:24:50.36

うめ

**デフォルトの名無しさん** · 2019/01/19(土) 09:25:11.97

うむ

**デフォルトの名無しさん** · 2019/01/19(土) 20:13:56.30

うお

**デフォルトの名無しさん** · 2019/01/20(日) 00:38:30.72

埋め

**デフォルトの名無しさん** · 2019/01/20(日) 00:38:47.49

**デフォルトの名無しさん** · 2019/01/20(日) 10:47:18.08

う

**デフォルトの名無しさん** · 2019/01/20(日) 10:47:32.93

め

**デフォルトの名無しさん** · 2019/01/20(日) 23:59:11.91

うめー

**デフォルトの名無しさん** · 2019/01/24(木) 01:17:18.41

埋める

**デフォルトの名無しさん** · 2019/01/24(木) 23:36:47.09

埋め

**デフォルトの名無しさん** · 2019/01/24(木) 23:37:12.22

あとちょっと

**さまよえる蟻人間** ◆T6xkBnTXz7B0 · 2019/01/24(木) 23:56:33.93

埋め立てふせ

a4 ◆L1L.Ef50zuAv · 2019/01/25(金) 03:47:40.54

埋めます。

**デフォルトの名無しさん** · 2019/01/25(金) 08:58:42.25

埋め

**デフォルトの名無しさん** · 2019/01/25(金) 08:58:57.82

1000

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 145日 7時間 1分 22秒