sub_match: operator<= を追加(#223)