アカウント名:
パスワード:
数学の定理の証明のために作られたんですよねこの分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
いやそこはprologがちゃんと証明できているかを証明するためのシステムがちゃんと証明できているかを証明するためのシステムが(ry・・・・のためのシステムを作ることにチャレンジしてみてはいかがだろうか
このAIに定理を証明するための言語を作らせよう
その言語が正しいかどうかのテストにAIをだ・・・
定理証明においてディープラーニング使った証明コード生成行われてる
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
長期的な見通しやビジョンはあえて持たないようにしてる -- Linus Torvalds
prologは元々 (スコア:0)
数学の定理の証明のために作られたんですよね
この分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
Re: (スコア:0)
数学の定理の証明のために作られたんですよね
この分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
いやそこは
prologがちゃんと証明できているかを証明するためのシステム
がちゃんと証明できているかを証明するためのシステム
が(ry
・・・・
のためのシステムを作ることにチャレンジしてみてはいかがだろうか
Re: (スコア:0)
このAIに定理を証明するための言語を作らせよう
Re: (スコア:0)
その言語が正しいかどうかのテストにAIをだ・・・
Re: (スコア:0)
定理証明においてディープラーニング使った
証明コード生成行われてる