Higher-Order Communication -- On the Hairpin Completion of Regular Languages --