直積と余積とhs