ボーイングの子会社であるWisk Aeroが航空宇宙産業ソフトウェア検証等を行うVerocelを買収