[過去ログ] 1=0.999… その14.999… (本スレ) (1001レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
608(1): 2008/01/22(火)18:46 AAS
>片方の順序は「≦」でなく別の記号(「≦’」がよく使われる)を使う。
そう言いたかったのなら理解した。しかしそれなら肝を知った上での
>>595でしょ。何をさせたかったのやら?
それより、本質的に訊きたいのだが、
「辞書式より、1>0.99999ではないのか」という疑問に対する返答は、
「形が違っても同じものはあるんだから同じだ。」で十分なのか?
それとも「その不等号は普通の不等号じゃない」とでもするのか?
省1
611: 2008/01/22(火)19:17 AAS
>>608
実数で普通に使われる≦だと、ほとんどの場合は辞書式の順序(これを≦’と書く)と
一致する。0.999…みたいな場合は≦’に一致しない。いつ一致して、いつ一致しない
のか、その条件は明確に言及しておいた方が、説得力は上がる。でも、面倒くさい。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.027s