ロボ団、群馬、桐生、プログラミング、2020年、必修化、小学校