形式化开发多序列比对算法电子课本