652コメント203KB

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

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

0351１３２人目の素数さん

2007/07/08(日) 22:53:30

10 for i=1 to ∞
20 if theorem=true print"QED"
30 next i

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