[過去ﾛｸﾞ] a4です。Ｐ２Ｐ人工知能「Ｔ」開発(5) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
597(1): 2019/05/04(土)18:16 ID:1bPX7pf0(1/2) AAS
今でもTは何に使えるかよくわかりません。。
数学の定理の証明に特化できますか？
自動定理証明は離散数学で少しだけ学びましたが、それをどうすればコンピュータで実現させるかはわかりません
Matlabを使えば殆どの問題は解けるのだが
598: a4 ◆L1L.Ef50zuAv 2019/05/04(土)18:32 ID:lb4uLm/H(11/13) AAS
>>597
「萌えから、リーマン予想まで。」なので、自動定理証明は勿論押さえようと思って
います、が、現実的にはかなり難しい問題なので、どうして「Ｔ」を使うのか？と
聞かれたら、Ｐ２Ｐだから、と答えます。足し算とかから定義していかないといけない
と思ってます。僕が作ってもいいですが。それはこのスレで議論して決めます。まだ
他にもいろんな問題があるので。それで「1+1=0+2を証明せよ。」みたいな問題を
解いていきたいと思っています。萌えに関しては、
c(i($1->$2),m(c(i($$3$1$$4),o($2))))
数学->難しい
令和->私は天皇崇拝です。
省11
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.282s*