1001コメント329KB

◆ わからない問題はここに書いてね１８４ ◆

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

0513１３２人目の素数さん

2006/01/22(日) 13:42:42

証明文を出力するプログラムが正しいという保証は？

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

◆ わからない問題はここに書いてね １８４ ◆