ホロレンズは軍向けに545億円だってさ。