Slide 11
Slide 11 text
ܕ͚Ͱ͖ΔΑ͏ʹͳΔྫ
(λf. · · · mapRecip ( f
(1)
(Sα.t)) · · ·
mapRecip ( f
(2)
(Sα.t)) · · · ) sort
• sort͕ೖ͞ΕΔೋΧॴͷf ͷܕ͚ʹண
Y f : [Int]/X → [Int]/X Y
† ܕ͚نଇΑΓ݅(1) X = [Ratio]ɼ(2) X = [Double]
† ಉҰͷଋറมʹର͢Δ݅ͳͷͰಉ࣌ʹຬͨͤͳ͍
X, Y Λআ ˝ λܕͷܗʹ
f : [Int] → [Int]