絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/24

正解を見る

When verifying software, engineers often rely on overapproximations to ensure safety properties are preserved.

音声機能が動作しない場合はこちらをご確認ください

元となった例文

When verifying software, engineers often rely on overapproximations to ensure safety properties are preserved.

ソフトウェアの検証では、エンジニアはしばしば安全性の性質が保たれることを確実にするために過大近似に頼ります。