トップページ⇒math

652コメント203KB

コンピューターによる定理の自動証明

■ このスレッドは過去ログ倉庫に格納されています

0023１３２人目の素数さん

2005/09/08(木) 18:01:02

>>22

それは人間が発見した定理を利用するということ？
それはちょっとズルイというか、やっぱ人間が必要なんじゃないかと

■ このスレッドは過去ログ倉庫に格納されています