is_in_termの実装