子福桜(コブクザクラ)？

20171112

伊丹スポーツセンターに、何本も十月桜が植えてあって、たくさん開花していたので、わーいわーいと、撮影していたのですが、今調べてみたら、十月桜ではなく、子福桜というらしい！？
初めて聞いた桜。十月桜は一重で子福桜は八重咲きだそうです。
確かに、よく見ると花が違う。