抽象理論と具体事例間の相互検証方法