少し前に購入した数学基礎論の本をRails勉強会の行き帰りで読んだのだけども しばらくぶりに構造解析だとか、超準解析だとかいう単語を見ていたら、急に、+0と-0みたいに、実数に裏表を付けたら良いように思えてきた。 それなら、(-n, 0)の上界と[0,n)の下界…