計算機科学における書き換え技法と論理