Meta計算でGCを実現する
allocate したメモリが不要かどうかを判定して、回収する
OSのメモリ管理機構/Pagingによってまとめる
メモリが不要になるかどうかは、モデル検査で調べる
(可能かどうかはまだわかってない
#GearsOS