16/06/26 13:18:41.13 Xi/fobhm.net
>>216-217
いや、おそらく、代表元の取り方が、決定番号に影響しているだろ？
つまり、普通の商集合の扱いで、代表元の取り方が演算結果に影響しないというのが、well-definedの判断基準だが
今回は、well-definedじゃないから、代表元の取り方の依存性を、確率計算に織り込まないと行けないと思うんだ
が、無限数列のシッポの類別だから、そこが簡単に行かない。それがトリックだろうと思っている。ルーマニアトリックかも知らんがね