652コメント203KB

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

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

0362１３２人目の素数さん

2007/12/20(木) 15:46:56

コンピュータでできる事はせいぜいMathematicaでできている事ぐらいじゃないかと思うのは発想が貧困ですか

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