トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0236
132人目の素数さん
2006/01/13(金) 14:52:28
>>234
Aを行う者にBを行うことはできそうもないので、Bを行う者は存在しない?
電卓ソフトで文書作成はできそうもないので、文書作成をするためのソフトは存在しない、とか。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています