PartOf
処理系