トップページ⇒math

652コメント203KB

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

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

0461１３２人目の素数さん

2009/01/15(木) 13:12:28

>>438は√2の計算をどっかで四捨五入せずにできるのかｗ　凄過ぎるｗｗｗｗｗ

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