チタン - Candid と Motoko の安定した可変型キャニスター アップグレードの安全性を検証