有个股票叫 机器人(300024)，请问这个公司叫什么名字？公司名也叫 机器人 么？