- 1 名前：デフォルトの名無しさん mailto:sage [2018/09/02(日) 01:57:35.12 ID:oSO4LvdH.net]
- 前スレ
a4です。Ｐ２Ｐ人工知能「Ｔ」開発。
https://mevius.5ch.net/test/read.cgi/tech/1517470193/
- 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 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
