基本、現在の呼称をそのまま用いておりますね。
本話に名前が出てくる「ハラビロカマキリモドキ」は日本史と密接な関りがあるという説もありますので、興味ありましたら調べてみてください。