652コメント203KB

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

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

0309１３２人目の素数さん

2007/02/07(水) 11:50:21

コンピュータで数万年かかるような組み合わせから
最適（に近いもの）を一瞬で見つけられるのはなぜなんだぜ？

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