Scheme
×は掛け算だ。o* と書くことにしよう。n×m を言い換えると、nをm回足したものということができる。だから o* を定義するには、m を0になるまで1ずつ減らしながら、nを足していけばいい。1ずつ減らしていくのは (sub1 m) で、最終条件は (zero? m) だ。…
tup+ は2つのタップを引数に取り、それぞれの1番目同士、2番目同士･･･を足し合わせたタップを返す。タップというのは、数のリストのことだ。「数のリストのことをタップ（あるいはタプル）と呼びましょう」と書いてあるから、Scheme の用語というよりこの本（「Scheme手習い」）での用語と考えていいのかな。…