First-Order-ConditionをRに実装する