任意に取った実数が整数であるかどうかはどう判定するの？

任意に取った実数が整数であるかどうかはどう判定するの？ (29ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

10(1): 07/30(水)20:30 ID:1/joJsBb(1) AAS
x ∈ Z ⇔ x ＝ [x]
Z は整数全体の集合
[x] は床関数で「x 以下の最大の整数」
xと[x]が等しければ整数

12(1): 07/31(木)05:37 ID:Hvgj+o8p(1) AAS
>>10-11
で、それをどうやって判定するんだ
たとえば>>4の実数は整数なのか？