Avatar
omochimetaru 2/1/2019 7:46 AM
エンコード違いの文字列同士の間のIndexが半順序(partially order)になるというの面白いですね
7:46 AM
なかなかpartially orderって現実で直面する事が無いけどこの例は身近だし。