• プログラムの外部動作を変えず中身を改良する
• 厳密な定義はない