型ガード関数