652コメント203KB

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

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

0505１３２人目の素数さん

2009/01/18(日) 20:43:14

ω規則があるならあるでしょうな

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