並行安全な型