記号力学系(第2版) - 基礎と符号化への応用