トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0484
132人目の素数さん
2009/01/17(土) 02:27:00
>x,yを、x<yなる実数とする。
この時点でダメだな。
単なる文字に大小関係は無いの。
x<yとする
なんてやってるということはxとyにはなんらかの実数、
つまり具体的数値が代入されていることを予定しているんだろ?
アルファベットに大小関係は無いの。
もうほっとこう。だめだ。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています