プログラムの抽象化