「しいたけ市」じゃなく正式名称で書かれるとちょっとドキドキする。