次はlの右側の0がなくなる例でやってみよう もう少し圧縮した書き方で s -> (splito '(0 0 1 0 1) '(1) l h) 4 -> (splito '(0 1 0 1) '() '() h), l=() 2 -> h=(1 0 1), l=() 6 -> (splito '(0 1 0 1) '() ^l h), l=(0 . ^l), (pos ^l) 2 -> h=(1 0 1), ^l=…