17/05/26 08:08:54.99 puUvsOBB.net
列が多ければ多いほど最大値は末尾に近い値となる。
このとき残りの1列の番号が最大値を超える確率は0だ。
時枝論法は無限列の同値類と代表系を使うところがキモ。
それを使わない類型を編み出すのは難しそうだ。
17/05/26 08:08:54.99 puUvsOBB.net
列が多ければ多いほど最大値は末尾に近い値となる。
このとき残りの1列の番号が最大値を超える確率は0だ。
時枝論法は無限列の同値類と代表系を使うところがキモ。
それを使わない類型を編み出すのは難しそうだ。