トップページ⇒math

652コメント203KB

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

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

0108１３２人目の素数さん

2005/09/14(水) 22:34:56

>>106
ゴメンナサイ。「定理」ではなく「命題」と言うべきでした。

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