HOMELv008 レガシーシステムからのマイグレーションにおいて「リホスト」と呼ばれる手法はどれか。 2026年1月24日 既存のハードウェアやOSなどの基盤を変更し、アプリケーション等はそのまま移行する 形式手法(Formal Methods)を用いた検証の特徴はどれか。 Earliest Deadline First (EDF) スケジューリングの特徴として正しいものはどれか。