トップページ⇒math

652コメント203KB

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

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

0550１３２人目の素数さん

2009/02/13(金) 00:23:06

>>549
そんな単純な問題なら一瞬で証明できるわな

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