>>481
確かに、あとで良く考えると、時枝問題の数列は、クリーニ代数、文字列からなる自由モノイドの範囲に収まっていないかも知れないという気がしてきたがね