ボストン・ダイナミクスは軍事予算も入っている