652コメント203KB

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

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

0001１３２人目の素数さん

2005/09/06(火) 23:35:12

これが可能になったら数学者という仕事が無くなっちゃうの？

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