アカウント名:
パスワード:
数学の定理の証明のために作られたんですよねこの分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
いやそこはprologがちゃんと証明できているかを証明するためのシステムがちゃんと証明できているかを証明するためのシステムが(ry・・・・のためのシステムを作ることにチャレンジしてみてはいかがだろうか
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ハッカーとクラッカーの違い。大してないと思います -- あるアレゲ
prologは元々 (スコア:0)
数学の定理の証明のために作られたんですよね
この分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
Re:prologは元々 (スコア:0)
数学の定理の証明のために作られたんですよね
この分野は興味があるので数学の基礎体力を身につけたらチャレンジしたいとおもっています
いやそこは
prologがちゃんと証明できているかを証明するためのシステム
がちゃんと証明できているかを証明するためのシステム
が(ry
・・・・
のためのシステムを作ることにチャレンジしてみてはいかがだろうか