sub_match: operator< の概要を他にあわせて微修正