「正規表現とオートマトン：JSONオブジェクトの妥当性検証」より： ウッ、まじい！ "a"でも"b"でもないプロパティ名を許してますが、その他のプロパティがソート順で"a", "b"の後に来るとは限らないので、上の図のワイヤリングではダメですね。真面目に対処…