652コメント203KB

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

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

0015１３２人目の素数さん

2005/09/08(木) 00:48:41

四色問題か

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