数系と置換規則（Numeration and Substitution）2012