あと、φが正則 ⇔ fφが正則  って定義?