高保証システム（軍事用や重要インフラ用）の開発で使用される「形式手法（Formal Methods）」とは何か。

2026年1月24日

システムの仕様や設計を数学的な論理式で記述しが該当

AI/MLにおける「データ倫理」の問題として、学習データに含まれるバイアス（偏見）がもたらすリスクはどれか。

BLE (Bluetooth Low Energy) のペアリング方式のうち、最もセキュリティ強度が低く、中間者攻撃に対して脆弱な「Just Works」方式が使用されるのはどのようなケースか。