ガベージコレクションのアルゴリズムと実装