HOMELv021 「単一のインスタンス」を保証するSingletonパターンを実装する際、マルチスレッド環境での二重チェックロッキング(Double-Checked Locking)の問題に対処するための一般的な手法(Java等の場合)はどれか。 2026年1月25日 Javaなどのメモリモデルでは、初期化中の不完全なオブジェクトが見えないようにvolatileを使ったり、静的内部クラス(Holder)による遅延初期化を利用する。 SysMLにおける「割り当て(Allocation)」関係が表すものはどれか。 OCLの `any` イテレータが、条件を満たす要素が見つからない場合に返す値は何か。