  Higher derivative terms in M-theory are investigated by applying the Noether
method. Cancellation of variations under the local supersymmetry is examined to
the order linear in F by a computer program. Structure of R^4 terms is uniquely
determined and exactly matches with one-loop effective terms in type IIA
superstring theory. A part of R^3F^2 terms is also determined.
