演算で左右の型のどちらかがUnknownの場合はエラーを出さないようにした。