middle-out implementation

bottom-up implementationを参照。