次世代言語15 Go Rust Bosque Kotlin TypeScript

[730 ◆QZaw55cn4c 2019/08/17(土) 11:45:10.60 ID:ToRIVhzM]

>>729
それは全順序じゃなくて、（ただの）順序ですね、数学用語では
擬順序（または半順序）→順序→全順序