夏休み実感

で、暇だから近所の公園にやってきたら
この辺ではこの夏はじめて見かけましたセミ(^O^)/
たぶんミンミン蝉だと思う。
ミンミン蝉ってホントの名前ってあったっけ？
本名がミンミン蝉？