公式がいつ百合作品と言った?