Length[S]はSの要素数。
Floor[x]はxを超えない最大の整数。
(1+t)/2は1とtの中間値。これで分からなかったらお前さんには無理だ。