トップページ⇒math

652コメント203KB

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

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

0464１３２人目の素数さん

2009/01/15(木) 15:12:31

>>455は「実数」に「あらゆる」という語をひっつけることの恐ろしさを知らない

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