公式の記憶に拠る解法?