HOMELv034 「サーバーレスアーキテクチャ」でリソース管理を担当する主体はどれか。 2026年1月23日 インフラ管理(サーバ等)はクラウド事業者が行う。 形式手法でモデル検査を行う主な利点はどれか。 動的計画法が有効な問題の特徴として最も適切なものはどれか。