アカウント名:
パスワード:
数学の定理の証明のために作られたんですよねこの分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
このAIに定理を証明するための言語を作らせよう
その言語が正しいかどうかのテストにAIをだ・・・
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
弘法筆を選ばず、アレゲはキーボードを選ぶ -- アレゲ研究家
prologは元々 (スコア:0)
数学の定理の証明のために作られたんですよね
この分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
Re: (スコア:0)
このAIに定理を証明するための言語を作らせよう
Re:prologは元々 (スコア:0)
その言語が正しいかどうかのテストにAIをだ・・・