【RaspberryPi】micro:bitの最新開発環境をローカルに構築してみる

最近、micro:bitを使用することが多いです。教室の指導者向け(大人?)向けのメンターのような形での授業や、小学生向けのクラスを受け持っているので 今月はかなりの時間を費やしているような状況です。また、最近正式に発売されたmicro:bit v2のこともあり、ネットでも盛り上がりを見せています。 そんな中、自分もよう…