プログラムに「仮定」を持ち込まない