全国机器人奥林匹克竞赛的有4人