A.3.5 部分列の指定

部分列の指定

m, n, s の列指定は，m，m + s，m + 2s， ... からn以下の最大要素までに対応する．

部分列の指定は，関数Drop，Ordering，StringDrop，StringTake，Take，Threadで使用されている．