652コメント203KB

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

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

0361１３２人目の素数さん

2007/12/20(木) 15:10:56

コンピュータで検証できたらいいなと思うことはあるけど、
チェッカに渡す証明を書く手間考えるとやる気にならない

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