ない定式があれば別にいいんじゃね?