15/12/28 01:21:24.42 YOBAxJkX.net
>>441-442
代表元はなんでもいいか。俺がとろうｗ
代表元として第k列の9999番目を0に取ったものを考えることにします。
スレ主は記事に書かれている同値類の中に、
決定番号で類別する新たな同値関係を定義しているが、
それは議論の本筋とは関係ないので今は考えないことにする。
> そこで、すぐ目に付いたa9999＝πである子の同値類を選ぶと、「決定番号9999だから、時枝先生の条件D>=d(s^k)を満たしている！ だから、a9999＝πが正解だ！」と
目に付いた勝手な元を選んではダメだ。"�