displacement development

• 置換展開