IsA
閉区間