HOMELv028 「要件の検証（Verification）」で用いられる「静的技法」の例はどれか。 2026年3月15日 実行（動的）せずに内容を精査することで、上流工程での誤りや不整合を早期に発見します。 「gRPC」の「サーバープッシュ」機能が役立つ典型的なユースケースはどれか。 エラーハンドリングにおける「リトライ・バジェット（予算）」という考え方の目的はどれか。
