Dictionary: “処理系定義”