静的情報と動的情報を用いた プログラムスライス計算法