HOMELv053 BLE (Bluetooth Low Energy) のペアリング方式のうち、最もセキュリティ強度が低く、中間者攻撃に対して脆弱な「Just Works」方式が使用されるのはどのようなケースか。 2026年1月24日 ディスプレイもキーボードも持たないデバイス同士を接続する場合が該当 高保証システム（軍事用や重要インフラ用）の開発で使用される「形式手法（Formal Methods）」とは何か。 不正検知において、グラフデータベース（Neo4jなど）を活用してID間の関係を分析する主な利点はどれか。
