ある意味ハッセの上位互換