公式が非公式を吸収