HOMELv020 静的単一代入(SSA)形式の特徴はどれか。 2026年3月14日 各変数への代入を1回のみに制限し、再代入時は新しい変数名を使うことで、データフロー解析を容易にする中間表現。 並列処理に適したソートアルゴリズムである「バイトニックソート」の特徴はどれか。 「ビザンチン将軍問題」は何に関する問題か。