実は俺……なんでもない
で、あれ？
m(2)(m(3)m(2))m(2)f(2)
は
=m(2)(m(3)m(2))f^2(2)
なのか
=((m(3)m(2))m(2)f)^2(2)
なのか分からなくなってきた。
うーん…前者だと
m(2)^2f(2)=m(2)m(2)f(2)=m(2)f^2(2)=m(2)g(2)=g^2(2)=f^4(2)
後者だと
m(2)^2f(2)=m(2)m(2)f(2)=(m(2)f)^2(2)=(m(2)f)(m(2)f)(2))=f^(f^2(2))(f^2(2))

なんか前者な気が