07/08/21 02:18:23 xRYgnYm10
>>376>>382
半順序をなるべく元の型を残したまま全順序に拡張しようって話だろ？
全体のためには部分で反転するのも当然なわけで、>>374は特におかしなこと言ってない気がするが。
07/08/21 02:18:23 xRYgnYm10
>>376>>382
半順序をなるべく元の型を残したまま全順序に拡張しようって話だろ？
全体のためには部分で反転するのも当然なわけで、>>374は特におかしなこと言ってない気がするが。
07/08/21 02:18:23 xRYgnYm10
>>376>>382
半順序をなるべく元の型を残したまま全順序に拡張しようって話だろ？
全体のためには部分で反転するのも当然なわけで、>>374は特におかしなこと言ってない気がするが。