ルールダイナミックス、シンボリックダイナミックスによるデータ圧縮転送(共著)