Quixote とはちょっと離れた疑問
Quixote とはちょっと離れた疑問を以下に列挙します。
集合を oid にできない?
Hoare 順序と Smyth 順序について