ハングル文字っていつ頃から使われるようになったの?先の大戦後か