652コメント203KB

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

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

0199１３２人目の素数さん

2005/12/23(金) 09:38:51

2^(1/2)

うわっ
コンピュータ上で無理数を表しちゃったよ。どうしよう

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