前スレ
a4です。P2P人工知能「T」開発。
https://mevius.5ch.net/test/read.cgi/tech/1517470193/
探検
a4です。P2P人工知能「T」開発(2)
レス数が1000を超えています。これ以上書き込みはできません。
2018/09/02(日) 01:57:35.12ID:oSO4LvdH
965デフォルトの名無しさん
2018/11/10(土) 20:27:06.42ID:W+pb59IN 論文のタイトルを教えてください
966a4 ◆L1L.Ef50zuAv
2018/11/11(日) 10:07:56.16ID:J6xiMdhf >>964
自然演繹とかはまだ勉強したことがないですね。本を買わないといけないかもですね。
はい。頑張りましょう。
>>965
僕の書いたことのある論文のようなものは3つあって、
量子アルゴリズムの提案
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
です。
自然演繹とかはまだ勉強したことがないですね。本を買わないといけないかもですね。
はい。頑張りましょう。
>>965
僕の書いたことのある論文のようなものは3つあって、
量子アルゴリズムの提案
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
です。
967ゆりな ◆Ky/cs3er/I
2018/11/11(日) 16:32:51.99ID:h1pE2li5 >>966
自然演繹のためだけに本を買うのは勿体ない気がします。
上の論文が書けるレベルなら私より知能レベルは上だと思うので
ネットの情報で十分理解可能かと。
個人的にオススメなテキストは↓です(PDF)。
http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf
証明図についてきちんと定義していますので理解が深まりやすいかと思います。
自然演繹のためだけに本を買うのは勿体ない気がします。
上の論文が書けるレベルなら私より知能レベルは上だと思うので
ネットの情報で十分理解可能かと。
個人的にオススメなテキストは↓です(PDF)。
http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf
証明図についてきちんと定義していますので理解が深まりやすいかと思います。
968a4 ◆L1L.Ef50zuAv
2018/11/11(日) 18:15:58.83ID:J6xiMdhf >>967
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。
そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか?今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「T」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。
そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか?今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「T」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。
969ゆりな ◆Ky/cs3er/I
2018/11/12(月) 15:24:08.85ID:4ddzwlA+ >>968
>完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。
>メールかskypeあたりでやり取りしませんか?
とりあえずメール送りました。
>完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。
>メールかskypeあたりでやり取りしませんか?
とりあえずメール送りました。
970a4 ◆L1L.Ef50zuAv
2018/11/12(月) 15:33:06.31ID:3Upq4nSe >とりあえずメール送りました。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。
971デフォルトの名無しさん
2018/11/12(月) 17:00:47.31ID:tl7KhuZQ 自演して楽しい?
972a4 ◆L1L.Ef50zuAv
2018/11/12(月) 17:02:48.05ID:3Upq4nSe973デフォルトの名無しさん
2018/12/08(土) 21:25:06.05ID:tBodI9MC ホモ相手するのはやめたほうがいいぞ
それともオマエ、ホモなの
それともオマエ、ホモなの
974デフォルトの名無しさん
2018/12/09(日) 17:04:16.75ID:eG4pDpqu オネエだったりして(笑)
975a4 ◆L1L.Ef50zuAv
2018/12/12(水) 20:44:34.25ID:/YuZFY7H976leicaq
2019/01/12(土) 21:54:45.85ID:vWYwoD6J >>13
インペリアルの院じゃダメでつか?
インペリアルの院じゃダメでつか?
977デフォルトの名無しさん
2019/01/17(木) 13:40:30.03ID:8j3LuNoX 埋め
978デフォルトの名無しさん
2019/01/17(木) 13:41:05.10ID:8j3LuNoX 埋め
979デフォルトの名無しさん
2019/01/17(木) 20:55:07.89ID:wpB3GBZ5 -🍓-
980デフォルトの名無しさん
2019/01/18(金) 01:17:07.92ID:LohRu1ee 埋め
981デフォルトの名無しさん
2019/01/18(金) 01:18:01.78ID:LohRu1ee 埋め
982デフォルトの名無しさん
2019/01/18(金) 19:27:03.17ID:Ga2a/ZjB 埋め
983デフォルトの名無しさん
2019/01/18(金) 19:27:21.26ID:Ga2a/ZjB ume
984デフォルトの名無しさん
2019/01/19(土) 01:05:37.36ID:7PL8uLoI うめ
985デフォルトの名無しさん
2019/01/19(土) 01:05:52.49ID:7PL8uLoI 梅
986デフォルトの名無しさん
2019/01/19(土) 09:24:50.36ID:P8c2voxb うめ
987デフォルトの名無しさん
2019/01/19(土) 09:25:11.97ID:P8c2voxb うむ
988デフォルトの名無しさん
2019/01/19(土) 20:13:56.30ID:kigMn1Sy うお
989デフォルトの名無しさん
2019/01/20(日) 00:38:30.72ID:IK9/MZ3O 埋め
990デフォルトの名無しさん
2019/01/20(日) 00:38:47.49ID:IK9/MZ3O um
991デフォルトの名無しさん
2019/01/20(日) 10:47:18.08ID:IK9/MZ3O う
992デフォルトの名無しさん
2019/01/20(日) 10:47:32.93ID:IK9/MZ3O め
993デフォルトの名無しさん
2019/01/20(日) 23:59:11.91ID:IK9/MZ3O うめー
994デフォルトの名無しさん
2019/01/24(木) 01:17:18.41ID:/yAzIJE+ 埋める
995デフォルトの名無しさん
2019/01/24(木) 23:36:47.09ID:/yAzIJE+ 埋め
996デフォルトの名無しさん
2019/01/24(木) 23:37:12.22ID:/yAzIJE+ あとちょっと
997さまよえる蟻人間 ◆T6xkBnTXz7B0
2019/01/24(木) 23:56:33.93ID:QdLlu2or 埋め立てふせ
998a4 ◆L1L.Ef50zuAv
2019/01/25(金) 03:47:40.54ID:UAQwf6px 埋めます。
999デフォルトの名無しさん
2019/01/25(金) 08:58:42.25ID:qZsFlcCU 埋め
1000デフォルトの名無しさん
2019/01/25(金) 08:58:57.82ID:qZsFlcCU 1000
10011001
Over 1000Thread このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 145日 7時間 1分 22秒
新しいスレッドを立ててください。
life time: 145日 7時間 1分 22秒
レス数が1000を超えています。これ以上書き込みはできません。
ニュース
- 首相官邸前で「戦争あおるな」 台湾有事巡る答弁に抗議 [蚤の市★]
- 高市首相告白「『なめられない服』を選ぶことに数時間を費やしました」「外交交渉でマウント取れる服、買わなくてはいかんかもなぁ」 [ぐれ★]
- 【赤坂ライブハウス刺傷】逃走していた自衛官の男(43)を殺人未遂の疑いで逮捕 警視庁 被害女性とは知人関係 [Ailuropoda melanoleuca★]
- 【千葉】コンビニに尿入りペットボトル並べた疑い、26歳男「むしゃくしゃして」…購入した客が飲もうとしたところ臭いに違和感 [ぐれ★]
- 『DOWNTOWN+』会員数50万人突破で見えてきた 松本人志の“月収4ケタ万円”驚愕収入 [阿弥陀ヶ峰★]
- トランプ氏、27日までに和平合意要求 ゼレンスキー氏「尊厳か米国か」 [蚤の市★]
- 天ぷら食いたい
- 勇者の母「ん……ふっ、起きなさいっ……私のっ……私のかわいい坊やっ、今日は貴方が……んはっ……勇者として旅立つ日……うふふ」
- 夜勤だけど最近昼間かクソガキが外でうるさい
- 大塚芳忠のASMR
- 東京てこんな女ばっかいるの?
- ペヤング超大盛り完食出来そうもない
