AND検索のポスティング走査アルゴリズムと実装