アカウント名:
パスワード:
数学の定理の証明のために作られたんですよねこの分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
このAIに定理を証明するための言語を作らせよう
定理証明においてディープラーニング使った証明コード生成行われてる
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
吾輩はリファレンスである。名前はまだ無い -- perlの中の人
prologは元々 (スコア:0)
数学の定理の証明のために作られたんですよね
この分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
Re: (スコア:0)
このAIに定理を証明するための言語を作らせよう
Re:prologは元々 (スコア:0)
定理証明においてディープラーニング使った
証明コード生成行われてる