652コメント203KB

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

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

0500１３２人目の素数さん

2009/01/18(日) 11:20:15

ちなみにピタゴラスの定理だとCで何行ぐらいになるの？
だいたいでいいんだけどさ。
500行ぐらい？
それとも100億行ぐらい？

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