トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0322
132人目の素数さん
2007/06/25(月) 13:43:13
背理法ってなんかツンデレっぽくね?
べっ、べつにa=bなんて言ってないわよっ!
ただ、a≠bだったとしたら、
あれがあーなったりこれがこーなったりして
いろいろムジュンするって、それだけなんだからっ!
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています