[過去ﾛｸﾞ] a4です。Ｐ２Ｐ人工知能「Ｔ」開発(6) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
602(1): 。。。 [sage] 2019/06/22(土) 18:06:22.40 ID:2BayO8fv(1) AAS
コンピュータが専門ではないので的外れな感想かもしれませんが
こういうものは見たことがないので面白いと思います
QQで似たような会話できるAIと話したこともありましたが
a4さんのとはちょっと違うかもな
本当に自動定理証明に使えるようになれるのなら、論文とかを書いて有名になれるのではないかな
605(1): a4 ◆L1L.Ef50zuAv [] 2019/06/22(土) 19:24:36.58 ID:c1t6uSbK(6/9) AAS
>>587
お金は欲しいんですけどね、そのお金で量子音楽というものを創る、ということしか
考えてません。
>>590
でも、障害年金は落ちてきます。働かなくて生活はできるんですよ。でも彼女とかはいません。
>>591
本の出版は是非してみたいです。
>>598
日本語の読解力はね、普通の大卒くらいですよ。
>>599
行動はするんですけどね、今日は体調が壊れました。熱が３９．２℃まで行きました。
ベッドで休憩してます。
>>602
自動定理証明はお金にならないので結構やろうとすると厳しいですね。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s