変数に新しいコンテンツが割り当てられた場合、「古いコンテンツ」に割り当てられたメモリは「適切に」解放されますか? たとえば、次のスクリプトでは、ゼロの配列としての変数「a」のメモリは、「a」に新しいものが割り当てられた後に解放されますか?
import numpy
a = numpy.zeros(1000)
a = a+1
Pythonは、いわゆる「ガベージコレクション」を使用してすべてをきれいに行うのに十分スマートであると想像しますが、実際にはそれを読むことはできません。確認はありますか?私はそれを感謝します。