Leanの定理証明ガードレールで AI エージェントに業務ルールを守らせる | FLIP NEWS