[プレスリリース] 計測誤差があるセンサーを使っても安全に動くように 制御ソフトウェアを自動で変換する手法を開発 ～ 「誤差はないものとする」理想上の設計で現実を安全に～