セミオーダーに関して