難化というより計算お化け